< B语言与方法：实用形式化开发指南>> 本书介绍了B抽象机符号语言以及用于支持形式化规格说明和高集成 系统开发的方挂。首先，介绍了B 语言的发展历史及与其他语言的关系，然 后，从集合、序列等基本数学符号表示到B 语言的结构化机制，再到它所支 持的大型程序设计方法，全面地介细了B 符号语言的描述方法。
上传时间： 2014-11-29
上传用户：康郎
超声多普勒流量计在流量测量、企业管理及流量监测与控制中具有广阔的应用前景, 但目前大部分流量计仍使用过 零检测法,精度不高。本文从理论上介绍了采用频谱分析法消除了理论上的误差, 提高了测量精度。同时介绍了硬件电路电 路、软件处理及试验结果。
上传时间： 2014-12-07
上传用户：Pzj
实现最优二叉树的构造；在此基础上完成哈夫曼编码器与译码器。 假设报文中只会出现如下表所示的字符： 字符 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开发的程序, dfm是作为资源嵌入可执行文件的, 这就或多或少地带来了一些安全方面的问题. 比如, 通过分析资源, 就能大致了解Form上用了哪些控件 甚至, 通过修改资源, 就可以达到修改程序界面的目的.. 这个小程序就是为了解决这一问题而作的尝试. 主要思路就是, 将dfm作为字符串变量, 保存在程序内部.. 至于代码, 基本上都是抄Delphi的, 只不过把从资源读改为从变量读, 仅此而已.. 如果您有更好的方法, 望不乞赐教,
上传时间： 2016-05-22
上传用户：上善若水
1、提取原蛋白质相互作用网络的所有节点 2、分别计算原蛋白质相互作用网络每个节点的度 3、从所有节点中选择具有最高度的节点，反复的添加边，直到它的度值等于原蛋白质相互作用网络该节点的度值 4、在为节点添加边时，从剩余节点中选择节点的方法是其度分布近似服从power-low分布 5、令t的值为零，则每个节点被选到的可能性都是相同的，由于在原蛋白质相互作用网络存在大量的低度节点，所以集散节点会优先连接低度节点。 这样创建的网络就为负相关蛋白质互作网络
上传时间： 2014-01-13
上传用户：skfreeman
用javascript写的,我太懒不想写太详细的说明,自己看里面的代码吧,有少许说明的.这是我的第一个js大作 ,有人有兴趣的话再改些吧...主要思路是找出相关的关键字(不要笑我). 推荐懂js的人看 谢谢大家支持,据现有功能进行部分修正,去掉了密码提示问题的填写!增加id判断! 1、怎样安装插件？ 到论坛插件资源栏目里，找到自己喜欢用的插件，下载压缩包。 a.如果你选用的是 TheWorld2.0安装版 ，就把下载的压缩包解压缩后，将里面的插件包直接放进安装后的 plugin文件夹里，重新开浏览器就可以看到插件了！ b.如果选用的是 TheWorld2.0绿色版，就在TW所在的文件夹内新建一个文件夹，起名叫 plugin，并把解压缩的插件包放进即可
标签： javascript 代码
上传时间： 2016-05-31
上传用户：lhc9102
从官方网站上下载tinyos2.0的学习指南，对学习2.0很有帮助，看了以后感觉能对2.0有点了解
上传时间： 2013-12-23
上传用户：yuzsu
一本学习VC的必看书籍，从潜入深，讲解的非常详细。
标签： 书籍
上传时间： 2016-06-04
上传用户：refent
一本学习VC的必看书籍，从潜入深，讲解的非常详细。
标签： 书籍
上传时间： 2016-06-04
上传用户：asdkin
一本学习VC的必看书籍，从潜入深，讲解的非常详细。
标签： 书籍
上传时间： 2013-12-16
上传用户：duoshen1989
