< 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
delphi经典入门教程 ---------- Delphi是全新的可视化编程环境，为我们提供了一种方便、快捷的Windows应用程序开发工具。它使用了Microsoft Windows图形用户界面的许多先进特性和设计思想，采用了弹性可重复利用的完整的面向对象程序语言(Object-Oriented Language)、当今世界上最快的编辑器、最为领先的数据库技术。对于广大的程序开发人员来讲，使用Delphi开发应用软件，无疑会大大地提高编程效率，而且随着应用的深入，您将会发现编程不再是枯燥无味的工作——Delphi的每一个设计细节，都将带给您一份欣喜。
上传时间： 2014-01-23
上传用户：wlcaption
替代加密: 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
使用API函数进行可视化编程，Windows图形设备接口及Windows绘图
上传时间： 2014-01-27
上传用户：努力努力再努力
非均匀有理B样条的matlab程序，其中用到了C的混合编程。对于学习数据融合技术的人很有帮助！
上传时间： 2016-11-23
上传用户：huyiming139
将潮流计算公式矢量化处理,利用Matlab编写潮流程序,并将Matlab的m文件编译成COM组件,可简单实现 Matlab和其它语言的混合编程。通过简单的函数调用即可完成如稀疏、解方程等一系列数学运算,并可轻易实现相关图形的 绘制。潮流计算中采用AMD算法对修正方程系数矩阵进行节点优化,并采用LDLT算法进行求解,有效地减少了注入元,计 算速度成倍提高。在混合编程的模式下,提高了程序开发速度、程序可靠性、计算效率和保密性。
上传时间： 2014-01-26
上传用户：tzl1975
--文件名：mine4.vhd。 --功能：实现4种常见波形正弦、三角、锯齿、方波（A、B）的频率、幅度可控输出（方波 --A的占空比也是可控的），可以存储任意波形特征数据并能重现该波形，还可完成 --各种波形的线形叠加输出。 --说明： SSS（前三位）和SW信号控制4种常见波形种哪种波形输出。4种波形的频率、 --幅度(基准幅度A)的调节均是通过up、down、set按键和4个BCD码置入器以及一 --个置入档位控制信号（ss）完成的（AMP的调节范围是0~5V，调节量阶为1/51V）。 --其中方波的幅度还可通过u0、d0调节输出数据的归一化幅值（AMP0）进行进一步 --细调（调节量阶为1/（51*255）V）。方波A的占空比通过zu、zp按键调节（调节 --量阶1/64*T）。系统采用内部存储器——RAM实现任意输入波形的存储，程序只支 --持键盘式波形特征参数置入存储，posting 为进入任意波置入(set)、清除（clr）状态 --控制信号，SSS控制存储波形的输出。P180为预留端口，
上传时间： 2017-02-09
上传用户：z1191176801
