【摘 要】
：
随着计算机技术的发展,计算机被越来越多的用于安全苛求系统的控制,对安全计算机系统的研究形成了专门的分支。计算机的通用化和市场化,促使研究人员采用现货供应(Commercial
论文部分内容阅读
随着计算机技术的发展,计算机被越来越多的用于安全苛求系统的控制,对安全计算机系统的研究形成了专门的分支。计算机的通用化和市场化,促使研究人员采用现货供应(Commercial-Off-The-Shelf,COTS)计算机产品构建安全计算机平台以替代价格高昂的专用计算机系统。论文以基于通信的列车控制(CBTC)系统中ZC应用和DSU应用作为应用背景,以CBTC系统中ZC应用和DSU应用所使用的基于COTS的安全计算机平台为例研究了如何基于COTS部件构建安全苛求系统。引入安全看门狗模块(Safety WatchDog Modular,SWDM)设计方法,提出了一种基于COTS的安全计算机平台结构,所采用的安全通信协议的结构符合EN50159-1标准规定。引入安全核(Safety Kernel)设计思想,对基于COTS技术的安全苛求系统软件的设计和实现进行了研究。以对所实现的2乘2取2安全计算机平台功能和性能几个方面的测试为例,研究了基于COTS技术构建的安全苛求系统的测试方法。最后对实验室样机的实现情况和系统的不足进行了说明,指明了下一步研究和改进的方向。本课题是对我国安全计算机技术的一个探索,具有深刻的现实意义,为深入研究COTS部件构成安全苛求系统的方法提供一定理论依据和技术指导。
其他文献
人类社会进入信息时代,信息量的与日俱增为人们带来了信息共享的快乐。但随着网络信息资源迅速增加,人们已经越来越难从网上找到自己想要的信息,大量的有用信息淹没在无用信
随着老龄化社会的到来以及医学模式的转变，人们的健康观念不断更新，以医院为中心的医疗模式正在过渡到以预防为主、以社区医疗、家庭和个人保健为中心的模式上来，而我国目前并未
本文针对国内现广泛应用的电阻炉加热系统之不足，借助于现代电力电子器件和先进的控制技术，研究了一种新型的多相多频率感应加热电源，以满足需多段加热或不适宜应用电阻炉的场合
混沌系统的控制和同步一直以来都是学术研究的热点和前沿。混沌是由确定非线性系统产生的一种极其复杂的现象,它在自然界和人类社会中普遍存在。由于其具有“蝴蝶效应”等奇
非线性系统是科学研究及现实生活各个领域内普遍存在的现象,因此非线性系统的控制研究,有着重要的理论和实际意义,并成为控制理论研究的热点之一。在传统非线性分析中,李雅普
随着科技的发展,异步电动机作为一种重要的电气动力设备在工业,农业和航空航天等领域得到了广泛的应用。正常运行的电动机一旦发生故障,不仅造成电机本身的损耗,还将给工业生
目前,切换系统已经是系统控制科学中一类重要模型,是系统控制理论研究的一个国际前沿方向。切换系统是由一族子系统和协调它们之间切换的切换规则组成。至今,切换系统的稳定
我国大约有5000个大中型大坝，水利资源利用率约20％，而在西方很多国家已经达到90％以上。目前在我国有一大批正在建设和即将要建设的水电站，如果大坝失事不仅将影响工程的正常施工和
设计中的超声波自主探路车系统,其本质上是自主导航的轮式移动机器人。系统通过超声波测距来获取周边的环境信息,通过对环境信息的处理分析,决定探路车每一步的行动。探路车
无速度传感器感应电机直接转矩控制系统因其控制思想新颖、方法简单和性能优越等特点,近年来在交流感应电机调速方面得到了较快的发展。定子磁链的准确定向和速度辨识的精度直接关系直接转矩控制效果,本论文对此进行深入的研究,提出一种新型的定子磁链观测方法和一种改进的基于模型参考自适应速度辨识方法。针对传统定子磁链观测方法的局限性,论文提出一种基于滑模观测器观测定子磁链的方法。该方法采用滑模函数取代定子电流状态