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.

Energy-Level and Molecular Engineering of Organic D-pi-A Sensitizers in Dye-Sensitized Solar Cells

A series of organic D-pi-A sensitizers composed of different triarylamine donors in conjugation with the thienothiophene unit and cyanoacrylic acid as an acceptor has been synthesized at a moderate yield. Through tuning the number of methoxy substituents on the triphenylamine donor, we have gradually red-shifted the absorption of sensitizers to enhance device efficiencies.

Post-cyclic Strength Degradation of Undisturbed and Remolded Marine Silty Clay

A series of static and cyclic-static tri-axial compression tests under consolidated-undrained conditions are carried out to study the characteristics of post-cyclic strength of the undisturbed and the remolded samples of marine silty clay. It is found that the post-cyclic monotonic strength decreases if the cyclic strain or pore pressure is over a certain value. The maximum degradation is 10% for undisturbed samples while 70% for remolded ones. The relationship between normalized undrained shear strength and apparent overconsolidation ratio, which is determined by the excess pore pressure induced by cyclic loading, is also established. Static consolidated-undrained tests on overconsolidated remolded samples are also performed. It is proposed that the static consolidated-undrained tests may be substituted for the cyclic-static consolidated-undrained tests if the post-cyclic strength degradation of remolded silty clay is needed to be evaluated simply.

Rarefied gas dynamics: fundamentals, simulations and micro flows

Work and energy equations and the principle of generalized effective stress for unsaturated soils

The effective stress principle has been efficiently applied to saturated soils in the soil mechanics and geotechnical engineering practice; however, its applicability to unsaturated soils is still under debate. The appropriate selection of stress state variables is essential for the construction of constitutive models for unsaturated soils. Owing to the complexity of unsaturated soils, it is difficult to determine the deformation and strength behaviors of unsaturated soils uniquely with the previous single-effective-stress variable theory and two-effective-stress-variable theory in all the situations. In this paper, based on the porous media theory, the specific expression of work is proposed, and the effective stress of unsaturated soils conjugated with the displacement of the soil skeleton is further derived. In the derived work and energy balance equations, the energy dissipation in unsaturated soils is taken into account. According to the derived work and energy balance equations, all of the three generalized stresses and the conjugated strains have effects on the deformation of unsaturated soils. For considering these effects, a principle of generalized effective stress to describe the behaviors of unsaturated soils is proposed. The proposed principle of generalized effective stress may reduce to the previous effective stress theory of single-stress variable or the two-stress variables under certain conditions. This principle provides a helpful reference for the development of constitutive models for unsaturated soils.