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.     

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

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

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.     

Application of Galerkin Method to Dynamical Behavior of Viscoelastic Timoshenko Beam with Finite Deformation

The motion equations governing the dynamical behavior of a viscoelasticTimoshenko beam with finite deformation are derived and simplified byGalerkin method. The viscoelastic material is assumed to obey thethree-dimensional fractional derivative constitutive relation. Thedynamical behaviors of the simplified systems with order 1 and order 2are numerically computed and compared by using the computational methodpresented by the authors. The dynamical behaviors of the systems areuniform qualitatively, but there is a little deviation quantitatively.And the truncated system with order 1 is safer than the one of order 2.It is also shown that the lower order system is reasonable. Theinfluences of the load parameter and the fractional derivative parameter(material parameter) on the deflection of the beam are consideredrespectively. The numerical methods in nonlinear dynamics, such as phasediagram, and Poincaré section, are applied to reveal dynamical behaviorsof the nonlinear viscoelastic Timoshenko beam. There are plenty ofdynamical behaviors, such as periodicity, bifurcation, quasi-periodicityand chaos in the dynamical system.