新一代调度集中系统日志告警模块程序设计

新一代调度集中（FZy-CTC）系统具备明确显示和详细记录各种告警的功能,该功能的实现需要告警日志模块来完成,本文提出一个可行的新一代调度集中系统日志告警模块设计方案。     

对英语中表示心理活动的同源分词用法特点的比较

表示心理活动的同源分词，有的译成中时，字面差异并不明显。分析词语之间的逻辑修饰关系。比较它们的用法特点，找出一些规律性的东西，这对于提高英语表达的准确性，是非常有益的。     

模糊进化神经网络理论与技术框架

分析目前进化算法，神经网络和模糊逻辑等理论技术及应用研究存在的问题，以及目前这些智能理论融合技术和神经网络自动设计研究现状，研究了现有智能理论技术相互之间包含的智能行为及属性，提出了模糊进化神经网络理论，其中，给出其本概念，研究目的，内容和框架体系，详细描述了模糊进化计算，模糊进化神经网络和进化模糊系统从模型初始化，参数自适应到网络自动设计，模型评价等核心技术及其解决思路和实现算法。对于模糊进化计算，提出了其控制参数模型初选，模糊自适应进化，优化算法及其结果的模糊评价等方法，对于模糊进化神经网络，提出了其全自动设计，控制参数模糊初选，模糊自适应进化以及网络模型的模糊评价与选择等方法，对于进化模糊系统，提出了基于模糊进化计算的模糊神经网络参数和模糊系统参数的优化方法。     

逻辑控制装置在电力机车上的运用

阐述逻辑控制装置在电力机车上的运用以及机车逻辑控制装置的原理,同时结合SS8型机车上改装运用情况对机车逻辑控制装置的可行性进行论证。     

制动逻辑控制技术在DK—1型制动机上的应用

介绍了DK－1型机车电空制动机所采用的制动逻辑控制新技术，并以SS6B型机车制动系统为基础，从系统的角度分析制动逻辑控制作用原理、接口及其特点。     

城轨CBTC系统联锁表数据安全逻辑验证方法研究

联锁表是联锁安全逻辑的体现,本文针对联锁表数据的安全逻辑验证问题,提出一种基于CSP的验证方法。首先对联锁表数据进行建模,将联锁表数据抽象为调度员、道岔、信号机、区段和联锁控制器5个进程的并发组合模型,并对各进程进行建模。依据联锁系统安全约束条件,从功能性和安全性两个方面,通过对模型正确性的验证来说明数据的安全逻辑正确性。最后以北京地铁亦庄站联锁表数据的安全逻辑验证为例,说明该方法的可行性。     

CT—MRPⅡ系统总体结构和逻辑模型

本文介绍ＣＴ－ＭＲＰⅡ生产管理系统软件。它采用现代的企业管理方法ＭＲＰⅡ和ＪＩＴ（ＫＡＮＢＡＮ）管理方法，提出了一种适应于企业特点的组合ＭＲＰ－Ⅱ和ＫＡＮＢＡＮ的生产管理模式。即采用ＭＲＰⅡ的“推式逻辑”进行生产计划，采用ＪＩＴ的“拉式”逻辑进行生产控制的混合式系统和逻辑模型。     

天津一汽夏利威乐

搭载了丰田5A-FE发动机，变速器采用了和威驰相同的U-540E电控液压四前速自动变速器。在通常驾驶状态下，换档很轻，不会感觉到冲击。此外，智能斜坡逻辑控制系统使车辆上坡起步显得更加轻松自然；超速传动功能按钮（O/D OFF开关）也使变线超车显得更为轻公流畅。     

高速公路事件管理系统的数据库设计

本文研究并设计了高速公路事件管理系统的核心部分-数据库,通过对于高速公路事件管理系统的应用状况进行全面、详细的调查,在系统需求分析的基础上,完成了以高速公路空间要素数据库和事件管理专题数据库为主体的高速公路事件管理系统数据库整体结构的设计,重点介绍了该数据库概念结构、逻辑结构设计的过程。     

翼滑艇推进系统模糊控制的仿真比较研究

在Matlab平台上，设计了基于模糊逻辑工具箱的模糊控制器和规则自动拟合模糊控制器；建立了翼滑艇的智能推进系统模型，并用Matlab／Sireulink编制了仿真模型；进行了实时仿真。仿真结果表明：规则自动拟合模糊控制器，无论是从超调量方面还是从稳定性方面，都比工具箱的模糊控制器的控制效果好。