城市中心区停车设施供应研究

随着城市化进程的加快，我国机动车拥有量及道路交通量急剧增加，停车问题已成为诸多城市的难题。本文在分析了城市中心区停车设施供应的影响因素的基础上，建立了停车设施供应与停车需求关系模型以及停车设施供应与路网容量平衡关系模型，对如何合理确定城市中心区停车泊位供应量进行了探讨，并在浙江省台州市滨海工业城启动区块的停车设施供应规划中得到应用，可为我国城市中心区静态交通设施规划提供借鉴。     

舰载作战指挥系统软件构件库技术研究(续三):检索和管理

软件构件的检索和管理是软件构件库技术的两个必要方面。重点分析了舰载作战指挥系统软件构件库的检索技术，包括基于关键词的软件构件检索、基于刻面的软件构件检索以及软件构件全文检索。     

基于对流效应的寒区路堤块石层临界高度研究

为了研究块石路堤降温效应与块石层高度之间的关系,基于多孔介质自然对流理论和热传导理论引入了表征寒区块石路堤自然对流降温效应的自然对流指数,利用热传导温度分布函数获得了路堤自然对流指数随块石层高度变化的近似公式。分析表明:自然对流指数最小值对应于路堤块石层的最小高度,而其最大值对应于路堤块石层的最大高度。另外介绍了一种利用自然对流指数近似公式估算路堤块石层临界高度的方法,并具体给出了算例,最后进行了数值验算。结果表明:通过自然对流指数确定的临界高度可为寒区工程的路堤设计提供参考。     

舰载作战指挥系统软件构件库技术研究(续一):体系结构

舰载作战指挥系统是一个复杂的信息收集、处理与控制系统，它的开发和研制面临着具体需求不确定、技术环境快速变化等诸多问题。为了实现其软件的模块化、通用化和系列化，提高舰载作战指挥系统软件的研制效率和质量以及软件的标准化程度，其软件构件库的研制是一个关键环节，通过对一般软件构件库技术和舰载作战指挥系统的具体分析，给出了舰载作战指挥系统软件构件库的体系结构。     

状态维修系统的指数分布检测策略

系统有4种运行状态：正常、异常、隐患和故障，系统从正常依次经异常、隐患到达故障。正常状态、异常状态和隐患状态为系统的工作状态，系统处于哪种工作状态检测诊断后才能知道，系统故障时不需检测诊断就能知道。系统每次开始正常工作后，每隔一段随机时间对它检测诊断一次，直到系统故障或检测诊断出系统处于异常或隐患状态为止，并且诊断正常和异常时结果有可能出现错误，隐患诊断结果不会出错。在系统的寿命为连续型随机变量，检测间隔时间服从指数分布的假设下，利用向量Markov过程方法求出了系统的可靠性指标、系统的最优检测策略。     

城市轨道交通BIM项目协同平台应用研究

从轨道交通项目实际应用需求出发,设计BIM项目协同平台的网络架构以及各大功能模块,包括文档管理模块、流程管理模块、设施设备构件库模块以及数据校验模块,并依托上海市轨道交通在建项目,验证平台应用的可行性及价值,提高轨道交通项目建设管理的质量和效率。     

地铁列车过渡车钩功能改进及应用

针对目前内燃调车机车采用过渡车钩对地铁列车调车作业中存在的问题,提出了对过渡车钩的改进方案,以达到缓解地铁列车停放制动、提高调车效率的目的。同时提出了对地铁列车制动管路进行改进的思路,以实现内燃调车机车与地铁列车同步实施制动与缓解,从而大幅提高调车过程的安全性与效率。     

CIT400动车组单辅变流器箱体研究

单辅变流器是CIT400动车组上重要的大型电气设备,作为电器部件的载体变流器箱体的强度非常重要,应用Solidworks/COSMOS软件完成了对单辅变流器箱体的有限元分析,通过分析对箱体静强度进行了校核,在标准要求冲击载荷作用下,箱体的强度设计满足实际应用的需要;同时完成了对箱体的模态分析,得到箱体的固有振动特性,为后续设计过程中有效的避免共振对箱体产生不良的影响提供数据支持。     

共轨蓄压式电控喷油器的泄漏分析与试验

全面分析了共轨蓄压式电控喷油器的泄漏部位及影响因素,进行了静态和动态的密封性试验。试验结果验证了电控喷油器的设计精度与加工工艺的合理性。     

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

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