高速行车条件下列车智能分布式实时监控形式化理论研究
61163009
2011
F0201.计算机科学的基础理论
胡晓辉
地区科学基金项目
教授
兰州交通大学
47万元
分布式监控;软件形式化;高速铁路;高可信GSM-R;CTCS-4
2012-01-01到2015-12-31
- 中英文摘要
- 结题摘要
- 结题报告
- 项目成果
- 项目参与人
查看更多信息请先登录或注册
查看更多信息请先登录或注册
查看更多信息请先登录或注册
| 序号 | 标题 | 类型 | 作者 |
|---|---|---|---|
| 1 | 移动闭塞条件下线路弯道对列车交通流影响的研究 | 期刊论文 | 陈永|王晓明|党建武|胡晓辉| |
| 2 | 高铁车厢内部紧急情况下人员疏散仿真研究 | 期刊论文 | 胡晓辉|田淇元|陈永|李欣| |
| 3 | 伪彩色空间完全非结构化道路检测方法 | 期刊论文 | 胡晓辉|孙苗强|苏晓许| |
| 4 | 基于改进 Event -B 建模的高速列车追踪运行仿真研究 | 期刊论文 | 陈永|张薇|胡晓辉| |
| 5 | 运动模糊情况下障碍物检测预处理 | 期刊论文 | 胡晓辉|苏晓许|孙苗强| |
| 6 | 图K_(2n)\E(K_(1,m))(n≥2)的点可区别边染色 | 期刊论文 | 李敬文|王鸿杰|文飞|胡晓辉| |
| 7 | CTCS-4无线通信故障恢复模型的形式化研究 | 期刊论文 | 权庆乐|胡晓辉| |
| 8 | 列车安全距离控制形式化建模与验证 | 期刊论文 | 胡晓辉|肖知屹|陈永|李欣| |
| 9 | 基于多智能体理论的列车追踪运行建模与仿真 | 期刊论文 | 陈永|党建武|胡晓辉| |
| 10 | 不同人员分布下高铁车厢人员疏散仿真 | 期刊论文 | 胡晓辉|田淇元|陈永|李欣| |
| 11 | 一种基于灰关联和Sobel算子的完全非结构化道路边缘检测方法 | 期刊论文 | 兰丽|胡晓辉|孙苗强| |
| 12 | 采用色彩相似性约束的图割立体匹配 | 期刊论文 | 苏晓许|胡晓辉|孙苗强| |
| 13 | 一种改进CA高速公路隧道交通流仿真研究 | 期刊论文 | 胡晓辉|何晓庆|郑峰|陈永| |
| 14 | 基于SPN的CTCS无线通信形式化建模与分析 | 期刊论文 | 陈永|王晓明|党建武|胡晓辉| |
| 15 | 基于元胞自动机理论的兰州快速公交系统交通仿真与分析 | 期刊论文 | 陈永|党建武|王晓明|CHEN Yong,DANG Jian-wu,WANG Xiao-ming (School of Electronic a| |
| 16 | 基于元胞自动机理论的快速公交系统能耗研究 | 期刊论文 | 陈永|王晓明|党建武|CHEN Yong,WANG Xiao-ming,DANG Jian-wu(School of Electronic an| |
| 17 | 基于Event-B的列车车载控制器系统的形式化建模 | 期刊论文 | 雷洋|胡晓辉|陈永|李欣| |
| 18 | CTCS-4无线通信故障恢复模型的形式化研究 | 期刊论文 | 权庆乐|胡晓辉| |
| 19 | 大型公共场所突发事件下人员疏散仿真研究 | 期刊论文 | 郑峰|陈永|何晓庆|HU Xiaohui,ZHENG Feng,CHEN Yong,HE Xiaoqing School of Electro| |
| 20 | 复杂信道环境下GSM-R形式化建模分析与研究 | 期刊论文 | 陈永|胡晓辉|王晓明| |
| 21 | 运动模糊情况下障碍物检测预处理 | 期刊论文 | 胡晓辉|苏晓许|孙苗强|HU Xiaohui,SU Xiaoxu,SUN Miaoqiang School of Electronic and I| |
| 22 | 一种基于生化反应速率的新型膜计算方法研究与应用 | 期刊论文 | 陈永|王晓明|党建武|胡晓辉| |
| 23 | 分级高速公路交通流能耗分析仿真研究 | 期刊论文 | 陈永|胡晓辉|何晓庆| |
| 24 | 大型公共场所突发事件下人员疏散仿真研究 | 期刊论文 | 胡晓辉|郑峰|陈永|何晓庆| |
查看更多信息请先登录或注册
