合作伙伴关系下的公路代建项目研究

分析了在公路代建项目建设中引入合作伙伴关系的必要性,比较了合作伙伴关系下的新型代建模式相比传统代建制的优越性,并建立了代建单位与伙伴企业间关系的行星模型,为公路代建单位在项目实施中建立各伙伴单位间的互信互惠关系提供了理论依据。     

城轨CBTC系统联锁表数据安全逻辑验证方法研究

联锁表是联锁安全逻辑的体现,本文针对联锁表数据的安全逻辑验证问题,提出一种基于CSP的验证方法。首先对联锁表数据进行建模,将联锁表数据抽象为调度员、道岔、信号机、区段和联锁控制器5个进程的并发组合模型,并对各进程进行建模。依据联锁系统安全约束条件,从功能性和安全性两个方面,通过对模型正确性的验证来说明数据的安全逻辑正确性。最后以北京地铁亦庄站联锁表数据的安全逻辑验证为例,说明该方法的可行性。     

峨眉机务段总图中道路设计的体会

通过峨眉机务段的道路规划设计实践,阐述如何把总图中道路与厂区的交通运输功能要求、节约用地和投资、竖向设计以及绿化等目标结合起来。     

智能网联汽车测试装备标准体系研究

智能网联汽车产业正处于快速发展时期，用于智能网联汽车测试评价的测试装备需求日益增加。当前，国际上已有的测试装备标准对我国实际测试需求存在不适用性，亟需建立符合我国国情并与国际协调的智能网联汽车测试装备标准体系。本文面向智能网联汽车目标和事件探测与响应（Object and Event Detection and Response,OEDR）能力测试需求建立测试装备分类逻辑，构建了智能网联汽车测试装备标准体系框架，并提出了未来一个时期的工作目标和主要任务建议。