对一起轨道电路故障的分析

通过对故障的分析,总结京津城际铁路轨道电路故障处理的判断方法及处理程序,力求在最短的时间内排除故障,达到压缩故障延时的目的。     

自动闭塞方向电路微机化研究

根据二线制区间自动闭塞改变方向电路控制原理,对方向电路的微机化方案进行了研究,详细阐述了微机化方向电路的软硬件设计,并给出了程序流程图。微机化方向电路在硬件上和软件上的设计都遵循了故障-安全原则,方向电路实现微机化后,可靠性和安全性得到了显著提高。测试表明,系统完全满足技术指标要求,可在铁路现场试用。     

直线电机轨道交通车载网络系统设计与实现

设计了一种直线电机轨道交通车载网络系统。介绍了所研制车载网络系统的架构、设备选型、开发工具,以及车辆运行控制逻辑、人机界面和安全导向与故障诊断系统的设计与实现。设计的车载网络系统在试验运行中验证了其适用性和可靠性。     

计算机联锁与四显示自动闭塞结合设计

在分析计算机联锁与四显示自动闭塞结合设计的基础上,对区间只有1架通过信号机和无通过信号机2种特殊情况下的结合设计进行深入研究,并介绍已成功应用的解决方案。     

Fair Preorder for Partial Fair Kripke Structures

IntroductionMany approaches have been proposed to dealwith the problem of model checking large statespaces,such as the composition methods,symbol-ic verification and abstraction techniques.A partialstate spaces model checking method was developedby Bruns[1] ,which explored just a part of statespaces,and those unexplored states and transitionswere often absent in incomplete or“partial”statespaces.In the automatic verification of concurrent fi-nite- state system,the branching time prepositiona…     

城市道路等效通行能力调查分析方法

给出了等效通行能力调查分析的详细过程,并对调查道路选择和数据分析方法等一些关键环节进行了深入讨论,指出调查道路长度至少应在800 m以上,条件允许时应在1 200 m以上,数据分析可采用线性的Greenshields密度–速度关系模型进行.     

求简单有向图所有基本回路的强核图论算法

求系统动力学模型的所有反馈环等价于求对应的简单有向图的所有基本回路，其核心问题是算法的时间复杂度，针对这一问题，提出强核的概念，基于强核概念设计了求简单有向图所有基本回路的算法，给出相应算例，并分析了算法复杂性．在时间复杂度上，本算法优于基于核概念的有向图的行列式算法。     

基于塑性铰体外预应力混凝土梁的简化计算

在承载能力极限状态下,可把简支梁的跨中区段视为1个等曲率塑性铰(塑性区段),其余梁段可视为直线并处于绕塑性铰刚性转动的位置.利用这一概念,建立了直接通过塑性铰区长度和曲率半径求体外预应力筋应力和梁极限弯矩的简化公式,用简化公式对国外有关6片体外预应力梁进行了计算,并与试验结果进行对比,证明本研究中的简化公式具有较好的精度,值得推广.     

Strong Completeness of Medium Logic System

The strong completeness of medium logic system is discussed. The following results are proved： medium propositional logic system MP and its extension MP^＊ are strong complete; medium predicate logic system MF and its extensions （MF^＊ and ME^＊ ） are not strong complete; and generally, ff a consistent formal system is not strong complete, then any consistent extensions of this forreal system are not strong complete either.     

有序逻辑程序的回答集语义

为了统一并扩充回答集语义，在带有规则序的逻辑程序中，基于不动点原理，采用了处理优先序的新方法——直接在规则迭代过程中考虑规则序的作用．用此方法得到了9种不同的回答集语义，并讨论了各种语义之问的关系；证明了它们在包含意义下不是构成线序结构，而是一般的格结构；在层次逻辑程序中，该类回答集语义都退化为普通的回答集语义．