< B语言与方法:实用形式化开发指南>> 本书介绍了B抽象机符号语言以及用于支持形式化规格说明和高集成 系统开发的方挂。首先,介绍了B 语言的发展历史及与其他语言的关系,然 后,从集合、序列等基本数学符号表示到B 语言的结构化机制,再到它所支 持的大型程序设计方法,全面地介细了B 符号语言的描述方法。
上传时间: 2014-11-29
上传用户:康郎
华恒科技 HHCF5249-R3 技术手册 第一章 产品简介 第二章 软件系统 第三章 硬件系统 第四章 机械特性 第五章 底板的硬件设计 第六章 售后服务及技术支持 附录 附录A 初始化 附录B LINUX 常见术语 附录C 常用LINUX 命令 附录D GCC 与GDB 附录E MAKEFILE 附录F UCLINUX 系统分析 uClinux 简介 uClinux 小型化的做法 uClinux 的开发环境 uClinux 的内存管理 工具及内核 附录G 图形界面(GUI)接口函数API 附录H 参考资料
上传时间: 2013-12-24
上传用户:a6697238
黑客反汇编解密,一本很好很经典的书。主要讲的是反汇编方面的技术。
上传时间: 2016-05-05
上传用户:gundan
《网络盗窃——10个黑客入侵的故事》是一本别具一格的小说体裁的书。本书由10个虚构的故事组成,而故事中涉及的技术却是真实的。即使没有一个这样的故事发生过,也没有理由说为什么这些故事不会发生。你可能会提出异议,它为罪犯黑客提供了一张路线图;但是我说它还是提供了别的东西;它揭示了当代顶尖黑客的独创性思维,而黑客们还说这是一种智力游戏。 ——摘自黑帽子公司总裁 CEO JeffMoss所写的序言
上传时间: 2014-01-17
上传用户:cc1015285075
B树的实现以及图形化显示,实现B树的插入、删除、显示
上传时间: 2016-06-11
上传用户:李梦晗
简易数字频率计题解.( 1997年 B 题 ) 编写与讲解人:田良(东南大学无线电系,2003年3月12日) 一)任务 设计并制作一台数字显示的简易频率计。 (二)要求 1.基本要求 (1)频率测量 a.测量范围 信号:方波、正弦波 幅度:0.5V~5V[注] 频率:1Hz~1MHz b.测试误差≤0.1% (2)周期测量 a.测量范围 信号:方波、正弦波 幅度:0.5V~5V[注] 频率:1Hz~1MHz b.测试误差≤0.1% 3) 脉冲宽度测量 a.测量范围 信号:脉冲波 幅度:0.5V~5V[注] 脉冲宽度≥100μs b.测试误差≤0.1% (4)显示器 十进制数字显示,显示刷新时间1~10秒 连续可调,对上述三种测量功能分别采用不同颜色的 发光二极管指示。 (5)具有自校功能,时标信号频率为1MHz。 (6)自行设计并制作满足本设计任务要求的稳压电源
上传时间: 2013-12-26
上传用户:xg262122
采用TC2.0作为开发工具,实现学生成绩管理系统的基本功能,包括: A. 学生成绩管理系统界面的设计。 B. 实现以下几个功能模块: 1. 录入学生成绩:以学号为关键字录入某次考试中一科或多科(如语文、数学、英语等)的成绩。 2. 查询学生成绩,包括:(1)按学号查询(只要输入学号,则系统输出相关的成绩)。(2)查询所有的学生的成绩。 3. 修改/删除学生成绩:修改/删除某次考试中某个学生的某科或多科成绩。 4. 统计学生成绩:包括个人总分及平均分,单科下平均分,总分最高分,总分最低分等。 5. 学生成绩排序:条件可为学号,各科成绩等。
上传时间: 2016-06-26
上传用户:xuanjie
5.22④ 假设系数矩阵A和B均以三元组表作为存储结构。 试写出满足以下条件的矩阵相加的算法:假设三元组表A 的空间足够大,将矩阵B加到矩阵A上,不增加A、B之外 的附加空间,你的算法能否达到O(m+n)的时间复杂度?其 中m和n分别为A、B矩阵中非零元的数目。
上传时间: 2013-12-13
上传用户:coeus
sas教程 SAS数据挖掘技术的实现 作为智能型的数据挖掘集成工具,SAS/EM的图形化界面、可视化操作可引导用户(即使是数理统计经验不太多的用户)按SEMMA原则成功地进行数据挖掘,用户只要将数据输入,经过SAS/EM运行,即可得到一些分析结果。有经验的专家还可通过修改数据调整分析处理过程。
上传时间: 2016-08-20
上传用户:com1com2
该系统采用了B/S结构模式,利用JSP技术,采用开源框架Struts,使用连接池技术通过JDBC访问数据库。特别在登录安全问题,借助Web服务器Session对象,综合运用数据加密技术与图片验证码技术,增强Web用户登录安全策略。
标签: 模式
上传时间: 2013-12-23
上传用户:aa54