< B语言与方法：实用形式化开发指南>> 本书介绍了B抽象机符号语言以及用于支持形式化规格说明和高集成 系统开发的方挂。首先，介绍了B 语言的发展历史及与其他语言的关系，然 后，从集合、序列等基本数学符号表示到B 语言的结构化机制，再到它所支 持的大型程序设计方法，全面地介细了B 符号语言的描述方法。
上传时间： 2014-11-29
上传用户：康郎
巴克码生成与测试电路。 当计数脉冲不断进入由Q3Q2Q1组成的三位二进制异步计数器时，3-8译码器的8个输出经反相器后顺序输出高电平。其中五路信号经“或非”后再和其中3路“或”，在Y端便可顺序产生11000100代码序列。
上传时间： 2016-04-18
上传用户：极客
直接序列扩展频谱的源代码，用于产生直接序列，可进行现行的编码工作，用于无限通信中
上传时间： 2016-04-22
上传用户：baitouyu
伪随机序列发生器的vhdl算法 设计一个伪随机序列发生器，采用的生成多项式为1+X^3+X^7。要求具有一个RESET端和两个控制端来调整寄存器初值（程序中设定好四种非零初值可选）。
上传时间： 2016-05-09
上传用户：wxhwjf
evc开发的ppc环境下的动态树控件的生成与检索，包括节点编码规则和遍历算法。
上传时间： 2014-01-14
上传用户：yzy6007
输入脉冲序列，通过非线性系统生成序列波形。系统为RC级联网络
上传时间： 2014-01-18
上传用户：zhengjian
汉明码生成程序，可以用于实现对32位字符串的编码，是用VC++实现的，很好用
上传时间： 2014-01-16
上传用户：wxhwjf
HuffmanEncoder 一个使用java编写的Huffman编码程序，根据文本（此处使用DecOfInd.txt）中的字母和符号出现的次数进行Huffman编码并且转为01字符输出，即文件DecOfInd.huf。
标签： HuffmanEncoder Huffman java 编写
上传时间： 2016-06-07
上传用户：古谷仁美
给出信源符号的一阶概率分布，并计算信源符号熵和单字符Huffman码表，从而将对应符号进行编码。
上传时间： 2016-06-07
上传用户：dianxin61
hufman树及编码，实现最优二叉树的生成
上传时间： 2014-01-08
上传用户：13215175592
