论文部分内容阅读
越来越多的工业领域对计算机控制系统的可用性、可靠性和安全性要求越来越严格，而2乘2取2冗余结的计算机平台正是解决这一问题的一种重要方式。本文通过分析CBTC系统安全计算机平台各组成结构的基础上，提取出了时间自动机的校验助手UPPAAL，并通过建立一个系统模型，在此基础上再进行验证和分析。
时间自动机模型的安全计算机平台的形式化验证分析
【摘 要】
：
越来越多的工业领域对计算机控制系统的可用性、可靠性和安全性要求越来越严格，而2乘2取2冗余结的计算机平台正是解决这一问题的一种重要方式。本文通过分析CBTC系统安全计算
【机 构】
：
吉林工商学院信息工程分院
【出 处】
：
消费电子
【发表日期】
：
2012年11X期
其他文献
美国一所海洋保护机构在近日发表的一份报告中警告说，垃圾正在严重破坏海洋环境，仅一次不完全的全球海岸清理活动，就清理出3700吨垃圾。这家名为“海洋保护管理所”的机构在报告
1405年,郑和率领船队第一次下西洋。他的船队从南京的宝船厂开船,龙江关出水,历经占城、爪哇、苏门答腊、锡兰等地,经印度西岸折回。在1405年到1433年期间,他与船队曾先后7次
鳄鱼可以像鸟类一样呼吸，这可能是它们的一种生存策略。·鸟类呼吸时，空气单向呼入、呼出，并在管状结构中进行气体交换。对于哺乳动物而言，气体交换的场所是囊状的肺泡。恐龙
改革开放以来,鉴于经济的发展、法治的进步,政府执政水平的提高以及民众主体意识的觉醒,行政行为的价值取向经历了,由唯效率观向效率优先兼顾公平,以及在兼顾效率和公平的基
摘要：无线传感器网络（WSN）的出现使得很多复杂环境的监测得以实现，而路由协议是WSN中的一个重要研究方向。本文主要研究在带状网络中WSN的拓扑结构，并以LEACH协议为基础，针对其局限性，提出了一种改进的路由协议L-P。通过仿真表明改进后的协议的确在可靠性和延长网络生命周期方面比LEACH协议优越，更适应在带状网络中应用。 关键词：无线传感器网络（WSN）；LEACH协议；拓扑结构；带状网络
＂十二五＂期间黑龙江省人才开发面临的主要问题就是人才结构性矛盾突出,高层次人才短缺,创新能力不强;人才资源开发投入不足,影响人才创造性,人才流失严重;人才环境与以用为本的
我们都知道,食物和水对维持生命系统的正常运水对于维系人类生命的延续是必需的,但同时,也少不了维生素B的帮助。我们都知道，食物和水对维持生命系统的正常运转，保证生命迹象的