【摘 要】
：
该文根据软件安全性理论及技术的发展,以独立性评估组织为背景,结合铁路信号安全控制及防护系统对软件安全评估理论及方法的实际需要,研究适合于中国铁路现状的车站计算机联
论文部分内容阅读
该文根据软件安全性理论及技术的发展,以独立性评估组织为背景,结合铁路信号安全控制及防护系统对软件安全评估理论及方法的实际需要,研究适合于中国铁路现状的车站计算机联锁软件的安全性评估理论和方法.论文分为二部分,一为理论研究,二为应用实践.在理论研究部分,论文针对可运行的软件产品提出了用于软件安全性评估的软件风险概念及度量定义.考虑计算机应用对铁路信号域知识及知识表示的需求,论文研究了铁路信号域的有关知识及表示方法.在应用实验部分,论文针对计算机联锁系统及其软件的特点,介绍了一种基于知识积累的联锁软件运行剖面生成方法,并在此基础上研究联锁软件风险的具体计算方法.
其他文献
该文首先系统分析了市场经济条件卞铁路运输生产管理所面临的严峻形势,研究了新形势下铁路运输基层部门工作任务的新变化和新要求.其次,论文在此基础上重点分析了铁路运输服
近十几年来，知识工程的学科理念和系统开发已被广泛应用于社会经济建设的各个领域，这大大提高了国家、企业和个人的工作效率与质量，产生了巨大的社会效益和经济效益。全球的知识工程产能每年以超过百分之二十的增长速度在飞速发展，其生命力之旺盛和巨大的影响力不可估量。因此，知识工程的飞速发展进一步提升了高科技理论与技术知识的应用层次与深度，使知识工程理论走向更深入、广泛的研究与设计领域。本文针对桥式起重机桥架设
20世纪90年代以来,随着中国经济的不断发展、国家对公路建设投入力度的不断加大,中国公路网化工程进入了一个新的发展时期.“九五”期间,为提高公路网整体水平,全面服务于经
该文首先研究了市场营销学理论,运输市场营销管理,运输市场及其特征,运输需求分析等理论.同时,分析了哈尔滨铁路局的运输市场状况,提出了营销创新的战略框架.然后,理论联系实
普通高中语文课程标准( 2017 年版)明确指出:“语文课程是一门学习祖国语言文字运用的综合性、实践性课程.”核心素养是语文课程的根本,包括语言建构与运用、思维发展与提升
你是一个根据大脑中第一反应而行动的人,还是一个思前想后,把一切后果都考虑到的人?大多数时候,我们往往凭着冲动去做一件事,在喜欢理性思考的经济学家眼里很可能根本不符合
汽车复杂型面拼接模具的铣削加工技术反映了汽车模具制造的水平，是汽车制造领域主要发展和研究的关键技术之一。但由于模具尺寸大，整体曲率变化复杂，通常由多种不同硬度材料拼接
"新航行系统及空中交通管理研究"是针对新航行系统实施对现行空管体系的影响以及空中交通管理进行的研究.在论文中,主要包括以下内容:1.首先分析了现行航行系统存在的缺陷,指
该文研究高功率超宽带电磁脉冲产生和辐射,从理论和实验相结合的角度开展研究.超宽带电磁脉冲是正在蓬勃发展中的前沿性研究领域,它具有瞬态和超宽带的特点,有广阔的应用前景