位置：成果数据库 > 期刊 > 期刊详情页
基于改进 Event -B 建模的高速列车追踪运行仿真研究
  • ISSN号：1000-3428
  • 期刊名称：计算机工程
  • 时间：2015
  • 页码：256-259-
  • 相关项目：高速行车条件下列车智能分布式实时监控形式化理论研究
作者： 陈永|张薇|胡晓辉|
同期刊论文项目
高速行车条件下列车智能分布式实时监控形式化理论研究
期刊论文 29
同项目期刊论文
基于元胞自动机理论的快速公交系统能耗研究
伪彩色空间完全非结构化道路检测方法
基于Event-B的列车车载控制器系统的形式化建模
采用色彩相似性约束的图割立体匹配
一种基于生化反应速率的新型膜计算方法研究与应用
基于SPN的CTCS无线通信形式化建模与分析
不同人员分布下高铁车厢人员疏散仿真
图K_(2n)\E(K_(1,m))(n≥2)的点可区别边染色
一种基于灰关联和Sobel算子的完全非结构化道路边缘检测方法
复杂信道环境下GSM-R形式化建模分析与研究
分级高速公路交通流能耗分析仿真研究
列车安全距离控制形式化建模与验证
CTCS-4无线通信故障恢复模型的形式化研究
移动闭塞条件下线路弯道对列车交通流影响的研究
基于多智能体理论的列车追踪运行建模与仿真
高铁车厢内部紧急情况下人员疏散仿真研究
基于元胞自动机理论的兰州快速公交系统交通仿真与分析
基于计算机视觉的成熟番茄识别研究
基于k匿名的混合式隐私保护系统的设计
位置服务隐私保护研究综述
运动模糊情况下障碍物检测预处理
ATIS信息诱导下的路径选择行为研究
期刊信息
  • 《计算机工程》
  • 北大核心期刊（2014版）
  • 主管单位:中国电子科技集团公司
  • 主办单位:华东计算技术研究所 上海市计算机学会
  • 主编：游小明
  • 地址：上海市桂林路418号
  • 邮编：200233
  • 邮箱：ecice06@ecict.com.cn
  • 电话：021-64846769
  • 国际标准刊号：ISSN：1000-3428
  • 国内统一刊号：ISSN：31-1289/TP
  • 邮发代号:4-310
  • 获奖情况:
  • 1999～2000、2001～2002年度信息产业部优秀期刊奖,2003-2004、2005-2006年度信息产业部电子精品科技...,2007-2008、2009-2010年度工业和信息产业部电子精...,012年度中国科技论文在线优秀期刊一等奖,2013年度中国科技论文在线优秀期刊二等奖
  • 国内外数据库收录:
  • 俄罗斯文摘杂志,美国化学文摘（网络版）,波兰哥白尼索引,荷兰文摘与引文数据库,美国剑桥科学文摘,英国科学文摘数据库,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊（2004版）,中国北大核心期刊（2008版）,中国北大核心期刊（2014版）,中国北大核心期刊（2000版）
  • 被引量:84139