Numerical Investigation on Laser Transformation Hardening with Different Temporal Pulse Shapes

A 3-D numerical model for pulsed laser transformation hardening (LTH) is developed using the finite element method. In this model, laser spatial and temporal intensity distribution, temperature-dependent thermophysical properties of material, and multi-phase transformations are considered. The influence of laser temporal pulse shape on connectivity of hardened zone, maximum surface temperature of material and hardening depth is numerically investigated at different pulse energy levels. Results indicate that these hardening parameters are strongly dependent on the temporal pulse shape. For the rectangular temporal pulse shape, the temperature field obtained from this model is in excellent agreement with analytical solution, and the predicted hardening depth is favorably compared with experimental one. It should be pointed out that appropriate temporal pulse shape should be selected according to pulse energy level in order to achieve desirable hardening quality under certain laser spatial intensity distribution.

Md Simulation Of Dislocation Mobility During Cutting With Diamond Tip On Silicon

By means of Tersoff and Morse potentials, a three-dimensional molecular dynamics simulation is performed to study atomic force microscopy cutting on silicon monocrystal surface. The interatomic forces between the workpiece and the pin tool and the atoms of workpiece themselves are simulated. Two partial edge dislocations are introduced into workpiece Si, it is found that the motion of dislocations does not occur during the atomic force microscopy cutting processing. Simulation results show that the shear stress acting on dislocations is far below the yield strength of Si. (c) 2008 Elsevier Ltd. All rights reserved.

Work Softening And Annealing Hardening Of Deformed Nanocrystalline Nickel

We reported that work softening takes place during room-temperature rolling of nanocrystalline Ni at an equivalent strain of around 0.30. The work softening corresponds to a strain-induced phase transformation from a face-centered cubic (fcc) to a body-centered cubic (bcc) lattice. The hardness decreases with increasing volume fraction of the bcc phase. When the deformed samples are annealed at 423 K, a hardening of the samples takes place. This hardening by annealing can be attributed to a variety of factors including the recovery transformation from the bcc to the fcc phase, grain boundary relaxation, and retardation of dislocation gliding by microtwins.

Molecular Dynamics Study Of Mechanical Behaviour Of Screw Dislocation During Cutting With Diamond Tip On Silicon

By means of Tersoff and Morse potentials, a three-dimensional molecular dynamics simulation is performed to study atomic force microscopy cutting on silicon monocrystal surface. The interatomic forces between the workpiece and the pin tool and the atoms of workpiece themselves are calculated. A screw dislocation is introduced into workpiece Si. It is found that motion of dislocations does not occur during the atomic force microscopy cutting processing. Simulation results show that the shear stress acting on dislocation is far below the yield strength of Si.

Effect Of Load Triaxiality On Polymorphic Transitions In Zinc Oxide

Molecular dynamics (MD) simulations and first-principles calculations are carried out to analyze the stability of both newly discovered and previously known phases of ZnO under loading of various triaxialities. The analysis focuses on a graphite-like phase (FIX) and a body-centered-tetragonal phase (BCT-4) that were observed recently in [0 1 (1) over bar 0]- and [0 0 0 1]-oriented nanowires respectively under uniaxial tensile loading as well as the natural state of wurtzite (WZ) and the rocksalt (RS) phase which exists under hydrostatic pressure loading. Equilibrium critical stresses for the transformations are obtained. The WZ -> HX transformation is found to be energetically favorable above a critical tensile stress of 10 GPa in [0 1 (1) over tilde 0] nanowires. The BCT-4 phase can be stabilized at tensile stresses above 7 GPa in [0 0 0 1] nanowires. The RS phase is stable at hydrostatic pressures above 8.2 GPa. The identification and characterization of these phase transformations reveal a more extensive polymorphism of ZnO than previously known. A crystalline structure-load triaxiality map is developed to summarize the new understanding. (c) 2007 Elsevier Ltd. All rights reserved.

Phonon properties of one-dimensional nanocrystalline solids

We study phonon properties of one-dimensional nanocrystalline solids that are associated with a model nanostructured sequence. A real-space renormalization-group approach, connected with a series of renormalization-group transformations, is developed to calculate numerically the local phonon Green's function at an arbitrary site, and then the phonon density of states of these kinds of nanocrystalline chains. Some interesting phonon properties of nanocrystalline chains are obtained that are in qualitative agreement with the experimental results for the optical-absorption spectra of nanostructured solids.

Numerical-simulation of low supersonic-flow around a sphere

The controlled equations defined in a physical plane are changed into those in a computational plane with coordinate transformations suitable for different Mach number M(infinity). The computational area is limited in the body surface and in the vicinities of detached shock wave and sonic line. Thus the area can be greatly cut down when the shock wave moves away from the body surface as M(infinity) --> 1. Highly accurate, total variation diminishing (TVD) finite-difference schemes are used to calculate the low supersonic flowfield around a sphere. The stand-off distance, location of sonic line, etc. are well comparable with experimental data. The long pending problem concerning a flow passing a sphere at 1.3 greater-than-or-equal-to M(infinity) > 1 has been settled, and some new results on M(infinity) = 1.05 have been presented.

Numerical Simulation of Pulsed Laser Transformation Hardening

A novel pulsed laser surface processing technology is introduced, which can make use of the spatial and temporal profile of laser pulse to obtain ideal hardening parameters. The intensity distribution of laser pulse is spatially and temporally controlled by using laser shape transformation technology. A 3D numerical model including multi-phase transformations is established to explore material microstructure evolution induced by temperature field evolution. The influences of laser spatial-temporal profiles on hardening parameters are investigated. Different from the continuous laser processing technology, results indicate that spatial and temporal profiles are important factors in determining processing quality during pulsed laser processing method.

VERTICAL DISTRIBUTIONS OF SIZE-FRACTIONATED IRON IN THREE TYPICAL BAYS OF LAKE DIANCHI (CHINA)

In order to elucidate the vertical distributions of iron in three typical bays (Haigeng bay, Macun bay and Haidong bay) of Lake Dianchi (China), the investigation was conducted on March, 2003. Results showed that the vertical distributions were influenced by monsoon, cyanobacterial bloom and water depth as well as sediment resuspension, which indicated that their translocations and transformations were decided by geographical and physical as well as chemical and biological characteristics.

Structural evolution of mechanically alloyed nanocrystalline FeAl intermetallics

Nanostructured FeAl intermetallics were prepared directly by mechanical alloying (MA) in a high-energy planetary ball-mill. The phase transformations and structural changes occurring in the studied material during mechanical alloying were investigated by X-ray diffraction (XRD). Transmission electron microscopy (TEM) was employed to examine the morphology of the powders. Thermal behavior of the milled powders was examined by differential scanning calorimetry (DSC). Disordered Fe(Al) solid solution was formed at the early stage. After 30 h of milling, Fe(Al) solid solution transformed into an ordered FeAl phase. The average crystallite size reduction down to about 12 nm was accompanied by the introduction of the average lattice strain up to 1.7%. The TEM picture showed that the size of milled powders was less than 30 nm. (c) 2007 Elsevier B.V. All rights reserved.

The quantum tunnelling between two-component Bose-Einstein condensates in a double-well configuration

We examine in terms of exact solutions of the time-dependent Schrodinger equation, the quantum tunnelling process in Bose-Einstein condensates of two interacting species trapped in a double well configuration. Based on the two series of time-dependent SU(2) gauge transformations, we diagonalize the Hamilton operator and obtain analytic time-evolution formulas of the population imbalance and the berry phase. the particle population imbalance (a(L)(+)aL - a(R)(+)a(R)) of species A between the two wells is studied analytically.

An investigation on the pressure-induced phase transition of nanocrystalline ZnS

An in situ energy dispersive x-ray diffraction study on nanocrystalline ZnS was carried out under high pressure up to 30.8 GPa by using a diamond anvil cell. The phase transition from the wurtzite to the zinc-blende structure occurred at 11.5 GPa, and another obvious transition to a new phase with rock-salt structure also appeared at 16.0 GPa-which was higher than the value for the bulk material. The bulk modulus and the pressure derivative of nanocrystalline ZnS were derived by fitting the Birch-Murnaghan equation. The resulting modulus was higher than that of the corresponding bulk material, indicating that the nanomaterial has higher hardness than the bulk material.

Quantum fluctuation of dissipative mesoscopic capacitance coupling circuit

The quantum wave function and the corresponding energy levels of the dissipative mesoscopic capacitance coupling circuits are obtained by using unitary and linear transformations. The quantum fluctuation of charge and current in an arbitrary eigenstate of the system have been also given. The results show that the fluctuation of charge and current depends on not only the eigenstate but also the electronic device parameters.

Formal specification and refinement of a safe train control function

Motivated by the design and development challenges of the BART case study, an approach for developing and analyzing a formal model for reactive systems is presented. The approach makes use of a domain specific language for specifying control algorithms able to satisfy competing properties such as safety and optimality. The domain language, called SPC, offers several key abstractions such as the state, the profile, and the constraint to facilitate problem specification. Using a high-level program transformation system such as HATS being developed at the University of Nebraska at Omaha, specifications in this modelling language can be transformed to ML code. The resulting executable specification can be further refined by applying generic transformations to the abstractions provided by the domain language. Problem dependent transformations utilizing the domain specific knowledge and properties may also be applied. The result is a significantly more efficient implementation which can be used for simulation and gaining deeper insight into design decisions and various control policies. The correctness of transformations can be established using a rewrite-rule based induction theorem prover Rewrite Rule Laboratory developed at the University of New Mexico.

基于时序逻辑证明编译优化程序变换的保义性

基于时序逻辑CTL(computation tree logic)的一种扩展CTL-FV对优化编译中的语句交换和变量替换这两种常见变换的保义性条件给出了形式刻画,采用含条件重写规则定义了保义语句交换Texch和保义变量替换Tsub,并基于一种归纳证明框架对它们的保义性进行了证明.此外,基于变换Texch对程序基本块内保依赖语句重排的保义性也给出了一种构造性的证明.