计算机联锁系统在城市轨道交通应用中的新变化

根据城市轨道交通信号系统的特点,分析了城市轨道交通计算机联锁系统相对于国铁计算机联锁系统的一些新需求;介绍了计算机联锁系统因之增加的与外围设备的各种安全接口;详细分析了城市轨道交通的这些新需求、与外围设备的各种新接口对于联锁逻辑判断所产生的一些变化和影响。     

运行时验证及其在列车运行控制系统中的应用

运行时验证是一种将模型检验方法与测试相结合的轻量级验证技术,它能够有效地降低系统验证的复杂度,提供系统运行阶段的安全保障,因此在安全苛求系统的验证领域有着极其重要的应用。本文提出一种基于三值逻辑的有限轨迹LTL可执行语义,允许"真"和"假"以外的逻辑值来显式的刻画验证过程中可能出现的非确定性,从而使得验证的结果更加精确。针对新的LTL语义给出了基于公式重写的运行监控算法和近似优化策略,并结合欧洲列车运行控制系统的实例,分析探讨了该方法在轨道交通控制领域的应用。     

基于自动Petri网的联锁逻辑设计

联锁软件的逻辑严密性和安全性对于行车有很大的影响。利用自动化Petri网,根据轨道电路、信号机和道岔之间相互制约的关系以及状态的转换,分别建立了信号机、道岔和进路模型,并根据列车的运行状态细化模型从列车压入进路到出清进路的过程,建立进路解锁的模型。基于上述分析,设计了一种基于可编程逻辑控制器的联锁软件设计方案,实现对联锁的逻辑控制。     

化LF(X)中任一公式为可归约形式的算法

针对基于归结方法的自动推理过程中的化任一公式为可归约形式这一问题进行研究．简述了LF(X)及其中公式的相关概念，证明了对LF(X)中公式进行转化的若干理论结果，并由此给出化LF(X)中任一公式为可归约形式的理论基础和基本算法．     

语言的灵活性与逻辑的严密性

语言作为人类社会交际的工具,具有灵活性的特点。而逻辑作为一门古老的学科,则具有严密性的特点。语言的灵活性与逻辑的严密性关系如何?笔者通过对语言使用过程中所出现的人工语言以及在修辞手法过程中出现的语言现象进行详细分析,阐述了语言的灵活性与逻辑的严密性对立统一于人类语言使用过程中。     

车流密度变化条件下的跟驰模型研究

把车流密度的跳跃性变化作为车流波现象,在高峰小时或者异常情况下(如雨、雪、雾等异常天气),快速路的瓶颈地段经常出现堵塞以及由堵塞引起的车流波。车流波不仅影响瓶颈点下游车辆的运行,还会降低瓶颈点上游路段的有效通过能力。通过大量的交通数据采集,构建基于模糊推理的驾驶员感知——预测行为模型和车流波传播条件下驾驶员微观跟驰模型。结果表明,模型可以有效、准确地模拟车流波传播过程中驾驶员行为。     

并联混合动力汽车改进模糊控制策略研究

本文提出一种兼顾电池SOC限值方法的混合动力汽车多种群遗传模糊控制策略。引入模糊逻辑控制以增强整车控制系统鲁棒性、实时性;用多种群遗传算法对模糊变量隶属度函数进行优化,使在模糊逻辑控制下整车燃油消耗得到降低;使用电池SOC限值方法避免电池在SOC过低时继续放电。利用matlab平台联合advisor软件进行联合仿真实验,仿真结果表明多种群遗传模糊模糊控制策略能够比advisor软件默认的电机辅住控制策略燃油经济性提高6.96%的情况,SOC限值方法使电池工作在更加合理的SOC值区间范围内,有效保护电池。     

浅析有轨电车信号系统中冲突进路的控制方法

通过对深圳龙华有轨电车中进路建立时机的描述,以进路的不同开向和不同控制来源的资源冲突为切入点,对进路控制进行分析、提出需求,并采用布尔代数的表达方法对其联锁通用逻辑进行设计。     

基于多维数据库的联机处理技术在装备维修费管理中的应用

论文以装备维修费分析为应用背景,按照需求分析、概念设计、逻辑建模、系统实现的软件工程过程,对基于多维数据库的联机分析处理（OLAP）技术及其实现方法进行了研究.     

沥青混凝土摊铺机电气控制系统的改造

针对沥青混凝土摊铺机单片机数字控制系统的不足，结合可编程控制器完善的功能、特点及良好的接口性能，对摊铺机原控制系统进行了改造，提高了摊铺机电气自动控制系统的工作可靠性，简化了电控系统外围驱动电路。