< B语言与方法：实用形式化开发指南>> 本书介绍了B抽象机符号语言以及用于支持形式化规格说明和高集成 系统开发的方挂。首先，介绍了B 语言的发展历史及与其他语言的关系，然 后，从集合、序列等基本数学符号表示到B 语言的结构化机制，再到它所支 持的大型程序设计方法，全面地介细了B 符号语言的描述方法。
上传时间： 2014-11-29
上传用户：康郎
实现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
上传用户：小儒尼尼奥
1553B总线是MIL－STD－1553总线的简称，其中B就是BUS，MIL-STD-1553总线是飞机内部时分制命令/响应式多路复用数据总线。1553B数据总线标准是20世纪70年代由美国公布的一种串行多路数据总线标准。1553B总线能挂31个远置终端，1553B总线采用指令/响应型通信协议，它有三种终端类型：总线控制器（BC）、远程终端（RT）和总线监视器（BM）；信息格式有BC到RT、RT到BC、RT到RT、广播方式和系统控制方式；传输媒介为屏蔽双绞线，1553B总线耦合方式有直接耦合和变压器耦合；1553B总线为多冗余度总线型拓扑结构，具有双向传输特性，其传输速度为1Mbps传输方式为半双工方式，采用曼彻斯特码进行编码传输。
上传时间： 2014-01-18
上传用户：13681659100
程序清单A中收录了产生PPM-TH和PAM-DS这两个信号源的所有函数；程序清单B中收录了加性高斯白噪声（AWGN）信道建模，正交和非正交单脉冲PPM-TH接收机结构，以及反极性PAM-DS单脉冲接收机结构仿真所需的所有函数。
上传时间： 2013-12-22
上传用户：hwl453472107
4． 假设有两个按数据元素值非递减有序排列的线性表A和B，均以单链表作为存储结构。编写算法将A表和B表归并成一个按元素值递减有序（即非递增有序，允许值相同）排列的线性表C。
上传时间： 2013-12-20
上传用户：笨小孩
综合2叉树及B+树优点的能根据增删改而分裂或合并的完整程序(现在以8bit(BYTE key)为关键字,可扩充到64bit的double为key,用户数据包现在以float ton表示,可扩充到任意结构struct)
上传时间： 2017-02-19
上传用户：498732662
ARINC429总线协议是美国航空电子工程委员会(Airlines Engineering Committee)于1977年7月提出的，并于同年发表并获得批准使用，它的全称是数字式信息传输系统(Digital Information Transmission System ) 。协议标准规定了航空电子设备及有关系统间的数字信息传输要求。ARINC429广泛应用在先进的民航客机中，如B-737、B-757、B-767，俄制军用飞机也选用了类似的技术。 ARINC429总线结构简单、性能稳定，抗干扰性强。最大的优势在于可靠性高。飞机上的ARINC429数据总线，用于在系统和设备之间传送上千种不同类型的参数，如航向、真空速、马赫数等。
标签： 429总线协议
上传时间： 2016-08-17
上传用户：w50403
21世纪大学新型参考教材系列 集成电路B 荒井
上传时间： 2013-04-15
上传用户：eeworm
家电维修(最基础的教程B)1-20.Torrent
上传时间： 2013-06-10
上传用户：eeworm
