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

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

弹性阻尼耦合轮对动力学特性分析

耦合轮对左右车轮间是通过耦合度可变的耦合器连接的,既不完全固结,也不可相对独立旋转,因此其动力学性能也有别于二者。现建立弹性阻尼耦合轮对(EDCW)车辆的动力学模型,系统地分析了其直线稳定性和曲线通过性能。研究发现,选择适当的耦合度时,全部轮对均为EDCW的车辆系统动力学性能居于传统轮对和独立旋转车轮车辆系统之间。在直线上的临界速度小于独立旋转车轮而大于传统轮对,在曲线上的导向性能劣于传统轮对而优于独立旋转车轮,其直线上临界速度的提高是以曲线上导向能力的下降为前提的。研制一种具有主动控制性能的耦合器,使其在高速时具有小耦合度,在低速和通过曲线时具有大耦合度,可以很好地满足当今铁路发展的需求。     

电源频率对三相交流异步牵引电动机影响的探讨

通过对三相异步牵引电动机的特点,结构,参数的分析,结合异步动机用于机车做为牵引动力的特定工况,提出了在同一转差率下,低频区电动机输出转矩下降,机械特性变软的问题,从理论上分析了问题产生的原因,并针对这两个问题提出了作者的看法。     

级配碎石混合料的动力变形特性

采用在古典 C.B.R法的基础上 ,施加动荷载的简化试验方法 ,分析级配碎石混合料的动力变形特性 ,可用永久变形、弹性模量双指标指导混合料的组成设计 ,而合理的级配碎石基层材料组成 ,应考虑到材料与振动碾压工艺的相互作用。     

边角后方交会与公路路线测设

常规的交会定点方法对交会图形有一定的要求。本文讨论了边角同测的后方交会观测方法、计算原理和点位精度分析，并通过理论和实例验证了该方法的可行性。本文所述方法具有操作简便、选点灵活和不受交会图形限制等优点。     

计及移相角的多边形自耦变压器12脉波整流系统分析

多边形自耦变压器一定程度上减小了整流系统的体积,节约了变压器制造成本。为使多边形自耦变压器输出较大的二次侧电压值,优化多边形自耦变压器移相角,分析多边形自耦变压器移相角对12脉波整流系统输入侧电流谐波总畸变率,输出侧电压纹波系数,变压器、平衡电抗器、零序电流抑制器等效容量的影响;对比移相角在π/6、π/2时各个参数的值;提出适用于升压场合的多边形自耦变压器升压移相角;仿真实验验证了理论分析的正确性。同匝比时,多边形自耦变压器采用新移相角其输出电压幅值约为输入电压幅值1.4142倍,等效容量约为62.8%,较传统隔离式变压器等效容量小约37.2%。     

悬挂式单轨平面圆曲线乘客舒适度控制标准取值研究

乘客舒适度标准是确定线路平纵断面设计参数最为重要的控制指标,也是必须满足的强制性指标。为合理平衡乘客舒适度与工程建设成本之间的跷跷板关系,通过系统总结国内外各种现有制式取值标准,就悬挂式单轨乘客舒适度控制标准取值开展理论分析研究,并提出相应建议。与平面圆曲线半径相关的乘客舒适度指标为车体偏转角及未被平衡离心加速度,随着偏转角和未被平衡离心加速度数值的增加,其对最小圆曲线半径的影响逐渐减弱,恶化舒适度条件并不完全等同于工程效益的减小。悬挂式单轨最大偏转角理论上可突破传统轮轨铁路7.7°的限制,但增大偏转角对限界造成的影响不可忽略。人体可忍受的振动持续作用时间与未被平衡离心加速度大小成反比,将加速度控制在0.4～0.8 m/s~2是合理的。     

基于地基回弹因素的盾构隧道管片上浮预测

针对软弱地层盾构隧道管片脱出盾尾后出现的上浮问题,分析盾构施工过程中管片上浮的诱因,得出软弱地层中管片的上浮主要是地层应力重分布产生的地基回弹力引起的。在此基础上建立隧道开挖动态模型,分析隧道上浮量变化规律以及地层特性对管片上浮量的影响规律,得出地层弹性模量和管片上浮量呈一定的指数关系,且弹性模量对管片上浮量的影响远大于地层黏聚力和内摩擦角。通过力平衡理论计算盾构开挖引起的地层回弹力、管片上浮量以及隧道上浮影响的地层高度范围,并通过对珠江狮子洋工程管片上浮量的计算与实测对比,证明该公式的合理性,为盾构隧道工程中考虑地基抗力引起的管片上浮量预测提供一种新的方法。     

����ʱ�չ켣���ٵĽ�ͨ�����Բ���������

基于视频的交通流检测在智能交通系统中具有重要意义。本文针对广泛采用的低位摄像机,提出了一种交通流特性参数的检测分析方法。首先基于三级虚拟检测线和自适应更新率局部背景建模来快速提取车辆特征点并消除活动阴影对提取精度的影响;然后基于Adaboost（Adaptive Boosting,自适应增强）分类器实现特征点按车分组,并在跟踪过程中根据运动特征相关度消除分组误差,获取高精度的车辆轨迹;进而自动生成多车道轨迹时空图并提取各车道交通流的多种特性参数。实验结果验证了算法的高效性;同时,自动生成的多车道轨迹时空图也为更多的交通信息获取和更深入的交通流特性分析提供了有力支持。     

抽气式涡轮帆的气动力学分析研究

介绍了抽气式涡轮帆的结构和工作原理,使用Gambit软件建立了涡轮帆的模型,并采用RNG k-ε湍流模型描述了涡轮帆的动力学特性。利用Fluent软件对抽气式涡轮帆进行了数值模拟计算,并与风洞试验数据进行了对比,升阻力系数的模拟结果与试验数据变化趋势基本一致。计算了特定情况下椭圆筒不同偏转角时的升阻力系数,并模拟了不同旋转角下吸气强度以及旋转角为0°时分流板位置对涡轮帆升阻力系数的影响,为涡轮帆的优化选择提供了依据。