收藏本站
收藏 | 手机打开
二维码
手机客户端打开本文

城市轨道交通自主化信号系统全面创新实践

赵晓峰  
【摘要】:正城市轨道交通信号系统是用于控制列车自动化运行的开放复杂智能系统,由ATS(列车自动监控)、ATP(列车自动防护)、ATO(列车自动运行)、DCS(数据通信系统)和MSS(维护支持系统)五个子系统组成。信号系统的用户主要是行车调度人员、车站值班人员、设备维护人员,以及数以万计的乘客。上世纪90年代伊始,城市轨道交通信号系统主要由国外供应商直接提供,价格昂贵,功能变更困难,维修保养繁琐,因此,国家发改委开始大力提倡信号系统国产化,要求国产化率应达到70%。"十一五"期间,中共中央著力倡导企业自主创新能力的培养,希望中国企业掌握产品核心技术,信号系统自主化浪潮由此掀起。时至今日,已有

知网文化
【相似文献】
中国期刊全文数据库 前20条
1 张爱新,杨明福,李生红,李建华;一种认证安全性的分析与设计逻辑[J];上海交通大学学报;2004年S1期
2 陈宇;邹盛荣;阳雪平;;形式化B方法数学基础的实例研究[J];常熟理工学院学报;2008年10期
3 徐阳;邹盛荣;朱勇;刘智霞;张宏;;形式化B方法和UML的结合[J];南通航运职业技术学院学报;2008年01期
4 王金刚;;形式化方法在飞机轮刹系统安全性分析中的应用[J];河北省科学院学报;2009年04期
5 朱俊武,张辉;基于Z语言的软件工程形式化研究[J];武汉船舶职业技术学院学报;2003年04期
6 王云平;;车辆路径问题的形式化及其知识表示方法研究[J];辽宁省交通高等专科学校学报;2006年04期
7 刘永和,黄必清,刘文煌,奚兵;虚拟企业集成模型的形式化方法[J];清华大学学报(自然科学版);2000年04期
8 陈生庆;陈广明;张立臣;;PEARL语言在实时系统开发模式中的应用研究[J];兰州理工大学学报;2006年01期
9 王子才;王勇;;复杂系统仿真概念模型研究进展及方向[J];宇航学报;2007年04期
10 李启南;;基于B方法的电梯控制系统形式化研究[J];信息技术;2008年01期
11 袁志民;余滨;段采宇;蔡山;;基于事件序列的作战过程描述方法[J];火力与指挥控制;2008年09期
12 喻钧;容晓峰;曹子建;;用Z语言描述排课问题的形式化模型[J];西安工业大学学报;2008年04期
13 燕飞;唐涛;;计算机联锁控制逻辑的模型检验方法[J];铁道通信信号;2009年05期
14 曹源;唐涛;徐田华;穆建成;;形式化方法在列车运行控制系统中的应用[J];交通运输工程学报;2010年01期
15 曹东兴,檀润华,苑彩云,耿磊,朱凝华;基于集合原理的产品概念设计过程建模[J];机械工程学报;2004年08期
16 高翔,戎舟,马秀飞,周亮;网络仪器与通信协议一致性测试技术[J];工业仪表与自动化装置;2005年01期
17 刘栋;陈颖;沈沉;孙英云;李锐;;电力应急预案数字化方法研究[J];电力系统自动化;2009年21期
18 胡启敏,薛锦云,钟林辉;依赖注入技术及其执行过程的形式化描述[J];燕山大学学报;2005年04期
19 杜旭涛;邢春晓;周立柱;;使用NWA对组合web服务进行可达性分析(英文)[J];Journal of Southeast University(English Edition);2008年03期
20 蒋睿;胡爱群;;基于认证测试的鲁棒电子邮件协议形式化分析(英文)[J];Journal of Southeast University(English Edition);2009年02期
中国重要会议论文全文数据库 前10条
1 杨晓婕;缪祥华;仇细平;;Yahalom协议的改进及安全性分析[A];2009年研究生学术交流会通信与信息技术论文集[C];2009年
2 吴允曾;;关于形式化的几个问题[A];金岳霖学术思想研究——金岳霖学术思想研讨会论文集[C];1985年
3 燕飞;唐涛;;实时并发系统的形式化建模方法研究[A];2009系统仿真技术及其应用学术会议论文集[C];2009年
4 王绍棣;孙知信;王汝传;;形式化方法在CAD中的应用研究[A];中国图象图形学会第十届全国图像图形学术会议(CIG’2001)和第一届全国虚拟现实技术研讨会(CVR’2001)论文集[C];2001年
5 燕飞;唐涛;;形式化方法在基于通信的列车运行控制系统(CBTC)中的应用研究[A];可持续发展的中国交通——2005全国博士生学术论坛(交通运输工程学科)论文集(下册)[C];2005年
6 李樱;王永滨;冯爽;;基于LOTOS的PIM-SM协议形式化分析[A];2006北京地区高校研究生学术交流会——通信与信息技术会议论文集(上)[C];2006年
7 解云峰;李之棠;石曙东;;基于串空间模型的安全协议形式化分析方法研究[A];全国网络与信息安全技术研讨会’2004论文集[C];2004年
8 王永滨;郭云飞;陆娜;;CADP与PIM-SM协议分析[A];2006年全国开放式分布与并行计算机学术会议论文集(三)[C];2006年
9 李峭;熊华钢;黄臻;丁凡;;AFDX网络中的准时制消息调度方法[A];大型飞机关键技术高层论坛暨中国航空学会2007年学术年会论文集[C];2007年
10 李文健;;形式化的涵义及其认识论本质[A];1993年逻辑研究专辑[C];1993年
中国博士学位论文全文数据库 前10条
1 刘洋;网络式软件需求验证的形式化方法研究[D];电子科技大学;2013年
2 张鹏;形式化方法在云计算中的应用研究[D];吉林大学;2014年
3 龙慧云;基于进程代数的Web服务数据和组合的形式化方法研究[D];贵州大学;2009年
4 陈潇怡;数字权限表达语言的形式化模型及应用研究[D];武汉大学;2011年
5 席琳;形式化方法在构件组装实时系统中的应用研究[D];郑州大学;2012年
6 胡静;基于Pi-演算的Web服务形式化描述模型[D];天津大学;2013年
7 江敏;多视点需求工程中不一致性的检测与处理[D];武汉大学;2007年
8 曹源;高速铁路列车运行控制系统的形式化建模与验证方法研究[D];北京交通大学;2011年
9 王英龙;Ad Hoc网络路由协议安全性分析方法研究[D];山东大学;2005年
10 燕飞;轨道交通列车运行控制系统的形式化建模和模型检验方法研究[D];北京交通大学;2006年
中国硕士学位论文全文数据库 前10条
1 唐芳芳;哥德尔定理的意义[D];清华大学;2005年
2 李晔;基于构件的形式化需求分析方法研究与实现[D];西安理工大学;2003年
3 王永宝;密码协议的代数模型和安全分析算法研究[D];北京邮电大学;2006年
4 王天舟;早期需求工程中的形式化建模与模型检验应用研究[D];浙江工业大学;2006年
5 赵琳;安全协议形式化分析方法的比较和研究[D];郑州大学;2007年
6 张卫;实时系统的形式化设计与辅助代码生成研究[D];华中科技大学;2006年
7 彭珊珊;安全的电子投票方案及其匿名性的研究[D];上海交通大学;2008年
8 陈岳;基于形式化方法构建领域模型及其实现的探讨[D];华东师范大学;2008年
9 陈广明;Z语言的实时扩展及应用[D];广东工业大学;2004年
10 王森;基于PAR方法开发算法程序的研究[D];江西师范大学;2004年
中国重要报纸全文数据库 前10条
1 上海交通大学APEX数据和知识管理实验室 王昊奋俞勇;语义Web推动下一代搜索[N];计算机世界;2007年
2 黎敬波;可拓方法与中医思维[N];中国中医药报;2005年
3 尹霞;我说的话 你能听懂吗?[N];计算机世界;2001年
4 张岂之;关于环境哲学研究的几点思考[N];光明日报;2007年
5 本报记者 张蕾;志在促进软件产业跨越式发展[N];光明日报;2006年
6 天津市第一中级人民法院 李宝明;法官的职业思维探析[N];人民法院报;2008年
7 刘清秀;软件人的福音[N];中国邮政报;2003年
8 北京化工大学文法学院教授 马长英;潜移默化背后的创新潜力[N];光明日报;2011年
9 中科院数学与系统科学研究院 金芝;没有需求就没有软件[N];计算机世界;2001年
10 正子;贝尔实验室基础研究在中国生根结果[N];通信产业报;2001年
中国知网广告投放
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62982499
  • 010-62783978