A Note on Finitely Generated Modules over a <i>PID</i>

In this note, we provide an effective proof of the fundamental structure theorem of finitely generated modules over a principal ideal domain, from which we find the minimality of decomposition for a finitely generated module over a principal ideal domain.

Second Generation Wavelet Finite Element and Rotor Cracks Quantitative Identification Method

The presence of cracks in the rotor is one of the most dangerous and critical defects for rotating machinery. Defect of fatigue cracks may lead to long out-of-service periods, heavy damages of machines and severe economic consequences. With the method of finite element, vibration behavior of cracked rotors and crack detection was received considerable attention in the academic and engineering field. Various researchers studied the response of a cracked rotor and most of them are focused on the crack detection based on vibration behavior of cracked rotors. But it is often difficult to identify the crack parameters quantitatively. Second generation wavelets （SGW） finite element has good ability in modal analysis for singularity problems like a cracked rotor. Based on the fact that the feature of SGW could be designed depending on applications, a multiresolution finite element method is presented. The new model of SGW beam element is constructed. The first three natural frequencies of the rotor with different crack location and size were solved with SGW beam elements, and the database for crack diagnosis is obtained. The first three metrical natural frequencies are employed as inputs of the database and the intersection of the three frequencies contour lines predicted the normalized crack location and size. With the Bently RK4 rotor test rig, rotors with different crack location and size are tested and diagnosed. The experimental results denote the cracks quantitative identification method has higher identification precision. With SGW finite element method, a novel method is presented that has higher precision and faster computing speed to identify the crack location and size.

Two-dimensional finite element mesh generation algorithm for electromagnetic field calculation

Two-dimensional finite element mesh generation algorithm for electromagnetic field calculation is proposed in this paper to improve the efficiency and accuracy of electromagnetic calculation. An image boundary extraction algorithm is developed to map the image on the geometric domain. Identification algorithm for the location of nodes in polygon area is proposed to determine the state of the node. To promote the average quality of the mesh and the efficiency of mesh generation, a novel force-based mesh smoothing algorithm is proposed. One test case and a typical electromagnetic calculation are used to testify the effectiveness and efficiency of the proposed algorithm. The results demonstrate that the proposed algorithm can produce a high-quality mesh with less iteration.

Mapping-Based 3D Hexahedral Finite Element Mesh Generation Method

Mapping mesh generation is widely applied in pre-processes of Finite Element Method （FEM）. In this study, the basic 3D mapping equations by Lagrange interpolating function are founded. Based these equations, a mapping pattern library, which maps essential configurations e.g. line, circle, rotary body, sphere etc. to hexahedral FEM mesh, has been built. Then available FEM mesh will be generated by clipping and assembling the mapped essential objects. Study case illustrates that the proposed method is simple and efficient to generate valid FEM mesh for complex 3D engineering structure.

Analyses of an air conditioning system with entropy generation minimization and entransy theory

In this paper,based on the generalized heat transfer law,an air conditioning system is analyzed with the entropy generation minimization and the entransy theory.Taking the coefficient of performance（denoted as COP） and heat flow rate Qout which is released into the room as the optimization objectives,we discuss the applicabilities of the entropy generation minimization and entransy theory to the optimizations.Five numerical cases are presented.Combining the numerical results and theoretical analyses,we can conclude that the optimization applicabilities of the two theories are conditional.If Qout is the optimization objective,larger entransy increase rate always leads to larger Qout,while smaller entropy generation rate does not.If we take COP as the optimization objective,neither the entropy generation minimization nor the concept of entransy increase is always applicable.Furthermore,we find that the concept of entransy dissipation is not applicable for the discussed cases.

Finite element simulation of inertia friction welding of superalloy bars

A thermo-mechanical coupling.finite element model was built to investigate the inertia friction welding of GH4169 bars. The remeshing and map solution techniques were adopted. Ttle whole welding process was investigated by adopting an innovative heat generation model and the flywheel rotational speed measured via the experiment. The simulated evolution of axial shortening shows a good agreement with the experiment. In addition, extensive .strain concentration presents in the interface and flash, and the largest ,strain exists near the flash root. Moreover, an intere.sting thermal reflux phenomenon during the cooling stage was found.

3D UNSTRUCTURED GRID GENERATION TECH-NOLOGY & EULER SOLUTION FOR WING/FUSELAGE COMBINATION

Finite element method is based on element matrix, so regardless of whetherthe mesh is structured or unstructured, it Possesses an unified fashion of treatment. Finiteelement method in conjunction with unstructured grid will improve the ability of numericalsimulation for complicated now field. In this paper, a 3D unstructured grid generationtechno1ogy is developed and the Euler equation on the unstructured mesh for real compli-cated aircraft configurations is solved by the finite e1ement method. Numerical results in-dicate that the method presented is reliable end efficient.

METHOD FOR ADAPTIVE MESH GENERATION BASED ON GEOMETRICAL FEATURES OF 3D SOLID

In order to provide a guidance to specify the element size dynamically during adaptive finite element mesh generation, adaptive criteria are firstly defined according to the relationships between the geometrical features and the elements of 3D solid. Various modes based on different datum geometrical elements, such as vertex, curve, surface, and so on, are then designed for generating local refined mesh. With the guidance of the defmed criteria, different modes are automatically selected to apply on the appropriate datum objects to program the element size in the local special areas. As a result, the control information of element size is successfully programmed covering the entire domain based on the geometrical features of 3D solid. A new algorithm based on Delatmay triangulation is then developed for generating 3D adaptive finite element mesh, in which the element size is dynamically specified to catch the geometrical features and suitable tetrahedron facets are selected to locate interior nodes continuously. As a result, adaptive mesh with good-quality elements is generated. Examples show that the proposed method can be successfully applied to adaptive finite element mesh automatic generation based on the geometrical features of 3D solid.

An EFSM-Based Test Data Generation Approach in Model-Based Testing

Testing is an integral part of software development.Current fastpaced system developments have rendered traditional testing techniques obsolete.Therefore,automated testing techniques are needed to adapt to such system developments speed.Model-based testing(MBT)is a technique that uses system models to generate and execute test cases automatically.It was identified that the test data generation(TDG)in many existing model-based test case generation(MB-TCG)approaches were still manual.An automatic and effective TDG can further reduce testing cost while detecting more faults.This study proposes an automated TDG approach in MB-TCG using the extended finite state machine model(EFSM).The proposed approach integrates MBT with combinatorial testing.The information available in an EFSM model and the boundary value analysis strategy are used to automate the domain input classifications which were done manually by the existing approach.The results showed that the proposed approach was able to detect 6.62 percent more faults than the conventionalMB-TCG but at the same time generated 43 more tests.The proposed approach effectively detects faults,but a further treatment to the generated tests such as test case prioritization should be done to increase the effectiveness and efficiency of testing.

NUMERICAL MODELING OF THE INITIAL STAGE OF THE GENERATION OF UNSTEADY VORTICES FROM SHARP CORNER IN PLANE COMPRESSIBLE FLOW

The impingement of a plane shock wave in air on a rectangular or triangularobstacle is simulated numerically with high resolution TVD (total variationdiminishing) scheme in finite volume fomulation with Schwarz transformation in meshgeneration. The mesh lines are quite adaptive to the physical features of the unsieadyflow fietd and concentrate locally near the corners. At the initial stage the flow field iscomplex. and the scale of viscous diffusion is very small and the viscosity of fluid incomputation may be neglected. The unsteady generation of concerntrated vorticesdownstream of the sharp corner as the result of the nonnuiformity of both temperatureand entropy fields in plane inviscid compressible fluid, induced by bow shock wave, isshown clearly and in accordance with optical measurements, performed by our request.

Computational Analysis of the Effect of Nano Particle Material Motion on Mixed Convection Flow in the Presence of Heat Generation and Absorption

The present study is concerned with the physical behavior of the combined effect of nano particle material motion and heat generation/absorption due to the effect of different parameters involved in prescribed flow model.The formulation of the flow model is based on basic universal equations of conservation of momentum,energy and mass.The prescribed flow model is converted to non-dimensional form by using suitable scaling.The obtained transformed equations are solved numerically by using finite difference scheme.For the analysis of above said behavior the computed numerical data for fluid velocity,temperature profile,and mass concentration for several constraints that is mixed convection parameterλt,modified mixed convection parameterλc,Prandtl number Pr,heat generation/absorption parameterδ,Schmidt number Sc,thermophoresis parameter Nt,and thermophoretic coefficient k are sketched in graphical form.Numerical results for skin friction,heat transfer rate and the mass transfer rate are tabulated for various emerging physical parameters.It is reported that in enhancement in heat,generation boosts up the fluid temperature at some positions of the surface of the sphere.As heat absorption parameter is decreased temperature field increases at position X=π/4 on the other hand,no alteration at other considered circumferential positions is noticed.

STUDY ON STREAM CIPHERS USING GENERATING FUNCTIONS

Several kinds of stream ciphers—complementary sequences of period sequences,partial sum of period sequences,inverse order sequences and finitely generated sequences,arestudied by using techniques of generating functions.Their minimal polynomials,periods,as wellas generating functions are given.As to finitely generated sequences,the change of their linearcomplexity profiles as well as the relationship between the two generated sequences usder thecase in which the degree of connected polynomials are fixed,are discussed.

Study on Mesh-Control Device for the Mesh Generator Based on Tree Structures

In this paper, a process of the quadtree mesh generation is described, then a mesh control device of the tree based mesh generators is analyzed in detail. Some examples are given to demonstrate that the mesh control device allows for efficient a priori and a posteriori mesh refinements.

Co-Periodicity Isomorphisms between Forests of Finite <I>p</I>-Groups

Based on a general theory of descendant trees of finite p-groups and the virtual periodicity isomorphisms between the branches of a coclass subtree, the behavior of algebraic invariants of the tree vertices and their automorphism groups under these isomorphisms is described with simple transformation laws. For the tree of finite 3-groups with elementary bicyclic commutator qu-otient, the information content of each coclass subtree with metabelian main-line is shown to be finite. As a striking novelty in this paper, evidence is provided of co-periodicity isomorphisms between coclass forests which reduce the information content of the entire metabelian skeleton and a significant part of non-metabelian vertices to a finite amount of data.

SAW diffraction field generated by source with finite aperture piezoelectric crystal surfaces

So far, the diffracted SAW field generated by an IDT with finite aperture on piezoelectric crystal surfaces is usually analyzed phenomenologically with the angular spectrum theory. A major approximation of this theory is to ignore the vector nature of the field by assuming that the wave field can be represented by a scalar as in optics. In this paper, a rigorous vector field theory of the surface excitation of elastic wave field in piezoelectric crystal developed by the authors is used to evaluate the SAW diffraction field adepately and precisely. As an example, numerical results for YZ-LiNbO3 are presented and compared with those obtained form the angular spectrum theory.

Cyclic Lattices, Ideal Lattices and Bounds for the Smoothing Parameter

In this article, we introduce the discrete subgroup in ℝn as preliminaries first. Then we provide some theories of cyclic lattices and ideal lattices. By regarding the cyclic lattices and ideal lattices as the correspondences of finitely generated R-modules, we prove our main theorem, i.e. the correspondence between cyclic lattices in ℝn and finitely generated R-modules is one-to-one. Finally, we give an explicit and countable upper bound for the smoothing parameter of cyclic lattices.

Simulation of large-scale numerical substructure in real-time dynamic hybrid testing

A solution scheme is proposed in this paper for an existing RTDHT system to simulate large-scale finite element （FE） numerical substructures. The analysis of the FE numerical substructure is split into response analysis and signal generation tasks, and executed in two different target computers in real-time. One target computer implements the response analysis task, wherein a large time-step is used to solve the FE substructure, and another target computer implements the signal generation task, wherein an interpolation program is used to generate control signals in a small time-step to meet the input demand of the controller. By using this strategy, the scale of the FE numerical substructure simulation may be increased significantly. The proposed scheme is initially verified by two FE numerical substructure models with 98 and 1240 degrees of freedom （DOFs）. Thereafter, RTDHTs of a single frame-foundation structure are implemented where the foundation, considered as the numerical substructure, is simulated by the FE model with 1240 DOFs. Good agreements between the results of the RTDHT and those from the FE analysis in ABAQUS are obtained.

Optimization of combined endoreversible Carnot heat engines with different objectives

Taking the output power, thermal efficiency, and thermo-economic performance as the optimization objectives, we optimize the operation parameters of a thermodynamic system with combined endoreversible Carnot heat engines in this paper. The applicabilities of the entropy generation minimization and entransy theory to the optimizations are discussed. For the discussed cases, only the entransy loss coefficient is always agreeable to the optimization of thermal efficiency. The applicabilities of the other discussed concepts to the optimizations are conditional. Different concepts and principles are needed for different optimization objectives, and the optimization principles have their application preconditions. When the preconditions are not satisfied, the principles may be not applicable.

On conversion of plastic work to heat during plastic deformation of tin-lead alloy and mild steel

The temperature rise caused by plastic deformation during the quick upsetting of tin-lead alloy and mild steel was investigated via experiments and numerical simulations aiming at a better understanding of the heat generation mechanism in friction welding. The results show that the compression amount and deformation temperature influence significantly the temperature rise during the upsetting of tin-lead alloy. The temperature rise increases with increasing the compression but decreases with increasing the deformation temperature. The simulation results are in good agreement with the experimental inspection for Sn63A alloy. The simulation results of mild steel present a similar tendency with tin-lead alloy. Moreover, the temperature rise of mild steel at elevated temperatures is comparable to that of tin-lead alloy at low temperatures.

Analysis of Electromagnetic Performance of Modulated Coaxial Magnetic Gears Used in Semi-Direct Drive Wind Turbines

Wind turbine is a key device to realize the utilization of wind energy,and it has been highly valued by all countries.But the mechanical gear transmission of the existing wind power device has the disadvantages of high vibration and noise,high failure rate,and short service time.Magneticfield modulation electromagnetic gear transmission is a new non-contact transmission method.However,the conventional modulation magnetic gear has low torque density and torque defects with largefluctuations.In order to overcome the gear transmis-sion problems of the existing semi-direct drive wind power generation machinery and improve the electromag-netic performance of the traditional magnetic gear transmission,this paper proposes a new transmission scheme of a non-contact semi-direct drive wind generator with a surface mount Halbach array modulated mag-netic gear method,and considers the electromagnetic properties of the semi-direct drive modulation magnetic gear of the wind turbine.Thefinite element software is used to construct the model of the surface-mounted Halbach array magnetic gear and the conventional gear,analyzed the distribution of magneticfield lines of the two magnetic gears,calculated the air gap magneticflux density of the inner and outer air gap,and obtained the main harmonics of the inner and outer air gap magnetic density;calculated the static torque and steady-state operating torque of the inner and outer rotors in the model,compared the air gapflux density,harmonics and torque of the magnetic gears.The simulation results show that the magneticfield modulation type mag-netic gear of the surface mount Halbach array magnetic gear method improves the magnetic induction wave-form of the inner and outer air gap,reduces the pulse torquefluctuation,and has a 60%higher static torque.Applying it to semi-direct drive wind power generation equipment not only overcomes the shortcomings of mechanical gears,but also has higher electromagnetic performance.Therefore,the surface-mounted Halbach array modulated magnetic gear can be used to replace the mechanical gearbox in the semi-direct drive wind power generation equipment.