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

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

地铁出入口大跨度接口梁数值分析

建立空间计算模型对地铁出入口大跨度接口梁的内力等进行数值分析,提出接口梁空间计算模型及其内力计算结果,对比传统平面简化计算模型的内力结果,得知空间计算模型结果更接近接口梁的真实受力状态,接口梁的扭矩不是受力的控制性因素,而接口梁的弯矩接近弹性支座梁的弯矩。     

铁路站场平面CAD系统的模型设计

工程设计的模型是实现工程设计中CAD系统设计的基础和核心,就铁路站场专业平面CAD软件的开发,介绍了站场平面CAD系统的模型设计过程。     

极端荷载作用下公路桥梁荷载概率模型研究

我国桥梁设计规范中对极端荷载组合系数没有明确的规定,在以结构可靠度为基础的概率极限状态设计法中,由于公路桥梁各种作用比较多且大多随时间变化的范围比较大,各种作用的组合也比较复杂,所以必须选择合理的概率模型才能保证计算出真实合理的结构可靠度。通过查阅文献并结合WIM系统统计的车辆数据分析,建立了公路桥梁永久荷载及其效应概率分布模型;基于Matlab软件,在汽车车重总体服从多峰分布的基础上对实测数据进行训练拟合,建立了汽车荷载效应的概率模型并确定了汽车荷载分级加载方式,为公路桥梁可靠度研究和求解极端荷载组合系数奠定了基础。     

基于三维实景模型公路桥梁BIM正向设计研究

采用Midas CIM桥梁三维正向设计软件,依托濮阳至聊城高速公路卫城枢纽主线跨线桥工程,基于三维实景模型开展节点桥梁BIM正向设计。将三维模型输出的钢箱梁关键指标与传统二维设计模式输出的结果进行对比分析,结果表明三维正向设计结果可靠,可实现设计阶段BIM模型向施工阶段数字化交付。     

Surf-riding and oscillations of a ship in quartering waves

The behavior of a ship encountering large regular waves from astern at low frequency is the object of investigation, with a parallel study of surf-riding and periodic motion paterns. First, the theoretical analysis of surf-riding is extended from purely following to quartering seas. Steady-state continuation is used to identify all possible surf-riding states for one wavelength. Examination of stability indicates the existence of stable and unstable states and predicts a new type of oscillatory surf-riding. Global analysis is also applied to determine the areas of state space which lead to surf-riding for a given ship and wave conditions. In the case of overtaking waves, the large rudder-yaw-surge oscillations of the vessel are examined, showing the mechanism and conditions responsible for loss of controllability at certain vessel headings.List of symbols c wave celerity (m/s) - C(p) roll damping moment (Ntm) - g acceleration of gravity (m/s²) - GM metacentric height (m) - H wave height (m) - I _x ,I _z roll and yaw ship moments of inertia (kg m²) - k wave number (m^–1) - K _H ,K _W ,K _R hull reaction, wave, rudder, and propeller - K _p forces in the roll direction (Ntm) - m ship mass (kg) - n propeller rate of rotation (rpm) - N _H ,N _W ,N _R hull reaction, wave, rudder, and propeller - N _P moments in the yaw direction (Ntm) - p roll angular velocity (rad/s) - r rate-of-turn (rad/s) - R(,x) restoring moment (Ntm) - Res(u) ship resistance (Nt) - t time (s) - u surge velocity (m/s) - U vessel speed (m/s) - v sway velocity (m/s) - W ship weight (Nt) - x longitudinal position of the ship measured from the wave system (m) - x _G ,z _G longitudinal and vertical center of gravity (m) - x _S longitudinal position of a ship section (S), in the ship-fixed system (m) - X _H ,X _W ,X _R hull reaction, wave, rudder, and propeller - X _P forces in the surge direction (Nt) - y transverse position of the ship, measured from the wave system (m) - Y _H ,Y _W ,Y _R hull reaction, wave, rudder, and propeller - Y _p forces in the sway direction (Nt) - z _Y vertical position of the point of action of the lateral reaction force during turn (m) - z _W vertical position of the point of action of the lateral wave force (m) Greek symbols angle of drift (rad) - rudder angle (rad) - wavelength (m) - position of the ship in the earth-fixed system (m) - water density (kg/m³) - angle of heel (rad) - heading angle (rad) - _e frequency of encounter (rad/s) Hydrodynamic coefficients K roll added mass - N _v ,N _r yaw acceleration coefficients - N _v N _r N _rr N _rrv ,N _vvr yaw velocity coefficients K. Spyrou: Ship behavior in quartering waves - X _u surge acceleration coefficient - X _u X _vr surge velocity coefficients - Y _v ,Y _r sway acceleration coefficients - Y _v ,Y _r ,Y _vv ,Y _rr ,Y _vr sway velocity coefficients European Union-nominated Fellow of the Science and Technology Agency of Japan, Visiting Researcher, National Research Institute of Fisheries Engineering of Japan     

一种新的交通流矢量场微观模型

在分析非机动车行驶特性的基础上 ,根据场的理论与相关的交通流理论 ,用矢量表示非机动车的速度与加速度 ,综合考虑周围所有运动物体与道路的影响 ,建立了一种新的非机动车流矢量场微观模型 ,仿真与回归分析的结果证明该模型能准确地实现非机动车的交通特点     

物流配送点选址模型及其算法研究

首先介绍以最低送货运输费用为目标 ,借助最小二乘法推导出单物流配送点的选址模型及其迭代算法 ;在此基础上重点分析了已知物流配送点数目条件下的选址和物流服务分配问题 ,提出用二进制数的矩阵来描述物流服务分配方案 ,推导出其选址的数学模型 ,并给出交替选址迭代算法 ;最后讨论了如何把在未知配送点数目条件下的选址问题转化为已知配送点数目条件下的选址问题来求解     

沥青混合料转运车模型试验研究

在分析沥青混合料转运车的工作原理及作用的基础上,根据相似理论,设计了沥青混合料转运车相似模型,试验揭示了其结构参数对改善沥青混合料离析程度的影响,得出了材料离析率与螺旋轴转速、螺距及螺旋半径之间的关系,为沥青混合料转运车的设计开发提供科学可靠的依据。     

振动压路机起振过程分析

运用机械系统虚拟样机软件ADAMS建立了振动压路机激振器的虚拟样机，并利用其进行了振动压路机起振过程的仿真研究，分析了液压系统压力对启动过程中档销受力及对动偏心块和固定偏心块运动学参数的影响。