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

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

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

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

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

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

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

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

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

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

汽车整车使用可靠性优化分析

基于回归分析和优化方法 ,对汽车整车使用可靠性由实际观测数据拟合其分布函数 ,并进行了可靠性分析     

基于参数自适应的深潜救生艇姿态控制研究

针对深潜救生艇姿态控制系统中存在不确定扰动、模型参数摄动和建模误差等问题,设计了基于参数自适应的PID控制器,增强了控制器的鲁棒性,提高了控制精度,解决了深潜救生艇姿态控制的难题。该控制器以PID控制器为基础,参考滑膜理论,设计了补偿单元,对不确定项进行有效抑制。其中PID控制器的控制参数变化率及补偿单元的自适应估计均通过李雅普诺夫稳定性理论推导得出。仿真和水池试验证明了该控制器的有效性、鲁棒性,且控制器表现良好。     

基于前景理论的双维度条件下动态路径选择

随着人们生活水平的提高,对出行过程的要求也有了新的标准,而目前在单维度基础上进行的出行路径选择研究已经逐渐偏离出行者的真实需求。为了更好的满足出行者的出行需求,本文以前景理论为基础,从费用维度与舒适维度两个层面对路径进行综合考察,即在考虑感知费用的前提下引入舒适度函数,并分别以动态修正费用函数与舒适度修正函数为参照点进行收益与损失判定,在得到相应前景值后,根据用户对出行过程的费用与舒适度偏重系数计算出路径综合前景值,并以此作为路径选择的判定基础。最后通过一个具体算例对模型进行验证与分析,结果显示相对于单维度的路径选择模型双维度判断更符合实际。