苛求软件可靠性方法、技术与模型研究

从瀑布式程序设计的角度,综述了苛求系统软件生命周期各阶段的可靠性方法、技术和模型,包括需求形式化建模与验证、屏蔽设计错误的多版本软件容错、函数式程序设计以及可靠度评估模型等。总结比较各自适用的开发阶段、面向的目标错误类型及优缺点。     

一种新型MVB通信板的探究

结合车载安全计算机技术的发展,以ARM7系列为核心控制器,采用SOPC技术,设计了一种全新的VME总线接口MVB通信板卡。重点介绍了基于USB通信接口,使用VC++6.0开发的上位机试验环境及试验结果。     

中心城区大跨度大断面隧道爆破施工技术

广深港客运专线深港隧道位于深圳市中心城区,由单洞双线过渡到双洞单线,采用矿山法施工。结合深港隧道工程实践,介绍在中心城区大跨度、大断面爆破施工技术。     

地铁柔性接触网线岔检调标准的制定与应用

根据以往运行经验,结合西安地铁2号线的实际情况,从支柱定位、线岔交叉点、始触区、接触线高度、线岔定位拉出值等方面,对柔性接触网线岔的检调标准进行深入研究、分析并加以明确。将所定标准实际应用在西安地铁渭河车辆段接触网的建设中,顺利通过了接触网的冷滑、热滑试验及实际运行的考验。同时,将所定部分标准与国铁普速接触网线岔检调标准进行对比,以供有关接触网生产和技术人员参考。     

网络化城市轨道交通AFC系统票务流转分析

为更好地完成车票管理工作、提高票务管理效率,根据管理方式将车票分为回收类和非回收类,分析这两类轨道交通专用车票的应用特点.在研究网络化运营环境下车票流转的运行模式的基础上,以中央清结算中心、线路中心和车站三级管理流程为例,详细分析回收类车票和非回收类车票的流转全过程,为今后网络化运营下AFC系统的车票流通管理提供理论参...     

利用行人路阻函数评估地铁站内AFC设备运营状况

地铁站内AFC设备作为整个车站客流疏散的通行瓶颈,其运营状况关系到地铁线路乃至整个线网的运营状况。将BPR函数移植于地铁站内的行人交通流并对其进行线性改进,通过实际调研获取不同类型地铁站内与AFC设备处行人流相关的统计数据,并进一步通过统计软件对调研数据进行拟合分析。研究表明,车站类型、设备数量以及设备布局对AFC设备运营状况具有重要影响,相关研究分析可为地铁站内AFC设备运营状况的分析与评估提供依据。     

轿车车身静态刚度计算及静态竖直弯曲刚度优化分析

采用UG软件建立了某国产轿车白车身静态分析有限元模型，计算并验证了其主要工况下的静态扭转特性，并进行了轿车车身静态弯曲挠度关于板单元厚度的灵敏度计算分析。针对分析结果进行了具体加强刚度的优化设计。     

多货物品种集装化运输的优化调度问题

用数学模型描述了供应商根据某一用户在各个不同时间段内对不同货物的需求量情况,利用各种不同型号的箱体进行分时段货物发送的问题。其最终目的是为了求得能够使运输成本和存储成本达到最小的货物发送方案,该问题是一个由批量问题和拼箱问题所组成的复合问题。就此问题,提出了一种三阶段算法。通过理论分析,该算法可以有效地解决此类问题。     

浅谈高液限粉(粘)土的施工

从高液限粉(粘)土的试验报告、土的特性、压实原理、施工工艺的特性、冲击式压路机的补压和效果等方面论述了现场施工过程的要点。     

潭邵高速公路岩溶与采空区路基处理方法

在探讨高速公路岩溶及采空区路基稳定性的合理评价方法的基础上，提出了潭邵高速公路岩溶与采空区路基处理范围的确定方法，进而，针对潭邵高速公路岩溶及采空区路基的工程及工程地质特点，提出了适合于潭邵高速公路岩溶及采空区路基特点的处理方法，应用于潭邵高速公路工程实践并取得成功，取得了相当的社会与经济效益。