【摘 要】
：
计算机联锁软件是铁路信号计算机控制系统中复杂性最大、安全性要求最高的软件.根据制式测试结果颁发计算机联锁的生产许可证,是铁道部有关部门加强计算机联锁质量管理的重要
论文部分内容阅读
计算机联锁软件是铁路信号计算机控制系统中复杂性最大、安全性要求最高的软件.根据制式测试结果颁发计算机联锁的生产许可证,是铁道部有关部门加强计算机联锁质量管理的重要措施.以制式测试为依据对联锁软件的安全性进行的评价,能够比较准确地获得软件开发方对于联锁安全性问题的理解和处理能力的完整信息,以补充'合格'或'不合格'两个评价结论过于粗略的不足.本文首先根据严重性和诱发可能性为每个安全性问题(即软件缺陷)定义了一个安全性指数,然后提出针对制式测试的安全性评价指标--联锁软件安全性
其他文献
我的妈妈名叫刘莉莉，茉莉花的“莉”，人送外号“刘三刀”。“刘三刀”这个外号是怎么来的呢？妈妈名字里的三个字都带有一个立刀旁，当然就是三把“刀”啦!其实啊，更厉害的“刀”藏
这年头提起数码相机，如果不是个微单似乎都不好意思出门见人。从微单的特性来看，这种相机的确非常适合我这种伪摄影爱好者。抛开什么技术、画质不谈，微单最吸引我的就在于近似于
11月28日,第四届“Brother爱心绣坊”活动在北京举办了捐赠仪式并圆满落幕.此次兄弟（中国）的爱心代表将温暖送到了小学校园,在今后Brother会继续投身于关爱儿童成长的社会贡献
据统计,浏览非工作网页、聊天、娱乐等非工作上网行为已经成为常态,占到员工工作时间的六分之一.这些行为不仅大大降低了企业的工作效率,浪费了企业资源,还会给企业带来网络
他捏着一张50元的纸币,走过第一个摊位,第二个,第三个……他已经在这条小巷子里走了一个来回,嘴唇抿着又松开,松开又抿住。肚子发出'咕咕'的声音,不是听见的,他感觉
国有企业的国有资产管理体制改革经历了25年的探索。党的十六大报告提出了深化国有资产管理体制改革的重大任务，十六届三中全会又提出建立“归属明晰、权责明确、保护严格、流转顺畅的现代产权制度”的目标，实行以产权制度改革为核心的经营性国有资产管理体制改革。随着国有企业改革的不断深入,国有企业中国有资产的管理体制正在日益完善。与此同时,如何加强事业单位国有资产管理的问题也日渐突出。长期以来,国家作为事业单位
摘要：随着外部竞争环境的改变，商业银行对于其自身的风险管理越来越重视，已经从过去关注短期的账面利润逐步转变为对于股票价值这种长期目标的关注。本文通过介绍经济资本概念及其在银行的具体运用，来展示其如何帮助银行克服过去发展模式的缺陷，将风险管理理念变为在实践中可执行的风险管理制度。指导银行在资本的约束下高质量的经营。 关键字：风险管理 经济资本 RAROC 风险考核 一、风险管理在商业银行管理
在车辆的走行过程中,上部与下部是相互作用和影响的,因此,轨道交通问题实际上就是线路上下部结构和车辆系统的体系匹配问题。本文针对列车走行的实际情况,将轨道-路基作为参
串联信息孤岛 华硕“省事儿”营造手机桌面新生态 作为人们工作和生活中不可或缺的第二大脑，智能手机汇集了越来越多的人性化功能，对用户的日常使用也提出了更高的经验性要求。为了实现商业利益的最大化，不同程序开发者提供的APP相互独立，用户不仅需要进行搜索、下载、安装、升级等繁琐的操作，在APP之间的不停切换也逐渐令人心生反感。为终结传统APP应用模式生成的信息孤岛效应，具有生态整合优化价值的一站式操作
因为自己的女儿想玩“七个小矮人矿山车”游乐项目遭到工作人员的拒绝，某演员在个人微博上发表文章谴责迪士尼乐园的相关工作人员。上海迪士尼园方则称其女儿身高不足97厘米，