5A06-O aluminium–magnesium alloy sheet warm hydroforming and optimization of process parameters

The uniaxial tensile test of the 5A06-O aluminium–magnesium (Al–Mg) alloy sheet was performed in the temperature range of 20–300 °C to obtain the true stress–true strain curves at different temperatures and strain rates. The constitutive model of 5A06-O Al–Mg alloy sheet with the temperature range from 150 to 300°C was established. Based on the test results, a unique finite element simulation platform for warm hydroforming of 5A06-O Al–Mg alloy was set up using the general finite element software MSC.Marc to simulate warm hydroforming of classic specimen, and a coupled thermo-mechanical finite element model for warm hydroforming of cylindrical cup was built up. Combined with the experiment, the influence of the temperature field distribution and loading conditions on the sheet formability was studied. The results show that the non-isothermal temperature distribution conditions can significantly improve the forming performance of the material. As the temperature increases, the impact of the punching speed on the forming becomes particularly obvious; the optimal values of the fluid pressure and blank holder force required for forming are reduced.     

教育要有针对性管理要有强制性

分析高职学生思想状态的多层次性,提出以正面的思想教育和启发引导为主,同时加强规章制度的制约性,以提高教育管理工作的效果.     

Microscopic and Macroscopic Growth Rates of Fatigue Cracks in Steels and Alloys under the Influence of Crack Closure

On the basis of the experimental data, we show that the difference between the macroscopic and microscopic fatigue crack growth rates in the second section of the kinetic diagram of fatigue fracture is caused by the effect of crack closure within the limits of its existence. We establish the relationships between the macroscopic and microscopic fatigue crack growth rates and the structure of the material in the second section of the diagram for various values of the load ratio with regard for the effect of crack closure and propose a procedure of examination of the fracture processes in structural materials based on the analysis of microscopic and macroscopic fatigue crack growth rates.     

Investigation of Centreline Segregation and Centreline Porosity in CC ‐ Slabs

Improvements of solidification processing in conventional or near net shape casting depend on sophisticated methods of macroscopic examination of central unsoundness and inhomogeneity of the cast material. As long as remarkable deviations referring to the quality features exist between the slab centre and the bulk material such methods should be looked after. Two semi‐macroscopic methods of segregation analysis are discussed in this paper: firstly, the potential of the emission spectral analysis combined with sectioning of a sample and secondly, the computer aided micro‐probe analysis. Both methods are restricted to small local areas. The proneness of elements and steel grades with respect to micro‐ and macrosegregation as well as distribution‐ and segregation coefficients are determined. The effect of a diffusion anneal on homogenisation of segregation is studied. Last not least the precipitation of sulphides, phosphides or carbonitrides is estimated. Ultrasonic detection of the central unsoundness of conventional slabs or thin slabs is a new approach towards a quantitative macroscopic examination. The sample size is 400 mm x 300 mm x 30 mm. To achieve a low ultrasonic noise using a 5 MHz‐transducer the samples are heat treated for grain refinement. “Dog bone porosity”, macroscopic topographical misfit between the upper and lower solidifying shells, periodical corner cracks or systematic transverse centre cracks are detected. Obviously, segregations do not reflect the ultrasonic beam. However, it can be presumed that an interrelation exists between porosity and segregation, although these might be locally apart from each other. This new ultrasonic test of the central unsoundness of continuous cast (c.c.) slabs gives valuable arguments to machine builders and maintenance people to decide on the right concepts for strand guidance, support rollers and secondary cooling. Soft reduction can be optimized and variations in casting speed counteracted by dynamic means. R&D service of this kind can help steelmakers when decisions are impending to build new casting machines or revamp old ones.     

New two‐dimensional slope limiters for discontinuous Galerkin methods on arbitrary meshes

In this paper, we introduce an extension of Van Leer's slope limiter for two‐dimensional discontinuous Galerkin (DG) methods on arbitrary unstructured quadrangular or triangular grids. The aim is to construct a non‐oscillatory shock capturing DG method for the approximation of hyperbolic conservative laws without adding excessive numerical dispersion. Unlike some splitting techniques that are limited to linear approximations on rectangular grids, in this work, the solution is approximated by means of piecewise quadratic functions. The main idea of this new reconstructing and limiting technique follows a well‐known approach where local maximum principle regions are defined by enforcing some constraints on the reconstruction of the solution. Numerical comparisons with some existing slope limiters on structured as well as on unstructured meshes show a superior accuracy of our proposed slope limiters. Copyright © 2004 John Wiley & Sons, Ltd.     

A three‐dimensional model describing stress‐temperature induced solid phase transformations: solution algorithm and boundary value problems

An always increasing knowledge on material properties as well as a progressively more sophisticated production technology make shape memory alloys (SMA) extremely interesting for the industrial world. At the same time, SMA devices are typically characterized by complex multi‐axial stress states as well as non‐homogeneous and non‐isothermal conditions both in space and time. This aspect suggests the finite element method as a useful tool to help and improve application design and realization. With this aim, we focus on a three‐dimensional macroscopic thermo‐mechanical model able to reproduce the most significant SMA features (Int. J. Numer. Methods Eng. 2002; 55 : 1255–1264), proposing a simple modification of such a model. However, the suggested modification allows the development of a time‐discrete solution algorithm, which is more effective and robust than the one previously discussed in the literature. We verify the computational tool ability to simulate realistic mechanical boundary value problems with prescribed temperature dependence, studying three SMA applications: a spring actuator, a self‐expanding stent, a coupling device for vacuum tightness. The effectiveness of the model to solve thermo‐mechanical coupled problems will be discussed in a forthcoming work. Copyright © 2004 John Wiley & Sons, Ltd.     

A proof system for communicating processes with value-passing

A proof system for a version of CCS with value-passing is proposed in which the reasoning about data is factored out from that about the structure of processes. The system is shown to be sound and complete for finite terms with respect to a denotational semantics based on Acceptance Trees.     

The Logarithmic Image Processing Model: Connections with Human Brightness Perception and Contrast Estimators

The logarithmic image processing (LIP) model is amathematical framework based on abstract linear mathematicswhich provides a set of specific algebraic and functionaloperations that can be applied to the processing of intensityimages valued in a bounded range. The LIP model has been provedto be physically justified in the setting of transmitted lightand to be consistent with several laws and characteristics ofthe human visual system. Successful application examples havealso been reported in several image processing areas, e.g.,image enhancement, image restoration, three-dimensional imagereconstruction, edge detection and image segmentation.The aim of this article is to show that the LIP model is atractable mathematical framework for image processing which isconsistent with several laws and characteristics of humanbrightness perception. This is a survey article in the sensethat it presents (almost) previously published results in arevised, refined and self-contained form. First, an introductionto the LIP model is exposed. Emphasis will be especially placedon the initial motivation and goal, and on the scope of themodel. Then, an introductory summary of mathematicalfundamentals of the LIP model is detailed. Next, the articleaims at surveying the connections of the LIP model with severallaws and characteristics of human brightness perception, namelythe brightness scale inversion, saturation characteristic, Weber'sand Fechner's laws, and the psychophysical contrast notion. Finally,it is shown that the LIP model is a powerful and tractable framework for handling the contrast notion. This is done througha survey of several LIP-model-based contrast estimators associated with special subparts (point, pair of points,boundary, region) of intensity images, that are justified bothfrom a physical and mathematical point of view.     

A new ‘Tailor-made’ methodology for the mechanical behaviour analysis of rubber-like materials: II. Application to the hyperelastic behaviour characterization of a carbon-black filled natural rubber vulcanizate

The purpose of this paper is the modelling of the mechanical behaviour of an elastomeric material, through detailed experimental and numerical procedures, specific to large strains. The experimental technique is based on in-plane kinematics measurements using a speckle extensometer, from which the whole two-dimensional field of in-plane displacements is obtained by a digital image processing [Polymer (2002)]. This part of the work concerns the identification of the constitutive equation for a carbon black natural rubber (NR) vulcanizate. We start by quoting some theoretical considerations relative to rubber elasticity and stress-softening effect, which is the counterpart of the filler reinforcement. Then, we describe the experimental procedure and present data for both non-preconditioned and preconditioned samples. Next, the identification of the constitutive law parameters using a minimization algorithm is driven. Finally, we present the validation of the constitutive model, by its implementation into the finite element code SYSTUS and the numerical simulation of the response of a double edge notched tensile (DENT) specimen.     

Reconstruction of a discontinuous function from a few fourier coefficients using bayesian estimation

The goal of this paper is the application of spectral methods to the numerical solution of conservation law equations. Spectral methods furnish estimates of the firstn Fourier coefficients of the solution. But since the solutions of conservation law equations can have discontinuities, the estimate of the solution by summing the firstn terms of the Fourier series will haveO(1/n) error, even if the Fourier coefficients are known to high accuracy. But if the solution could be accurately reconstructed from its Fourier coefficients, spectral methods could be used effectively in these problems. A method for doing this is to assume a probability distribution for functions. Functions which are smooth away from the discontinuity are assumed to be likely, and those which are not smooth away from the discontinuity are assumed to be unlikely. Then a reconstruction algorithm is chosen by minimizing the expected error over all algorithms. It is possible to put the smoothness assumptions mentioned earlier into an infinite-dimensional Gaussian probability distribution, and then the minimum-error algorithm is well-known and fairly simple to construct and apply. If the Fourier coefficients of the reconstructed function are known exactly, then this approach gives very good results. But when used with Fourier coefficients obtained from a spectral approximation to Burgers' equation, the results were much less impressive, probably because the coefficients were not known very accurately. It is possible to construct filters that reconstruct a function using Legendre or Chebyshev coefficients for information instead Fourier coefficients. It is found that the performance of these filters is similar to the Fourier case.