From the individual element test to finite element templates: Evolution of the patch test

This paper starts a sequence of three articles that follow an unconventional approach in finite element research. The ultimate objective is to construct high-performance elements and element-level error estimators for those elements. The approach takes off from our previous work in high-performance elements and culminates with the development of finite element templates. The present paper concentrates on the patch test and evolved versions of the test that have played a key role in this research. Following a brief review of the historical roots, we present the Individual Element Test (IET) of Bergan and Hanssen in an expanded context that encompasses several important classes of new elements. The relationship of the IET to the multielement forms A, B and C of the patch test and to the single-element test are investigated. An important consequence of the IET application is that the element stiffness equations decompose naturally into basic and higher-order parts. The application of this decomposition to the “sanitization” of the non-convergent BCIZ element is described and verified with numerical experiments. Two sequel papers in preparation are subtitled ‘the algebraic approach’ and ‘element-level error estimation’. These apply the fundamental decomposition to the derivation of templates for specific mechanical elements and to the construction of element-level error estimators, respectively.     

Application of a Three-dimensional Wind Driven Circulation Model to Assess the Locations of New Drinking Water Intakes in Lake Ontario

A 3D transport model is used to perform a comparative analysis of several potential drinking water intakes located along the northwest shore of Lake Ontario between Toronto and Oshawa. The model is specifically used to assess each intake under both long- and short-term transport of a potential pollutant release from the Pickering Nuclear Generating Station and potential and actual pollutant releases from local land sources respectively. A model based on a 500 m grid resolution is calibrated using data collected in the aftermath of the 1992 tritium spill at the Pickering Nuclear Generation Station and subsequently used to simulate long-term transport. A model based on a 100 m grid resolution is verified using drogue studies and used to simulate short-term transport events. Both models are used to assess pollutant levels at each of nine potential intake locations under different wind scenarios and pollutant releases. Field data for the study included water quality and flow measurements from local sewers and rivers, and estimates of pollutant levels from the local waste water treatment plants. This paper describes the model setup for both the long-term and short-term transport models, calibration using field data, long-term transport modeling, short-term transport modeling, and the comprehensive analysis approach used to evaluate the nine potential intake locations proposed. Results indicated that four intakes in particular outperformed other intake locations by maintaining bottom pollutant levels within governmental standards and warning times that exceeded 20 hours.     

Thermal analysis of a ceramic coating diesel engine piston using 3-D finite element method

In this study, firstly, thermal analyses are investigated on a conventional (uncoated) diesel piston, made of aluminum silicon alloy and steel. Secondly, thermal analyses are performed on pistons, coated with MgO-ZrO₂ material by means of using a commercial code, namely ANSYS. Finally, the results of four different pistons are compared with each other. The effects of coatings on the thermal behaviors of the pistons are investigated. It has been shown that the maximum surface temperature of the coated piston with material which has low thermal conductivity is improved approximately 48% for the AlSi alloy and 35% for the steel.     

NUMERICAL SIMULATION OF STRESS-INDUCED SECONDARY FLOWS WITH HYBRID FINITE ANALYTIC METHOD

1 .　ＩＮＴＲＯＤＵＣＴＩＯＮＴｈｅｔｕｒｂｕｌｅｎｔｓｔｒｕｃｔｕｒｅｓｉｎｎｏｎ ｃｉｒｃｕｌａｒｄｕｃｔｓａｎｄｏｐｅｎｃｈａｎｎｅｌｓａｒｅｃｈａｒａｃｔｅｒｉｚｅｄｂｙｌｏｎｇｉｔｕｄｉ ｎａｌｖｏｒｔｉｃｅｓ .Ｔｈｅｓｅｖｏｒｔｉｃｅｓａｒｅｔｈ     

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/.     

The formal-CAFE methodology and model checking patterns in the specification of e-commerce systems

Electronic commerce is an important application that has evolved significantly recently. However, electronic commerce systems are complex and difficult to be correctly designed. Guaranteeing the correctness of an e-commerce system is not an easy task due to the great amount of scenarios where errors occur, many of them very subtle. In this work we presents a methodology that uses formal-method techniques, specifically symbolic model checking, to design electronic commerce applications and to automatically verify them. Also, a model checking pattern hierarchy has been developed—it specifies patterns to construct and verify the formal model of e-commerce systems. We consider this research the first step to the development of a framework, which will integrate the methodology, an e-commerce specification language based on business rules, and a model checker. Adriano Pereira received the B.S. and M.S. degrees in computer science in 2000 and 2002, respectively, and he is currently pursuing the Ph.D. degree in computer science from the Federal University of Minas Gerais, Belo Horizonte, Brazil. His current interests are on performance analysis and modeling of e-business and distributed systems, and formal methods. Mark Song received the B.S., M.S. and Ph.D. degrees in computer science from the Federal University of Minas Gerais, Belo Horizonte, Brazil. His current interests are on distributed systems and formal methods – especially BMC (Bounded Model Checking). Gustavo Franco received the B.S. and M.S. degrees in computer science in 2001 and 2004, respectively, from the Federal University of Minas Gerais, Belo Horizonte, Brazil. His research was on modeling the user behavior of e-business and distributed systems, and formal methods. Actually his current interests are on software engeneering and project management of IT projects.     

Adaptive predictive control algorithm based on Laguerre Functional Model

Laguerre Functional Model has many advantages such as good approximation capability for the variances of system time‐delay, order and other structural parameters, low computational complexity, and the facility of online parameter identification, etc., so this model is suitable for complex industrial process control. A series of successful applications have been gained in linear and non‐linear predictive control fields by the control algorithm based on Laguerre Functional Model, however, former researchers have not systemically brought forward the theoretical analyses of the stability, robustness, and steady‐state performance of this algorithm, which are the keys to guarantee the feasibility of the control algorithm fundamentally. Aimed at this problem, we introduce the principles of the Incremental Mode Linear Laguerre Predictive Control (IMLLPC) algorithm, and then systemically propose the theoretical analyses and proofs of the stability and robustness of the algorithm, in addition, we also put forward the steady‐state performance analysis. At last, the control performances of this algorithm on two different physical industrial plants are presented in detail, and a number of experimental results validate the feasibility and superiority of IMLLPC algorithm. Copyright © 2005 John Wiley & Sons, Ltd.     

STUDY ON RESIDUES OF ~（14）C－FENITROTHION IN MODEL RICE－FISH ECOSYSTEM AND FIELD RICE－FISH ECOSYSTEM

ＳＴＵＤＹＯＮＲＥＳＩＤＵＥＳＯＦ~（１４）Ｃ－ＦＥＮＩＴＲＯＴＨＩＯＮＩＮＭＯＤＥＬＲＩＣＥ－ＦＩＳＨＥＣＯＳＹＳＴＥＭＡＮＤＦＩＥＬＤＲＩＣＥ－ＦＩＳＨＥＣＯＳＹＳＴＥＭＺｈａｎｇＺｈｏｎｇｌｉａｎｇ（张仲良）；ＷａｎｇＨｕａｘｉｎ（王化新）；Ｇ?..     

Numerical simulation model of vibration responses of rectangular plates embedded with piezoelectric actuators

A numerical simulation model for random large amplitude vibration control of composite plate using piezoelectric material is presented. The H_∞ control design is employed to suppress the large amplitude vibrations of composites plates under random loading. The numerical simulation model is developed and based on the finite element method. The finite element governing equation includes fully coupled structural and electrical nodal degrees of freedom, and consider the von Karman large amplitude vibration. The modal reduction method using the structural modes is adopted to reduce the finite element equations into a set of modal equations with fewer degrees of freedom. The modal equations are then employed for controller design and time domain simulation. In the simulations without control, the value of the linear mode to the nonlinear deflection is quantified; and the minimum number of linear modes needed for accurate model is obtained. In the simulations with control, it is shown that the truncated modes, which are neglected in the control design, deteriorate the controller performance. Generally, the vibration reduction level is not monotonically increasing with the size of the piezoelectric actuator. The optimal piezoelectric actuator size depends on the excitation level. For higher excitation level, optimal actuator size is larger. The H_∞ controller based on the linear finite element formulation gives better vibration reduction for small amplitude vibration, but it still gives reasonable performance for large amplitude vibration provided that the piezoelectric actuator is big and powerful enough.     

超声变幅杆解析法设计的可靠性研究

本文提出了用有限元法验证变幅杆解析法设计的可靠性，对三种类型的变幅杆先作解析法设计；然后利用有限元分析软件ANSYS进行模态分析，确定了变幅杆的固有频率，计算了固有频率与工作频率之间的相对误差，以此来评价解析法设计的可靠性；并分析了影响解析法设计可靠性的两个基本因素。