A New Software Reliability Framework——An Extended Cleanroom Model

Cleanroom software engineering has been proven effective in improving software development quality while at the same time increasing reliability. To adapt to large software system development, the paper presents an extended the Cleanroom model, which integrates object-oriented method based on stimulus history, reversed engineering idea, automatic testing and reliability assessment into software development. The paper discusses the architecture and realizing technology of ECM.     

利用迭代矩阵寻找网络中的关键主机

网络中的关键主机对网络的整体安全性有重大影响,但目前缺少有效方法在网络中寻找关键主机. 该文对网络关键主机进行定义和分类,提出一种关键主机的寻找方法. 将主机攻击图生成算法与迭代矩阵相结合,计算网络中各主机的相关安全属性并排序,使网络安全管理员能方便而有效地找出网络中的3 类关键主机及对应的关 键临界条件,从而采取相应措施保护关键主机. 实验表明该方法可用于网络安全性分析,对提升网络整体安全性有重要意义.     

时钟芯片DS1307在人造板尺寸在线检测系统中的应用

根据人造板实时检测尺寸参数数据的需要，文中给出了采用IIC总线接口实时时钟芯片进行准确定时设计原理，提出了实时时钟芯片DS1307与AVR单片机Mega16通用接口程序与电路设计。     

时钟芯片DS1307在人造板尺寸在线检测系统中的应用

根据人造板实时检测尺寸参数数据的需要,文中给出了采用ⅡC总线接口实时时钟芯片进行准确定时设计原理,提出了实时时钟芯片DS1307与AVR单片机Mega16通用接口程序与电路设计。     

GPS在高速铁路勘测中的应用

GPS系统已广泛用于大地测量、工程测量、航空摄影测量以及地形测量等各个方面。随着铁路客运专线的建设,勘测手段和方法也日新月异,GPS技术在铁路测量中的应用,是铁路测量的一项革命性的技术革新。笔者结合自身工作经验,以郑西铁路客运专线项目为例,介绍GPS系统在高速铁路勘测中的应用。     

相异性容错软件故障模型

针对容错计算领域中由于引入了相异性设计概念,导致传统软件失效模式难以应用的问题,提出了一个用于分析相异性容错软件故障的模型。模型根据各类软件设计故障对系统可靠性的影响,精确定义了相异性容错软件系统中故障的范畴及其划分、以及与系统失效之间的关联关系,在此基础上建立了一个基于功能的故障模型,以描述相异性软件系统的可靠性关系。通过一个通用相异性软件系统为实例,应用故障模型分析了系统可靠性关联关系,建立了与之相对应的故障模式及其可靠性模型,验证了故障模型的实用性。     

非金属物质活性炭、膨润土、沸石对含铬废水处理应用

含铬废水对环境危害巨大,对其处理技术的研究也越来越受到关注.通过对活性炭、膨润土、沸石等比较常见的非金属应用在含铬废水方面的改性以及工艺研究进展进行了综述.