光纤耦合用多根输出光纤头

Submitted by zhangdi (zhangdi@red.semi.ac.cn) on 2009-06-04T08:36:34Z No. of bitstreams: 1 dspace.cfg: 33388 bytes, checksum: ac9630d3fdb36a155287a049e8b34eb7 (MD5)

运算构造和检验系统FC的设计和实现

运算构造和检验系统ＦＣ（ｆｕｎｃｔｉｏｎｃｏｎｓｔｒｕｃｔｏｒ）是形式规约获取系统ＳＡＱ（ｓｐｅｃｉｆｉｃａｔｉｏｎａｃｑｕｉｓｉｔｉｏｎ）的一个子系统．在ＳＡＱ系统中，运算用于表示规约的语义．ＦＣ提供了对运算的交互式归纳定义方式和运算的施用，支持运算的联立递归定义．详细介绍ＦＣ的功能、结构和实现技术，并讨论了下一步的改进方向．

Impact of wide bandgap p-type nc-Si on the performance of a-Si solar cells

This paper reports the impact of a wide bandgap p-type hydrogenated nanocrystalline silicon (nc-Si:H) on the performances of hydrogenated amorphous silicon (a-Si:H) based solar cells. The player consists of nanometer-sized Si crystallites and has a wide effective bandgap determined mainly by the quantum size-confinement effect (QSE). By incorporation of this p-layer into the devices we have obtained high performances of a-Si:H top solar cells with V-infinity=1.045 V and FF=70.3 %, and much improved mid and bottom a-SiGe:H cells, deposited on stainless steel (SS) substrate. The effects of the band-edge mismatch at the p/i-interface on the I-V characteristics of the solar cells arc discussed on the bases of the density-functional approach and the AMPS model.

科尔沁沙地丘间低地植物种间关联研究

丘间低地植物种间关联研究有助于阐述丘间低地植物种间替代的机制。丘间低地面积对植物种间关联关系的影响、沙丘固定对丘间低地植物种间关联关系的影响研究对沙区植被恢复和植物多样性保护具有重要意义。但是，目前还未发现相关研究报道。 作者以科尔沁沙地为研究对象，选择流动沙丘区和固定沙丘区丘间低地面积系列，通过将植物划分为沙生植物、沼泽-草甸植物和草原植物三种生态组群，运用χ2检验和AC关联系数对植物的种间关联关系进行了分析。在流动沙丘区，随丘间低地面积的增大，沙生植物之间的关联性从正关联转变为负关联。当丘间低地面积小于0.5ha时，所有沙生植物之间都呈正关联；当丘间低地面积大于2ha时，所有沙生植物都呈负关联。大部分沙生植物与沼泽-草甸植物之间呈强烈的负关联。在固定沙丘区，随丘间低地面积的增大，草原植物之间种间关联表现为关联性从正关联转变为负关联；或始终呈正关联，但关联强度逐渐减小。大部分草原植物与沼泽-草甸植物之间呈强烈的负关联。不管在流动沙丘区还是在固定沙丘区，随丘间低地面积的增大，|AC| ≤ 0.3的种对数占所有种对数的百分比增大，|AC| ≥ 0.7的种对数占所有种对数的百分比减小。当丘间低地面积相同时，固定沙丘区丘间低地中|AC| ≤ 0.3的种对数占所有种对数的百分比小于流动沙丘区，|AC|≥ 0.7的种对数占所有总对数的百分比大于流动沙丘区。 本研究表明：1）丘间低地面积增大导致种间关系松散；2）沙丘固定导致丘间低地植物种间关系更加紧密。

三体核力重排项的同位旋效应

在同位旋相关的Brueckner理论框架内,研究了三体核力重排贡献对同位旋对称势及其动量相关性和密度依赖性的影响,特别是研究了三体核力重排效应对于非对称核物质中质子和中子有效质量同位旋劈裂的影响.结果表明:三体核力重排效应对质子和中子单核子势均具有排斥性,而且其贡献随动量和密度增加而迅速增大.在低密度区域,三体核力重排贡献对同位旋对称势的影响相当小,然而随着密度的升高,三体核力重排效应的贡献显著增强.在高密度区域,三体核力重排效应使得同位旋对称势明显增大,而且当密度足够高时,三体核力重排贡献甚至导致对称势的动量相关性质发生改变.三体核力的重排效应对核子有效质量同位旋依赖性的影响是使高密度丰中子核物质中质子-中子有效质量同位旋劈裂的幅度显著减小.

香港暴雨中心迁移与滑坡位置关系分析

香港地区每年均有一定数量的滑坡灾害发生,诱发滑坡灾害的主要因子是强降水,即暴雨。暴雨过程中,降水强度的时空分布存在一定差异性,这种降水强度的时空与滑坡灾害的时空分布存在一定的联系。以香港地区1992年5月8日暴雨为例,以30min为时间间隔,分析了暴雨中心时空变动与滑坡事件时空分布及出现频率之间的关系,发现空间上滑坡均出现在暴雨中心或暴雨中心的边沿地区;时间上滑坡事件出现在暴雨中心出现或上一阶段时间内;并且降水的强度与滑坡的出现频率也有一定关系。

一种炭织物分子筛及其制备方法

一种炭织物分子筛其性能为比表面积：３００～１０００ｍ↑［２］／ｇ；微孔率：０．７ｍｍ以下的微孔率大于６０％；孔容积：０．１５－０．３５ｍｌ／ｇ，该分子筛是采用有机纤维或其织物为原料进行炭化后用水蒸气作为活性剂，再进行活化处理制得的。本发明具有丰富的微孔，吸、脱附快，分离得到的甲烷气纯度超过９６％。

THE COMPOUND EYE AS AN INDICATOR OF AGE AND SHRINKAGE IN ANTARCTIC KRILL

Laboratory studies have shown that Antarctic krill (Euphausia superba) shrink if maintained in conditions of low food availability. Recent studies have also demonstrated that E. superba individuals may be shrinking in the field during winter. If krill shrink during the winter, conclusions reached by length-frequency analysis may be unreliable because smaller animals may not necessarily be younger animals. In this study, the correlation between the body-length and the crystalline cone number of the compound eye was examined. Samples collected in the late summer show an apparent linear relationship between crystalline cone number and body-length. From a laboratory population, it appears that when krill shrink the crystalline cone number remains relatively unchanged. If crystalline cone number is little affected by shrinking, then the crystalline cone number may be a more reliable indicator of age than body-length alone. The ratio of crystalline cone number to body-length offers a method for detecting the effect of shrinking in natural populations of krill. On the basis of the crystalline cone number count, it appears from a field collection in early spring that E. superba do shrink during winter.

一种轮式移动机器人实时速度估计方法

环境和机器人自身的不确定性影响轮式移动机器人的轨迹跟踪控制性能,此时仅仅使用里程计往往不能正确表达机器人的状态信息。在无速度传感器的情况下,讨论了使用加速度传感器和位置传感器的输出实时估计轮式移动机器人的速度。首先使用滑模观测器进行里程计信号处理,然后对车体加速度信号进行带通滤波提取车体扰动信息,通过频域融合信号表达轮式移动机器人的速度,并针对正交轮式全方位移动机器人进行了轨迹跟踪控制研究。试验结果表明采用融合数据可以更准确提供机器人的状态信息并得到更好的控制性能。

Probabilistic program analysis for parallelizing compilers

Parallelizing compilers have difficulty analysing and optimising complex code. To address this, some analysis may be delayed until run-time, and techniques such as speculative execution used. Furthermore, to enhance performance, a feedback loop may be setup between the compile time and run-time analysis systems, as in iterative compilation. To extend this, it is proposed that the run-time analysis collects information about the values of variables not already determined, and estimates a probability measure for the sampled values. These measures may be used to guide optimisations in further analyses of the program. To address the problem of variables with measures as values, this paper also presents an outline of a novel combination of previous probabilistic denotational semantics models, applied to a simple imperative language.