论文部分内容阅读
随着计算机系统应用的深入和广泛，系统安全性越来越成为人们关注的焦点，形式化模型检验是解决系统特性验证问题的一种有效途径，用有限自动机表示系统的设计和实现，用计算树逻辑CTL（Computational Tree Logic)公式表示系统的安全特性，探讨了系统安全性形式化验证的方法，
一种系统安全性的形式化验证方法
【摘 要】
：
随着计算机系统应用的深入和广泛，系统安全性越来越成为人们关注的焦点，形式化模型检验是解决系统特性验证问题的一种有效途径，用有限自动机表示系统的设计和实现，用计算树逻辑CT
【机 构】
：
北方交通大学电子信息工程学院,北方交通大学系统工程研究所,北方交通大学自动化系统研究所
【出 处】
：
计算机工程与应用
【发表日期】
：
2003年4期
其他文献
本文介绍了了铝合金表面处理的发展历史,在粉末涂料、液体喷涂、电泳涂层的发展趋势都是选择氟碳涂料作为一个基本的方向.在这个基础上,本文系统介绍了用于铝型材液体静电喷
1 完善制度建设，科学规范管理医院协经65年风雨沧桑，现已发展成为无为县唯一的学科配套、设备较完善、技术力量较雄厚的二级甲等综合性医院．医院打破传统管理模式，在内部管理上做
在上月由日产汽车公司、日产（中国）投资有限公司以及东风日产乘用车公司共同主办的日产先进技术说明会上，日产汽车还将旗下一款纯电动汽车Cube EV带到了中国，并首次给与会者提供
车对于许多家庭虽已不再是遥不可及的梦想，但往往购车也占用了家里的一大笔开支。汽车的很多特性又不同于家里的其他大件耐用品。许多人的买车、养车经验都是在拥有了一两辆车
道路与桥梁工程的施工质量影响着城市道路的使用寿命及交通安全,面对施工中出现的诸多质量问题,要从多方面入手加强质量控制与管理,坚持严格的技术标准,从而提升路桥工程质量
【正】 随着计算机技术的飞速发展,计算机在各个领域的应用越来越广泛,其中当然也包括在教学上的应用。为了改进教学手段,改善教学环境,使学生更好地理解和掌握所学知识,最大
为了优化网站的访问效能，实现网站实际结构与用户的使用行为相吻合，该文主要应用Web挖掘技术。以网站的服务器Web日志作为数据源，使用算法FEL和算法CRLL从用户访问事务序列中寻
武广铁路客运专线按高标准设计,高起点建设,高速度运行,高信息化管理等来设计,所以在施工技术方面,积极的综合吸纳在房建、高速公路中运用的先进技术,用以来满足客运专线高标