一种改进的列车进路接近锁闭区段延长方法

列车进路接近锁闭状态对列车冒进信号后的安全防护起到重要作用。现有列车进路接近锁闭处理逻辑沿用传统继电联锁的设计原理，能满足常见应用场景的需求，但不能适用于接近锁闭区段延长至后方两段及以上进路的场景；此外，在特定故障场景下，还存在列车进路错误转为接近锁闭状态的缺陷。为此，在分析现有继电电路逻辑缺陷的基础上，提出一种改进的列车进路接近锁闭区段延长处理方法。文章介绍继电电路实现接近锁闭的缺陷及改进后接近锁闭延长方法的实现过程，详细阐述其处理逻辑。该方法能适用于接近锁闭区段延长至后方两段及以上进路的应用场景，规避了人工编制接近锁闭处理逻辑带来的风险，解决了进路内道岔失去表示后列车进路错误转为接近锁闭状态的问题。     

CRH3与CRH5型动车组中压供电方式对比分析

介绍了CRH3与CRH5型动车组车辆在各种情况下的中压分配情况,分别分析了CRH3、CRH5型动车组的中压供电方式及其控制条件和逻辑关系,对比分析了CRH3、CRH5型动车组中压供电的优缺点。供电技术的不断提升,使CRH3、CRH5型动车组的供电更加可靠、安全和稳定,同时也推动了高速列车技术的发展,使旅客乘坐更加舒适。     

一阶逻辑中的扩展子句消去原则

对于一阶逻辑定理证明器，子句集化简一直是必不可少的步骤，这将有助于提高后续一阶逻辑定理证明器的证明效率. 针对子句冗余性的判断，提出了一种评估子句冗余性的原则:集合蕴涵模归结原则. 并且证明了该原则在不带等词一阶逻辑上的可靠性，根据该原则删除子句，不会影响原始子句集的不可满足性或者可满足性. 此外，依据该原则提出了两种新型的一阶逻辑预处理方法:集合归结包含消去（set resolution subsumption, SRSE）方法和集合归结不对称恒真消去（set resolution asymmetric tautology elimination, SRATE）方法，并证明了这两种子句消去方法在不带等词一阶逻辑子句集上的可靠性. 最后在理论上比较了SRSE方法和归结包含消去（sesolution subsumption elimination, RSE）方法以及SRATE方法和归结不对称恒真（sesolution asymmetric tautology elimination, RATE）方法之间的有效性，结果表明SRSE方法和SRATE方法分别比RSE方法和RATE方法更为有效.      

时速160km动力集中电动车组拖车停放制动设计

文中介绍了停放气路的原理设计和相关计算,对停放制动的施加、缓解指令来源、传输、执行、监控、停放隔离等进行了详细说明。     

企业数字声像档案的鉴定与优化

档案鉴定一直在档案工作领域中占有重要的位置,贯穿着整个档案工作的始终.随着企业信息化的持续深入,电子文件海量产生,研究探讨如何做好档案鉴定工作尤其是数字声像档案的鉴定工作乃当务之急.档案工作者应及早介入信息系统的设计、开发、安装,做好数字声像档案的前端鉴定.     

深远海域海上风电场定量选址方法研究

为了促进我国深远海海域海上风电场建设,实现海上资源的合理使用.研究了基于模糊逻辑的深远海海域海上风电场选址方法.根据现有研究成果,识别了深远海风电场选址的影响因素,建立了深远海风电场选址的3层决策框架.利用模糊推理对输入和输出变量进行模糊化,以风能资源、自然环境、交通环境和风机条件建立了4个模糊推理机,并构建了其模糊推理规则.利用模糊语言变量确定了各决策准则的权重,从而实现深远海风电场选址的决策.以上海市深远海海域海上风电场选址为实例,确定了其选址方案.      

读书

《什么改变中国:中国改革的全景和路径》◎作者:张维迎全球经济前景不明,中国改革受挫,我们该何去何从?谁能指点迷津?《什么改变中国:中国改革的全景和路径》聚焦于中国的市场经济改革和企业改革,如何从强盗逻辑走向市场逻辑,应对中国面临的挑战与困境。作者从三个方面叙述了这个主题,一是回顾了中国获得成功的路径和方法,二是阐     

水面无人艇的模糊建模方法研究

近年来,水面无人艇技术发展迅速,在军事侦察、武装保护等方面发挥显著作用,已成为水面反恐的重要方式之一。然而,水面无人艇航行在线性度、耦合性上存在较大的缺陷,高精度控制方式实现复杂。为实现水面无人艇航行的高精度、高准确度控制,本文将神经网络和模糊技术相结合,提出一种基于神经网络的模糊建模方法,对系统模型进行仿真可知,水面无人艇的模糊建模方法有效,且能够实现对无人艇航行的精确控制,具有进一步推广应用的潜力。