新型网络计算机联锁仿真系统研究与设计探讨

新型的网络计算机联锁仿真系统可以实现多站场的联锁仿真功能,同时解决了以往的计算机联锁仿真系统对现场设备模拟能力不足的问题,同时还具备全新的直观性,进一步减轻了计算机联锁人员的培训和科研压力,提高学员对突发事件和故障的处理能力。本文从新型的网络计算机联锁仿真系统的概念、结构和设计模块入手,对其进行探讨。     

新型分布式全电子计算机联锁系统研究

以联锁机为核心的集中控制方式是目前计算机联锁系统的主流。但其存在风险集中、工程造价较高、系统维护困难等问题。为了进一步提高系统的可靠性、安全性、灵活性,引入区域控制(Field Controller)的概念,将其与分布式控制、智能控制等技术相结合,提出了一种新型的分布式全电子计算机联锁系统结构。以实现进路控制功能为依据建立系统可靠性框图,对其进行定量的可靠性分析及仿真,仿真结果表明系统可保持100000小时可靠运行。以上分析可知:该分布式全电子计算机联锁系统的结构设计合理。     

ATS仿真系统中计算机联锁功能的设计与实现

计算机联锁系统负责处理进路内的道岔、信号机、轨道之间联锁关系,是实现列车自动监控系统仿真的关键。主要介绍了该系统的组成结构及各部分的功能,运用组件化的仿真技术设计人机交互界面,生成站场图数据库和联锁表数据库,实现进路的排列功能。     

多媒体联锁仿真系统的设计与实现

本文介绍了多媒体联锁仿真系统的总体结构与功能,提出了联锁算法模块、多媒体联锁显示模块的分析与设计.给出了进路排列、进路取消、道岔操作、进路人解、区段故障解锁、引导等联锁算法的实现方法,以及联锁图形的动画设定.     

基于Petri网的联锁软件测评仿真建模

车站联锁软件一直有着严格的测试要求,仿真模块是软件测试的重要组成部分,Petri网作为形式化语言的一种,有着准确与完备的特点,对于联锁软件这类安全苛求软件的测试尤为适合,提出了一种使用Petri网对联锁软件测试中仿真模块建模的方式,并分别给出了用基本Petri网和有色Petri网的2个建模实例.该模型有助于提高铁路联锁软件测试系统的安全性与精确性.     

计算机联锁系统在铁路通信方面的运用

计算机联锁系统是铁路通信的重要应用,对于铁路现代化及自动化运营起到至关重要的作用。利用计算机联锁系统可以实现车站之间的联锁,从而让铁路运营更加高效、安全、可靠。本文首先对计算机联锁系统进行介绍,并分别对其系统结构的硬件部分和软件部分进行分析,对计算机联锁系统通信方式进行研究,并提出系统日常注意事项及设备维护措施。     

改进的最小割集生成算法与联锁系统模型的安全性测试*

为保证铁路联锁模型的安全性,在故障分析法的基础上提出一种新的用Petri网来建立故障树的方法,动态地描述铁路联锁系统的安全性需求,并根据Petri网安全需求模型的可达标志图,提出一种能自动生成最小割集的算法。根据算法生成的最小割集,设计了一个联锁安全检测器,用于检测和控制联锁系统模型处于安全状态。最后用CPN工具对所建立的联锁系统模型进行仿真,仿真结果表明联锁安全检测器能够保证模型的安全性。     

区域计算机联锁CAN实时性改进及仿真分析

区域计算机联锁系统采用调度监督加集中联锁的方式实现,其安全通信网通过物理介质的延伸进行区域性控制,随着大量相邻站点并入系统,对安全协议的实时性要求也逐渐增高。为此,针对该系统使用的控制局域网络( CAN)总线协议,对站间安全通信网CAN总线的传输时延进行分析,采用动态优先级算法对实时性进行改进。仿真结果表明,通过改变负载,相比于标准CAN,改进的CAN总线协议降低了节点的最大时延,能够保证不同类型节点的实时性,可满足区域计算机联锁系统对网络通信的要求。     

基于CAN总线的微机联锁控制台的设计

针对铁路车站联锁系统中操作设备的特点,提出了一种基于CAN总线的微机联锁控制台的设计方案,介绍了控制台系统的结构、工作原理、控制方式、编程技术、主要功能特点以及该系统的软件设计思想,充分利用CAN总线高速通讯的特点,实现了联锁控制台的研究开发。     

新型分布式全电子计算机联锁系统

以联锁机为核心的集中控制方式是目前计算机联锁系统的主流,但该方式存在风险集中,工程造价较高,系统维护困难等问题。随着计算机、控制和通信技术的发展,分布式控制结构的优势日益突显。为了进一步提高系统的可靠性、安全性和灵活性,引入区域控制的概念,并将其与分布式控制、智能控制等技术相结合,在符合计算机联锁技术条件的基础上提出了一种新型的分布式全电子计算机联锁结构。给出了该计算机联锁系统中区域控制器的模型,对其联锁功能、网络结构进行了详细介绍。该结构实现了地理上和功能上的分散控制,有效降低了系统风险,符合铁路信号故障-安全的要求。     

一种基于时隙的邮件消息发布算法

移动计算环境与固定网络计算环境之间的巨大差异使建立专门的移动查询模型成为必要。该文简单介绍了笔者在工作中提出的一种基于“代理/邮箱”机制的移动查询模型,并以省电的查询过程为研究目标,提出了邮箱机制的核心算法———基于固定时隙分配的邮件消息投递算法,用户在每个消息发布周期内,只需对分配给自己的时隙进行监听,其余时间可以进入睡眠状态,从而达到节省电能的目的。通过对算法的分析和模拟结果表明:第一,与传统的查询过程相比,该算法能够大幅度地降低用户查询过程中处于工作状态时间占全部查询响应时间的比例,从而有效地支持了查询的省电性;第二,算法是以一定的延迟增加为代价来换取省电方面的收益,所以更加适用于大量的对查询实时性要求较低的移动查询应用。     

Finite element analysis of interlocking mortarless hollow block masonry prism

Interlocking mortarless masonry system has been developed as an alternative system for the conventional bonded masonry. This paper covers the analysis of interlocking mortarless hollow concrete block system subjected to axial compression loads using FEM. An incremental-iterative finite element code is written to analyze the masonry system till failure. The stress-strain relation obtained from test is employed and equivalent uniaxial strain concept is used to account for the material nonlinearity in the compression stress field. The developed program is also capable of simulating the nonlinear progressive contact behaviour (seating effect) of dry joint taking into account the block bed imperfection. The comparison shows a good agreement between the developed FE program and the experimental test results.     

基于多Agent的作业服务系统的设计

提出了一个基于多Agent的智能化的作业系统设计模型,它改进了目前普遍使用的作业系统,通过建立自适应的用户模型和领域模型来跟踪用户的学习,记录用户学习信息,实现个性化的用户学习处理策略和智能化的指导用户学习过程。     

基于企业概念本体的Web知识获取

当今生产制造型企业的知识十分丰富、复杂,知识获取成了基于知识系统开发过程中的一个“瓶颈”,万维网是信息获得的一个主要来源,但其非结构化、异构、海量的信息资源给人们寻求合适的信息造成了困难。该文分析了Web的知识获取的过程,并提出了基于企业概念本体的知识获取,并在最后阐述了这个知识获取系统的整体框架及其特点。     

KIII模型及其在人脸识别中的应用

对一种模拟嗅觉神经系统的仿生模型、KIII模型、及其在人脸识别中的应用进行了研究。论文首先分析了KIII模型模式识别原理,然后基于人脸识别对模型的模式容量问题进行了研究。使用子图特征组合算法提取人脸特征后,在ORL人脸数据库上的实验结果表明,KIII模型的模式容量至少可以达到40,这也更新了之前认为KIII模型模式容量约为26的观点。     

网络隐患扫描系统设计与实现

提出了一个基于CVE标准和漏洞库的网络隐患扫描系统模型,描述了一个基于该模型的“安拓”网络隐患扫描系统的组成结构和实现机制。讨论了该系统实现中的关键技术及其解决方法,包括:漏洞库的设计实现、隐患扫描手段的升级维护机制、系统硬件化技术及自身的安全机制等。归纳了该系统的特点及应用前景,并总结了今后的研究方向。     

面向计算机的产品创新设计新模型与新原理(II)

该文基于物元动态系统理论提出了产品虚实模型、产品潜显模型、产品正负模型等产品创新设计模型,分析了产品的同素多构性、一关系多实体性、同构多素性、虚实统一性、一显多潜性、一正多负性等性质。给出在一定的条件下,异构同功,异素同功、同潜产品同功,以及同正产品可互相转化产品、同负产品可互相转化的产品创新设计新原理。新模型和新原理有利于开发计算机辅助产品创新设计系统CAPCDS。     

KⅢ模型及其在人脸识别中的应用

对一种模拟嗅觉神经系统的仿生模型、KⅢ模型、及其在人脸识别中的应用进行了研究。论文首先分析了KⅢ模型模式识别原理,然后基于人脸识别对模型的模式容量问题进行了研究。使用子图特征组合算法提取人脸特征后,在ORL人脸数据库上的实验结果表明,KⅢ模型的模式容量至少可以达到40,这也更新了之前认为KⅢ模型模式容量约为26的观点。     

MIS系统中信息群的发掘与实现

基于软件重用的思想,在带有平台性质的MIS系统中设定和使用主码、外码,充分挖掘数据间的关系,从主码和外码两条线上追踪数据,破除物理表的局限性,将管理信息系统中的相关信息整合起来,从中动态抽取出“上卷信息集”和“下钻信息集”,从而组成“信息群”,消除了软件系统中的“信息孤岛”,保证了管理信息系统中的信息的逻辑整体性,也确保了系统内的信息流动畅通无阻,使用户可以轻松地进行“信息漫游”,从而有力提升管理信息系统的可用性和使用效率。