< B语言与方法:实用形式化开发指南>> 本书介绍了B抽象机符号语言以及用于支持形式化规格说明和高集成 系统开发的方挂。首先,介绍了B 语言的发展历史及与其他语言的关系,然 后,从集合、序列等基本数学符号表示到B 语言的结构化机制,再到它所支 持的大型程序设计方法,全面地介细了B 符号语言的描述方法。
上传时间: 2014-11-29
上传用户:康郎
实现最优二叉树的构造;在此基础上完成哈夫曼编码器与译码器。 假设报文中只会出现如下表所示的字符: 字符 A B C D E F G H I J K L M N 频度 186 64 13 22 32 103 21 15 47 57 1 5 32 20 57 字符 O P Q R S T U V W X Y Z , . 频度 63 15 1 48 51 80 23 8 18 1 16 1 6 2 要求完成的系统应具备如下的功能: 1.初始化。从终端(文件)读入字符集的数据信息,。建立哈夫曼树。 2.编码:利用已建好的哈夫曼树对明文文件进行编码,并存入目标文件(哈夫曼码文件)。 3.译码:利用已建好的哈夫曼树对目标文件(哈夫曼码文件)进行编码,并存入指定的明文文件。 4.输出哈夫曼编码文件:输出每一个字符的哈夫曼编码。
上传时间: 2014-11-23
上传用户:shanml
Browser/Server模式下管理系统的开发 B/S系统下数据访问及报表生成技术 MVC结构模式下WEB表达层的设计和开发 SQL Server数据库管理系统上的SQL查询优化 毕业礼物 可做参考
上传时间: 2013-12-26
上传用户:libinxny
本文主要讨论了使用EDA工具设计汉字滚动显示器的技术问题。文中首先描述了基于现场可编程门阵列(FPGA)的硬件电路;然后研究了在8×8LED发光二极管点阵上显示滚动汉字的原理,并给出了基于ALTERA的参数化模型库LPM描述其功能的VHDL语言程序设计;最后对使用EDA工具软件加工被显示数据文件的方法进行了讨论。
上传时间: 2016-06-08
上传用户:wmwai1314
简易数字频率计题解.( 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
费诺编码的步骤: A 将概率按从大到小的顺序排列 B 按编码进制数将概率分组,使每组概率和尽可能接近或相等。 C 给每组分配一位码元 D 将每一分组再按同样原则划分,重复b和c,直到概率不再可分为止
上传时间: 2016-06-24
上传用户:xinyuzhiqiwuwu
替代加密: A B C D E F G H I J K L M N O P Q R S T U V W 密文 Y Z D M R N H X J L I O Q U W A C B E G F K P 明文 X Y Z T S V I HAVE A DREAM!# 密文?? 用ARM编程实现替代加密。
标签: 加密
上传时间: 2016-07-17
上传用户:qq521
FIELD II 是B超的matlab仿真程序。 执行 先运行 field_init.m ,进行初始化 运行文件夹 sample_cyst_phantom 里的make_image.m,产生体模的B超仿真影像 运行文件夹 sample_kidney 里的make_image.m,产生肾脏的B超仿真影像(计算时间会很长) 示例: 本包内带了一个肾脏的B超仿真。更多的例子,大家google吧。
标签: field_init matlab FIELD II
上传时间: 2014-01-16
上传用户:BOBOniu
对于给定的2 棵二叉树A和B,编程计算二叉树A是否为二叉树B的子树,二叉树B 是否为二叉树A的子树
标签: 二叉树
上传时间: 2013-12-20
上传用户:athjac