Correlations Between Metallurgical Characterization Studies, Exploratory Mechanical Tests, and Continuum Mechanics Approaches to Constitutive Equations

Austenitic stainless steels, such as types 316 and 304, are widely used as pressure vessel materials in the temperature range of 425 to 650 C. Stainless steel specimens were tested to rupture at two different stress levels sigma and sigma 2 sigma 1 sigma 2) to establish the normal stain-time behavior. A subsequent test was performed in which the specimen was crept at the higher stress (sigma 1) to the beginning of the secondary stage of creep, presumed to be the strain/time conditions at which a steady state microstructure is developed, and then the stress was reduced to the lower level (sigma 2). The associated microstructure, and significance of this microstructure on the creep strain-hardening model for variable uniaxial loads were assesed and found to be consistent with the use of creep-recovery models at high stresses and temperatures and strain-hardening models at low stresses and tempertures

Applications of elastic-viscoplastic constitutive models in dynamic analyses of crack run-arrest events

Applications of nonlinear techniques to the first series of six HSST wide-plate crack-arrest tests that were performed are described. The experiments include crack initiations at low temperatures and relatively long (20 cm) cleavage propagation phases which are terminated by arrest in high temperature regions. Crack arrest are then followed by ductile tearing events. Consequently, the crack front regions are exposed to wide ranges of strain rates and temperatures

Generation of internal stress and its effects

Internal stresses may be generated continually in many polycrystalline materials. Their existence is manifested by changes in crystal defect concentration and arrangement, by surface observations, by macroscopic shape changes and particularly by alteration of mechanical properties when external stresses are simultaneously imposed

On Cr−C^r-closing for flows on 2-manifolds

For some full measure subset B of the set of iet's (i.e. interval exchange transformations) the following is satisfied: Let X be a $C^r$, $1\le r\le \infty$, vector field, with finitely many singularities, on a compact orientable surface M. Given a nontrivial recurrent point $p\in M$ of X, the holonomy map around p is semi-conjugate to an iet $E :[0,1) \to [0,1).$ If $E\in B$ then there exists a $C^r$ vector field Y, arbitrarily close to X, in the $C^r-$topology, such that Y has a closed trajectory passing through p.Comment: 7 pages, 1 figur

High pressure Ca-VI phase between 158-180 GPa: Stability, electronic structure and superconductivity

We have performed ab initio calculations for new high-pressure phase of Ca-VI between 158-180 GPa. The study includes elastic parameters of mono- and poly-crystalline aggregates, electronic band structure, lattice dynamics and superconductivity. The calculations show that the orthorhombic Pnma structure is mechanically and dynamically stable in the pressure range studied. The structure is superconducting in the entire pressure range and the calculated Tc (~25K) is maximum at ~172 GPa, where the transfer of charges from 4s to 3d may be thought to be completed.Comment: 8 pages, 4 figures; PACS number(s): 74.70.Ad, 62.20.de, 71.20.-b, 74.20.Pq, 74.25.Kc, 74.62.Fj; Keywords: Calcium; High pressure; Electronic band structure; Phonon spectrum; Elastic constants; Superconducto

Backward Reachability of Array-based Systems by SMT solving: Termination and Invariant Synthesis

The safety of infinite state systems can be checked by a backward reachability procedure. For certain classes of systems, it is possible to prove the termination of the procedure and hence conclude the decidability of the safety problem. Although backward reachability is property-directed, it can unnecessarily explore (large) portions of the state space of a system which are not required to verify the safety property under consideration. To avoid this, invariants can be used to dramatically prune the search space. Indeed, the problem is to guess such appropriate invariants. In this paper, we present a fully declarative and symbolic approach to the mechanization of backward reachability of infinite state systems manipulating arrays by Satisfiability Modulo Theories solving. Theories are used to specify the topology and the data manipulated by the system. We identify sufficient conditions on the theories to ensure the termination of backward reachability and we show the completeness of a method for invariant synthesis (obtained as the dual of backward reachability), again, under suitable hypotheses on the theories. We also present a pragmatic approach to interleave invariant synthesis and backward reachability so that a fix-point for the set of backward reachable states is more easily obtained. Finally, we discuss heuristics that allow us to derive an implementation of the techniques in the model checker MCMT, showing remarkable speed-ups on a significant set of safety problems extracted from a variety of sources.Comment: Accepted for publication in Logical Methods in Computer Scienc