来自象牙塔的进化——艺术机器，2009款宝马Z4

请不要再羡慕奔驰SLK那漂亮的折叠式硬顶设计，2009款Z4将成为宝马历史上第一款配备折叠式硬顶的敞篷跑车。全新设计的车身线条使得新Z4看起来不再是一个有钱人的大玩具；在外到内，新Z4已经进行了全方位的进化，随时准备迎接更高难度的挑战。     

计算机联锁软件的Z规格说明

计算机联锁软件是一种典型的安全关键软件,具有非常复杂的联锁控制逻辑和以失效安全为核心的安全需求。形式化其安全需求是一件十分必要,也是一件十分艰巨的任务。本文使用形式化规格说明语言———Z语言来描述其安全需求,生成形式化规格说明。形式化规格说明不仅有助于提高计算机联锁软件的质量,而且也有利于将来对它进行更严格的测试。     

地铁列车运行诱发地面振动的三维数值分析北大核心

以南昌地铁一号线旁穿建筑物南昌二中宿舍楼所在土层为研究条件,采用有限元软件ANSYS建立了轨道—轨道板—隧道—大地有限元模型。通过多体动力学软件SIMPACK的Wheel/Rail(轮轨)模块获取轮轨作用力,将轮轨作用力施加到有限元模型上求解并作瞬态分析。从时域、频域和Z振级的角度分析了隧道埋深、行车速度、场地土层特征、上行线和下行线隧道净距等因素对地面敏感点振动的影响规律。分析结果表明:增大隧道埋深、降低列车行驶速度可以有效减缓地面振动;土的弹性模量对地面振动有影响,随着土层弹性模量的增大,地面敏感点的振动响应先增大后减小;增大双线隧道的净间距是控制地面振动的措施之一。     

船舶操纵运动CFD数值模拟研究进展

  目的  为了更加真实地预报船舶操纵性能,有必要进行实船操纵运动直接模拟。  方法  首先,基于重叠网格技术进行实船拖航、配套螺旋桨敞水和实船自航计算,并将计算结果与试验结果进行对比;然后,在此基础上开展实尺度船舶的10/10标准Z形操纵运动模拟,分析船舶操纵运动过程中的船舶运动、水动力、流场及涡结构变化。  结果  自航结果表明,所提数值方法可靠;受螺旋桨尺度效应的影响,扭矩系数会有所减小;在操舵过程中,船舶运动姿态较为剧烈;受到船−舵系统干扰,桨后涡结构较为复杂,且随着漂角的变化会产生一定角度的偏移。  结论  采用所提数值方法进行实船操纵运动模拟,可以准确获得船舶运动、水动力特性及流场信息,能作为一种有效的前期评估手段,从而为船舶设计提供参考。     

Z形截面柱正截面承载力的试验与分析

通过对9根Z形截面柱在双向偏心集中力作用下的试验研究,揭示了Z形截面双向压弯柱的破坏形态及正截面承载力的一般规律,在此基础上,采用数值积分方法,编制了相应的电算程序,对其受力性能作了进一步的理论分析。     

高铁信号系统安全关键功能测试建模方法

测试模型是高铁信号系统安全关键功能测试用例编制的重要基础,针对高铁信号系统安全关键功能测试建模过程中描述信号系统领域特征不够全面的问题,提出时间状态机测试建模理论和测试用例生成方法. 分析高铁信号系统测试建模的特点,提出信号系统安全关键功能测试模型的建模需求;以有限状态机理论为研究基础,结合功能逻辑和时钟约束提出时间状态机建模方法,采用Z规格说明语言给出时间状态机的形式化定义;将时间状态机转换为时间自动机,证明转换之间的一致性,并基于时间自动机的测试理论自动生成测试用例,再以计算机联锁系统中的道岔转换功能为例,建立时间状态机测试模型并生成测试用例. 最后,将两种方法生成的测试案例进行对比,结果表明:在功能逻辑方面,基于时间状态机建模方法生成的测试案例100% 地覆盖了基于时间自动机建模方法生成的测试案例,并新增了16条具有时钟约束的测试案例,能够满足高铁信号系统安全关键功能测试建模的需求.