面向形式化验证的联锁翻译器软件设计

根据联锁系统的形式化验证系统需求,设计一种联锁数据翻译器软件的总体方案,实现站点接口文件、TLE文件和布尔逻辑文件等文件的翻译转换,生成形式化验证所需要的LCF文件.最后详细说明翻译器软件基于函数式语言OCaml的代码实现.     

双目标多元需求的截流设施选址问题研究

根据网络路径上用户流的需求为多元化的特点,在考虑决策者事先无法给出具体选址数目和选址预算,而是通过投资收益来确定最终的设施位置和数目的基础上,提出了收益最大和选址成本最小以及利润和投资收益率最大化的两个双目标多元需求截流设施选址模型.在建立模型时考虑了消费者存在刚性需求和附带需求的情况.利用多目标优化技术将双目标模型转...     

混合动力汽车匀速下坡再生制动模型预测控制

基于车载导航系统(GPS/CIS等)所提供的未来一段预测路线上的汽车运行状态信息,建立中度混合动力汽车再生制动能量回收的全局优化动态规划模型;采用模型预测控制方法,将动态规划的全局优化控制策略转化成预测视距内的局部优化算法,实现滚动优化控制;为解决动态规划中的维数灾问题,确定了电池荷电状态和温度的可达区域;对模型预测控制策略、全局优化控制策略和瞬时优化控制策略进行了计算比较,在不同坡度、不同坡长的匀速下坡工况下的仿真表明:模型预测算法的计算效率显著高于全局优化策略的;应用模型预测控制策略的再生制动能量回收效率明显高于瞬时优化控制策略的,相比全局优化策略的降低不到1.31%,且采用档位提示的模型预测控制策略能量回收效果更好.     

基于Excel的道路设计数据管理及表格生成

Excel 2007是Office 2007办公软件的一个组件,其内置的VBA开发工具的功能相对于以前的版本进行了一定的调整和改进,可以大幅提高数据处理和管理的效率。针对国内道路设计资料管理存在的介质、标准不统一造成的数据共享效率较低的现状,论述了使用Excel 2007 VBA功能实现道路设计资料管理的优点,并展示了道路平面、纵断面、横断面设计成果表格开发的基本原理和方法。     

OD需求不确定的离散交通网络设计模型研究

以OD需求不确定性为基本前提,以随机双层规划和均值方差理论为基础,建立OD需求不确定离散交通网络设计的基本模型.根据需求不确定的交通网络设计模型特点,建立基于Monte Carlo模拟和遗传算法的算法,实现了对问题的有效求解.Sioux Falls网络的计算结果表明,本论文的模型和算法可以很好地应用于中等规模网络.     

Global optimization method for mixed transportation network design problem: A mixed-integer linear programming approach

This paper proposes a global optimization algorithm for solving a mixed (continuous/discrete) transportation network design problem (MNDP), which is generally expressed as a mathematical programming with equilibrium constraint (MPEC). The upper level of the MNDP aims to optimize the network performance via both expansion of existing links and addition of new candidate links, whereas the lower level is a traditional Wardrop user equilibrium (UE) problem. In this paper, we first formulate the UE condition as a variational inequality (VI) problem, which is defined from a finite number of extreme points of a link-flow feasible region. The MNDP is approximated as a piecewise-linear programming (P-LP) problem, which is then transformed into a mixed-integer linear programming (MILP) problem. A global optimization algorithm based on a cutting constraint method is developed for solving the MILP problem. Numerical examples are given to demonstrate the efficiency of the proposed method and to compare the results with alternative algorithms reported in the literature.     

补贴政策对集装箱公铁联运竞争力的影响分析

公铁联运因其具有运量大、成本低、环境友好等优势,世界各国采取一系列促进其发展的政策措施,补贴政策是其中一种有效且被广泛采用的政策.本文以补贴政策下政府部门、铁路公司和托运人之间相互作用机理为基础,构建了双层规划模型,上层模型描述了铁路公司制定集装箱班列开行方案的行为,下层模型描述了托运人在政府部门补贴下的选择行为. 考虑到公铁联运网络中铁路弧具有“周期连接”和“速度异步改变机制”两种特性,本文分别通过网络拓展和定义分段阻抗函数来处理这两种特性.基于本文双层规划模型的结构,提出了混合遗传算法,即采用遗传算法求解班列的开行方案,使用连续平均算法求解下层的SUE模型. 研究结论表明：在本文算例中,补贴额度增加的初始阶段(0.00~0.14元/(t⋅km)),补贴额度的增加对公铁联运竞争力的促进效果明显;但是超过0.14元/(t⋅km)后继续增加,对公铁联运竞争力的提升效果不明显.这种现象与既有研究有所不同,本文进一步分析了不同的原因.     

基于随机退化路网的碳排放收费优化模型

结合随机通行能力退化路网和双参考点累计前景用户择路模型,构建了引导低碳出行的碳排放收费多准则双层优化模型.上层模型以系统碳排放量最少为目标,搜索最优收费路段并识别最优费率.下层模型基于双参考点累积前景用户和随机退化路网,构建综合考虑行程时间、累积到达时间感知价值、过路费和油费的多准则流量分配模型.设计了基于路段碳密度的启发式算法对模型求解,并采用双向 Nguyen Dupuis路网验证了模型和算法的有效性.研究表明,合理设置收费路段和收费标准能够有效降低全网碳排放总量,但若收费标准设置过高,会降低原瓶颈路段的通行能力,并人为制造新的瓶颈,反而使全网碳排放量上升.     

基于多编组的列车满载率均衡化方法研究

针对多编组均衡发车导致的大小编组列车利用率不均的问题,本文构建了轨道交通多编组列车开行方案双层规划模型.上层模型以大小编组发车频率为决策变量,乘客出行费用和企业运营成本最小为目标;下层模型以列车编组和发车间隔为决策变量,大小编组列车间的满载率均衡程度最大为目标,并设计嵌套遗传算法求解.算例分析表明：当列车编组和发车频率一定时,大小编组列车均衡发车时平均满载率相差 50%,非均衡发车时两者仅相差 0.8%,这说明非均衡发车模式可以有效提高列车满载率均衡性;大小编组列车均衡发车时,列车编组辆数不宜相差过大,非均衡发车时可以通过调整发车间隔的方法提高列车满载率的时空均衡性.     

C程序数据使用XMS的设计与实现

本文针对DOS应用程序的大数据量的存储与处理问题，提出了基于实方式下访问XMS内存的C程序设计方法，从而满足了DOS应用程序中的数据变量访问XMS的应用要求。