ISO/IEC国际标准文件适用分析及对策建议

国际标准化组织(ISO)和国际电工委员会(IEC)通过其导则规定了4种主要的国际标准文件(ISO/IEC deliverables)类型,分别是国际标准(IS)、技术规范(TS)、可公开提供的规范(PAS)和技术报告(TR)。根据ISO/IEC导则,系统梳理各类国际标准文件的相关技术特征,结合中国铁路参与国际标准化组织"铁路应用"技术委员会(ISO/TC 269)前期工作情况,提出合理选择国际标准文件类型、推动标准国际化工作建议。     

基于贝叶斯网络考虑共因失效的高速铁路牵引变电所可靠性分析

运用一种基于故障树的贝叶斯网络分析法,相比于传统的故障树分析法,它能够灵活地表示不确定信息,并能进行不确定性推理。并提出牵引变电所的寿命分布为指数分布,建立牵引变电所电气主接线的贝叶斯网络模型,对于系统二态性特征以及系统可靠度也符合指数分布,故在牵引变电所中选取β因子模型作为共因失效模型,显式分析方法作为共因失效的分析方法。用MATLAB对考虑共因失效的贝叶斯网络进行编程,并绘制相应的可靠度以及瞬时可用度的曲线图,结果表明在考虑共因失效后系统的可靠度有所降低,意味着得出的结果更接近实际。此外,实现牵引变电所定性和定量的评估,计算其可靠性指标,确定系统的薄弱环节。     

岩溶地区复杂地质条件下铁路线路方案比选

黔张常铁路多穿行于中低山和丘陵地区,岩溶、滑坡等不良地质发育,且分布有矿场采空区,地形地质条件对线路布设有较大限制。介绍黔张常铁路在武陵山区采用遥感、物探、钻探等综合勘察成果指导岩溶地区铁路选线的研究方法,对水沙坪至晏家堡段的三个线路方案,从工程地质、工程设置、工程投资等方面进行分析比较,优选出绕避不良地质、工点设置合理、工程经济性较优的方案,并对岩溶区复杂地质条件下铁路选线思路进行总结。     

地铁人防门处可开断汇流排的应用

基于对地铁隧道内人防门处汇流排的研究,提出了一种可开断的汇流排,不仅能保证人防门的正常关闭,还能减少对接触网系统造成的破坏。通过有效的控制原理,大大提高了实施的安全性,而且缩短了人防门关闭的操作时间。     

基于可重用框架的CTCS仿真车载DMI研究与实现

车载人机接口DMI(Driver-Machine Interface)介于列车司机和车载安全计算机之间,实时地完成两者之间的信息交互。DMI屏蔽车载系统复杂的内部结构,以便于理解的方式引导司机完成控制操作,才能充分发挥车载系统的作用,因此对于DMI的研究有着重要的意义。本文的研究重点是:当列控系统由CTCS-2升级换代至CTCS-3时,在不改变原有软件框架的前提下,实现对CTCS-3车载DMI的仿真。本文基于软件重用理论,针对上述问题提出了一种基于可重用框架的解决方案,并采用C++Builder 6.0进行了仿真DMI实现和框架可重用性验证,其结果表明,针对仿真DMI的研究,基于可重用框架的方法是一种能够避免重复劳动,利用已有资源,实现便捷开发的有效手段。     

模糊可拓工程优选模型的城市轨道交通路网方案评价方法

考虑轨道交通路网与城市发展协调性、建设实施性、路网结构合理性与综合效果性的关系,构建城市轨道交通路网方案评价指标体系.引入协商理论将单人AHP法扩展为多专家主观构权方法,并与熵值客观赋权法结合形成组合构权法,用于确定评价指标的权重.综合模糊数学、可拓学和TOPSIS法建立模糊可拓工程优选模型,计算各方案的优属度,并据此对城市轨道交通路网方案进行评价.应用该方法对长沙市城市轨道交通路网方案评价结果证明了模型的可行性和实用性.     

深圳地铁1号线续建工程多功能车辆总线网络系统的可靠性分析

对于列车网络系统来说,可靠性最为关键。列车网络系统可靠性越高,列车运营越安全,可使调试和维护的成本极大地降低。分析列车网络系统的可靠性,寻找列车网络系统可靠性的提升措施,对列车网络系统的设计和维护具有重要的现实意义。以深圳1号线续建工程为例,从列车多功能车辆总线（MVB）的各个方面分析了列车网络系统的可靠性,提出了列车MVB网络系统的可靠性提升措施。建议在列车控制领域,在满足功能的情况下应尽量地减少硬连线,积极地推广和使用车辆网络系统。     

有限元方法在可转换债券定价中的应用

可转换债券是中国证券市场近期的热点之一．可转换债券结构复杂，文中基于相机权益分析方法，建立了可转换债券定价的控制方程，以边界条件的形式考虑了转换条款、赎回条款和回售条款对其价值的影响．利用Ritz—Galerkin方法，导出了定价模型的有限元求解格式．通过数值算例讨论了赎回条款、回售条款对可转换债券价值的影响，并且对鞍钢转债的定价作了实证研究．     

与四阶矩阵特征问题相关的约束流与完全可积系统

主要讨论与四阶矩阵特征值问题相联系的孤子方程及其Lax上,利用位势函数与特征函数之间的Bargmann约束,将四阶特征值问题及相应的伴随特征值问题非线性化,获得新的有限维Hamilton系统,并应用r-矩阵理论证明了新的有限维Hamilton系统在Liouville意义下的完全可积性。最后借助于在Liouville意义下完全可积Hamilton系统的对合解得到孤子方程族解的对合表示。     

布尔逻辑公式中文字和小项的可消性

本文给出了布尔逻辑公式中文字和小项可消性的一些充分必要条件，为进一步提出新的布尔逻辑公式的化简方法奠定了一些理论基础。