火灾探测器为什么需要定期清洗

火灾探测器可以形象的比喻为现代建筑消防系统中的哨兵，在火灾自动报警系统正常运行状态下，“哨兵”的执勤状态不能有一丝倦怠，稍微的疏忽和大意都会给整个系统带来无法想象的恶果，最终导致自动报警系统所保卫的整座建筑毁灭在一个“生病”的“哨兵”身上。一个终日紧张工作的人，定期进行体检，及早发现病患和实施治疗后，以更高的工作质量重新投入工作。同样的道理一只火灾探测器从生产出来，即被安装在“哨兵”岗位上，开始长期“服役”。据北京市场调查，在线运行的探测器，最早可追溯到１９８０年，其“老、弱、病”的情形不难想象…     

一种面向对象程序的分层切片方法

程序切片是一种程序分析技术,广泛应用于程序的调试、测试、理解和维护等软件开发的各个阶段.在研究静态类型面向对象的程序切片时发现,利用系统依赖图计算程序切片虽然是一种有效的方法,但构造OO程序的系统依赖图是一件非常复杂的工作,而且构造过程中容易出错,这会导致切片的结果不正确,造成前功尽弃.为此,从程序逻辑分层的角度提出一种OO程序的层次模型,然后在OO程序的层次模型基础上采用逐步求精算法来分层计算OO程序的切片.     

程序员助手NPA

NPA(Naming University Programmer’s Apprentice)是一个交互式程序设计助手系统,它的主要基础是格局——一种程序表示方法.在这种表示中忽略了程序的非本质特征,仅仅描述有关算法的基本逻辑特征. NPA的设计目标是通过引用格局库中的程序片段,迅速而准确地构造程 序,它的目标语言是Ada.目前该系统由五个部分组成:编码程序,分析程序,格局库,格局编辑程序和正文编辑程序.     

第十六届软件工程国际会议概况

第十六届软件工程国际会议于1994年5月16至21日在意大利苏连托召开,来自美国,意大利,德国,日本,中国等30个国家的代表约500余人参加了会议,会议涉及面很广,发表论文45篇,按论文内容包括8个专题:软件形式化表示、软件结构、软件度量与评价、软件过程模型、软件测试、软件重用、实时与分布式系统和软件过程分析与改进。大会组织了多个最新研究状态报告,其中包括形式化规约技术,配置管理,分布式软件工程等。大会还组织了三     

等离子熔态还原钛铁矿

采用转移弧等离子冶金炉熔态还原钛铁矿的试验研究表明,由钛铁精矿与煤粉制成的压块,若碳的含量为氧化铁还原所需的90～100%时,它有很高的还原速率,同时渣中 FeO 的含量低于3.5%。在开发新流程时,则应该采用连续加料的方式。     

基于软件工程的规约方法分类

本文从软件工程角度,对软件的规约方法进行了分类,得到两类规约方法:一类是基于逻辑规约方法,此方法一般是给出系统应该满足的性质集合,其代表是时序逻辑方法;另一类方法是基于模型规约方法,此方法一般是给出一个抽象模型,这个抽象模型指出程序应该如何活动,其代表是通信系统演算(CCS)。本文进一步从软件工程原理,对这两类规约方法进行了比较和讨论,得到的结论是:两种类型的规约方法在系统开发的整个过程中都起着不同而重要的作用,它们相辅相成,缺一不可.最后,我们指出了今后的研究工作.在软件开发中,应该考虑多种规约方法和多种语义相结合的开发过程.     

实时系统时段性质的模型检验

一、前言随着计算机硬件的飞速发展,计算能力和速度大幅度提高,一方面使得计算机技术应用范围不断扩大,另一方面使得计算机系统的规模和复杂性急剧增加,导致系统出错的几率也随之增大。但任何一个错误在某些系统,如:空中运输控制系统、银行财务系统等,往往可能导致重大的经济损失,甚至人员伤亡,如1996年阿波罗5号火箭的爆炸等。显然对这种高安全性系统的正确性要求是极其严格的,在高安全性系统的开发过程中,最为关键的问题是如何在尽可能早的阶段验证设计的正确性。应用计算机系统的最大障碍就是系统的正确性无法保证,因此提高系统的正确性与可靠性变得日益迫切。