位置：成果数据库 > 期刊 > 期刊详情页
基于Event-B的列车车载控制器系统的形式化建模
  • ISSN号：1007-9416
  • 期刊名称：数字技术与应用
  • 时间：2012.8.15
  • 页码：13-13
  • 相关项目：高速行车条件下列车智能分布式实时监控形式化理论研究
作者： 雷洋|胡晓辉|陈永|李欣|
同期刊论文项目
高速行车条件下列车智能分布式实时监控形式化理论研究
期刊论文 29
同项目期刊论文
基于元胞自动机理论的快速公交系统能耗研究
伪彩色空间完全非结构化道路检测方法
采用色彩相似性约束的图割立体匹配
一种基于生化反应速率的新型膜计算方法研究与应用
基于SPN的CTCS无线通信形式化建模与分析
不同人员分布下高铁车厢人员疏散仿真
图K_(2n)\E(K_(1,m))(n≥2)的点可区别边染色
基于改进 Event -B 建模的高速列车追踪运行仿真研究
一种基于灰关联和Sobel算子的完全非结构化道路边缘检测方法
复杂信道环境下GSM-R形式化建模分析与研究
分级高速公路交通流能耗分析仿真研究
列车安全距离控制形式化建模与验证
CTCS-4无线通信故障恢复模型的形式化研究
移动闭塞条件下线路弯道对列车交通流影响的研究
基于多智能体理论的列车追踪运行建模与仿真
高铁车厢内部紧急情况下人员疏散仿真研究
基于元胞自动机理论的兰州快速公交系统交通仿真与分析
基于计算机视觉的成熟番茄识别研究
基于k匿名的混合式隐私保护系统的设计
位置服务隐私保护研究综述
运动模糊情况下障碍物检测预处理
ATIS信息诱导下的路径选择行为研究
期刊信息
  • 《数字技术与应用》
  • 主管单位:
  • 主办单位:天津市电子仪表信息研究所
  • 主编：
  • 地址：北京市朝阳区力源里7号楼307
  • 邮编：100025
  • 邮箱：shuzijishu2009@163.com
  • 电话：010-59795725
  • 国际标准刊号：ISSN：1007-9416
  • 国内统一刊号：ISSN：12-1369/TN
  • 邮发代号:
  • 获奖情况:
  • 国内外数据库收录:
  • 被引量:9831