基于模糊逻辑控制的ATP系统研究

本文首先简要介绍了现有的ＡＴＰ系统构成及其功能，分析了其控制机制的特点以及存在的缺陷。提出了一种全新的基于模糊逻辑的ＡＴＰ控制机制并进行了仿真研究。同时阐述了新机制的优越性以及模糊控制技术在列车自动控制方面应用的优势和应用前景。

河南省科技奖励工作后评估逻辑框架构建及应用

【目的】探索河南省科技奖励工作后评估框架和指标体系,推进科技奖励工作不断完善。【方法】根据河南省科技奖励工作的特点,基于ATP通用逻辑模型构建科技奖励工作后评估逻辑框架,建立融合相关性、效率、效果和影响等评估准则的科技奖励后评估指标体系,并运用隶属度函数对后评估逻辑框架和指标体系在2022年河南省科技奖励工作后评估中的应用效果进行检验。【结果】2022年河南科技奖励工作评估结论为成功,但在奖种设置、奖励制度建设等方面有待提升。【结论】通过开展后评估工作,初步建立了科技奖励工作第三方监督和评估结果反馈机制,提升了河南省科技奖励工作的质量和整体绩效。

一阶逻辑中基于稳定度的项评估方法

针对一阶逻辑中项结构比较复杂、语法与语义特征难以抽取的问题,基于项在文字替换过程中的Herbrand语义特征,分析其制约因素和度量规则,给出项稳定度的定义并提出一种基于稳定度的项评估方法。将所提方法作为文字选择的启发式策略,应用于自动定理证明器中子句集的归入冗余判定中,结果表明,该方法能较好地刻画一阶逻辑中的项特征,与基于项序的文字选择方法相比,其检测次数平均减少50.8%,运行时间平均缩短53.3%。

ZPW-2000系列电码化掉码典型案例的分析

分析动车组在站内轨道电路发生掉码的几种典型案例,结合车载A T P逻辑分析掉码控停原因,提出解决措施及建议。

一种基于模糊逻辑的自适应过电流保护

电力技术的发展使得电力系统的运行更加坚强和稳定。基于数字信号的微处理器的过电流保护可以根据网络状况高效快速的整定。考虑网络状况的变化,维持保护体系协调运行成为电网安全运行的关键。由于可能存在多种保护解决方案,人工调整过电流保护的整定值使得保护设定非最优。提出基于模糊逻辑的自适应模型的保护系统,无须集中式处理器以及它们之间的彼此通信,自动选取反时限电流继电器的电流整定值。模型中考虑预故障电流和波动电流。然后考虑多种电流、短路和故障阻抗值,使基于IEEE 4节点系统用ATP﹣EMTP程序验证了模型的有效性,结果表明在高阻抗灵敏度下,智能保护系统能够有效应对网络各种因素变化,同时所提出的方法不依赖电力系统的大小。

列控数据车-地不匹配典型案例分析

针对长株潭城际铁路西延线接入既有开通线路后,动车组在长沙城际场发生ATP掉码的典型案例,分别从地面信号设备发码、列控报文、车载ATP逻辑等方面进行分析,最终确定掉码原因为列控数据车-地不匹配所致,并提出解决方案。通过动车组拉通试验验证,确保长株潭城际西延线顺利开通。