沪上首条无人驾驶地铁线有望年底开通试运营
10.01.2017 19:41
本文来源: 轨道交通
作为上海地铁2017年首列新车,17号线的新型列车“1701号”日前运抵青浦朱家角。这条沪上首条无人驾驶地铁线有望年底开通试运营。
硬件已开动,软件更先行。17号线离不开一位从法国来沪的欧洲科学院院士:简-埃蒙德·阿布瑞尔,这位78岁的世界级计算机科学家从12年前开始便每年来华,与华东师范大学计算机科学与软件工程学院协作攻关“安全攸关软件”。 昨天,阿布瑞尔院士获得国际科学技术合作奖,是唯一来自上海合作单位的外籍科学家。 无论进站、靠站,还是分道、转线,巴黎就有这样一条全自动14号线。它的研发成功,正是应用了阿布瑞尔创建的安全攸关软件开发技术“B方法”。在世界上,“B方法”的应用案例,涉及纽约、巴塞罗那等20多个城市的轨道交通。 为确保无人驾驶地铁软件开发全程万无一失,阿布瑞尔就像工匠一样在计算机前步步精心求解。单单来自地铁方面的《需求规范》就有一两百页厚,必须据此逐条梳理,化为计算机理解的软件语言。起先只是一两项数理建模,然后层层精化为30多层,其过程中形成一两百个精化模型,有些模型需要证明300多条逻辑定理。 如今在上海、武汉、广州等多条地铁线中,经“B 方法”严格验证后的信号系统成功通过国际最高安全等级“莱茵四级”认证,且测试成本降低40%,开发周期缩短15%。 阿布瑞尔以个人声誉为重,独来独往,没有秘书,也不带随从。他只要求在师大一村安排了一套四五十平方米的一室一厅小住,自己去大超市买菜做饭。阿布瑞尔坚持十多年每年都有两三个月在华工作,常在办公室“坐堂”一整天,为硕士生、博士生答疑解惑,至今联合培养研究生20余名。有一个周五,阿布瑞尔照例来到数学馆工作,结果发现单位里几无一人,后来才知当天是国定假日。而有一个圣诞节,年近八旬的教授依然在华,为学生授课。 来源:本文来源: 轨道交通
10.01.2017 19:41
厅党组召开第二十三次(扩大)会议
11月28日,交通运输厅
河北省交通运输厅关于承德市强狮汽车检测有限公司等十家检测机构通过认定的公告
根据《河北省交通运输厅关于做好汽车综合性能检测站认交通运输厅
全系统安全生产工作电视电话会召开
11月30日上午,交通运输厅