互模拟准局部验证算法的扩展与实现

互模拟是并发系统的分析和验证的一个重要概念。本文主要扩展了一种由Du和Deng提出的准局部算法,使其更加适用于一般的标记迁移系统。我们用Java实现扩展后的准局部算法与Fernandez和Mounier提出的局部算法。我们以VLTS为实验数据基准,进行大量的实验,发现在大多数情况下,前者的性能比后者更好。同时,我们修改了算法使其能够验证模拟关系。最后,我们用Java实现对标记迁移系统进行转换,使算法同时可以验证弱互模拟关系。     

无人驾驶汽车决策系统的规则描述与代码生成方法

无人驾驶汽车的高层决策系统是其实现自主驾驶功能的核心,在决策系统的开发过程中,由于信号变量与状态数量庞大等原因,系统面临着可维护性与可拓展性差的难题。UNMANNED_RULE_EDIT是面向无人车高层决策系统的规则编辑与代码自动生成辅助工具,具有图形化编辑和代码自动生成的功能,有利于开发人员清晰直观地设计规则,并摆脱繁琐的编码工作。主要讨论了UNMANNED_RULE_EDIT的中间语言(规则语言)设计和代码自动生成算法。目前,该工具已初步应用在国内某单位研制的无人车上,为其决策系统的开发提供便利。     

关于古建筑火灾探测的一些思考

以某全国重点文物保护单位的修缮工程为研究对象,对古建筑中不同场所的自身结构、周围环境以及火灾探测所面临的问题进行分析,并以此为基础根据不同场所的具体特点和火灾探测需求选择适宜的火灾探测产品或组合,设计合理的解决方案.     

基于Malmquist指数方法的建筑业效率动态评价

采用基于Malmquist指数方法的DEA模型,以我国31个省份为决策单元,对中国建筑业2000~2009年投入产出面板数据进行综合效率评价研究,发现我国建筑业整体效率和技术水平偏低,总产值高速增长但令人不无堪忧,同时分析了此现象产生的原因并提出相应的建议。     

带有侦毒功能的吸气式火灾报警探测器应用探讨

近年来,我国的火灾探测报警技术在应用方面得到了较快推广,几乎成为每个工程建设项目中的必设系统.然而,有毒有害气体探测报警技术对大多数人来说还十分陌生,虽已有成熟的系统,但也只是在个别行业中得到了应用,如煤炭行业、化工行业等.介绍了一种带有侦毒功能的吸气式火灾报警探测器.这是一种将有毒有害气体探测报警技术和火灾烟雾探测报警技术相结合的跨系统复合型探测器,对其系统构成和适用场所进行了阐述,希望能够给业内同仁提供借鉴与参考.