< B语言与方法:实用形式化开发指南>> 本书介绍了B抽象机符号语言以及用于支持形式化规格说明和高集成 系统开发的方挂。首先,介绍了B 语言的发展历史及与其他语言的关系,然 后,从集合、序列等基本数学符号表示到B 语言的结构化机制,再到它所支 持的大型程序设计方法,全面地介细了B 符号语言的描述方法。
上传时间: 2014-11-29
上传用户:康郎
这是一个利用B+ Trees数据结构存储数据的源码,全部代码用C语言写的.
上传时间: 2014-01-09
上传用户:myworkpost
Browser/Server模式下管理系统的开发 B/S系统下数据访问及报表生成技术 MVC结构模式下WEB表达层的设计和开发 SQL Server数据库管理系统上的SQL查询优化 毕业礼物 可做参考
上传时间: 2013-12-26
上传用户:libinxny
简易数字频率计题解.( 1997年 B 题 ) 编写与讲解人:田良(东南大学无线电系,2003年3月12日) 一)任务 设计并制作一台数字显示的简易频率计。 (二)要求 1.基本要求 (1)频率测量 a.测量范围 信号:方波、正弦波 幅度:0.5V~5V[注] 频率:1Hz~1MHz b.测试误差≤0.1% (2)周期测量 a.测量范围 信号:方波、正弦波 幅度:0.5V~5V[注] 频率:1Hz~1MHz b.测试误差≤0.1% 3) 脉冲宽度测量 a.测量范围 信号:脉冲波 幅度:0.5V~5V[注] 脉冲宽度≥100μs b.测试误差≤0.1% (4)显示器 十进制数字显示,显示刷新时间1~10秒 连续可调,对上述三种测量功能分别采用不同颜色的 发光二极管指示。 (5)具有自校功能,时标信号频率为1MHz。 (6)自行设计并制作满足本设计任务要求的稳压电源
上传时间: 2013-12-26
上传用户:xg262122
实现B树,并在MFC中将其画出。 B树的表示及基本操作的实现。 1.掌握B树的存贮结构。 2.实现B树中关键字值的插入及删除操作。 3.屏幕图形化的显示。
标签: 树
上传时间: 2013-12-18
上传用户:xymbian
5.22④ 假设系数矩阵A和B均以三元组表作为存储结构。 试写出满足以下条件的矩阵相加的算法:假设三元组表A 的空间足够大,将矩阵B加到矩阵A上,不增加A、B之外 的附加空间,你的算法能否达到O(m+n)的时间复杂度?其 中m和n分别为A、B矩阵中非零元的数目。
上传时间: 2013-12-13
上传用户:coeus
本文用VHDL在CPLD器件上实现一种8 b数字频率计测频系统,能够用十进制数码显示被测信号的频率,不仅能够测量正弦波、方波和三角波等信号的频率,而且还能对其他多种物理量进行测量。具有体积小、可靠性高、功耗低的特点。
上传时间: 2013-12-18
上传用户:sy_jiadeyi
完成基本左移功能。aXORb<<b,然后aXORb<<a,也就是说a,b都是dependent data
上传时间: 2014-01-03
上传用户:xwd2010
一、 进程控制 1、 定义PCB(可以采用静态结构或动态结构):包括理论PCB中的基本内容,如ID、进程状态、队列指针。由于无法实现真正的进程创建功能,在实验中只需建立PCB,用它代表完整的进程。 2、 定义进程状态转换方式:进程的状态转换是由进程内部操作或操作系统的控制引起,由于无法实现这些功能,学生可以采用随机数方法或键盘控制方法模拟,并实现对应的控制程序。随机方法指产生1-6的随机数,分别代表创建进程(c)、结束进程(e)、进程阻塞(b)、激活进程(w)、调度进程(p)、时间片到(t)等事件;键盘模拟方法指定义6种按键代表以上6种事件。 3、 根据四种事件处理就绪队列、阻塞队列和当前执行中的进程。 每次事件处理后应形象地显示出当前系统中的执行进程是哪一个,就绪队列和阻塞队列分别包含哪些进程。
上传时间: 2016-12-23
上传用户:wyc199288
1. 下列说法正确的是 ( ) A. Java语言不区分大小写 B. Java程序以类为基本单位 C. JVM为Java虚拟机JVM的英文缩写 D. 运行Java程序需要先安装JDK 2. 下列说法中错误的是 ( ) A. Java语言是编译执行的 B. Java中使用了多进程技术 C. Java的单行注视以//开头 D. Java语言具有很高的安全性 3. 下面不属于Java语言特点的一项是( ) A. 安全性 B. 分布式 C. 移植性 D. 编译执行 4. 下列语句中,正确的项是 ( ) A . int $e,a,b=10 B. char c,d=’a’ C. float e=0.0d D. double c=0.0f
上传时间: 2017-01-04
上传用户:netwolf