香溪河库湾枝角类的种类组成及垂直分布

中国科学院知识创新工程重要方向项目(KSCX2-SW-111); 国家自然科学基金重点项目(30330140); 国家重点基础研究发展规划(973)项目(2002CB412300); 淡水生态与生物技术国家重点实验室开放基金资助项目(2004FB03)

香溪河库湾春季水华期间悬浮颗粒物粒度动态的初步研究

国家杰出青年科学基金(70325002); 中国科学院知识创新工程重要方向项目(KSCX2-SW-111); 国家自然科学基金项目(30330140、70403014)资助

High variability of the gvpA-gvpC region in Microcystis

Gas vesicles provide buoyancy to Microcystis and other common cyanobacterial bloom-forming species. gvpA and gvpC are structural genes encoding gas vesicle proteins. Phylogenetic analyses of 10 Microcystis strains/uncultured samples showed that gvpC and each intergenic segment of the gvpA-gvpC region can be divided into two types. The combination of different types of gvpC and intergenic segments is an important factor that diversifies this genomic region. Some Microcystis strains isolated in China possess a 172 to 176 bp sequence tag in the intergenic segment between gvpA and gvpC. The gvpA-gvpC region in Microcystis can be divided into at least 4 classes and more numbers of subclasses. Compared to rbcLX and other regions, the high variability of the gvpA-gvpC region should be more useful in identifying geographical isolates or ecotypes of Microcystis.

In-plane optical anisotropy of symmetric and asymmetric (001) GaAs/Al(Ga)As superlattices and quantum wells

Two sensitive polarized spectroscopies, reflectance difference spectroscopy and photocurrent difference spectroscopy, are used to study the characteristic of the in-plane optical anisotropy in the symmetric and the asymmetric (001) GaAs/Al(Ga)As superlattices (SLs). The anisotropy spectra of the symmetric and the asymmetric SLs show significant difference: for symmetric ones, the anisotropies of the 1HH-->1E transition (1H1E) and 1L1E are dominant, and they are always approximately equal and opposite; while for asymmetric ones, the anisotropy of 1H1E is much less than that of 1L1E and 2H1E, and the anisotropy of 3H2E is very strong. The calculated anisotropy spectra within the envelope function model agree with the experimental results, and a perturbation approach is used to understand the role of the electric field and the interface potential in the anisotropy. (C) 2001 American Institute of Physics.

Biomimetic pattern recognition for speaker-independent speech recognition

In speaker-independent speech recognition, the disadvantage of the most diffused technology ( Hidden Markov Models) is not only the need of many more training samples, but also long train time requirement. This paper describes the use of Biomimetic Pattern Recognition (BPR) in recognizing some Mandarin Speech in a speaker-independent manner. The vocabulary of the system consists of 15 Chinese dish's names. Neural networks based on Multi-Weight Neuron (MWN) model are used to train and recognize the speech sounds. Experimental results are presented to show that the system, which can carry out real time recognition of the persons from different provinces speaking common Chinese speech, outperforms HMMs especially in the cases of samples of a finite size.

Coupling coefficients of gain-coupled distributed feedback lasers with absorptive grating

An effective coupling efficient is introduced for gain-coupled distributed feedback lasers with absorptive grating. When radiation and other partial wave coupling effects are considered, the effective coupling coefficient will change significantly. In some cases, it will become real, although both loss and index coupling are presented.

Modified Holographic Exposure to Fabricate Varied Bragg Grating in an Identical Chip

A new fabricating method is demonstrated to realize two different Bragg gratings in an identical chip using traditional holographic exposure. Polyimide is used to protect one Bragg grating during the first period. The technical process of this method is as simple as that of standard holographic exposure

描述逻辑μALCIO的语义及推理

循环术语集是描述逻辑长期以来的研究难点,它的最基本的问题即语义及推理问题没有得到合理的解决.分析了描述逻辑循环术语集的研究现状和存在的问题,基于混合μ-演算将不动点构造算子引入到含有枚举构造算子的描述逻辑ALCIO中,提出了一种允许包含循环术语集的描述逻辑μALCIO.给出了μALCIO的语法和语义,证明了μALCIO的可满足性推理等价于混合μ-演算的可满足性推理,并利用树自动机理论给出了μALCIO的可满足性推理算法以及给出了推理算法正确性证明和复杂性定理.