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.

Space experimental studies of microgravity fluid science in China

Microgravity fluid physics is an important part of microgravity sciences, which consists of simple fluids of many new systems, gas-liquid two-phase flow and heat transfer, and complex fluid mechanics. In addition to the importance of itself in sciences and applications, microgravity fluid physics closely relates to microgravity combustion, space biotechnology and space materials science, and promotes the developments of interdisciplinary fields. Many space microgravity experiments have been per- formed on board the recoverable satellites and space ships of China and pushed the rapid development of microgravity sciences in China. In the present paper, space experimental studies and the main re- sults of the microgravity fluid science in China in the last 10 years or so are introduced briefly.