【摘 要】
：
随着计算机技术在列车运行控制系统中的应用，安全问题显得越发的重要和复杂，传统的安全系统设计、分析和测试方法难以满足以计算机技术为基础的安全系统的需要。近年来，基于离散数学和形式逻辑理论的形式化方法发展迅速，为解决安全计算机系统设计开发的正确性问题提供了一条可能的途径.针对实时并发系统，提出一种基于时间自动机网络模型的形式化建模方法，以列车超速防护系统为例说明方法的可行性.
【机 构】
：
北京交通大学电子信息工程学院，北京，100044 北京交通大学轨道交通控制与安全国家重点实验室，北
【出 处】
：
2009年系统仿真技术及其应用学术会议(CCSSTA2009)
论文部分内容阅读
随着计算机技术在列车运行控制系统中的应用，安全问题显得越发的重要和复杂，传统的安全系统设计、分析和测试方法难以满足以计算机技术为基础的安全系统的需要。近年来，基于离散数学和形式逻辑理论的形式化方法发展迅速，为解决安全计算机系统设计开发的正确性问题提供了一条可能的途径.针对实时并发系统，提出一种基于时间自动机网络模型的形式化建模方法，以列车超速防护系统为例说明方法的可行性.
其他文献
网络协同列车运行调整问题的计算机自动求解算法是铁路网络化、信息化建设的一个核心技术和难点，关系到行车秩序的优劣.为此，本文提出了协同进化的蚁群算法来求解路网列车运行调整问题。采用基于列车作业的解构造方式，使蚂蚁在满足列车运行次序约束的解构造图中搜寻列车在各个区间的通过顺序，并提出了考虑列车作业冲突疏解的列车运行方案生成算法，保证调整方案的可行性.接着，设计了由重要区段到普通区段的分层优化策略，并运
在设计雷达航迹融合算法时，算法验证是设计的关键一环.如何设计一航迹融合仿真系统，是本文的主要目的。所设计仿真系统是基于网络的多计算机系统，仿真多雷达站点、多目标、异步数据传输、分布式航迹关联与融合等.仿真实验表明，该仿真系统能够实现多站点、多目标的航迹关联与融合等功能.
在传统降雨衰减率模型基础上，给出了电波传输地空电路模型;对机载设备各波段传榆衰减率进行了仿真计算，并分析了雨强、电波频率、发射仰角、极化方式及时间概率等参数对降雨衰减的影响.通过仿真得出，X波段以下的机栽无线电设备受降雨影响很小，可以忽略;但位于较高频率波段的火控雷达、制导雷达受降雨影响较大.
本文论述了创新人才培养与计算机仿真技术的关系，详细介绍了计算机仿真技术在机械设计、制造和加工领域的应用与发展现状;针对机械专业几门核心课程，逐一论述计算机仿真技术在机械专业创新型人才理论和实践教学中可发挥的作用，其具有节约教学成本、克服硬件不足制约、模型预测，促进学生创新和动手能力等优点，因此可在高校大力推广和发展.
本文结合现代仿真技术的发展，对水下高速上浮火箭的空化现象和尾喷效应分析提出了一套解决方案，并进行了数值仿真研究.文中建立了水下上浮火箭多相流模型，探讨了相应的边界条件设置，并基于Fluent软件进行了数值仿真.这些研究探讨了相关关键问题的解决途径，为水下火箭的研发奠定了一定的理论基础，为研制人员提供了设计参考.
本文基于反应流针对不同台阶高度的超燃冲压发动机中超音速燃烧室开展数值模拟，研究在不同的台阶高度下其对燃烧室速度场和燃烧效率的影响，进而考察对燃烧室性能的影响.计算针对台阶高度分别为O.1、O.15和0.2的三种进口高度，采用七组份八步化学反应动力学模型.结果表明：台阶高度增大可以一定程度的提高燃烧效率，但会导致压力扰动传播至隔离段的不利结果。
本文根据防空武器火控系统的功能实现与构架原理，提出了自构建防空武器仿真系统的总体结构设计.文中对仿真系统的模块化组成、工作原理等方面进行了介绍，改进的自构建方式及系统的实际仿真过程为重点描述部分。系统的构建方式决定了其具有良好的实时性、通用性及可扩展性.根据不同的需要，在不改变软件结构的条件下，只需按照规定的通信接口，可将有关仿真模块以相应的实际装置替代，即可构成实物，半实物的仿真系统，为防空武器
在雷达方程和干扰方程的基础上，建立了由雷达有效反射面积、雷达接收机灵敏度计算干扰破坏因子和不同斯韦林目标下计算干扰破坏因子的两种模型，此种方法可评估自卫干扰和同时有多架飞机支援式干扰下，雷达采用频率捷变和低旁瓣天线等抗干扰措施时的干扰效果。
为了研究广域网下的模拟器五连技术，需要建立相关的试验环境.文中对试验环境的组网目标进行了论述，给出了试验环境组网方案.试验环境主要包括路由器、交换机和微机，形成两个局域网，并通过路由器进行互连.对组播地址选择和相关硬件支持进行了论述，最后给出了测试实验结果。测试表明组播数据包的大小对对时间延迟影响较大，负载背景和数据发送周期基本上对时间延迟没有影响，但是对丢包率影响较大.
介绍了牵引供电仿真系统的体系结构，其中的谐波分析模块从不同的安装地点、不同的补偿容量和投切角，对同一线路进行不同工况的仿真计算，以研究其谐波的变化规律;通过分析电能质量中谐波曲线的动态绘制过程，提出采用位图和兼容设备内存的方法实现谐波变化曲线的动态显示，该仿真系统的运行速度和动画效果在实际应用中已得到较好体现.