论文部分内容阅读
详细介绍了适于描述实时系统的形式化方法，时间自动机以及基于时间自动机的模型验证工具UPPAAL。给出了铁路车站信号系统中的联锁功能进路建立的时间自动机模型，并利用UPPALL对其进行了分析与验证。
基于UPPAAL的铁路车站信号联锁系统模型验证
【摘 要】
：
详细介绍了适于描述实时系统的形式化方法，时间自动机以及基于时间自动机的模型验证工具UPPAAL。给出了铁路车站信号系统中的联锁功能进路建立的时间自动机模型，并利用UPPALL对
【机 构】
：
合肥工业大学计算机与信息学院
【出 处】
：
科学技术与工程
【发表日期】
：
2008年7期
其他文献
根据生物免疫系统的免疫机制，在现有的生物免疫原理、计算机免疫学及入侵检测系统相关研究的基础上，提出了一种新的基于免疫原理的网络入侵检测系统模型，并对其进行了状态定义及
宣兆琦教授承担的山东省社会科学规划研究重大课题《齐文化与山东文化大省建设研究》，历时三年完成，其最后研究成果以专著的形式，于2007年5月由中国海洋大学出版社出版发行。
步入新时代以来,我国的社会经济获得了长足的进步,很多传统发展模式的企业已经不能够适应当前我国经济发展的需要,因此寻求企业转型是十分必要的。上世纪80年代以来,改革开放
战国时期的金属工艺进入了更新的历史阶段,铜灯具作为青铜器文化中一种后起的新生事物,在战国时期上层人物中已经被普遍使用,陶灯具也成为人们日常生活中不可缺少的照明用器.
在腰-硬联合麻醉的剖宫产术中,传统观念要求产妇在剖宫产后去枕平卧6小时后才能进行翻身活动,经临床护理实践发现,剖腹产后,产妇长时间处于同意体味,容易对产妇受压的皮肤造
战化军，山东省淄博市张店区人，1956年12月出生，1982年1月毕业于曲阜师范学院中文系，1985年9月至1986年12月于西南师范大学修完古代文学硕士研究生课程。历任淄博市职工大学副校长
应用紫金桥组态软件6．0设计了本系统的计算机监控软件，搭建了软件框架，完成了图形界面、实时数据库系统、趋势图及报表设计等模块的功能设计。整个系统人机对话方便简洁，系统构成
孔子作为我国古代著名的思想家、政治家、教育家,在其一生从事大量政治、教育活动的同时,也致力于档案文献的整理、编纂与传播工作,对中国思想文化史的继往开来做出了杰出贡
随着物流业的发展,绿色物流逐渐走进了人们的视野。开展绿色物流不仅能够降低企业的成本,同时也能够降低对环境的污染。但我国绿色物流起步晚,在物流管理中还存在着一些问题
针对由于各种因素引起的边坡失稳而造成不断发生的事故，从我国的地形、地貌特点，宁夏的土质特性及对各种事故进行统计分析的基础上，探讨了边坡由稳定到破坏的发育过程和各种影响