【摘 要】
：
计算机联锁是一种典型的关键安全系统,必须要考虑到许多技术要求,以防止风险因素的影响。同时,可以对导致各种软件发生故障的因素进行检测并把它找出来,而且还可以提供准确和
【机 构】
：
北京精密机电控制设备研究所,航天钧和科技有限公司
论文部分内容阅读
计算机联锁是一种典型的关键安全系统,必须要考虑到许多技术要求,以防止风险因素的影响。同时,可以对导致各种软件发生故障的因素进行检测并把它找出来,而且还可以提供准确和统一的评估标准,以及保证软件的安全性。系统安全测试是用于测试阻止软件安全功能的最复杂的技术工具,基于以前的测试和研究,该文主要分析了基于测试的安全评估标准,并且还定义了新概念,象危险问题、风险收集预防以及扩展预防范围。对安全问题分类的不同标准的正式描述为进一步开发计算机联锁软件的测试和安全评估提供了有用的理论基础,而且该文还研究了一些计算机联锁
其他文献
预拌砼在施工中出现了很多技术、管理不当之处，针对一些管理、技术问题，利用系统工程概念提出相应办法，解决和控制了砼质量，保证预拌混凝土的应用和推广。
本文围绕南宁南站功能定位进行相关枢纽车流组织和特点研究,得出该站将在近期承担广西区内主要货运交流的结论;归纳和分析了近六年间广西与其他行政区域的货运交流情况,从强
中马村矿位于焦作市东,太行山复背斜之南翼,设计年产60万吨.井田呈单斜构造,如图<Ⅰ>所示.北部以李河、李庄断层为界,南至九里山断层,西起凤凰岭断层,东到11—4,11—6与11—4
贾宝玉是《红楼梦》中最突出的主要正面人物，是全书阶级斗争，政治斗争中的关键性角色，是中国古典文学中的一个非常深刻，复杂而独特的封建阶级叛逆者的典型形象。这个典型形象，继承
<正> 河南永城矿区是国家重点开发矿区之一。矿区规划总能力为1005万吨/年。为大型无烟煤基地。由于该区第三四系沉积物分布广泛,平均厚度312.97米,砂层厚度约占全复盖层的30
用最小二乘法在蜂窝小区中形成全覆盖的Switched Beam(SB). 根据CDMA信号模型和多径信道模型,用最大似然(ML)法估计得到每个用户在每个扇区内加权幅度最大的路径,通过比较这
多年冻土地区的建筑，由于在施工和使用期外界温度的影响，使多年冻土地基产生冻胀和融化，导致建筑物发生变形，倒坍等破坏。架空保温条形基础的设计方法，经过多年的设计实践证明，是行
色度扩展视频编码是当前视频编码领域的一个热点研究课题。该文提出基于AVS2平台的色度扩展视频帧内编码的实现方案。仿444/422编码方案通过将输入图像中的色度分量下采样后,
通过对高层建筑火灾特性的分析,介绍防排烟系统的设计方式,指出在防排烟设计过程中应注意的问题并提出几点看法与建议,供设计时参考.
“8·8”九寨沟地震发生后，社会各界倾力相助，九寨沟灾后恢复重建工作有序推进，目前九寨沟景区内部分区域已具备重新对外开放条件。按照“限区域、限流量、限时段、限方式”