金属包覆平板波导模式特性的有限元法分析

采用有限元法（FEM）分析了具有复数折射率的金属包覆介质波导的模折射率与模场分布情况。计算了具有损耗层的6层介质平板波导模折射率，并与解析解比较，二者有较好的一致性；分析了金属包覆3层平板波导中TM模折射率与波导芯厚度的变化关系，计算了金属包覆5层平板波导中TM模折秧经与金属层厚度的变化关系，并结合对模场分布的分析对模式进行了定性判断，给出了其模式演变过程。     

Quantitative assessment of preferential fatigue initiation sites in a multi‐phase aluminium alloy

Complex multi‐phase Al–Sn–Si alloys are commonly employed in the manufacture of small automotive plain bearings. The fundamental fatigue initiation behaviour of this class of alloys is currently not well understood. A range of analytical techniques were applied to investigate preferential initiation site location and to attempt to identify critical microstructural features. It was apparent from experimental studies that points of fatigue crack initiation are associated with the Si secondary phase. Using tessellation approaches and subsequently both adaptive numerical modelling and micro‐scale finite element modelling allowed the identification of features affecting the probability that a given Si phase would initiate a fatigue crack.     

A fictitious domain decomposition method for the solution of partially axisymmetric acoustic scattering problems. Part 2: Neumann boundary conditions

We present a fictitious domain decomposition method for the fast solution of acoustic scattering problems characterized by a partially axisymmetric sound‐hard scatterer. We apply this method to the solution of a mock‐up submarine problem, and highlight its computational advantages and intrinsic parallelism. A key component of our method is an original idea for addressing a Neumann boundary condition in the general framework of a fictitious domain method. This idea is applicable to many other linear partial differential equations besides the Helmholtz equation. Copyright © 2003 John Wiley & Sons, Ltd.     

Efficient and accurate approach for powder compaction problems

 In this paper, a new approach for powder cold compaction simulations is presented. A density-dependent plastic model within the framework of finite strain multiplicative hyperelastoplasticity is used to describe the highly nonlinear material behaviour; the Coulomb dry friction model is used to capture friction effects at die-powder contact; and an Arbitrary Lagrangian–Eulerian (ALE) formulation is used to avoid the (usual) excessive distortion of Lagrangian meshes caused by large mass fluxes. Several representative examples, involving structured and unstructured meshes are simulated. The results obtained agree with the experimental data and other numerical results reported in the literature. It is shown that, contrary to other Lagrangian and adaptive h-remeshing approaches recently reported for this type of problems, the present approach verifies the mass conservation principle with very low relative errors (less than 1% in all ALE examples and exactly in the pure Lagrangian examples). Moreover, thanks to the use of an ALE formulation and in contrast with other simulations, the presented density distributions do not present spurious oscillations. Received: 20 March 2002 / Accepted: 15 October 2002 The partial financial support of the Ministerio de Ciencia y Tecnología (grant number DPI 2001-2204) is gratefully acknowledged.     

Obtaining shorter regular expressions from finite-state automata

We consider the use of state elimination to construct shorter regular expressions from finite-state automata (FAs). Although state elimination is an intuitive method for computing regular expressions from FAs, the resulting regular expressions are often very long and complicated. We examine the minimization of FAs to obtain shorter expressions first. Then, we introduce vertical chopping based on bridge states and horizontal chopping based on the structural properties of given FAs. We prove that we should not eliminate bridge states until we eliminate all non-bridge states to obtain shorter regular expressions. In addition, we suggest heuristics for state elimination that leads to shorter regular expressions based on vertical chopping and horizontal chopping.     

Finite elements in the analysis of pressure vessels and piping-a bibliography (1976–1996)

The paper gives a bibliographical review of the finite element methods (FEMs) applied for the analysis of pressure vessel structures/components and piping from the theoretical as well as practical points of view. The range of applications of FEMs in this area is wide and cannot be presented in a single paper; therefore the aim of this review is to give the reader an encyclopaedic view of the differnt possibilities that exist today for the finite element analysis in the fields of pressure vessels and piping. The bibliography at the end of the paper contains approximately 1900 references to papers, conference proceedings and theses/dissertations on the subject that were published in 1976–1996. These are classified in the following categories: linear and non-linear, static and dynamic, stress and deflection analysis; stability problems; thermal problems; fracture mechanics problems; contact problems; fluid-structure interaction problems; manufacturing of pipes and tubes; welded pipes and pressure vessel components; development of special finite elements for pressure vessels and pipes; finite element software; and other topics. Also finite element software, general purpose and special purpose codes, used for the analysis of pressure vessels and pipes are briefly discussed and presented.     

广义分散控制系统有穷固定模的判别

本文研究了广义分散控制系统有穷固定模的判别问题，给出了一个确定有穷固定模的新算法，这种算法适用于任意的反馈结构。     

非协调h－p型有限元补偿法

详细讨论了非协调ｈ－ｐ型有限元的补偿法，给出了令人满意的收敛阶．     

Detection and analysis of transition from annular to intermittent flow in vertical tubes

In vertical co-current gas-liquid flow, the transition from annular to intermittent flow occurs when gas core becomes interrupted by liquid bridges due to the instability of the interfacial capillary waves. An analytical model is formulated to explain the liquid bridging in terms of the growth of finite amplitude interfacial capillary waves. Experimental results show that the longest wave length, which is associated with the transition, is about eight times the wave length of waves moving with the velocity of the liquid film.     

Reverse reachability analysis: A new technique for deadlock detection on communicating finite state machines

The communicating finite state machines can exchange messages over bounded FIFO channels. In this paper, a new technique, called reverse reachability analysis, is proposed to detect deadlocks on the communication between the communicating finite state machines. The technique is based on finding reverse reachable paths starting from possible deadlock states. If a reverse reachable path can reach the initial global state, then deadlock occurs. Otherwise the communication is deadlock-free. The effectiveness of the technique has been verified by some real protocols such as a specification of X.25 call establishment/clear protocol and Bartlet's alternating bit protocol.