基于区域联锁的CTC分机方案研究与建模

提出一种基于区域计算机联锁的调度集中(CTC)分机结构和方案。研究了中心站设置CTC分机和区域联锁的前提下,根据列车运行调整计划自动控制不同区域的联锁进路;将区间中继站或无道岔车站的进路控制纳入中心站,实现中心站对相邻区域进路控制范围扩展;为提高区间列车进路安全控制水平,将区域内区间信号控制纳入到联锁控制范围。最后采用UML建立了区域联锁CTC分机的用例图和序列图的模型。     

高速铁路列控中心软件安全性需求形式化建模

列控中心的安全性直接影响高速铁路的运行安全,为实现对其安全性需求更本质的形式化定义,提出1种基于安全行为模型的建模方法.根据其安全性需求的特征,安全行为模型定义安全因子以此描述系统状态、系统行为与系统风险之间的度量关系,采用安全约束规则对软件的安全约束行为、安全响应行为及安全失效行为进行描述.通过在我国高速铁路列控中心安全性测试与验证中的应用,说明了该方法的有效性.     

基于建筑信息模型(BIM)的城市轨道交通线路快速建模方法

城市轨道交通线路涉及的专业多,模型复杂。为提高建模效率和建模精度,采用RevitBIM软件平台的二次开发技术和C#编程语言,通过控制参数方法,实现桥梁、隧道、轨道等线路结构物参数化族自动建立。根据线路敷设方式划分线路区间,利用Revit软件二次开发的程序进行区间分段加载,实现了城市轨道交通线路所有结构部件BIM的自动组装;建立了城市轨道交通三维BIM的快速拼接方法,减少和降低了模型细化和拼接的复杂度。     

基于均衡使用要求的飞机排班算法

为解决基于均衡使用要求的飞机排班问题，引入航班节的概念，并对飞机一航班节之间的匹配性约束作松弛处理，然后通过构造航班节的网络模型，将基于飞机均衡使用要求的飞机排班问题转化为寻找一个使目标函数最小的航班节编组方案问题，根据飞机的均衡使用要求构造了目标函数，设计了一种基于模拟退火算法的启发式算法。该算法的计算复杂性为O(M(m^3 mn))。     

增长型企业价值评估方法研究

从确定性和不确定性投资的角度对增长型企业的评估方法进行了研究。分析了单一增长价值评估模型存在的不足，给出了具有多阶段增长的弹性增长评估模型。并针对增长型企业具有经营灵活性的特点，引入了实物期权方法评估具有单一增长机会、序列增长机会企业的经营灵活性价值，从而弥补了折现现金流量法在评估企业经营灵活性价值时的固有缺陷。     

基于统一强度理论的公路隧道围岩抗力系数计算

基于统一强度理论,本文推导得到围岩抗力系数计算公式,该公式具有可以考虑中间主应力的影响以及修改参数后可以退化为其他围岩条件或者其他强度理论条件下的围岩抗力系数计算公式等优点,具有较强实用价值.     

船舶虚拟机舱视景建模与驱动的实现方法

针对船舶轮机模拟器中船舶虚拟机舱的总体设计方案提出了利用Multigen Creator和Multigen Vega软件实现的方法.介绍了虚拟机舱场景中手动漫游和自动漫游两种漫游方式和碰撞检测的实现,以及船舶虚拟机舱场景中对仪表、操作手柄、指示灯和按钮等运动物体驱动的具体操作规程.     

基于事前协商的动态联盟利润分配机制

考虑联盟收益的不确定性和联盟成员对联盟收益的不同预期，建立了基于事前协商的动态联盟利润分配的博弈模型．基于事前利益分配合约对成员企业协作行为及整体协作效果影响的分析，指出不同分配方式对动态联盟总体收益的影响，并给出了基于事前协商的动态联盟利润分配机制确定的基本原则．结果表明，对于不同的事前分配合约，成员企业会在协作过程中选择不同的行为方式，以实现自身效用的最大化，从而影响到协作的整体效果。     

质子交换膜燃料电池的温度场模拟

根据流体动力学和传热学理论，建立了一个三维的单流遭质子交换膜燃料电池模型，并应用有限控制体法对模型进行求解．总体而言，单流道燃料电池温差很小，阳极催化层温差大致在1K左右，而阴极催化层温差小于3K，最高温度发生在阴极催化层的反应区．将模拟的结果与有关的试验结果做了比较，结论相一致．