< B语言与方法：实用形式化开发指南>> 本书介绍了B抽象机符号语言以及用于支持形式化规格说明和高集成 系统开发的方挂。首先，介绍了B 语言的发展历史及与其他语言的关系，然 后，从集合、序列等基本数学符号表示到B 语言的结构化机制，再到它所支 持的大型程序设计方法，全面地介细了B 符号语言的描述方法。
上传时间： 2014-11-29
上传用户：康郎
采用MATLAB编写B样条绘制程序，可以选择四种节点矢量，采用Deboor算法,详细参看计算机辅助几何设计的书籍(CAGD)
上传时间： 2013-12-23
上传用户：yoleeson
B+树的演示程序，在vs.net 2003 下编译通过。是数据库基础的课程设计。
上传时间： 2014-12-03
上传用户：王小奇
超声波倒车雷达的设计程序 利用SPCE061A单片机实现超声波倒车雷达的测量计算方法。程序中采用软件校正，提高测量结果的精度和整机的可靠性，实现对多路传感器的控制；
上传时间： 2016-06-08
上传用户：lifangyuan12
本“一卡通”系统基于企业内部局域网，我方提供的“一卡通”系统必须满足如下的网络特性，同时网络的性能也应得到相应的保证： 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
RSA核心运算使用的乘模算法就是 M(A*B)。虽然M(A*B)并不是乘模所需要的真正结果，但只要在幂模算法中进行相应的修改，就可以调用这个乘模算法进行计算了。本软件起初未使用Montgomery 乘模算法时，加密速度比使用Montgomery乘模算法慢，但速度相差不到一个数量级。 将上述乘模算法结合前面叙述的幂模算法，构成标准Montgomery幂模算法，即本软件所使用的流程
上传时间： 2016-07-16
上传用户：hullow
标准化考试系统 (B/S网络版) 用JAVA编写的考试系统，是JAVA课程设计时的作品！ 客户端主类ClientBS 客户端选择试题界面ChoiceFile 客户端考试界面ClientTestArea 服务器端主类Server 服务器端读取试题 ReadTestquestion
上传时间： 2013-12-26
上传用户：yyyyyyyyyy
假设在时间段[A, B]期间有6个作业需要在某台机器上处理，每个作业对应的权重为Wi，请设计一个算法使这台机器在该时间段内利用率最高。
标签： 机器
上传时间： 2014-01-10
上传用户：gut1234567
本文用VHDL在CPLD器件上实现一种8 b数字频率计测频系统，能够用十进制数码显示被测信号的频率，不仅能够测量正弦波、方波和三角波等信号的频率，而且还能对其他多种物理量进行测量。具有体积小、可靠性高、功耗低的特点。
上传时间： 2013-12-18
上传用户：sy_jiadeyi
"jsp下中国式复杂报表的设计及应用 包括Cell插件JSP中读取和保存数据库的代码示例，需要安装用友华表软件技术有限公司的Cell插件后才能正常观看，请先下载Cell插件。 Cell网站： http://www.cellsoft.cc/Cell/index.asp cell插件下载地址： http://www.cellsoft.cc/GL_Down/2008121321664295.exe 产品概述： Cell 插件用于开发B/S结构程序，使用Asp, Asp.net, Jsp, VbScript, JavaScript等语言开发，可以在浏览器中直接打印报表（非IE打印），带有国际化数字签名，让用户使用更方便，更安全。 · 具备Cell组件的所有特色功能，在浏览器中提供报表的显示和打印(非IE的打印) · 网络报表界面美观，大大改善了浏览器中报表的输出效果 · 带有国际化数字签名，让用户使用的更安全、更放心 · 可将报表文件另存为华表文件或者Excel文件，从而可以进行进一步加工 · 支持ASP、ASP.Net、JSP、VBScript、JavaScript等语言开发 在开发工具中将Cell插件引入至工程，然后将Cell插件拖至页面中即可开始报表设计。"
上传时间： 2014-01-18
上传用户：l254587896
