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.

Vacuum pyrolysis of waste tires with basic additives

Granules of waste tires were pyrolyzed tinder vacuum (3.5-10 kPa) conditions, and the effects of temperature and basic additives (Na2CO3, NaOH) on the properties of pyrolysis were thoroughly investigated. It was obvious that with or without basic additives, pyrolysis oil yield increased gradually to a maximum and subsequently decreased with a temperature increase from 450 degrees C to 600 degrees C, irrespective of the addition of basic additives to the reactor. The addition of NaOH facilitated pyrolysis dramatically, as a maximal pyrolysis oil yield of about 48 wt% was achieved at 550 degrees C without the addition of basic additives, while a maximal pyrolysis oil yield of about 50 wt% was achieved at 480 degrees C by adding 3 wt% (w/w, powder/waste tire granules) of NaOH powder. The composition analysis of pyrolytic naphtha (i.b.p. (initial boiling point) similar to 205 degrees C) distilled from pyrolysis oil showed that more dl-limonene was obtained with basic additives and the maximal content of dl-limonene in pyrolysis oil was 12.39 wt% which is a valuable and widely-used fine chemical. However, no improvement in pyrolysis was observed with Na2CO3 addition. Pyrolysis gas was mainly composed of H-2, CO, CH4, CO2, C2H4 and C2H6. Pyrolytic char had a surface area comparable to commercial carbon black, but its proportion of ash (above 11.5 wt%) was much higher.

Microorganisms linked to Neoproterozoic microspar carbonate sedimentation in the Jilin-Liaoning area

Molar-tooth carbonate refers to a sort of rock that has ptygmatical folded structure comparable to the ivory. This kind of carbonate exists in a special time range (from Middle to Neoproterozoic). Its origin and the possibility to use it in stratigraphic correlation of the paleocontinent is the key task of the IGCP447, a project on Proterozoic molar tooth carbonates and the evolution of the earth (2001-2005). The importance lies in that the molar-tooth structure is the key to solving problems related to Precambrian biological and global geochemical events. The molar-tooth structure is associated with microorganisms. Development and recession of such carbonates have relations with the evolution process of early lives and abrupt changes in sea carbonate geochemistry. In recent years, based on researches on petrology, geochemistry and Sr isotope of molar-tooth carbonate in the Jilin-Liaoning and Xuzhou-Huaiyang area, the authors hold that it can be used as a marker for stratigraphic sequence and sedimentary facies analyses.