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

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

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

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

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

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

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

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

在防抱制动控制中比较量的选择

汽车防抱制动系统广泛采用的是逻辑门限值控制，对于非线性系统是一种有效的控制方法。本论了几种不同的控制逻辑，通过对制动过程的动态模拟，比较了其防抱性能优劣。     

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

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

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

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

基于Client/Server分布式系统的研究与开发

本文针对基于客户／服务器的系统设计问题,对分布系统结构进行了分析,给出合理的应用方案选择,讨论了三层客／服务器系统结构中的中间件技术应用问题,论述了分布式应用的软件开发技术与方法。     

邓小平解放思想观的历史和逻辑——中国共产党人的马克思主义观研究

邓小平解放思想观的提出具有深刻的历史背景,它的发展具有清晰的历史脉络,是拨乱反正和全面改革的政治宣言。邓小平的解放思想观具有丰富的思想内容和严密的逻辑结构,它是由揭示解放思想的本质和规律的一系列内在联系的思想观点构成的科学体系。邓小平的解放思想观具有重大的理论突破性和现实指导性,它推动了马克思主义的中国化进程和中国特色社会主义的跨世纪发展。     

CKD7C内燃机车空气-真空制动系统

CKD7C型内燃机车根据实际运用需要,制动系统设计采用了空气—真空两用制动系统。主要介绍了该制动系统的原理及组成,包括风源系统主要部件参数、制动机逻辑控制关系等,详细说明了该系统中空气制动作用和真空制动作用时的各部件气路作用连接形式,以及控制工作原理。