< B语言与方法：实用形式化开发指南>> 本书介绍了B抽象机符号语言以及用于支持形式化规格说明和高集成 系统开发的方挂。首先，介绍了B 语言的发展历史及与其他语言的关系，然 后，从集合、序列等基本数学符号表示到B 语言的结构化机制，再到它所支 持的大型程序设计方法，全面地介细了B 符号语言的描述方法。
上传时间： 2014-11-29
上传用户：康郎
在数据加密和数据压缩中常需要对特殊的字符串进行编码。给定的字母表A 由26 个小 写英文字母组成A={a,b,…,z}。该字母表产生的升序字符串是指字符串中字母按照从左到 右出现的次序与字母在字母表中出现的次序相同，且每个字符最多出现1 次。例如， a,b,ab,bc,xyz 等字符串都是升序字符串。对于任意长度不超过6 的升序字符串，迅速计算出它在上述字典中的编码。
上传时间： 2016-05-12
上传用户：邶刖
提出了一种基于小波神经网络整定的PID 控制方法。由于小波变换具有良 好的时频局部特性,神经网络具有强大的非线性映射能力,自学习、自适应等优势,采用规 范正交的小波函数作为神经网络的基函数构成小波神经网络,该网络兼有小波函数的紧 支性、波动性以及神经网络的非线性映射能力,自学习、自适应能力等优点,渗碳炉控制实 验结果表明,用该方法整定的PID 控制系统收敛速度快,逼近精度高,鲁棒性好
上传时间： 2014-01-15
上传用户：yzy6007
测频仪自问世以来得到蓬勃发展，目前测频仪的功能正日渐完善。在电路实验中测量频率是一项十分重要的工作，基于计数器的功能设计了一个利用数字电路构成的可用来测量某些电信号频率的仪器，该仪器适合测量频率较高的电信号，具有电路简洁、测试范围广等优点。
上传时间： 2014-01-15
上传用户：米卡
MeyboMail Web(脉博邮件系统客户端)是一个纯Java编写的,基于B/S模式的邮件系统客户端软件,系统表示层使用easyjf.com(简易java框架)的 EasyJWeb框架开发,主要通过调用java mail实现邮件的收发。MeyboMail Web主要配合MeyboMail Server(脉博邮件服务器系统）使用，MeyboMail Server是使用Java编写，可以运行在任何支持Java的服务器系统平台。拥有自主知识产权的邮件服务器系统软件，系统实现了POP3,ESMTP 等邮件协议，支持服务器群集，可以运行在多台服务器上。
标签： MeyboMail EasyJWeb easyjf Java
上传时间： 2014-11-14
上传用户：qq21508895
自己的51开发板源代码B，里面包含有LCD1602实验，lcd12864实验，ps2 lcd1602，串口通讯，红外遥控，计算器，继电器控制，矩阵键盘等实验程序，内容丰富
上传时间： 2016-09-06
上传用户：wab1981
A方向和B方向各设红（R）、黄（Y）、绿（G）和左拐（L）4盏灯，4种灯按合理的顺序亮灭，并将时间以倒计时的形式显示出来。同时要设置两个方向的紧急通道模式，当某一方向有紧急事件发生时，交警按下紧急通道按钮，该方向绿灯亮，另外一个方向红灯亮，等紧急事件解除后（假定计时10s）,交通恢复原来的状态 要求在数码管上显示两个方向的灯种和计时，实现紧急情况按钮输入功能 根据交通灯控制要实现的功能，可考虑用两个并行执行的always模块（两个进程）来分别控制A和B两个方向的4盏灯。这两个always模块使用同一个时钟信号，以进行同步，也就是说，两个进程的敏感信号时同一个 每个always模块控制一个方向的4种灯按如下顺序点亮，并往复循环：绿灯－黄灯－左拐灯－黄灯－红灯，灯亮的时间由自己设定 由于板上资源有限，如觉得实现困难，可去掉左拐灯，即顺序为绿灯－黄灯－红灯。
标签： 方向
上传时间： 2016-10-07
上传用户：CHINA526
小数分频技术解决了锁相环频率合成器中的频率分辨率和转换时间的矛盾, 但是却引入了严重的相位噪声, 传统的相位补偿方法由于对Aö D 等数字器件的要求很高并具有滞后性实现难度较大。$2 调制器对噪声具有整形的功 能, 因而将多阶的$2 调制器用于小数分频合成器中可以很好地解决他的相位噪声的问题, 大大促进了小数分频技术的 发展和应用。文章最后给出了在GHz 量级上实现的这种新型小数分频合成器的应用电路, 并测得良好的相噪性能。
上传时间： 2017-01-04
上传用户：498732662
我们程序设计课上要求写的b+树的c++实现，可以进行插入查找删除等操作，代码简单，适合新手
上传时间： 2013-12-16
上传用户：gxrui1991
B/S asp.net的C#编的网站，比赛报名受理，管理报名人员，消息发布，Email通知等功能
上传时间： 2013-12-30
上传用户：ikemada
