1.
Research on Interlocking Software Modeling Based on UML and Simulation;
基于UML的联锁软件建模与仿真研究
2.
ON MODELLING THE SIMULATION OF INTERLOCKING SOFTWARE TEST BASED ON Petri NET
基于Petri网的联锁软件测评仿真建模
3.
Research on the Specification of Computer Interlocking Principles of Interlocking Software Basing on Time-automation Model;
基于时间自动机模型的联锁软件规则描述研究
4.
Research on Safety Testing of the KJ15A Mine Rail Transport Interlocking Software;
KJ15A矿井机车运输联锁软件的安全测试研究
5.
Research and Realization on the Simulated and Test System of Computer Interlocking Sofeware;
计算机联锁软件仿真测试系统的研究与实现
6.
Optimizing and implementation for the testing of railway computer interlocking software
铁路计算机联锁软件测试技术的优化实现
7.
Research and Implementation of Computer Aided Interlocking Software Development Tools;
轨道交通联锁软件的计算机辅助开发工具的研究与实现
8.
Research of Formalization Description Methods of Interlock Software in Railway Signal System;
铁路信号系统中联锁软件形式化描述方法的研究
9.
Study on the Automatic Testing Simulation System of Computer Interlocking Software;
计算机联锁软件模拟自动测试系统的研究与实现
10.
The Formalized Modeling and Model Analyzing of the Interlocking Software Based on Interval Timed Colored Petri Nets;
基于时间有色Petri网的联锁软件的形式化建模与分析
11.
Research and Design on Key Techniques of Computer Interlocking Software Testing Platform;
计算机联锁软件测试平台关键技术的研究与设计
12.
Object-Oriented Software Research and Implementation for Signal Interlocking System of Urban Railway;
面向对象的城轨信号联锁系统软件研究与实现
13.
Research of Stationary Interlock Logic System and Implementation of Software for Low-speed Maglev Train;
中低速磁浮列车地面联锁逻辑体系研究及其软件实现
14.
The Research and Application of Reliable Software Design Method in the Computer Interlocking System;
计算机联锁系统软件可靠性设计方法的应用研究
15.
Analyzing to Set up PLC Software Platform of Function Testing for the Door-lock Latch in Automobiles
建立汽车门锁锁体功能测试PLC软件平台分析
16.
The Design and Performance Test of the USB Software Key;
USB软件锁的设计研发与性能评测
17.
The Design of Coded Lock Software Based on MSP430
基于MSP430芯片的密码锁软件设计
18.
Design and Realization of Software Phase Locked Loop Based on TMS320LF2407A
基于TMS320LF2407A的软件锁相环的设计与实现