隔河岩重力拱坝拱座深层处理平面有限元分析

清江隔河岩重力拱坝坝基地质条件复杂，软弱夹层，断裂构造多，岩溶发育，两岸拱座存在局部滑动问题。     

环件轧制中晶粒变化的计算机模拟

金属微观结构变化影响产品机械性能。本文将金属再结晶数学模型与三维热刚塑性有限元结合起来进行模拟计算，获得了环件轧制中晶粒变化的三维分布规律，及与以往不同的轧制力和力矩变化。所用方法有普遍适用性。     

Finite element analysis of partly wrinkled reinforced prestressed membranes

Wrinkling is a well known phenomenon experimented by tension membranes in Civil Engineering applications. This paper will present an efficient numerical technique for the computational simulation of such wrinkles in a prestressed membrane. In particular, the relaxed energy approach (Pipkin in IMA J Appl Math 36:85–99, 1986) is particularized for prestressed membranes (Gil in Textile composites and inflatable structures, CIMNE, 2003) undergoing moderate strains. Wrinkling conditions in terms of the Euler-Lagrange finite deformation tensor along principal directions will be obtained. This will provide a framework to describe properly the initial instant when wrinkles start to be encountered in a prestressed Saint Venant–Kirchhoff hyperelastic membrane. Subsequently, a modified Helmholtz’s free energy functional will be introduced with the purpose of describing the modified constitutive behaviour of the continuum after the onset of wrinkling. Consistent derivations of the stress tensor as well as the constitutive tensor will de depicted. The results will be particularized for membranes and cables in a Finite Element discretization basis. Some numerical examples will prove the accuracy and robustness of the described algorithm.     

Algebraic properties of cryptosystem PGM

In the late 1970s Magliveras invented a private-key cryptographic system calledPermutation Group Mappings (PGM). PGM is based on the prolific existence of certain kinds of factorization sets, calledlogarithmic signatures, for finite permutation groups. PGM is an endomorphic system with message space ℤ_|G| for a given finite permutation groupG. In this paper we prove several algebraic properties of PGM. We show that the set of PGM transformations ℐ _G is not closed under functional composition and hence not a group. This set is 2-transitive on ℤ_|G| if the underlying groupG is not hamiltonian and not abelian. Moreover, if the order ofG is not a power of 2, then the set of transformations contains an odd permutation. An important consequence of these results is that the group generated by the set of transformations is nearly always the symmetric group ℒ_|G|. Thus, allowing multiple encryption, any permutation of the message space is attainable. This property is one of the strongest security conditions that can be offered by a private-key encryption system. S. S. Magliveras was supported in part by NSF/NSA Grant Number MDA904-82-H0001, by U.S. West Communications, and by the Center for Communication and Information Science of the University of Nebraska.     

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.     

同步辐射晶体单色器晶体热应变的模拟与实验结果的比较

报道了同步辐射装置光束线关键部件之一的晶体单色器晶体热应变的ANSYS有限元模拟结果,并与实验结果进行了比对,模拟结果在实验误差范围(约士15%)内与实验数据符合,证明了模拟结果的可靠性.     

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

场发射显示器支撑墙机械强度的计算与分析

计算了几种不同材料支撑墙在不同承压和允许倾斜角度范围内的应力和形变分布。计算结果表明 ,采用热压氮化硅或氧化锆陶瓷制作的支撑墙具有足够高的机械强度 ,是支撑墙材料的较好选择。