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.

Applications of factor-criteria system reconstruction analysis in the reproduction research on grass carp, black carp, silver carp and bighead in the Yangtze River

The natural reproduction of grass carp, black carp, silver carp, and bighead will be affected adversely by the Three Gorges Project in the Yangtze River. One of the methods to save the fish is to regulate the water levels, keeping them suited for the species to spawn. Nine factors associated with the scale of larvae-flood of the four species are classified into five levels, and the ranges of these factors producing larvae-floods are given by using the "factor-criteria system reconstruction analysis" method. Moderate beginning water levels and flow, with high daily increases in the rate of water level and flow, and a long duration of water level rising are important for the production of a large larvae-flood.

Design of a fibre-optic disc accelerometer: theory and experiment

Mechanical principles of fibre-optic disc accelerometers (FODA) different from those assumed in previous calculation methods are presented. An FODA with a high sensitivity of 82 rad/ g and a resonance frequency of 360 Hz is designed and tested. In this system, the minimum measurable demodulation phase of the phase-generated carrier (PGC) is 10(-5) rad, and the minimum acceleration reaches 120 ng theoretically. This kind of FODA, with its high responsivity, all-optic-fibre configuration, small size, light weight and stiff shell housing, ensures effective performance in practice.

Theory and Application of the Transient Injection Well Test

Based on the theory of the pumping well test, the transient injection well test was suggested in this paper. The design method and the scope of application are discussed in detail. The mathematical models are developed for the short-time and long-time transient injection test respectively. A double logarithm type curve matching method was introduced for analyzing the field transient injection test data. A set of methods for the transient injection test design, experiment performance and data analysis were established. Some field tests were analyzed, and the results show that the test model and method are suitable for the transient injection test and can be used to deal with the real engineering problems.