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

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

城轨车辆弓网匹配分析

文章主要从上海轨道交通13号线车辆的设计方面,从机械匹配和电气匹配两个方面对受电弓和接触网的关系进行分析,以满足弓网之间的良好匹配。     

简析CBTC系统中联锁与区域控制器的关系

针对地铁CBTC系统中联锁和区域控制器的功能和关系进行分析和探讨.     

事实劳动关系法律探讨及风险分析

1案情介绍2010年5月,杨某开始在原告A公司从事驾驶员工作,但双方未签订劳动合同。2011年4月,杨某因与A公司员工王某、孙某发生纠纷,被A公司开除。于是,杨某向A公司请求支付经济赔偿金,但A公司拒绝支付,理由是杨某未与其签订劳动合同,双方之间不存在劳动关系。在协商未果的情况下,2011年8月9日,杨某向甲市劳动人事争议仲裁委员会申请仲裁,要求确认其与A公司存在劳动关系,并由A公司支付经济赔偿金。甲市劳动人事争     

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

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

薄层沥青混凝土力学参数的分析

介绍交通部西部交通建设科研项目“超薄层沥青混凝土面层技术研究”的部分结果；给出了薄层混凝土材料的模量参数；并且对动态模量试验结果作了一定的分析；提出了静态、动态模量之间简单的转换关系。     

关于薄壁箱形梁的悬臂翼缘板在翘曲扭转中作用的探讨

分析了带悬臂翼缘板的薄壁箱梁在约束扭转时的内力状态。在此基础上，推导了考虑悬臂板影响的约束扭转微分方程，以及翘曲函数(β)和扭率(θ)的关系方程，并讨论了悬臂板对截面翘曲扭矩的贡献。     

用三次样条函数反算平曲线参数

从工程实际出发，利用中心差商法确定中桩坐标；根据中桩坐标运用三次样条函数求得各中桩点的曲率；根据平曲线的里程与曲率呈分段线性关系的原理，运用回归分析方法反算出平曲线参数(R，A，L，)；再根据实际情况对平曲线参数进行归整调整，得到最终参数值。     

碎石材料本构关系模型综述

碎石材料在反复荷载作用下具有非线性特性。K—θ模型是最经典的碎石模型，但它有自身的缺陷，国外学者在模拟碎石材料非线性性能方面作了大量的工作，获得了一些合理的结论。文中介绍了11种碎石模型，对它们的优点和不足进行了阐述。     

道路阻抗函数理论与应用研究

在广义交通阻抗概念下,提出综合路阻函数模型。把时间、费用、交通流、收费站和城市节点影响通过参数标定建立起综合函数关系,避免了一般综合性路阻函数费用与时间相互转换过程中,需要时间价值参数这一难定量的指标。将建立的综合路阻函数模型,通过等式关系转化成交通规划软件TransCAD内部函数形式,以实现模型与交通规划软件结合应用,弥补了本文建立的路阻函数没有对交叉口进行专项考虑的缺陷。并用河北唐山的实例说明该函数模型的可行性。结果表明本文方法较常用的BPR曲线拟合交通量误差有显著降低。