软件发布机制体系结构研究

针对现有软件发布方式主要以开发者的角度进行软件开发后生命周期管理所存在的问题,提出了更为合理的以用户的角度进行软件开发后生命周期管理的思想,建立了一种新的软件发布机制体系结构。该发布机制试图解决如下问题:让用户透明地使用软件,即用户不需要显式地进行软件的安装、更新和卸载;支持软件的即点即用和使用态发布,使用态发布指安装了某软件的计算机可以作为该软件的发布源;使得系统重装后能够以较小的代价恢复到指定的状态点。最后,分析了软件动态更新和分布式软件系统发布所应解决的问题。

Strength of Offshore Pipelines in Different Operation States and Analyzing Software

在近海管线的铺设、安装、使用过程中有多种作业状态：在位、悬跨、挖沟、提吊、铺管等。各种状态下管线的受力特点不同,加上管线结构、海况和海底土壤等因素又都很复杂,所以近海管线的强度分析难度大、内容多。分别采用解析方法、数值方法（有限元法、打靶法）和二者结合来解决理论上的（如几何非线性、动边界等）、实用性方面的难点。在理论分析的基础上,编制了符合产业部门工程师使用要求的近海管线强度分析软件。介绍了该软件进行力学分析时采用的理论以及软件界面。

Development and use of parasitoids (Hymenoptera : Aphidiidae & Aphelinidae) for biological control of aphids in China

A review of aphid parasitoids in China with special emphasis on their production, utilization, and conservation is presented with a brief history of Chinese biological control. Twenty genera, 99 species of Aphidiidae and two genera, 11 species of Aphelinidae were recorded in China. Each parasitoid is listed with a brief description of aphids, host plants, areas of study such as taxonomy, biology, bionomics, geographic distribution, rearing, and literature citations. Achievements, status, and problems in aphid parasitoid production, utilization, conservation, and future prospects are detailed for dominant aphid parasitoids such as Aphidius gifuensis Ashmead, A. ervi Haliday and Aphelinus mali Haldeman. Finally, opportunities and challenges of commercialization commercialization of natural enemies, especially aphid parasitoids, in China, are analyzed and discussed.

808 nm high-power laser grown by MBE through the control of Be diffusion and use of superlattice

808 nm high-power laser diodes are gown by MBE. In the laser structure, the combination of Si-doped GRIN (graded-index) region adjacent to n-AlGaAs cladding layer with reduced Be doping concentration near the active region has been used to diminish Be diffusion and oxygen incorporation. As compared with the laser structure which has undoped GRIN region and uniform doping concentration for Si and Be, respectively, in the cladding layers, the slope efficiency has increased by about 8%. Typical threshold current density of 300 A/cm(2) and the minimum threshold current density of 220 A/cm(2) for lasers with 500 mu m cavity length are obtained. A high slope efficiency of 1.3 W/A for coated lasers with 1000 mu m cavity length is also demonstrated, Recorded CW output power at room temperature has reached 2.3 W.

process trustworthiness as a capability indicator for measuring and improving software trustworthiness

Chinese Acad Sci, ISCAS Lab Internet Software Technologies

Perfectly Hydrophobic Silicone Nanofiber Coatings: Preparation from Methyltrialkoxysilanes and Use as Water-Collecting Substrate

Perfectly hydrophobic (PHO) coatings consisting of silicone nanofibers have been obtained via a solution process using methyltrialkoxysilanes as precursors. On the basis of thermal gravimetry and differential thermal analysis (TG-DTA) and Fourier transform infrared spectroscopy (FTIR) results, the formula of the nanofibers was tentatively given and a possible growth mechanism of the nanofibers was proposed. Because of the low affinity between the coatings and the small water droplet, when using these coatings as substrate for collecting water vapor, the harvesting efficiency could be enhanced as compared with those from bare glass substrate for more than 50% under 25 degrees C and 60-90% relative humidity. By removing the surface methyl group by heat treatment or ultraviolet (UV) irradiation, the as-prepared perfectly hydrophobic surface can be converted into a superhydrophilic surface.

Pt Nanoparticles Supported on TiO2 Colloidal Spheres with Nanoporous Surface: Preparation and Use as an Enhancing Material for Biosensing Applications

An easy surface-modified method has been developed to link -NH2 groups to the TiO2 colloidal spheres with nanoporous surface (f-TiO2). It was found that the as-prepared f-TiO2 is positively charged in neutral conditions and could act as an electrostatic anchor for nanosructures with opposite charge, Furthermore, platinum nanoparticles (Pt NPs) are successfully assembled on the f-TiO2 mainly via electrostatic interaction to fabricate a new kind of Pt NPs/TiO2 hybrid nanomaterial (f-TiO2-Pt NPs). The morphology, structure, and composition of the hybrids were characterized by the means of diverse techniques such as transmission electron microscopy, scanning electron microscopy, X-ray powder diffraction, and Raman spectra. Electrochemical experiments indicate the electrode modified with f-TiO2-Pt NPs shows prominent electrocatalytic activity toward the oxidation of hydrogen peroxide.

Carbon Nanotube/Silica Coaxial Nanocable as a Three-Dimensional Support for Loading Diverse Ultra-High-Density Metal Nanostructures: Facile Preparation and Use as Enhanced Materials for Electrochemical Devices and SERS

In this paper, we have reported a very simple strategy (combined sonication with sol-gel techniques) for synthesizing well-defined silica-coated carbon nanotube (CNT) coaxial nanocable without prior CNT functionalization. After functionalization with NH2 group, the CNT/silica coaxial nanocable has been employed as a three-dimensional support for loading ultra-high-density metal or hybrid nanoparticles (NPs) such as gold NPs, Au/Pt hybrid NPs, Pt hollow NPs, and Au/Ag core/shell NPs. Most importantly, it is found that the ultra-high-density Au/Pt NPs supported on coaxial nanocables (UASCN) could be used as enhanced materials for constructing electrochemical devices with high performance. Four model probe molecules (O-2, CH3OH, H2O2, and NH2NH2) have been investigated on UASCN-modified glassy carbon electrode (GCE). It was observed that the present UASCN exhibited high electrocatalytic activity toward diverse molecules and was a promising electrocatalyst for constructing electrochemical devices with high performance. For instance, the detection limit for H2O2 with a signal-to-noise ratio of 3 was found to be 0.3 mu M, which was lower than certain enzyme-based biosensors.

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.