【摘 要】
：
CBTC的计算机联锁（CBI）系统是一个复杂且安全性要求非常高的系统,若按照传统的方法进行开发,很难达到其所需要的安全性和可靠性.本文提出基于高安全性应用程序开发环境（SCADE）开
论文部分内容阅读
CBTC的计算机联锁（CBI）系统是一个复杂且安全性要求非常高的系统,若按照传统的方法进行开发,很难达到其所需要的安全性和可靠性.本文提出基于高安全性应用程序开发环境（SCADE）开发城轨联锁系统软件的方法,能有效解决上述问题.文章主要介绍基于SCADE开发CBI软件的流程,建模方法,形式化验证和代码自动生成的方法.
其他文献
为了贯彻党的十五届三中全会决议精神,探索新形势下如何开拓农村图书市场,加强农村图书发行,以更好地为农业、农村、农民服务,新闻出版署发行司和中国书刊发行业协会于11月17
为了进一步提高书籍装帧艺术水平,加强南方地区各出版社之间书装艺术的交流与探讨,“首届南方12省、市、自治区书装艺术研讨暨展评会”于1997年10月15日至20日在湖北武昌召开
1996年来到了。 1996年,既是实施“九五”计划的头一年,又是出版工作向以优质高效为重要特征的阶段性转移的第三年。我们应在过去的基础上,再迈出新的步子,争取新的更大的成
近些年来,APP逐渐渗透在人们生活、工作、学习以及娱乐的各个方面。在体育方面,2013年12月正式上线的足球APP“懂球帝”,在这两年成长飞快。(懂球帝,体育界网络热词,意为极其
人类为了生存和发展,在不断地改造自然界的同时,也在改造自身。人们用一生的心血和行为,在不断地探索——人生的价值何在?人生的意义何在?人为什么活着?人应该怎样活着? 人,
记者从有关方面获悉,新闻出版署领导同志最近在学习传达全国宣传部长会议精神时强调指出,江泽民总书记、李鹏总理在会上的讲话,高屋建瓴,站在跨世纪的历史高度,面对各种复杂
党的十九届三中全会中提出,鼓励各级政府,政协单位,各个企业,人民代表大会以及各种组织等在中国共产党的统一领导下,团结协作,共同发展,要全面提升治理国家的总体水平和能力。社会组织已成为国家治理的重要载体。不管是成立时间、职能范围还是组织运行等方面,行业协会是迄今为止发展最为充分的一类社会组织。实践证明,行业协会在减轻政府公共管理压力、提高政府管理效能,促进社会发展进步等方面发挥了重要作用。但受中国特
作为当下奥地利最具反叛和先锋精神的作家,彼得·汉德克一直在创作中探索人和世界的关系、人在空间中的定位以及自我性的表达。自60年代早期的先锋戏剧后,汉德克逐渐把重心从
蓝莲花艺术庄园是笔者与朋友合伙创办的外景拍摄基地,主营业务是为有外景拍摄需求的大型影楼、摄影公司、摄影工作室提供化妆、更衣、休息场所和外景拍摄场地。近年来,随着我国经济的发展,人民生活水平逐步提高,人们越来越倾向于选择专业摄影机构提供的摄影服务来记录美好瞬间,新人结婚拍摄婚纱照、结婚纪念日拍摄纪念照,女性怀孕拍摄孕妇写真,儿童拍摄生日写真已成为大多数家庭的刚性消费。行业广阔的市场空间吸引了众多摄影
针对计算机联锁实操培训中培训场景与实际车站情况不一致的问题,基于系统集成理念,采用多线程处理、瘦客户机嵌入、软件移植等技术,设计开发计算机联锁RALI实训平台,使用与现