< B语言与方法：实用形式化开发指南>> 本书介绍了B抽象机符号语言以及用于支持形式化规格说明和高集成 系统开发的方挂。首先，介绍了B 语言的发展历史及与其他语言的关系，然 后，从集合、序列等基本数学符号表示到B 语言的结构化机制，再到它所支 持的大型程序设计方法，全面地介细了B 符号语言的描述方法。
上传时间： 2014-11-29
上传用户：康郎
简易数字频率计题解.（ 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
一个经典的权限管理系统 FrameWork权限设计是将权限抽象分为(查看/新增/修改/删除/排序/打印/备用A/备用B)共八个权限。当然，也可以根据需要来进行扩展。 在FrameWork中，每个模块都会在Module目录下对应一个目录（Module目录结构参考）。 每个模块目录会对应到一个应用ID和模块代码。也就是说每个模块都会对应到八个权限。每个模块目录通过其下的Web.config文件设定当前目录所属哪一个应用和模块代码，并在web.config中配置当前模块目录下文件对应的八个权限关系。 所有模块目录下的文件属于八个权限中的哪一种权限，是在Web.config里配置的，如果模块里的文件没有在web.config中配对应的权限，则此文件默认属于查看权限。当然，你也可以在aspx里进行权限的判断定，我们也提供了在aspx里判断权限八种权限对应的方法。
上传时间： 2016-07-02
上传用户：小儒尼尼奥
基于verilog HDL的自动售货机控制电路设计: 可以对5种不同种类的货物进行自动售货,价格分别为A=1.00,B=1.50,C=1.80,D=3.10,E=5.00 。售货机可以接受1元,5角,1角三种硬币(即有三种输入信号IY,IWJ,IYJ),并且在一个3位7段LED(二位代表元,一位代表角)显示以投入的总钱数，最大9.90元，如果大于该数值，新投入的硬币会退出,选择货物的输入信号Ia,Ib,Ic,Id,Ie和一个放弃信号In,输出指示信号为 Sa, Sb ,Sc ,Sd, Se 分别表示售出相应的货物,同时输出的信号yuan, jiao代表找零,相应每个脉冲代表找零相应的硬币，上述输入和输出信号均是一个固定宽度的脉冲信号。
上传时间： 2016-07-12
上传用户：lanwei
实现B-树的创建、插入、删除、遍历等功能，并以层序方式通过程序台显示输出。
上传时间： 2016-11-04
上传用户：jeffery
程序清单A中收录了产生PPM-TH和PAM-DS这两个信号源的所有函数；程序清单B中收录了加性高斯白噪声（AWGN）信道建模，正交和非正交单脉冲PPM-TH接收机结构，以及反极性PAM-DS单脉冲接收机结构仿真所需的所有函数。
上传时间： 2013-12-22
上传用户：hwl453472107
本学期所有数据结构的大作业一，设A与B分别为两个带有头结点的有序循环链表（所谓有序是指链接点按数据域值大小链接，本题不妨设按数据域值从小到大排列），list1和list2分别为指向两个链表的指针。请写出将这两个链表合并为一个带头结点的有序循环链表的算法。二，本次实验的题目为表达式求值，要求设计一个程序，演示用算符优先法对算术表达式求值的过程。 即编写程序把前缀表达式转换成后缀表达式，并计算结果。用以下三组数据测试程序： 3*（7-2）； 2*（6+2*（3+6*（6+6）））+（6+6）*3+2； 8/（9-9）。三，用三元组存储稀疏矩阵，并实现稀疏矩阵的转置，两个稀疏矩阵和与积的运算四，哈夫曼编/译码器 完成Huffman 编码的译码过程。即输入一个码串，请翻译成相应的字符串。要求有编码过程和解码过程。
标签： 数据结构
上传时间： 2017-01-18
上传用户：changeboy
本学期所有数据结构的大作业一，设A与B分别为两个带有头结点的有序循环链表（所谓有序是指链接点按数据域值大小链接，本题不妨设按数据域值从小到大排列），list1和list2分别为指向两个链表的指针。请写出将这两个链表合并为一个带头结点的有序循环链表的算法。二，本次实验的题目为表达式求值，要求设计一个程序，演示用算符优先法对算术表达式求值的过程。 即编写程序把前缀表达式转换成后缀表达式，并计算结果。用以下三组数据测试程序： 3*（7-2）； 2*（6+2*（3+6*（6+6）））+（6+6）*3+2； 8/（9-9）。三，用三元组存储稀疏矩阵，并实现稀疏矩阵的转置，两个稀疏矩阵和与积的运算四，哈夫曼编/译码器 完成Huffman 编码的译码过程。即输入一个码串，请翻译成相应的字符串。要求有编码过程和解码过程。
标签： 数据结构
上传时间： 2017-01-18
上传用户：shanml
4． 假设有两个按数据元素值非递减有序排列的线性表A和B，均以单链表作为存储结构。编写算法将A表和B表归并成一个按元素值递减有序（即非递增有序，允许值相同）排列的线性表C。
上传时间： 2013-12-20
上传用户：笨小孩
