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.

Direct decomposition of NO over the mixed oxide catalysts Nd_(2-)Sr_xNiO_(4±λ)

The nitrogen oxides (NO_x) are serious pollutants in earth's atmosphere in the sensethat they are one of the main sources to cause the acid rain. The removal of NO_x is oneof the key research topics in the protection of environmen.

可重构模块化机器人现状和发展

由于市场全球化的竞争 ,机器人的应用范围要求越来越广 ,而每种机器人的构形仅能适应一定的有限范围 ,因此机器人的柔性不能满足市场变化的要求 ,解决这一问题的方法就是开发可重构机器人系统 .本文介绍了可重构机器人的发展状况 ,分析了可重构机器人的研究内容和发展方向 .

基于机器人的可重构装配系统

本文分析了市场全球化给企业带来的挑战和机遇 ,提出了基于机器人的可重构装配系统 .在分析国外在可重构制造领域的研究状况的基础上 ,提出了基于机器人可重构装配系统的设计内容和方法 ,并提出了可重构装配系统今后需研究的方向

Research on the band-gap of InN grown on siticon substrates

Photoluminescence (PL) and absorption experiments were carried out to examine the fundamental band-gap of InN films grown on silicon substrates. A strong PL peak at 0.78 eV was observed at room temperature, which is much lower than the commonly accepted value of 1.9 eV. The integrated PL intensity was found to depend linearly on the excitation laser intensity over a wide intensity range. These results strongly suggest that the observed PL is related to the emission of the fundamental inter-band transitions of InN rather than to deep defect or impurity levels. Due to the effect of band-filling with increasing free electron concentration, the absorption edge shifts to higher energy. (c) 2006 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim.