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.

Low-temperature molten salt synthesis and characterization of CoWO4 nano-particles

CoWO4 nano-particles were successfully synthesized at a low temperature of 270 degrees C by a molten salt method, and effects of such processing parameters as holding time and salt quantity on the crystallization and development Of CoWO4 crystallites were initially studied. The products were characterized by X-ray diffraction (XRD), transmission electron microscopy (TEM). and photoluminescent spectra techniques (PL), respectively. Experimental results showed that the well-crystallized CoWO4 nano-particles with ca. 45 nm in diameter could be obtained at 270 degrees C for a holding time of 8 h with 6:1 mass ratio of the salt to CoWO4 precursor, and XRD analysis evidenced that the as-prepared sample was a pure monoclinic phase Of CoWO4 with wolframite structure. Their PL spectra revealed that the CoWO4 nano-particles displayed a very strong PL peak at 453 nm with the excitation wavelength of 230 nm, and PL properties of CoWO4 crystallites relied on their crystalline state, especially on their particle size. (C) 2009 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.

The main factor influencing the tensile properties of surface nano-crystallized graded materials

The improved mechanical properties of surface nano-crystallized graded materials produced by surface severe plastic deformation ((SPD)-P-2) are generally owing to the effects of the refined structure, work-hardened region and compressive residual stress. However, during the (SPD)-P-2 process, residual stress is produced simultaneously with work-hardened region, the individual contribution of these two factors to the improved mechanical properties remains unclear. Numerical simulations are carried out in order to answer this question. It is found that work hardening predominates in improving the yield strength and the ultimate tensile strength of the surface nano-crystallized graded materials, while the influence of the residual stress mainly emerges at the initial stage of deformation and decreases the apparent elastic modulus of the surface nano-crystallized graded materials, which agrees well with the experimental results. (C) 2010 Elsevier B.V. All rights reserved.

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.

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.

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.