< B语言与方法:实用形式化开发指南>> 本书介绍了B抽象机符号语言以及用于支持形式化规格说明和高集成 系统开发的方挂。首先,介绍了B 语言的发展历史及与其他语言的关系,然 后,从集合、序列等基本数学符号表示到B 语言的结构化机制,再到它所支 持的大型程序设计方法,全面地介细了B 符号语言的描述方法。
上传时间: 2014-11-29
上传用户:康郎
一个用C++写的电力系统故障录波数据管理系统
上传时间: 2016-04-10
上传用户:xinyuzhiqiwuwu
uclinux 中如何使用b核的文章,经典
上传时间: 2016-04-11
上传用户:jqy_china
在了解实时嵌入式操作系统内存管理机制的特点以及实时处理对内存管理需求的基础上,练习并掌握有效处理内存碎片的内存管理机制,同时理解防止内存泄漏问题的良好设计方法。使用预先规划的思想,构建自己的私有内存管理机制,在系统内存池中申请内存,并将其纳入私有内存管理机制中,形成静态预分配内存池; 静态预分配内存池支持一种以上固定长度内存池,如16 字节内存池和256 字节内存池。固定长度内存池的单块长度应考虑体系结构开销,并尽量减少内部碎片;固定长度内存池数量应可配置; 静态预分配内存池与系统内存池的统一管理机制。向用户分配内存时应保证长度最佳匹配原则。当申请内存的长度超过静态预分配长度或资源不足时,自动向系统内存池申请; 管理机制包括: a) 初 始化函数; b) 内 存申请/释放函数。并特别要保证释放安全; c) 告 警机制; d) 管 理监视机制。 5. 利用可能的互斥机制或代码可重入设计,保证以上管理机制的操作安全性; 6. 创建多Task 环境测试及演示以上内容
上传时间: 2016-04-12
上传用户:lizhen9880
本系统分两部分管理,前台用于文章发布和用户文章发表,后台有管理员审核和不同权限的用户管理,具有高稳定性和安全性。整个站的全部数据逻辑运算完全有beans封装, 具有界面简洁、功能强大、操作方便等特点。 本站后台默认的用户名和密码都是ntsky123
上传时间: 2016-04-13
上传用户:sssl
该系统是一个B/S结构的公司定饭系统,整套软件由JSP编制,希望大家能够多提宝贵意见,但请不要将它应用于商业环境,如实在要使用的话,请与作者联系!(使用此系统无比要有ORACLE8i以上版本数据库!)
上传时间: 2014-01-25
上传用户:坏坏的华仔
客流数据的实时采集是交管部门对车辆管理研究的关键问题之一,利用图像处理方法来进行人群监测在国内外已有研究,但在复杂场景的监测并不令人满意。本文利用普通CCD采集图像,综合帧间图像差异和消除背景图像的处理技术来有效检测图像中的运动人群,克服传统方法中存在的测量误差,并依据所检测的前景图像区域面积与整个图像有效面积的比例来估测当前图像中人群数目
上传时间: 2016-04-17
上传用户:1051290259
1.可查看/修改windows操作系统 可使用oledb或odbc的数据库 2.对于不需为用户安装管理工具的数据库,可方便程序员管理数据. 3.可以非常灵活地导出数据,甚至sql insert语句文件(仅限sqlserver)
上传时间: 2013-12-17
上传用户:xz85592677
一个职工信息管理系统。 系统功能如下: 1,创建存储该单位职工信息的存储系统,在第一次输入基本信息时,创建文件将职工信息写入文件。 2,增加职工信息,增加新职工时输入新职工的基本信息并加入文件。 3,删除某职工的基本信息,同时修改文件中相应的内容。 4,修改某职工的某些信息,如加工资,获新学位,晋升职称。 5,可以输出符合某种特征的职工信息列表,包括: a)全体职工信息; b)某职称的职工全部信息; c)出生日期在某一范围的全部职工信息; d)某一部门全部职工信息。
标签: 信息管理系统
上传时间: 2013-11-30
上传用户:woshini123456
通过c语言开发一个图书管理系统.本实列采用多个文件夹保存数据结构,用户可以改进程序.
上传时间: 2013-12-15
上传用户:dapangxie