2取2乘2安全计算机平台的设计与实现

介绍一种应用于轨道交通等安全苛求系统的2取2乘2安全计算机平台,该平台基于COTS硬件和软件进行开发,采用分层结构设计的理念,对平台的同步原理、工作模式、故障诊断方式以及故障导向安全机制作深入探讨,对平台各组成部分的特点进行详细描述。考虑到生产、维护、测试的需要,对该安全计算机平台的测试台也进行了介绍。     

基于UPPAAL的二乘二取二逻辑建模与仿真

二乘二取二冗余结构以其高安全性和高可靠性特点,被广泛应用于核电、航空航天和铁路等安全关键领域。为验证二乘二取二冗余结构的核心逻辑,保证其高安全性和高可靠性的要求,对二乘二取二逻辑进行建模与验证。基于时间自动机理论,以列控车载ATP子系统二乘二取二冗余逻辑为研究对象,在分析工作原理的基础上,利用UPPAAL工具建立二乘二取二冗余逻辑的时间自动机模型,分别验证二乘、二取冗余逻辑的基本安全属性。根据验证后的软件逻辑模型,实现冗余逻辑仿真。模型构建与程序仿真的结果表明:车载ATP二乘二取二冗余逻辑结构具有高安全性与高可靠性。     

CBTC车载子系统二乘二取二软件平台关键算法设计

提出了CBTC车载子系统二乘二取二软件平台中双机任务同步,二取二双CPU数据比较以及双系之间的状态调整等关键算法的一种可行方案.通过实验室测试证明了设计方案的正确性、可行性和有效性.     

客运专线60kg/m钢轨18号可动心轨辙叉的组装及质量控制

客运专线60 kg/m钢轨18号单开道岔是我国客运专线铁路的主型道岔产品,可动心轨辙叉是客运专线道岔中最复杂的部件,同时也是道岔制造和质量控制的关键点,根据道岔设计理论结合生产实践经验,总结了18号可动心轨辙叉组装的流程、方法和质量控制重点,旨在对道岔制造、铺设、养护维修提供一定借鉴作用。     

2010年中国铁路的重点工作

认真贯彻落实党的十七届四中全会和中央经济工作会议精神,深入学习实践科学发展观,按照建设“优质、平安、绿色、和谐”铁路的要求,精心组织好大规模铁路建设,加快推进技术装备现代化,全面完成运输经营任务,着力提高铁路发展质量,确保运输安全持续稳定,     

阻抗法用于大鼠心排出量的测定及其评价

用针电极插入皮下的方法,测定了54例戊巴比妥钠麻醉大鼠的心阻抗图94次,求得大鼠Cl值:雄鼠为290±7.2ml/min/kg,雌鼠为262±10.1ml/min/kg。并测得大鼠Q-Z为47.4±0.4msec,PEP/LVET为0.442±0.007。其中15隻雄鼠九天内连续测定三次心阻抗图,三次求得的CI值间无显著性差异(P>0.4～0.7)。另26例大鼠用阻抗法和电磁流量计两法测CI,两法测得CI值高度相关(r=0.85,P<0.0005)。     

提速道岔转换力计算机模拟研究

建立了道岔区轨道结构空间双层弹性叠合交叉梁系力学模型，并着重以60kg/m钢轨12号可动心轨提速道岔（混凝土岔枕）为例，对道岔转换力计算进行了计算机模拟。     

GPS数据后处理中精度分析的简明数学模型

直接从微分关系式出发，导出了参心空间直角坐标到大地坐标、大地坐标到高斯坐标的误差传播规律。与现有方法相比，该方法具有表达式简捷，公式严密的特点。     

"海大1号"摇臂式波浪发电装置水动力性能研究

浮子的水动力性能是影响波浪发电装置一级能量转换效率的重要因素,为了提高浮子的取能效率,开展浮子的水动力性能研究非常必要.文章以自主研发的"海大1号"摇臂式波浪发电装置为研究对象,基于三维势流理论,推导出浮子在线性规则波作用下的的运动方程,并利用CFD水动力仿真软件分析了不同形状浮子的水动力性能,从而确定了浮子的最优形状;在最优浮子形状的基础上,进一步研究了波长与浮子尺寸关系对浮子水动力性能的影响;用1:1物理模型试验验证了仿真试验结果的正确性,并测得不同波长与浮子尺寸比下浮子的取能效率;最后得出结论:浮子的最优形状为圆柱体+球的混合体,波长与浮子之间的最优关系是波长与浮子尺寸之比为4,此时浮子的水动力性能最佳.文中得出的浮子水动力性能研究结论可为其他波浪发电装置提供参考,具有很好的工程应用价值.     

盾构分体始发施工技术在核电厂取水工程中的应用

核电厂取水隧洞紧邻常规岛及泵房结构,施工场地有限,无法进行盾构整体始发。通过对盾构台车管线改造及延长、出渣皮带口前移、电瓶车短编组等方法,在盾构1#和2#台车之间进行分离,实现盾构分体始发,待掘进出盾构整体长度后进行正常掘进。盾构分体始发技术在电厂取排水隧洞建设中的应用可以解决电厂多厂房结构同时建造时场地狭小的问题,可在今后的电力取排水工程中推广应用。