基于TRSL的RBC等级转换场景研究

无线闭塞中心等级转换场景作为中国列车运行控制系统主要场景之一,切换成功与否直接影响高速列车的安全和运行效率。通过对形式化验证方法的分析,采用基于定理证明的时间化工业软件工程规范语言的严格方法(Timed Rigorous Approach to Industrial Software Engineering Specification Language,TRSL),在对等级转换过程进行分析的基础上,设计交互信息图,构建状态迁移图,并结合域建模方法实现对该场景的TRSL描述,最后利用语言推理规则,结合系统特性,实现对切换正确性和实时性的双重验证,结果表明:该场景满足系统规范对功能性和实时性的要求,继而说明该方法的有效性、正确性和通用性,为我国列控系统的设计开发和验证提供一种新的途径和依据。     

移动闭塞的原理、系统结构及功能

阐述了移动闭塞技术的原理.介绍了典型的基于无线通信的移动闭塞系统的系统结构.分析了移动闭塞相对于传统闭塞方式的优势.指出基于通信的列车控制将是未来列车控制技术的发展方向.     

基于RBAC的B/S权限管理的研究与应用

介绍基于角色的访问控制模型的理论基础与特点,结合宽带增值业务管理系统的开发,阐述系统在权限管理方面的设计思路和实现方法,并对该系统的用户识别和权限验证进行了研究.     

盾构可编程控制器(PLC)系统设计研究

研究目的：自主开发设计盾构可编程控制器（PLC）系统，掌握盾构国产化研究的关键技术。 研究方法：针对盾构的结构特点，进行可编程控制器（PLC）的选型；通过对土压平衡盾构的工况、工作流程及功能要求分析，从系统设计、硬件配置、程序编写等方面对PLC控制系统的设计研究进行详细阐述，体现了检修维护方便，扩充灵活，降低造价的设计优点；从土压平衡控制、姿态控制、推进缸速度与压力协调控制等方面，对盾构的主要动作的控制原理进行了说明；并介绍了计算机控制系统对盾构进行参数设置、故障诊断，远程监视、数据采集分析的基本功能。 研究结果：已基本完成PLC控制系统的设计，为实现盾构可编程控制器（PLC）控制系统的国产化打下了基础。 研究结论：对盾构可编程控制器（PLC）系统的设计研究，已列入国家“863”攻关计划，为国产盾构的开发提供了试验参考。     

高压大功率电力电子变换器和补偿控制器

介绍了实现高压、大功率电力电子变换和电力补偿控制的基本技术途径,归纳了高压大功率电力电子变换器和电力补偿控制器的电路结构和应用领域.     

地铁列车牵引控制单元微机检测系统总线时序转换的实现

针对上海轨道交通1号线DC01型电动列车牵引控制单元(TCU)电子插件板微机检测系统,详细介绍了系统中基于复杂可编程逻辑控制器件(CPLD)和Verilog HDL的ISA总线与TCU微机检测系统CPU板总线时序转换模板的设计及实现。时序转换的成功实现是TCU微机检测系统中带总线单板测试的基础。该时序转换模板也是整个检测装置的重要组成部分。     

PLC在CNC蛇形管弯管机中的应用

对ＰＬＣ在ＣＮＣ系统中的应用作了全面地描述，并注ＣＮＣ蛇形管弯管机的特点和工艺要求，对ＰＬＣ的选型、Ｉ／Ｏ单元的配置、输入输出地址的分配以及系统软件的设计和作了详尽的讨论。     

增压器转速和预旋器控制器的闭环控制系统

为为改善涡轮增压民内燃机的匹配性能，研制了一套根据涡轮增压器转速控制预旋器角度的控制器，阐述了其工作原理软、硬件设计，由于采用躲开计算机进行数字化控制，使系统的静动淘ば骺刂频囊蟆?     

新型道口设备综合测试台

随着铁路的发展，铁路的信号设备不断更新换代，道口信号设备也是如此，我们根据现场使用的道口设备，成功研制出了适用管内道口设备测试的综合测试台，能实现DX3型和DX2型道口信号控制器（DK．KK型、DK．KB型）、收发器（DK．SBW1型、DK．SWB型）、音响器（DK．Y3型、DK．Y3型）、闪光器（DK．S型、DK．S1型和XQS型）模拟现场的工作情况，并能直接测出大部分特性参数及利用测试台上的仪表设备测试其它参数，确保道口设备上道前得到全面检测。