论文部分内容阅读
列车自动防护系统是保证列车运行安全的安全苛求系统，该系统功能繁多、逻辑复杂、开发难度大。为此，提出一种基于模型的软件开发方法，采用接口模型、状态模型和控制流模型描述该系统软件的功能，实现应用软件的开发。仿真测试结果表明，该方法能有效简化功能逻辑，降低开发难度，减少人为错误和故障的引入。
基于模型的列车自动防护系统软件开发
【摘 要】
：
列车自动防护系统是保证列车运行安全的安全苛求系统，该系统功能繁多、逻辑复杂、开发难度大。为此，提出一种基于模型的软件开发方法，采用接口模型、状态模型和控制流模型描述该
【机 构】
：
浙江大学生物医学工程与仪器科学学院
【出 处】
：
计算机工程
【发表日期】
：
2013年3期
【基金项目】
：
国家科技支撑计划基金资助项目（2011BAG01803）
其他文献
应用文是应“事”而生、应“用”而作的文章，其实用性源于日常的生活、工作。但应用文不像其他课文那样有华丽的词藻、动人的情节，因此给教与学带来了一定的困难，教学效果不甚理想。就中职教育而言，应用文教学也存在着一些不容忽视的问题，需要认真反思、总结并加以改进。 一、存在的问题 1.认识不足，缺乏氛围 首先是学校方面。有些学校并未将应用文写作专门开设为一门课程，而是依附于语文课。语文教师按照教材上编
琴在古代不仅为文人雅玩，更为文学中不可忽视的重要意象，在抒情文学中琴意象的研究较为丰富，对于叙事文学的琴意象研究则相对薄弱。而体现在叙事文学中的琴意象同样值得重视，其往
2017年,鹤壁市教育局组织职业院校班主任系统学习心理咨询师的相关知识,并且鼓励大家考取心理咨询师资格证,时长为一年,学习时间为每周末。无论刮风下雨,无论多忙多累,我都坚
近年来,郑州市管城区区委、区政府高度重视社区教育工作,不断创新工作思路,积极探索社区教育发展新模式,进一步满足社区居民自身发展需求,不断提升人民群众的获得感和幸福感
传统基于应用层中间件或代理的服务迁移技术容易造成单点故障且扩展性差，并且流媒体的交互性和长会话特性使其难以实现对用户透明。为此，提出一种基于OpenFlow的流媒体云服务迁
全球化速度在不断加快，中国的经济已然腾飞，中国在世界经济领域扮演了越来越重要的角色，彼此合作程度也不断深化，因此国外的留学生在国内有更多的机会了解中国，对中国文化的兴趣会