1.
Study on Automatic Wind Tunnel Test Control System Based on Timed Automata
基于时间自动机的风洞试验自动控制研究
2.
Research on RBC Train-Control Process Based on Timed Automata
基于时间自动机的RBC控车流程研究
3.
Intrusion Detection Based Timed Automata for Ad hoc Networks
基于时间自动机的Ad hoc网络入侵检测
4.
LTL Model Checking for Timed Automata
时间自动机的LTL性质模型检测研究
5.
Formal Modeling and Verification of Real-time Systems Based on Time Automation;
基于时间自动机的实时系统形式化建模与验证
6.
Research on the Specification of Computer Interlocking Principles of Interlocking Software Basing on Time-automation Model;
基于时间自动机模型的联锁软件规则描述研究
7.
Based on Timed Automaton Intrusion Detection System Design;
基于时间自动机的入侵检测系统的设计
8.
Study on Survivability Evaluation Based on Timed Automata
基于时间自动机的可生存性评估方法研究
9.
An Automata-based Approach to the Consistency Verification of Real-time Workflow
基于时间自动机的实时工作流时序约束一致性验证
10.
The Design and Implementation of the Model Checking Algorithm for Real-time System Based on Timed Automata
一种基于时间自动机的实时系统模型检查算法的设计与实现
11.
The Formal Verification Techniques for the Timed System Using Timed Automata;
基于自动机的时间系统形式验证技术
12.
Aperiodicity in the Elementary Cellular Automaton;
初等元胞自动机时间序列的非周期性
13.
Bank ATM Maintenance Opportunity Choice System
基于时间序列分析的自动柜员机主动维护时机选择系统
14.
When BB is idle for how long the standby time is it will be locked automatically.
当BB为待机时间多久是为闲置，它将自动地被锁。
15.
The Complexity of Time Series Generated by Cellular Automata;
元胞自动机生成的时间序列的复杂性研究
16.
Growth and Time Evolution Behavior of Helical Cellular Automata and Its Application;
螺旋元胞自动机的生长、时间演化行为及其应用
17.
Investigation of Time Management Disposition and Achievement Motivation among Self-study Examination Students;
自考生时间管理倾向与成就动机的相关研究
18.
Event reconstruction algorithm based on timed finite state machine
基于时间有限状态自动机的事件重建推理算法