不同Statechart语义比较

Statechart是一种可视的规格描述语言,由于其直观的特性和强大的描述能力,一直得到广泛的重视,Statechart语义的关键在于执行步语义,不同的statechart的变体有着不同的描述能力,而应用于不同的领域.本文以三种应用最为广泛的Statechart语义为对象,以逆时间的方式,从UMLStatechart的语义开始,通过对Statechart功能的讨论,逐步引出了STATEMATE Statechart的语义和Pnueli给出的Statechart的语义,并进行了比较,显示出不同语义的描述能力的差异和不同语义表达的思想.     

弹性约束条件下H型截面钢梁的弹性稳定性分析

根据薄壁构件弯曲与扭转理论,在弹性约束条件下对H型截面构件的势能方程进行推导,并由最小势能原理,导出了弹性约束条件下H型截面构件稳定计算的单元刚度矩阵。分析了常见荷载作用时连续线弹性侧移约束的H型截面简支钢梁的弹性屈曲荷载,计算结果与Trahair的半解析解进行对比,证明了本方法计算结果正确。结果表明:在设计中若考虑弹性侧移约束的作用,可以显著地提高H型截面薄壁钢梁的稳定性。     

土路基上板式轨道结构受力的有限元分析

为分析土路基上板式轨道结构的受力,建立了有限元分析模型,从应力极值的角度研究了底座尺寸效应.结果表明,底座厚度减小使底座各向应力略微增大,降低基床最大压应力,但对轨道板受力影响很小;底座宽度增加使基床最大压应力明显降低,但对轨道板和底座受力影响甚微.     

苏通长江第一长钢栈桥设计与施工

文章介绍了苏通大桥B1标1854m钢栈桥设计和施工，及使用中因需要而设计的应急平台、钢栈桥温度缩缝的设置等的设计与施工，值得同类工程参考。     

悬索桥锚碇沉井基础工作性状研究

针对建造于软土地层中的锚碇沉井基础受力和变形情况复杂且无完善的计算理论的现状,文章以某跨江悬索桥锚碇沉井基础为工程背景,建立了三维实体有限元模型,系统地分析了锚碇沉井基础在多荷载工况下的工作性状,结果表明：锚碇沉井基础极限承载状态的主要控制因素是锚碇前端土体极限承载力,为新型锚碇沉井基础优化设计提供参考.     

差分GPS水深测量系统在航道普查中的应用

差分GPS已在交通运输领域广泛使用，介绍差分GPS系统的硬件组成、基本定位原理以及进行航道普查的作业流程及注意事项。     

金龙腾飞闪耀全球——探寻"金龙"品牌之路

厦门市莲岳路,车水马龙,楼群林立,距离主干道大约有50米的距离,有一座面积不大的工厂隐踞其中.18年前,厦门金龙联合汽车工业有限公司(大金龙)在这里诞生了,而此前这块地是用来预制水泥管的,经营惨淡.没有人会料想到10多年后,这里却成长起来一个国内客车行业中的领导品牌--金龙客车.时至今日,"金龙客车"已经为国内妇孺皆知并将品牌影响力推广到世界五大洲的民族客车品牌.     

电泳过程车身结构变形仿真方法概述

涂装是车身产品制造中的一个重要工艺过程,电泳是涂装过程重要环节。在电泳过程中,由于液体冲击及车身自身运动,白车身会出现钣金变形、结构脱胶、固定点强度不足的情况,引发尺寸匹配不均匀、间隙过大的问题,严重影响用户视觉体验。本文综述了有限元法(Finite Element Method)与有限体积法(Finite Volume Method)的理论基础、多相流仿真分析方法及重叠网格技术理论及应用,分析了流固耦合仿真应用的国内外现状及电泳过程车身结构变形预期仿真方法可能存在的挑战。     

规则波跨越潜堤传播新型数值模型

Boussinesq方程常用于模拟波浪的传播,将有限体积法和有限差分法耦合求解Boussinesq方程,对规则波在潜堤上的传播形态进行模拟,具有准确捕捉干湿动边界和较好地处理波浪破碎等优点。     

基于MOSES的三筒型基础运动响应特性研究

筒型基础是近年来在海上能源开发的主要基础形式之一.采用水动力分析软件MOSES建立了三筒型基础结构的数值分析模型,对不同吃水、不同水深以及不同筒位布置的水动力系数和幅频响应特性进行了研究.结果表明:吃水和筒间距对结构的水动力系数和运动响应的影响明显大于水深的影响,在结构设计中合理的筒位布置以及施工过程中调整吃水深度能够保证良好的运动响应特性.