软土地层中盾构法开挖三维有限元模拟

以某条软土地层中开挖的地铁隧道为例,根据非线性有限元法的基本原理,利用大型非线性有限元软件ADINA三维动态模拟地铁隧道开挖过程,计算结果揭示了在盾构推进过程中地表沉降分布以及特点,得到盾构法开挖引起的地表沉降曲线,其形态与Peck计算得出的横向地表沉降槽正态分布曲线的形态基本一致,隧道轴线正上方地表沉降最为明显。     

影响长廊阻抗式调压室配筋的几个因素分析

采用三维非线性有限元方法,对四川天全县干溪坡水电站调压室结构特性进行研究,并对几个影响配筋的因素进行敏感性分析,得出各个因素对配筋结果的影响,为调压室结构设计提供科学依据。     

Model checker aided design of a controller for a wafer scanner

For a case-study of a wafer scanner from the semiconductor industry it is shown how model checking techniques can be used to compute (1) a simple yet optimal deadlock avoidance policy, and (2) an infinite schedule that optimizes throughput. in the absence of errors. Deadlock avoidance is studied based on a simple finite state model using Smv, and for throughput analysis a more detailed timed automaton model has been constructed and analyzed using the Uppaal tool. The Smv and Uppaal models are formally related through the notion of a stuttering bisimulation. The results were obtained within 2 weeks, which confirms once more that model checking techniques may help to improve the design process of realistic, industrial systems. Methodologically, the case study is interesting since two models were used to obtain results that could not have been obtained using only a single model. Supported by the European Community Project IST-2001-35304 (Ametist), http://ametist.cs.utwente.nl/.     

不规则I型和L型横截面形状薄壁杆件的横向弯曲稳定分析

根据势能驻值原理,采用转换B3样条函数模拟杆件横截面的翘曲位移场,文[8]提出了用于分析在横向荷载作用下薄壁杆件稳定问题的样条有限杆元法。方法适用于任意横截面形状和任意边界条件的薄壁杆件,考虑了杆壁中面上剪切变形的影响,能很好地描述剪力滞后现象。本文讨论了不规则I型截面简支梁和L型截面简支梁的屈曲分析,数值算例的结果表明了方法的灵活性、精确性和有效性。     

封隔器胶筒接触应力分布有限元计算

利用ANSYS软件对3种封隔器胶筒的接触应力进行了有限元计算，得到了接触应力沿胶筒轴向的分布情况。比较不同结构封隔器胶筒在相同条件下的接触应力分布，可知新型封隔器胶筒在高压下接触应力分布更为均匀合理，具有较好的应用前景。     

Helicoseir as Shape of a Rotating String (I): 2D Theory and Simulation Using ANCF

A physically simple but mathematically cumbersome problem of rotating heavy string with one fixed top point was studied. A nonlinear equation of its two-dimensional shapes of relative equilibrium was obtained and solved numerically. A linear case of small displacements was analyzed in terms of Bessel functions. The qualitative and quantitative behavior of the problem is discussed with the help of a bifurcation diagram. Dynamics of the two-dimensional model near the equilibrium positions were studied with the help of a simulation using the absolute nodal coordinate formulation (ANCF); the equilibriums were found to be instable. The reason for instability is explained using a variational principle. The outlines for further full three-dimensional analysis are briefly proposed in this paper, and the full derivation will be explained in the next paper.     

A hybrid PC/PLC architecture for manufacturing-system control—theory and implementation

This paper presents a novel and generic PC/PLC-based software/hardware architecture for the control of flexible manufacturing workcells. The proposed implementation methodology is based on the utilization of any one of the available formal discrete-event-system control theories in conjunction with state-of-the-art industrial programmable-logic controllers (PLCs). The methodology has been illustrated to be a viable technique through its actual implementation in our laboratory using a robotic-workcell testbed. The specific control theory used is a combination of Extended Moore Automata and Ramadge-Wonham Automata that has been developed by our research group. The modular control software architecture has been developed for MS-Windows environments (running on one PC interfaced to the PLCs) and allows the use of different formal control theories as well as different commercial PLC hardware. The effective graphical user interface provides a transparent programming environment, where users are not expected to have a full knowledge of the formal control theory used.     

基于有限元分析的金刚石钻头强度验算公式

在对81／2B125金刚石钻头进行有限元计算分析后，找出最大应力点在金刚石钻头冠部切削告处。通过改变各相关尺寸和结构型式，用有限元法模拟试验过程，在给定结构参数和工艺参数情况下获得多组数据。根据专业知识，参考有限元计算获取的各组数据变化特征，选出拟合较好的公式类型，再采用回归分析方法确定待定系数，最后得出工程上实用的金刚石钻头强度验算公式。用这个公式对81／2B461W和121／4B331金刚石钻头进行了强度验算，经改进设计后钻头在现场使用取得了良好的效果。     

穿透裂纹和表面半椭圆裂纹模型的失效评定曲线比较

针对弹塑性材料裂纹管道的J积分计算建立了等效穿透裂纹和表面半椭圆裂纹2种有限元模型。在等效穿透裂纹模型中应用了1／4节点单元，在表面裂纹模型中采用了线弹簧单元。用这2种模型计算J积分，分别对3个实际含裂纹管段建立了失效评定曲线。比较了2种模型的失效评定曲线和R6通用曲线的差别，指出穿透裂纹模型偏于保守，建议在油气管道断裂的工程评定中采用半椭圆表面裂纹模型。