基于TRSL的RBC等级转换场景研究

无线闭塞中心等级转换场景作为中国列车运行控制系统主要场景之一,切换成功与否直接影响高速列车的安全和运行效率。通过对形式化验证方法的分析,采用基于定理证明的时间化工业软件工程规范语言的严格方法(Timed Rigorous Approach to Industrial Software Engineering Specification Language,TRSL),在对等级转换过程进行分析的基础上,设计交互信息图,构建状态迁移图,并结合域建模方法实现对该场景的TRSL描述,最后利用语言推理规则,结合系统特性,实现对切换正确性和实时性的双重验证,结果表明:该场景满足系统规范对功能性和实时性的要求,继而说明该方法的有效性、正确性和通用性,为我国列控系统的设计开发和验证提供一种新的途径和依据。     

感动SCADA无线列车运行监视和调度系统研究

对国外先进的列车运行监视和调度指挥系统进行了讨论，提出了基于SCADA系统的列车运行监视和调度指挥系统基本方案，对该系统的关键技术和优点进行了论述。     

客运专线列车跟踪定位系统体系结构

对国内客运专线列车跟踪定位系统的现状和发展进行分析,结合客运专线运输特点,基于逻辑层次化,组件化,面向对象和事件驱动等设计理念,设计系统的体系结构由业务处理层、应用服务层、通信传输层和安全维护层4层构成.在对系统体系结构各层分析的基础上,采用消息中间件技术,构成客运专线列车跟踪定位系统的关键业务层,实现系统关键业务的集成,使得系统具有很好的扩展性和重用性.     

基于模糊综合函数的飞行计划与雷达航迹关联

文章针对飞行计划航迹准确推算的困难和传统飞行计划关联算法的缺陷,利用飞行计划、起飞报、位置报等报文较为准确的推算出计划航迹,并根据关联特点,运用模糊综合函数航迹关联算法的思想,建立了仿真模型,解决了关联问题。仿真结果验证了该算法的科学性、可行性。     

近郊小城市交通发展策略研究——以成都市新繁镇为例

城市发展有它内在的规律性,中小城市特别是近郊小城市交通发展不能照搬大城市经验,应找到一条实事求是的自身发展路径。在新型城镇化和经济发展新常态对城镇化质量提出新要求的背景下,以成都市近郊小城市新繁镇为例,从机动化水平、交通模式、道路网络与交通管理等方面系统梳理近郊中小城市交通现状特征和发展面临的问题,分析交通需求的变化趋势,建立近郊小城市交通组织的分析框架,在此基础上,提出未来交通发展的重要策略。     

高速铁路枢纽站技术作业计划与动车所调车作业计划协同编制研究

分析高速铁路枢纽站技术作业计划与动车所调车作业计划的协同编制过程,提出了将两个计划一体化编制的思想。以需安排作业效益最大化为优化目标,构建基于动车组车底的高速铁路枢纽站与动车所作业计划协同编制模型。针对模型特点,提出瓶颈工序、启发式分配规则及粗粒度主从进程模式的并行禁忌搜索策略(PTS)相结合的混合优化算法,首先确定作业安排瓶颈工序,然后启动主进程和若干从进程,主进程运用启发式分配规则快速生成初始解分配给从进程,从进程运用与瓶颈工序相关的禁忌算法搜索优化解,并反馈给主进程,主进程记录全局最优解并根据交叉策略生成新的初始解,重新分配给从进程进行TS搜索。最后,用实例验证了模型和算法的有效性。     

Optimal planning of liquefied natural gas deliveries

We investigate the problem of designing an optimal annual delivery plan for Liquefied Natural Gas (LNG). This problem requires determining the long-term cargo delivery dates and the assignment of vessels to the cargoes while accommodating several constraints, including berth availability, liquefaction terminal inventory, planned maintenance, and bunkering requirements. We describe a novel mixed-integer programming formulation that captures important industry requirements and constraints with the objective of minimizing the vessel fleet size. A peculiar property of the proposed formulation is that it includes a polynomial number of variables and constraints and is, in our experience, computationally tractable for large problem instances using a commercial solver. Extensive computational runs demonstrate the efficacy of the proposed model for real instances provided by a major energy company that involve up to 118 cargoes and a 373-day planning horizon.     

上海东方饭店装配式结构的综合改造与加固

为满足业主对上海东方饭店建筑主体结构进行改造加固的要求,对原结构进行了现场检测和改造分析。提出加固改造的原则和总体思路,并详细介绍了其主要加固改造方案和加固技术。该工程的改造项目较多,对类似高层建筑的改造加固具有借鉴作用。     

多端点不成对机车周转图模型与算法

针对不成对列车运行图编制,在考虑最优性的要求条件下,本文提出适用于多端点不成对机车周转图的实用三步算法,即,首先确定机车交路成对时部分初始解,再分别确定每一个尚未匹配到达车次初始附挂方案,最后进行结果优化．文末提供一个算例,算例证明算法有效。     

工期固定多目标资源优化的方法

资源是指为完成工程任务所需的劳动力、材料、机械设备和资金等的统称。资源优化就是通过改变工作的实施时间,使资源按时间的分布能够符合优化目标。