位置：成果数据库 > 会议 > 会议详情页
Automatic generation and verification of interlocking tables based on Domain Specific Language for C
  • 所属机构名称：北京交通大学
  • 会议名称：2011 IEEE International Conference on Computer Science and Automation Engineering, CSAE 2011
  • 成果类型：会议
  • 会场：Pudong, Shanghai, China
  • 相关项目：列车运行控制系统的仿真理论与方法
作者： Cao, Yan|Zhao, Lin|Wang, Haifeng|Tang, Tao|Xu, Tianhua |
同会议论文项目
列车运行控制系统的仿真理论与方法
期刊论文 102 会议论文 39 获奖 6 专利 15 著作 2
同项目会议论文
A New Extended Kalman Filter Based Carrier Tracking Loop
An Novel Vehicle Detection Method Based on Wireless Magneto-resistive Sensor
A Multi-Agent Model for Optimizing Train Formation Plan
A clonal selection based differential evolution algorithm for double-track railway train schedule op
A novel automatic track identification algorithm based on LTS-Hausdorff distance
The Braking Mode Simulation and Analysis for High-speed Railway
Expert System applied to High-speed Railway Track Circuit Coding and its Simulation
Study on Information Fusion Algorithm in Embedded Integrated Navigation System
Research of System Modeling and Verification Method Combine with UML Formalization Analysis and Colo
Research of Variational Curve Model Base on Level Set and GVF
The Research and Realization of Vehicle Detection System Based on Wireless Magneto-resistive Sensor
Research on Track Map Database for Low-cost Train Control System
Research and Application of Variational Curve Model in Limited Restriction Condition
Research of MRM-Based CTCS-3 Level Train Operation Control System Simulation Support Technology
Adaptability Assessment and Validation of Balise Transmission Module in High-speed Railway
Design and Realization of Software Receiver Based on GPS Positioning Algorithm
Computer system safety argument schemes
Dynamic Characteristics Modeling and Adaptability Research of the Balise Transmission Module in High
Simulation of a high-speed train control system based on High Level Architecture and its credibility
Research of train control system special database and position matching algorithm
The Algorithm of Track Occupied Identification base on HMM
Track Occupied Idetification Method Based on Switch Curve Information
Application simulation research of Gaussian particle filtering in train integrated position system
An information fusion algorithm for multiply GPS track data
Research on Fuzzy Adaptive H∞ Robust Filter for Integrated Navigation System
Towards modeling and evaluation of availability of communication based train control (CBTC) system
A GNSS Based Slide and Slip Detection Method for Train Positioning
Logic Verification of Collision Avoidance System in Train Control Systems
Reliability Analysis of CTCS Based on Two GSM-R Double Layers Networks Structures
GNSS signal acquisition platform design
Grey Theory Based Odometer Scale Factor Calibration Method for integrated Navigation System
European Train Control System Speed-Distance Mode Curve Analysis and Simulation
基于头盔显示器的视频头位跟踪方法研究
Multi-resolution simulation strategy and its simulation implementation of Train Control System
Study on Optimization of Vehicle Routing Problem Based on Sierpinski Space filling Curves
Motion Data Retrieval from Very Large Motion Databases
Research on Deeply Integrated GPS/INS for Autonomous Train Positioning
Model and Improved Ant Colony Algorithm for Multi-route Railroad Blocking Problem