通用雷达接口电路

本文针对雷达接口电路的方案设计和实现过程中的问题，首先对两种已经实现的雷达接口电路系统方案进行分析，据此提出以微处理器为核心的方案，然后重点讨论了通用性问题，并定量分析了时间资源对系统可行性的影响，最后说明了雷达接口电路的应用。     

基于拉姆塞模型的城市轨道交通定价研究

为制定最优票价政策,实现票价平衡引导客流的杠杆作用,进一步提高票务收入和运营效率,结合拥挤定价理论,以低峰价格作为平均票价,采用帕累托次优的拉姆塞定价模型,研究城市轨道交通票价制定问题.通过实例分析,计算结果符合实际情况,为运营初期轨道交通合理票价的制定以及未来可能采用的高峰定价提供参考借鉴.     

基于Prover的联锁软件形式化验证过程研究

计算机联锁系统是铁路信号控制系统的核心设备,是有着苛刻安全要求的复杂控制系统.本文采用Prover形式化开发工具对联锁软件安全需求进行形式化验证.通过模型检验的形式化验证方法,遍历系统输入变量的所有状态空间,验证联锁特定应用满足系统安全需求,确保系统的安全性得以正确实现.在保证系统安全性的基础上,以全状态空间查找反例的...     

运营期斜拉桥桥梁承载能力评定

结合对淮安大桥的桥梁承载能力评定,阐述运营期桥梁承载能力评定的一般方法和步骤,通过具体的评定流程,介绍桥梁缺损状况检查、桥梁材质状况及状态参数检测、桥梁结构检算以及最终承载能力评定的内容和方法。     

浅析冲击压实法在软基处理中的应用

在分析软基处理原理、冲击压实原理的基础上,结合温州境内某市政道路工程,采用能实现"双重功效"(土基处理和路基压实)的冲击压实法进行路基处理,取得了较好的经济与技术效果,可供类似工程的设计与施工参考。     

水网地区航道OD调查方法研究

在借鉴城市与公路交通OD调查成熟经验的基础上,对我国水网地区内河航道OD调查内容、方法及步骤进行了较为深入的探索和研究,经实践检验,内河航道OD调查可提供准确、翔实的基础数据,为水网地区航道规划、建设、管理的科学性、合理性提供积极支撑。     

鱼雷武器系统作战效能的分析体系研究

本文以作战效能为核心,以鱼雷武器系统为研究对象,构造了较为系统的鱼雷武器系统作战效能分析体系,讨论了相应的数学模型和分析方法,可以为武器系统的设计部门、使用部门和作战指挥、决策部门提供超前而可靠的决策预报,有助于选择方案,加快武器装备的研制.     

国航中转航班时空间分布特性及影响研究

以中国国际航空公司(简称国航)在北京首都机场(PEK)的国内转国际中转航班为研究对象,从时空间维度研究其中转时间分布特性,提出可变最大中转时间、喂给能力和喂给利用指数3个表征指标,并构建回归模型分析其影响.结果表明国内经PEK中转西欧、东北亚、北美和东南亚的最大中转时间参考阈值均不同,同时,国航在PEK对喂给能力强的始...     

预混合式天然气/柴油双燃料发动机若干问题的分析与探讨

天然气／柴油双燃料发动机是目前柴油机燃用清洁气体燃料的技术方案之一。通过对气质影响、替代率、动力性、热效率、燃料经济性、排放及噪声等问题的研究和探讨,提出了双燃料发动机进一步发展的意见和建议。     

电控多点天然气-柴油双燃料系统技术研究

本文介绍针对国产Ｘ６１３０柴油机进行的电控多点射天然气－柴油双燃料系统的开发研究。系统采用了电控高速电磁阀实现天然气的多点喷射控制,设计基于单片机的电控单元实现信号采集和电磁阀驱动控制,进行了系统控制软件的匹配开发,开发的综合系统通过台架匹配试验证明了系统的性能,并通过１０００ｋｍ试车验证了系统实用性。