< B语言与方法：实用形式化开发指南>> 本书介绍了B抽象机符号语言以及用于支持形式化规格说明和高集成 系统开发的方挂。首先，介绍了B 语言的发展历史及与其他语言的关系，然 后，从集合、序列等基本数学符号表示到B 语言的结构化机制，再到它所支 持的大型程序设计方法，全面地介细了B 符号语言的描述方法。
上传时间： 2014-11-29
上传用户：康郎
企业内部管理信息平台，数据库SQL SERVER，服务器TOMCAT，B/S结构
标签： 管理信息
上传时间： 2013-12-14
上传用户：Altman
本“一卡通”系统基于企业内部局域网，我方提供的“一卡通”系统必须满足如下的网络特性，同时网络的性能也应得到相应的保证： 1、系统基于WINDOWS NT4.0,WINDOWS 2000(或以上)中文版网络操作系统，工作站配备WINDOWS 98操作系统。 2、后台数据库采用SQL SERVER 7.0(或以上)数据库平台。 3、系统主体应用系统采用C/S(客户机、服务器)网路结构。 4、部分应用软件可采用B/S结构（主要是查询系统）。 5、“一卡通”系统的应用程序运行在本地工作站，而全部数据存放在数据库服务器中，应用程序直接对服务器上的数据进行操作，以确保系统的安全性、数据共享及数据一致性。系统设计时，工作站应用软件可直接从服务器上下载得到，因此要求网络具有良好的稳定性和可靠性。 6、“一卡通”系统中的人事信息可基于企业现有的MIS（基本人事信息管理系统）系统，系统方案根据企业已有MIS系统设计。 7、企业开放必要的网络资源，提供网络技术支持，构建全部的网络系统，并确保网络的安全性。 8、由企业提供开发、运行所需的正版软件。
上传时间： 2016-06-08
上传用户：cuiyashuo
实现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
上传用户：小儒尼尼奥
程序清单A中收录了产生PPM-TH和PAM-DS这两个信号源的所有函数；程序清单B中收录了加性高斯白噪声（AWGN）信道建模，正交和非正交单脉冲PPM-TH接收机结构，以及反极性PAM-DS单脉冲接收机结构仿真所需的所有函数。
上传时间： 2013-12-22
上传用户：hwl453472107
一、 进程控制 1、 定义PCB（可以采用静态结构或动态结构）：包括理论PCB中的基本内容，如ID、进程状态、队列指针。由于无法实现真正的进程创建功能，在实验中只需建立PCB，用它代表完整的进程。 2、 定义进程状态转换方式：进程的状态转换是由进程内部操作或操作系统的控制引起，由于无法实现这些功能，学生可以采用随机数方法或键盘控制方法模拟，并实现对应的控制程序。随机方法指产生1－6的随机数，分别代表创建进程(c)、结束进程(e)、进程阻塞(b)、激活进程(w)、调度进程(p)、时间片到(t)等事件；键盘模拟方法指定义6种按键代表以上6种事件。 3、 根据四种事件处理就绪队列、阻塞队列和当前执行中的进程。 每次事件处理后应形象地显示出当前系统中的执行进程是哪一个，就绪队列和阻塞队列分别包含哪些进程。
上传时间： 2016-12-23
上传用户：wyc199288
4． 假设有两个按数据元素值非递减有序排列的线性表A和B，均以单链表作为存储结构。编写算法将A表和B表归并成一个按元素值递减有序（即非递增有序，允许值相同）排列的线性表C。
上传时间： 2013-12-20
上传用户：笨小孩
--文件名：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
综合2叉树及B+树优点的能根据增删改而分裂或合并的完整程序(现在以8bit(BYTE key)为关键字,可扩充到64bit的double为key,用户数据包现在以float ton表示,可扩充到任意结构struct)
上传时间： 2017-02-19
上传用户：498732662
