Micro‐Mechanical Modelling of the Constitutive Behaviour of NiTi Shape Memory Alloys

The superelasticity and shape memory effect in NiTi alloys are examined on the basis of micromechanics within the energy minimization framework. We describe the behaviour of polycrystalline shape‐memory alloys via orientation‐distribution of the various martensite‐variants (domains) present in the material. Stress‐strain curves are presented and special attention is payed to the volume fraction of martensite for specific NiTi alloys (Nitinol) specimen under uniaxial tension. (© 2004 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

一个新的形状记忆合金模型

借助于Tanaka用一维形核动力学方程导出的指数形式的相变百分数,建立了一个新的形状记忆合金本构模型.提出了不同相变条件下的可恢复形状记忆应变的表达式;考虑了材料在变形过程中马氏体的重定向作用;克服了Tanaka系列模型不能描述当材料为完全马氏体状态时的力学行为的缺点.本模型较现有的形状记忆合金本构模型均简单,便于应用,实验证明了模型的正确性.     

A note on maximal antichains in ordered sets

We examine the question of when two consecutive levels in a product of -chains form an ordered set such that for any antichain, there is a maximal antichain disjoint from it. We characterize the pairs of consecutive levels in the product of t2 -chains that have this property. We also show that there is no upper bound on the heights of ordered sets having this property.The graph of an ordered set is the graph whose points are the elements of the ordered set, and whose edges are the ordered set's 2-element maximal antichains. We construct a class of ordered sets of all widths at least three such that the graph of each ordered set is a path, and we construct an ordered set of infinite width having a connected graph.Research supported by NSERC undergraduate student summer research fellowship, and by NSERC operating grant 69-3378Research supported by ONR contract N00014-85-K-0769     

Numerical Simulation of the Application of NiTi Alloys in Medical Technologies

Shape memory alloys are nowadays already established as a material which is able to solve exceptional tasks in practical applications. Particularly, its utilization in the field of medical technologies increases steadily. For example micro tools (staple, catheters) and implants (coronary stents) are made out of Nickel-Titanium well known as a basic shape memory alloy. Apart from the advantages like the avoidance of auxiliary components and joints in the system and to utilize the high volume specific work of shape memory alloys, NiTi alloys exhibit a good biocompatibility. This property is necessary with regard to either permanent or temporary implants. To optimize the use of NiTi alloys in the scope of medical technologies, the support of the development of applicable tools by numerical simulations is highly recommended. However the complex material behaviour containing a profoundly thermomechanical coupling poses indeed a big challenge to the material modeling and its implementation into a finite element code. Particularly, the material model proposed by Helm [1] proves to be a firm model containing the most common properties of shape memory alloys, as the pseudoelasticity, the shape memory effect and the two-way effect. In the present contribution the FE modelling of a medical staple used in foot surgery is presented by considering the model of Helm which was investigated by the authors to improve its performance in the finite element method [2]. The foot staple, produced by a group of members of the SFB 459 which is funded by the DFG, avails the shape memory effect to excite the desired clamping effect [3]. (© 2005 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim)     

关于四元数EP矩阵偏序的研究

本文利用四元数矩阵的奇异值分解给出四元数EP矩阵的一个刻画,并得到四元数EP矩阵减序,左（右）星序,星序的相应刻画定理与性质定理．     

形状记忆合金相变过程三维大变形有限元模拟

形状记忆合金（SMA）一直被作为智能材料开发,并被用于阻尼器、促动器和智能传感器元件．形状记忆合金（SMA）的一项重要特性,是它具有恢复在机械加卸载周期下产生的大变形而不表现出永久变形的能力．该文旨在介绍一种由应力产生的相变且可以描述马氏体和奥氏体之间的超弹性滞回环现象本构方程．形状记忆合金的马氏体系数假设为应力偏张量的函数,因此形状记忆合金在相变过程中锁定体积．本构模型是在大变形有限元的基础上执行的,采用了现时构型Lagrange大变形算法．为了方便地使用Cauchy应力和线性应变本构关系,使用了与旋转无关的Jaumann应力增率计算应力．数值分析结果表明,相变引起的超弹性滞回环可以有效地通过该文提出的本构方程和大变形有限元模拟．     

Modeling of Single Crystal Magnetostriction Based on Numerical Energy Relaxation Techniques

In this work, an incremental energy minimization technique is proposed to simulate the magnetomechanically-coupled, nonlinear, anisotropic and hysteretic response of single crystalline magnetic shape memory alloys (MSMA). The model captures the three key physical mechanisms that cause this characteristic behavior, namely the field- or stress-induced martensite variant reorientation (twin boundary motion), magnetic domain wall motion, and local magnetization rotation, through an (incremental) energy minimizing evolution of internal state variables. Representative numerical response predictions are presented, compared to experimental observations, and discussed with respect to the associated microstructure evolution. (© 2014 Wiley-VCH Verlag GmbH & Co. KGaA, Weinheim)     

Thermomechanical behavior of pseudoelastic NiTi shape memory alloys

The thermomechanical behavior of polycrystalline Ni-rich pseudoelastic NiTi shape memory alloys is analyzed. Special focus is on regions within the stress strain diagram which are regarded as linear elastic in common phenomenological material models, i.e. the region between zero stress and the beginning of the pseudoelastic plateau as well as the region within the hysteresis. In both cases, severe temperature changes can be observed. A possible explanation for this effect is twofold: On the one hand, it might be explained by the presence of an R-phase transformation. On the other hand, unstructured martensite of the B19' phase may form. However, the assumption of a purely thermo-elastic material behavior in those regions does not seem to hold true in general. (© 2008 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim)     

Order Norm Completions of Cone Metric Spaces

In this article, a completion theorem for cone metric spaces and a completion theorem for cone normed spaces are proved. The completion spaces are constructed by means of an equivalence relation defined via an ordered cone norm on the Banach space E whose cone is strongly minihedral and ordered closed. This order norm has to satisfy the generalized absolute value property. In particular, if E is a Dedekind complete Banach lattice, then, together with its absolute value norm, satisfy the desired properties.     

Functional Fatigue in polycrystalline Shape Memory Alloys

Shape memory alloys show the well known effect of pseudo-elasticity associated with the formation of two stress plateaus in the stress/strain diagram for tension tests. Due to cyclic loading, the stress plateaus decrease with every load cycle, particularly the upper one. This important effect of functional fatigue results from plastic deformations that are produced during solid-solid phase transformations between the austenitic and martensitic state. Outgoing from a polycrystalline approach for shape memory alloys we develop a micromechanical material model that is based on the Principle of the Minimum of the Dissipation Potential and predicts the evolution of plastic strains. Therefore, only a small number of material parameters is necessary and additionally, only a few assumptions are sufficient to model the effect of functional fatigue. We present yield functions as well as evolution equations for the volume fractions of austenite and martensite, and the plastic strains. Furthermore, we show an exemplary calculation for Nickel Titanium and compare it with experimental measurements to demonstrate the ability of our model. (© 2014 Wiley-VCH Verlag GmbH & Co. KGaA, Weinheim)     

An application of the Helly property to the partially ordered sets

Quilliot (Discrete Math. 1982.) showed that when the bowls of a connected graph satisfy the Helly property it is possible to deduce for this graph some fixed point and homomorphism extension theorems. For a partially ordered set E a special family of subsets is defined which, when it satisfies the Helly property, permits the deductions that every homomorphism from E into E has a fixed point, that every antitone function from E has “almost” a fixed point, and that there exists a simple criterion letting us know when a function f from a subset A of a partially ordered set G can be extended into a homomorphism from G to E.     

Directed and weighted majority games

In this paper we deal with several classes of simple games; the first class is the one of ordered simple games (i.e. they admit of a complete desirability relation). The second class consists of all zero-sum games in the first one.First of all we introduce a natural partial order on both classes respectively and prove that this order relation admits a rank function. Also the first class turns out to be a rank symmetric lattice. These order relations induce fast algorithms to generate both classes of ordered games.Next we focus on the class of weighted majority games withn persons, which can be mapped onto the class of weighted majority zero-sum games withn+1 persons.To this end, we use in addition methods of linear programming, styling them for the special structure of ordered games. Thus, finally, we obtain algorithms, by combiningLP-methods and the partial order relation structure. These fast algorithms serve to test any ordered game for the weighted majority property. They provide a (frequently minimal) representation in case the answer to the test is affirmative.     

Retractability and the fixed point property for products

LetP, Q be ordered sets and letaP. IfP \ {a} is a retract ofP and setsP and {xP:x>p} (or its dual) have the fixed point property then, for each chain complete setP,P×Q has the fixed point property if and only if (P\{a})×Q has this property. This establishes the fixed point property for some products of ordered sets which are beyond the reach of all known product theorems.The work of the first of authors was supported in part by the K.B.N. Grant No. 2 2037 92 03.     

Micromechanical modeling of bainitic phase transformation

We develop a micromechanical material model for phase transformation from austenite to bainite for a polycrystalline low alloys steel. In this material (e.g. 51CrV4) the phase changes from austenite to perlite-ferrite, bainite or martensite, respectively. This work is concerned with phase transformation between austenite and n-bainite variants in differently orientated grains. The characteristic features of bainite formation are the combination of time-dependent transformation kinetics and lattice shearing in the microstructure. These effects are considered on the microscale and transferred to the polycrystalline macroscale by means of homogenisation of stochastically orientated grains. (© 2012 Wiley-VCH Verlag GmbH & Co. KGaA, Weinheim)     

On retractable sets and the fixed point property

Call a subsetA of an ordered setP retractable tob P iff the map that mapsA tob and leaves all other points fixed is a retraction. We prove fixed point theorems for sets that contain a retractable set and also use this tool to study the fixed point property for products. The results in this paper show that three classical approaches to the fixed point property: irreducible points, cutsets and lexicographic sums can be viewed as special cases of the situation described above.Presented by I. Rival.This research was funded in part by ONR grant nr. N00014-89-J-1824.     

Statistics of orderings

In this paper, we study a Ramsey type problems dealing with the number of ordered subgraphs present in an arbitrary ordering of a larger graph. Our first result implies that for every vertex ordered graph G on k vertices and any stochastic vector \(\overrightarrow{a}\) with k! entries, there exists a graph H with the following property: for any linear order of the vertices of H, the number of induced ordered copies of G in H is asymptotically equal to a convex combination of the entries in \(\overrightarrow{a}\). This for a particular choice of \(\overrightarrow{a}\) yeilds an earlier result of Angel, Lyons, and Kechris. We also consider a similar question when the ordering of vertices is replaced by the ordering of pairs of vertices. This problem is more complex problem and we prove some partial results in this case.     

Order Extensions and the Fixed Point Property

The purpose of this paper is to investigate how the fixed point property and its negation behave when a covering relation is added to the order. We prove that every finite ordered set which is not totally ordered and which is dismantlable by retractables, respectively by irreducibles, has an upper cover (in its extension lattice) which is also dismantlable by retractables, respectively by irreducibles. We also provide examples of finite ordered sets having the fixed point property so that none of their upper covers has the fixed point property. Part of this work was done while the author was visiting Brandon University. The author thanks M. Roddy for his hospitality and financial support.     

A variational model for the functional fatigue in polycrystalline shape memory alloys

Shape memory alloys show a very complex material behavior associated with a diffusionless solid/solid phase transformation between austenite and martensite. Due to the resulting (thermo-)mechanical properties – namely the effect of pseudoelasticity and pseudoplasticity – they are very promising materials for the current and future technical developments. However, the martensitic phase transformation comes along with a simultaneous plastic deformation and thus, the effect of functional fatigue. We present a variational material model that simulates this effect based on the principle of the minimum of the dissipation potential. We use a combined Voigt/Reuss bound and a coupled dissipation potential to predict the microstructural developments in the polycrystalline material. We present the governing evolution equations for the internal variables and yield functions. In addition, we show some numerical results to prove our model's ability to predict the shape memory alloys' complex inner processes. (© 2016 Wiley-VCH Verlag GmbH & Co. KGaA, Weinheim)     

Convergent numerical approximations of the thermomechanical phase transitions in shape memory alloys

Summary Discrete approximations are constructed to a nonlinear evolutionary system of partial differential equations arising from modelling the dynamics of solid-state phase transitions of thermomechenical nature in the case of one space dimension. The class of problems considered includes the so-called shape memory alloys, in particular. It is shown that the obtained discrete solutions converge to the solution of the original problem, and numerical simulations for the shape memory alloy Au₂₃Cu₃₀Zn₄₇ demonstrate the quality of the discrete model.Partially supported by Research Program RP.1.02Supported by DFG, SPP Anwendungsbezogene Optimierung und Steuerung     

A condition for constructing formally real monoid algebras

In this paper we demonstrate that every positive totally ordered commutative monoid on 2 generators satisfying a weak cancellation property is a convex Rees quotient of a sub-monoid of a totally ordered Abelian group. In [1], the current author, along with Evans, Konikoff, Mathis, and Madden, employed the work of Hion, [5], to demonstrate that the monoid ring of all finite formal sums over a totally ordered domain is a formally real totally ordered ring providing the totally ordered monoid satisfies this weak cancellation property and is a convex Rees quotient of a sub-monoid of a totally ordered Abelian group. Therefore, we provide here significant information about a condition for the construction of formally real totally ordered monoid algebras. Received November 4, 2003; accepted in final form November 18, 2004.