禹登高速公路下伏采空区汪浆治理工程质量裣测技木

根据禹登高速公路采空区治理工程的实践，总结完善在复杂地质条件下，高等级公路下伏采空区注浆治理工程质量和效果检测评价的综合方法与技术。可供国内同类工程借鉴。     

虚拟环境下民用飞机维修性评估与验证技术

应用虚拟现实技术和并行工程的基本思想,研究了民用飞机维修性虚拟分析、评估与验证的基本方法。基于CATIA和DELMIA三维建模基本平台,说明了构建虚拟维修环境的基本元素,研究了虚拟环境下维修场景、维修对象、维修工具和人体模型的实现与合并方法,给出了虚拟环境的创建方法和步骤;研究了民用飞机维修性指标虚拟评估与验证的基本方法和程序,提出了虚拟环境中进行可达性分析、碰撞与干涉分析以及维修姿态分析的定性与定量方法。对某飞机系统故障维修过程的维修性虚拟分析与评估验证结果表明虚拟维修性评估与验证可有效实现飞机全寿命周期的整体优化,缩短研制周期,是一种实现飞机维修性并行优化设计的有效方法。     

泰井高速公路AP1合同抗滑表层AK-13A调整型SBS改性沥青混凝土配合比设计

泰井高速公路AP1合同段采用AK-13A调整型SBS改性沥青混凝土抗滑表层。根据工程实践,对AK-13A调整型SBS改性沥青混凝土抗滑表层的三阶段配合比设计过程进行了整理分析。     

分组域GRIS设备组网调整工作

简单介绍GRIS服务器的作用,并通过实例来说明GRIS服务器割接过程中的影响范围、工程分工、技术方案、具体步骤、应急预案以及割接后的验证。     

HX_N5型机车用102型车钩的研制

根据美国AAR E型机车车钩以及国内机车车钩结构的特点,设计了HXN5型机车用102型车钩。文中对车钩结构不同于上述车钩的部分进行了有限元分析和试验验证,试验结果表明,研制的102型车钩满足技术要求。     

地铁候车系统的PH/PH~[0,C_1]/1/C批量服务排队模型

在考虑客流到达和服务随机性的基础上,首先验证了理论上可以逼近任意分布的PH分布能很好地拟合客流到达和服务规律,然后建立了描述地铁候车排队现象的PH/PH~[0,C_1]/1/C批量服务排队模型,并采用AnyLogic软件仿真验证了模型的通用性和准确性。结果表明,针对9组不同到达率和变异系数的客流数据,仿真模拟和排队模型计算的各项指标的最大绝对误差在0.01~6.06之间,最大相对误差在0.91%~7.69%之间,并且模型结果均在仿真结果的95%置信区间内,故该模型可较好地描述地铁候车排队现象。     

城市轨道交通客流分布短时预测模型研究及应用

客流分布短时预测对于城市轨道交通运营管理和乘客出行服务具有重要的实际意义。采用自底向上的网络建模技术,利用动态仿真方法模拟乘客出行行为,构建城市轨道交通客流动态分布仿真模型,进行城市轨道交通线网客流分布短时预测,并通过实际AFC(自动售检票)刷卡数据进行二元校验。依托北京市轨道交通安全防范物联网应用示范工程,将其应用于北京地铁运营实践中,结合实例验证了模型的可行性和有效性。     

CMD系统地面综合应用软件验证浅析

软件验证是提升软件产品可靠性、使软件满足用户需求的重要方法.按照CMD系统地而综合应用软件的高可靠性要求,阐述了软件验证执行过程与软件验证用例设计方法的两方面内容,回答了如何保证软件验证工作质量的问题.     

基于测试的应答器车载设备安全分析方法研究

为了能够使自主研发的应答器车载设备系统达到欧洲铁路标准产品的要求。在应答器车载设备系统的研发过程中,需要严格依据欧洲铁路标准SUBSET-036的要求来进行研发,同时,为了保证产品在全生命周期内能够达到较高的安全完整性等级,在产品研发过程中,需要全面贯彻IEC62278和IEC62425中的安全需求,即基于风险的安全设计理念。采用HAZOP和FMECA识别风险并制定相应的风险减轻措施,在应答器设计时,将风险减轻措施作为应考虑的安全输入条件贯彻在设计中,以确保产品风险被控制在一个可接受的水平。最后选取4个安全需求功能的测试用例,经过反复多次的确认测试,其测试通过率均达到100%,证明其安全需求均在应答器车载设备系统设计中给以满足。最终的测试用例结果表明,该自主研发的应答器车载设备系统满足列车运行控制系统的安全完整性等级的运用要求。     

Practical identity-based aggregate signature from bilinear maps

A new identity-based(ID-based) aggregate signature scheme which does not need any kind of interaction among the signers was proposed to provide partial aggregation.Compared with the existing ID-based aggregate signatures, the scheme is more effcient in terms of computational cost.Security in the random oracle model based on a variant of the computation Diffe-Hellman(CDH) problem is captured.