نتایج جستجو برای: polymorphic transformation

تعداد نتایج: 245506  

2015
Tassilo Horn

This paper describes the FunnyQT1 [1, 2] solution of the TTC 2015 Model Execution Case [3]. It implements the third variant of the case description, i.e., it implements the execution semantics of the complete UML Activity Diagram language. The solution project is available on Github2, and it is set up for easy reproduction on a SHARE image3. The solution has won the most correct solution award....

2013
S. J. Wang M. L. Sui Y. T. Chen Q. H. Lu E. Ma X. Y. Pei Q. Z. Li H. B. Hu

The complex structural transformation in crystals under static pressure or shock loading has been a subject of long-standing interest to materials scientists and physicists. The polymorphic transformation is of particular importance for iron (Fe), due to its technological and sociological significance in the development of human civilization, as well as its prominent presence in the earth's cor...

1995
Robert Harper Mark Lillibridge

We study the operational semantics of an extension of Girard’s System Fω with two control operators: an abort operation that abandons the current control context, and a callcc operation that captures the current control context. Two classes of operational semantics are considered, each with a call-by-value and a call-by-name variant, differing in their treatment of polymorphic abstraction and i...

2006
Dana N. Xu

Virtually every compiler performs transformations on the program it is compiling in an attempt to improve efficiency. However, a transformation known as “lambda floating” has not received much attention in the past. In this paper we describe an analysis on the arity of a function which determines the number of lambdas that can be floated out. We give detailed measurements of the effect in an op...

2002
MEGAN FRARY

By thermally cycling through their transformation temperature range, coarse-grained polymorphic materials can be deformed superplastically, owing to the emergence of transformation mismatch plasticity (or transformation superplasticity) as a deformation mechanism. This mechanism is presently investigated under biaxial stress conditions during thermal cycling of unalloyed titanium, Ti-6Al-4V, an...

پایان نامه :وزارت علوم، تحقیقات و فناوری - دانشگاه صنعتی اصفهان 1389

run-out-table (rot) is located between last finishing stand and down coiler in a hot strip mill. as the hot steel strip passes from rot, water jets impact on it from top and bottom and strip temperature decreases approximately from 800-950 °c to 500-750°c. the temperature history that strip experience while passing through rot affects significantly the metallurgical and mechanical properties, s...

Journal: :Physica Status Solidi B-basic Solid State Physics 2022

The classical theory of solid-state transformation based on nucleation and growth processes, developed by Kolmogorov, Johnson Mehl, Avrami (KJMA theory), is widely used in many different fields research. In KJMA theory, two parameters (the frequency factor and, particularly, the exponent) can supply information about mechanisms involved transformation. Despite its apparent simplicity, one hand,...

Journal: :Interactive science 2023

This paper discusses the rule that polymorphic transformation does not occur in heat-resistant steels and alloys. The basic theoretical principles used to analyze most diverse processes occurring heat resistant alloys have been analyzed described. crystallization process of various alloys, formation decomposition austenite, new phase formed during operations chemical-heat treatment are Extensiv...

Journal: :Mrs Bulletin 2022

Molecular simulations are a powerful tool in the study of crystallization and polymorphic transitions yielding detailed information transformation mechanisms with high spatiotemporal resolution. However, characterizing various crystalline amorphous phases as well sampling nucleation events structural remain extremely challenging tasks. The integration machine learning molecular has potential un...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید