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

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

基于CPN的联锁进路控制建模及验证

颜色集、层次化的概念使得有色Petri网(Colored Petri Nets,CPN)能够方便地对大型复杂系统进行形式化模型验证分析,铁路车站信号计算机联锁逻辑关系形式化验证方法的研究,对于减少联锁软件开发过程中的不确定性,提高联锁系统的安全性、可靠性,保障行车安全具有重要意义,联锁系统进路控制是联锁逻辑关系的重要内容,在分析联锁进路控制的基础上,采用CPN对联锁进路控制建立形式化分析模型,为车站信号计算机联锁逻辑关系形式化验证方法的研究提供一种联锁进路控制的形式化验证方法,同时通过CPN Tools对所建立的模型进行仿真分析及状态空间分析,结果表明模型能够正确描述联锁进路控制流程及联锁进路控制的功能逻辑,且状态空间分析结果与联锁进路控制逻辑完全相符。     

联锁进路生成的k步扩散搜索算法实现

分析了铁路信号计算机联锁系统中的进路生成问题,阐述了道岔、信号机及区段等主要进路组成结构,说明了站场的设备状态和敌对信号处理在进路搜索中的作用.结合站场有向图和代价矩阵,利用数学图论知识,提出了一种k步扩散搜索算法,寻找始端到目标区的进路序列,制订最优调度方案.通过C 编程实现了基本进路和长调进路搜索算法,并在工程项目中进行了应用,最后对具体的实例进行了算法仿真实现.     

基于图元属性的进路搜索算法与研究

介绍计算机辅助设计软件(CAD)在计算机联锁系统自动测试平台中的应用,提供一种基于图元的车站平面拓扑图建立,图元对应设备信息快速录入,以及用面向对象的方法建立车站的拓扑数据的解决方法.论述基于图元属性的进路搜索算法,并详细描述了其实现方法.     

联锁进路敌对信号的搜索算法设计

分析了铁路信号计算机联锁系统中进路敌对信号的定义及处理生成问题,借助联锁进路表阐述了敌对信号与进路搜索之间的约束关系;结合站场有向图和邻接矩阵,利用数学图论知识,提出了一种进路敌信号搜索算法和k步进路扩散生成算法,给出了算法步骤流程并通过类C语言实现算法全过程.算法在实际工程项目中进行了应用,并对实际的站场实例进行了算法仿真模拟,提供了部分铁路站场进路和敌对信号实例数据.     

联锁进路生成的切换控制算法设计

阐述了切换控制系统的概念和表达形式,结合铁路信号系统给出了几个与进路生成有关的切换定义。提出了一种k步进路搜索算法思路,并在此基础上提出一种新型的基于切换控制的进路生成算法。分析了铁路信号系统在有无敌对信号情况下切换算法的设计过程,结合实际工程项目给出了一些实例。通过项目仿真结果表明,算法通过一系列的切换生成进路的时间数量级较图搜索算法明显减少,从而提高选路的效率。     

基于有向图的进路搜索算法研究与设计

进路搜索是铁路车站计算机联锁系统的基本功能,其运行效率及所得目标进路的安全性对于保证行车安全意义重大。本文通过对铁路车站站场图与有向图的相似性进行研究,建立其网络拓扑结构与节点模型,结合深度优先遍历算法和搜索约束条件,提出一种适用于铁路车站实际情况的进路搜索算法,并给出了完整的描述。     

基于图形结构的列车/调车进路连锁表的自动生成算法研究

直接从图形结构得到数据结构,从连锁表的识别、生成原理出发,自动识别进路和敌对信号,并生成进路连锁表。     

基于自动编码器组合的深度学习优化方法

为了提高自动编码器算法的学习精度,更进一步降低分类任务的分类错误率,提出一种组合稀疏自动编码器(SAE)和边缘降噪自动编码器(mDAE)从而形成稀疏边缘降噪自动编码器(SmDAE)的方法,将稀疏自动编码器和边缘降噪自动编码器的限制条件加载到一个自动编码器(AE)之上,使得这个自动编码器同时具有稀疏自动编码器的稀疏性约束条件和边缘降噪自动编码器的边缘降噪约束条件,提高自动编码器算法的学习能力。实验表明,稀疏边缘降噪自动编码器在多个分类任务上的学习精度都高于稀疏自动编码器和边缘降噪自动编码器的分类效果;与卷积神经网络(CNN)的对比实验也表明融入了边缘降噪限制条件,而且更加鲁棒的SmDAE模型的分类精度比CNN还要好。     

公交行车计划半监督自动排列算法研究

传统手工编排行车计划耗费时间长,难以根据客流、道路、季节等外界因素的变化而做出及时改变。公交行车计划的计算机化自动排列是一直以来研究目标。目前出现的排列算法解决了自动排列问题,但是在一些细节上仍有不足。文章提出了半监督自动排列算法,在部分关键环节上采取人为判断,将人工安排计划表经验和计算机自动排列相结合,做到注重效率又不失真实性。     

机车空调逆变电源设计

本文讨论的是机车空调逆变电源系统的设计与研究。该电源系统主要是由DC/DC的BOOST升压部分和DC/AC三相逆变部分两部分组成。DC/DC部分所得直流电压通过DC/AC部分逆变成三相交流电,供给空调机组工作。同时,为使电源系统能更可靠的运行,也设计了相应的故障检测、保护等辅助电路。     

联合收割机脱粒滚筒恒速智能控制器设计

研究了轴流式联合收割机的控制问题,给出了联合收割机脱粒滚筒的数学模型,介绍了基于模式识别的智能控制原理,建立了联合收割机脱粒滚筒恒速控制模型,设计了基于模式识别的智能恒速控制器.应用Matlab/Simulink进行了控制器仿真,其结果表明,将基于模式识别的智能控制应用于联合收割机脱粒滚筒的恒速控制,其过渡过程平稳、响应速度快、无超调、无振荡并且无稳态误差.     

计算机辅助课表编排技术的研究

讨论了几种实用的计算机辅助课表编排技术及在实际编排中的应用。应用分析表明，采用分批与或图搜索和分批优化的匈牙利算法相结合的方法，在计算机辅助课表编排中是行之有效的。     

桥面损坏状态评估专家系统探讨

介绍关于桥梁结构损坏状态评估专家系统，在讨论状态评估方法的基础上，重点介绍损坏状态评估因素关系树的建立及各因素状态的模糊表达式等，最后以桥面诊断过程为例介绍系统的构成及诊断流程图，知识表达方式，系统推理过程及工作流程。     

Complexity of approximation of 3-edge-coloring of graphs

The problem to find a 4-edge-coloring of a 3-regular graph is solvable in polynomial time but an analogous problem for 3-edge-coloring is NP-hard. To make the gap more precise, we study complexity of approximation algorithms for invariants measuring how far is a 3-regular graph from having a 3-edge-coloring. We show that it is an NP-hard problem to approximate such invariants with an error O(n1−ε), where n denotes the order of the graph and 0<ε<1 is a constant.     

Topological formulation of termination properties of iterates of functions

We consider a number of decision problems, that appear in the dynamical systems and database literature, concerning the termination of iterates of real functions. These decision problems take a function as input and ask, for example, whether this function is mortal, nilpotent, terminating, or reaches a fixed point on a given point in . We associate topologies to functions and study some basic properties of these topologies. The contribution of this paper is a translation of the above mentioned decision problems into decision problems concerning well-known properties of topologies, e.g., connectivity. We also show that connectivity of topologies on is undecidable for n>1.     

实现三维喷绘的软件系统设计

对三维喷绘软件系统的设计,通过USB 2.0实现与喷绘主板的高速图像数据通信。基于ARM与MCX314的运动控制器实现实时三轴运动控制以及精确的喷头时序控制,论述USB驱动程序和ARM固件的开发。结果表明,该系统具有设计简洁、成本低、可扩展性强和实用性高等特点。     

矿用传感器的伪数据滤除方法

介绍了矿用传感器的组成和工作原理,分析了矿用传感器伪数据的表现形式和产生的原因,并从抗干扰设计、低功耗设计和信号输出方式等方面提出了矿用传感器伪数据滤除的基本方法。实际应用表明,该方法减少了矿用传感器产生伪数据的几率,提高了矿用传感器的稳定性和安全监控系统的可靠性。     

辐照仪控制系统的设计

通过使用可编程控制器中的专用脉冲输出指令和高速计数器,实现了对辐照仪步进电机的精确控制。介绍了辐照仪的工作过程和控制系统的组成,给出了控制软件的流程及控制步进电机转动误差的措施,并利用触摸屏实现了人机界面控制。实际应用表明,该系统性能可靠、控制精确、实用性强。     

传输线信号完整性的反射分析

针对高速电路系统的传输线信号完整性问题,通过对高速电路PCB上传输线等效电路的分析,给出了信号传输时产生反射现象的原因;介绍了常用的消除反射的方法,即选择均匀传输线、采用合适的拓扑结构布线和阻抗匹配法,指出阻抗匹配法可解决信号传输的反射现象;阐述了源端阻抗匹配法和负载端阻抗匹配法消除反射的原理和适用条件。针对时钟电路中的反射问题,采用PADS/Hyperlynx软件对阻抗匹配法进行仿真,结果表明,阻抗匹配法能够改善信号传输的反射现象。