论文部分内容阅读
基于规则化描述方法已经在很多安全关键领域得到了应用,为了保证系统的安全性与可靠性,在系统投入使用之前必须进行验证。文章总结了目前采用的各种验证技术和工具,提出了一种能够检验文中给出的各种结构性错误的简单、高效、易于实现自动化的算法,并以皮带运输控制系统为实例进行了验证。
一种基于规则化描述方法的验证技术
【摘 要】
：
基于规则化描述方法已经在很多安全关键领域得到了应用,为了保证系统的安全性与可靠性,在系统投入使用之前必须进行验证。文章总结了目前采用的各种验证技术和工具,提出了一
【机 构】
：
合肥工业大学安全关键工业测控技术教育部工程研究中心
【出 处】
：
合肥工业大学学报(自然科学版)
【发表日期】
：
2010年5期
其他文献
文章设计了一种新型的P2P分布式存储系统——PPOcean。分布式存储系统是P2P技术的一个重要的研究领域，在分析现有研究的基础上，提出了在传输层上构建一个抽象的逻辑网络的架构
目的系统评价氯吡格雷联合阿司匹林与阿司匹林单独治疗用于稳定型心绞痛合并糖尿病患者的疗效和安全性。方法全面检索EMBASE、Pub Med、The Cochrane Library、SCI和中国知网
文章采用弹性力学的应力函数法，求得了双材料叠合悬臂梁在自由端受集中力作用时的理论解，所得到的应力理论解可退化为已有的单材料悬臂梁在自由端受集中力作用时的理论解；运用有
在新的形势下,电视媒体如何围绕农民做文章,怎样才能更好地服务于农民一直是新闻界不断探索的重要课题。笔者结合自己在基层的工作实践,浅谈一下这方面的认识和体会。
5月16日，“2014‘上海鼎龙’纸箱印刷成型减员增效技术管理研讨会”在上海奉贤成功举办。研讨会重点围绕“帮助纸箱企业减员增效”的主题展开。研讨会后，上海鼎龙技术人员在现
俗话说：每逢佳节倍思亲。但在交通日益发达的今天,即使异地相隔,逢年过节都还可以回家省亲团圆。只是苦于分身乏术,不能陪伴在每位异地亲友身旁谈心说事,因此,手机、电话等即
班组是个小小的社会，各种社会因素均会在班组中得到反映，诸如物价上涨、工资分配、住房问题、家庭矛盾等都会影响班组成员的心理和情绪，乃至影响工作。所以，在班组中建立心理疏导
本文介绍Ｐｏｗｅｒｓｅｔ２０００全站仪，在山西国际反承包和陕北大气田开发勘探中的三角高程测量，从三角高程高差计算与精度估算公式分析入手，经过大量实测数据，高精度满足了石油物探三角高程测量，也为该
介绍了Q9302钻井液降滤失剂的制备方法,讨论了原料配方对其性能的影响,并对其钻井液性能做了评价。结果表明,该产品具有良好的降滤失性能,抗温和抗污染能力强。