basic research in computer science and software engineering at sklcs

The State Key Laboratory of Computer Science (SKLCS) is committed to basic research in computer science and software engineering. The research topics of the laboratory include: concurrency theory, theory and algorithms for real-time systems, formal specifications based on context-free grammars, semantics of programming languages, model checking, automated reasoning, logic programming, software testing, software process improvement, middleware technology, parallel algorithms and parallel software, computer graphics and human-computer interaction. This paper describes these topics in some detail and summarizes some results obtained in recent years.

Nonlinear Analysis of Oscillatory Indentation in Elastic and Viscoelastic Solids

Determining the mechanical properties at micro- and nanometer length scales using nanoindentation or atomic force microscopy is important to many areas of science and engineering. Here we establish equations for obtaining storage and loss modulus from oscillatory indentations by performing a nonlinear analysis of conical and spherical indentation in elastic and viscoelastic solids. We show that, when the conical indenter is driven by a sinusoidal force, the square of displacement is a sinusoidal function of time, not the displacement itself, which is commonly assumed. Similar conclusions hold for spherical indentations. Well-known difficulties associated with measuring contact area and correcting thermal drift may be circumvented using the newly derived equations. These results may help improve methods of using oscillatory indentation for determining elastic and viscoelastic properties of solids.

Dislocations And Twins In Nanocrystalline Ni After Severe Plastic Deformation: The Effects Of Grain Size

Deformation microstructures have been investigated in nanocrystalline (nc) Ni with grain sizes in the 50-100 nm range. It was found that deformation twinning started to occur in grains of similar to 90 nm, and its propensity increased with decreasing grain size. In most of the nc grains dislocations were observed as well, in the form of individual dislocations and dipoles. It is concluded that dislocation-mediated plasticity dominates for grain sizes in the upper half, i.e. 50-100 nm, of the nanocrystalline regime. (C) 2007 Published by Elsevier B.V.

Mechanical Properties And Constitutive Relationships Of 30Crmnsia Steel Heated At High Rate

In this paper, the mechanical behavior of 30CrMnSiA steel after heating at a high rate are investigated experimentally and theoretically, including a detailed discussion of the effects of strain rate and temperature. Two constitutive models are presented to describe the mechanical response of this material after heating at a high rate, and verified by experimental results. (C) 2007 Elsevier B.V. All rights reserved.

The Characterization Of Creep And Time-Dependent Properties Of Bulk Metallic Glasses Using Nanoindentation

Viscoelastic deformation and creep behavior of La- and Ce-based bulk metallic glasses (BMGs) with low glass transition temperature are investigated through nanoindentation at room temperature. Creep compliance and retardation spectra are derived to study the creep mechanism. The time-dependent displacement can be well described by a generalized Kelvin model. A modification is proposed to determine the elastic modulus from the generalized Kelvin model. The results are in excellent agreement with the elastic modulus determined by uniaxial compression tests. (c) 2007 Published by Elsevier B.V.

Effect of Fe content on the thermal stability and dynamic mechanical behavior of NdAlNiCu bulk metallic glasses

The dependence of microstructure and thermal stability on Fe content of bulk Nd60Al10Ni10Cu20-xFex (0 less than or equal to x less than or equal to 20) metallic glasses is investigated by means of differential scanning calorimetry (DSC), X-ray diffraction (XRD) and high-resolution transmission electron micrograph (HRTEM). All samples exhibit typical amorphous feature under the detect limit of XRD, however, HRTEM results show that the microstructure of Nd60Al10Ni10Cu20-xFex alloys changes from a homogeneous amorphous phase to a composite structure consisting of clusters dispersed in amorphous matrix by increasing Fe content. Dynamic mechanical properties of these alloys with controllable microstructure are studied, expressed via storage modulus, the loss modulus and the mechanical damping. The results reveal that the storage modulus of the alloy without Fe added shows a distinct decrease due to the main a relaxation. This decrease weakens and begins at a higher temperature with increasing Fe content. The mechanism of the effect of Fe addition on the microstructure and thermal stability in this system is discussed in terms of thermodynamics viewpoints. (C) 2004 Elsevier B.V. All rights reserved.

Microstructure and nanomechanical properties of the wing membrane of dragonfly

Detailed investigations on the microstructure and the mechanical properties of the wing membrane of the dragonfly were carried out. It was found that in the direction of the thickness the membrane was divided into three layers rather than as traditionally considered as a single entity, and on the surfaces the membrane displayed a random distribution rough microstructure that was composed of numerous nanometer scale columns coated by the cuticle wax secreted. The characteristics of the surfaces were accurately measured and a statistical radial distribution function of the columns was presented to describe the structural properties of the surfaces. Based on the surface microstructure, the mechanical properties of the membranes taken separately from the wings of living and dead dragonflies were investigated by the nanoindentation technique. The Young's moduli obtained here are approximately two times greater than the previous result, and the reasons that yield the difference are discussed. (C) 2007 Elsevier B.V. All rights reserved.

Molecular dynamics simulation of interaction of a dislocation array from a crack tip with grain boundaries

The interaction of a dislocation array emitted from a crack tip under mode II loading with asymmetric tilt grain boundaries (GBs) is analysed by the molecular dynamics method. The GBs can generally be described by planar and linear matching zones and unmatching zones. All GBs are observed to emit dislocations. The GBs migrated easily due to their planar and linear matching structure and asymmetrical type. The diffusion induced by stress concentration is found to promote the GB migration. The transmissions of dislocations are either along the matched plane or along another plane depending on tilt angle theta. Alternate processes of stress concentration and stress relaxation take place ahead of the pileup. The stress concentration can be released either by transmission of dislocations, by atom diffusion along GBs, or by migration of GBs by formation of twinning bands. The simulated results also unequivocally demonstrate two processes, i.e. asymmetrical GBs evolving into symmetrical ones and unmatching zones evolving into matching ones during the loading process.

The Intelligent Measuring Sub-System in the Computer Integrated and Flexible Laser Processing System

Based on the computer integrated and flexible laser processing system, develop the intelligent measuring sub-system. A novel model has been built to compensate the deviations of the main frame, a new-developed 3-D laser tracker system is applied to adjust the accuracy of the system. Analyzing the characteristic of all kinds of automobile dies, which is the main processing object of the laser processing system, classify the types of the surface and border needed to be measured and be processed. According to different types of surface and border, develop 2-D adaptive measuring method based on B?zier curve and 3-D adaptive measuring method based on spline curve. During the data processing, a new 3-D probe compensation method has been described in details. Some measuring experiments and laser processing experiments are carried out to testify the methods. All the methods have been applied in the computer integrated and flexible laser processing system invented by the Institute of Mechanics, CAS.

Dislocations and twins in nanocrystalline Ni after severe plastic deformation: the effects of grain size

Deformation microstructures have been investigated in nanocrystalline (nc) Ni with grain sizes in the 50-100 nm range. It was found that deformation twinning started to occur in grains of similar to 90 nm, and its propensity increased with decreasing grain size. In most of the nc grains dislocations were observed as well, in the form of individual dislocations and dipoles. It is concluded that dislocation-mediated plasticity dominates for grain sizes in the upper half, i.e. 50-100 nm, of the nanocrystalline regime. (C) 2007 Published by Elsevier B.V.

Mechanical properties and constitutive relationships of 30CrMnSiA steel heated at high rate

In this paper, the mechanical behavior of 30CrMnSiA steel after heating at a high rate are investigated experimentally and theoretically, including a detailed discussion of the effects of strain rate and temperature. Two constitutive models are presented to describe the mechanical response of this material after heating at a high rate, and verified by experimental results. (C) 2007 Elsevier B.V. All rights reserved.

The surface- and size-dependent elastic moduli of nanostructures

A theoretical model is presented to investigate the size-dependent elastic moduli of nanostructures with the effects of the surface relaxation surface energy taken into consideration. At nanoscale, due to the large ratios of the surface-to-volume, the surface effects, which include surface relaxation surface energy, etc., can play important roles. Thus, the elastic moduli of nanostructures become surface- and size-dependent. In the research, the three-dimensional continuum model of the nanofilm with the surface effects is investigated. The analytical expressions of five nonzero elastic moduli of the nanofilm are derived, and then the dependence of the elastic moduli is discussed on the surface effects and the characteristic dimensions of nanofilms.