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.

Large-eddy simulation of flows past a flapping airfoil using immersed boundary method

The numerical simulation of flows past flapping foils at moderate Reynolds numbers presents two challenges to computational fluid dynamics: turbulent flows and moving boundaries. The direct forcing immersed boundary (IB) method has been developed to simulate laminar flows. However, its performance in simulating turbulent flows and transitional flows with moving boundaries has not been fully evaluated. In the present work, we use the IB method to simulate fully developed turbulent channel flows and transitional flows past a stationary/plunging SD7003 airfoil. To suppress the non-physical force oscillations in the plunging case, we use the smoothed discrete delta function for interpolation in the IB method. The results of the present work demonstrate that the IB method can be used to simulate turbulent flows and transitional flows with moving boundaries.

Surface Initiated Polymerization from Substrates of Low Initiator Density and Its Applications in Biosensors

Surface initiated polymerization (SIP) has become an attractive method for tailoring physical and chemical properties of surfaces for a broad range of applications. Most of those application relied on the merit of a high density coating. In this study we explored a long overlooked field of SIP. SIP from substrates of low initiator density. We combined ellipsometry with AFM to investigate the effect of initiatior density and polymerization time on the morphology of polymer coatings. In addition, we carefully adjusted the nanoscale separation of polymer chains to achieve a balance between nonfouling and immobilization capacities. We further tested the performance of those coating on various biosensors, such as quartz crystal microbalance, surface plasmon resonance, and protein microarrays. The optimized matrices enhanced the performance of those biosensors. This report shall encourage researches to explore new frontiers in SIP that go beyond polymer brushes.

Industrial development and land use/cover change and their effects on local environment: a case study of Changshu in eastern coastal China

The interactions among industrial development, land use/cover change (LUCC), and environmental effects in Changshu in the eastern coastal China were analyzed using high-resolution Landsat TM data in 1990, 1995, 2000, and 2006, socio-economic data and water environmental quality monitoring data from research institutes and governmental departments. Three phases of industrial development in Changshu were examined (i.e., the three periods of 1990 to 1995, 1995 to 2000, and 2000 to 2006). Besides industrial development and rapid urbanization, land use/cover in Changshu had changed drastically from 1990 to 2006. This change was characterized by major replacements of farmland by urban and rural settlements, artificial ponds, forested and constructed land. Industrialization, urbanization, agricultural structure adjustment, and rural housing construction were the major socio-economic driving forces of LUCC in Changshu. In addition, the annual value of ecosystem services in Changshu decreased slightly during 1990-2000, but increased significantly during 2000-2006. Nevertheless, the local environmental quality in Changshu, especially in rural areas, has not yet been improved significantly. Thus, this paper suggests an increased attention to fully realize the role of land supply in adjustment of environment-friendly industrial structure and urban-rural spatial restructuring, and translating the land management and environmental protection policies into an optimized industrial distribution and land-use pattern.

Application to polymer characterization by thermal analysis

The measured results of thermal analysis depend on experimental conditions. The international and national organizations have constituted a series of methods to characterize the physical and chemical properties for substances. The applications to physical transition, chemical reaction, and characteristic parameters of substances are given in the article as examples.

Probing structural changes of spin-coated polystyrene film after swelling and precipitation by synchrotron GIUSAXS and AFM

Polystyrenc film of about 50 nm in thickness on silicon wafer was obtained by spin-coating in tetrahydrofuran solution.The film exhibits a rough surface as shown by atomic force microscopy images and ellipsometry data.

Applications of scanning probe microscopy in intrinsically conducting polymer research

The applications of scanning probe microscopy (SPM) in intrinsically conducting polymer research is briefly reviewed, including morphology observation, nanofabrication, microcosmic electrical property measurements, electrochemistry researches, in-situ measurements of film thickness change, and so on. At the same time, some important variations of SPM and the related techniques are briefly introduced. Finally, the future development of SPM in the study of intrinsically conducting polymers is prospected.

Structural phase transition in the layered perovskite compound BaTb2Mn2O7

A distorted layered perovskite compound BaTb2Mn2O7 was synthesized by the solid state reaction in pure argon. There is a structural phase transition in the BaTb2Mn2O7 compound. The phase transition was characterized by the DSC and high temperature Xray diffraction. The heat capacity of BaTb2Mn2O7 was calculated. The thermal anomaly corresponding to the phase transition was observed at about 740K. The lattice parameters were calculated by the CELL program for BaTb2Mn2O7, It has Tb-type orthorhombic symmetry with a = 0.3908 nm, b = 0.3866 nm, c = 2.0163 nm, and space group Immm at room temperature. With the increase of temperature, the lattice parameters gradually increase until 673K. From 723K to 973K, the compound translates to tetragonal with a = 0.39078 nm, c = 2.0277 nm and S.G. I4/mmm. This result is fairly in accordance with that of heat capacity.

Long lasting phosphorescence, thermoluminescence and electron spin resonance property of Mn2+ activated ZnO-Al2O3SiO2 ceramic

The long lasting phosphorescence (LLP) phenomenon in Mn2+-doped ceramic based on ZnO-Al2O3-SiO2 (ZASM) is observed. After irradiation by a UVP standard mercury lamp peaking at 254 nm with a power of 0.6 mW/cm(2) for 15 min, the ceramic sample emits a bright green light peaking at 519 nm, which can be seen in the dark even 15 h after the removal of UVP standard mercury lamp by the naked eyes whose limit of light perception is 0.32 mcd/m(2). The initial afterglow intensity reaches about 1900 mcd/m(2), and the color coordinate (X, Y) is (0.2280, 0.5767) at about 10 s after stopping irradiation. The thermoluminescence (TL) spectra show that there are at least three kinds of trap centers with different trap levels while electron spin resonance (ESR) spectra indicate that there are electron- and hole-trapping centers induced after irradiation by a UVP standard mercury lamp. Based on these measurements, the LLP is considered to be due to the recombination of electrons and holes at trapping centers with different levels, which are firstly thermally released back to Mn2+ and then give rise to the bright green LLP at room temperature.

Calculation of the electrostatic energy H-e(fd) on 4f(N-1)5d configuration of lanthanide ions

In LS coupling, the energy expressions of H-e(fd) of the chief low-energy levels of 4f(N-15)d (n < 9) configuration ions are calculated. H-e(fd) can be parameterized with F-K (k=2,4) and G(K)(k=1,3,5). f(k) and g(k), which are coefficients, times the corresponding parameter FK and GK leads to the energy expressions of H-e(fd).