FORWARD-BACKWARD STOCHASTIC DIFFERENTIAL EQUATIONS WITH STOPPING TIME

The existence and uniqueness results of fully coupled forward-backward stochastic differential equations with stopping time (unbounded) is obtained. One kind of comparison theorem for this kind of equations is also proved.     

锂锰尖晶石红外光谱的研究

本文对锂锰尖晶石的红外光谱进行了研究。由于锂锰尖晶石的晶体结构属于Fd3m空间群,锂离子占据四面体空隙(8a位置),锰离子占据八面体空隙(16d位置)。根据群论的知识,对锂锰尖晶石晶体中离子的振动方式与红外活性之间的内在关系进行了讨论。并列出了锂锰尖晶石的红外光谱实验数据。通过理论分析,我们推断:位于618.6和501.5cm~(-1)的红外吸收带分别来源于Mn(Ⅳ)-O和Mn(Ⅲ)-O键在晶体中的不对称伸缩振动(单元为Mn(Ⅳ)O_6和Mn(Ⅲ)O_6八面体),位于1124cm~(-1)的弱红外吸收带来源于Li-O键的不对称伸缩(单元为LiO_4四面体)。还有一些低于400cm~(-1)的可能吸收带在400～4000cm~(-1)范围内未能检测到。这一结论的可靠性通过锂锰尖晶石和掺杂的锂锰尖晶石的红外光谱实验数据得到证实。     

GaN材料系列的研究进展

ＧａＮ及其合金作为第三代半导体材料具有一系列优异的物理和化学性质，在光电子器件，高温大功率电子器件及高频微波器件应用方面具有广阔的前景，已成为当前高科技领域的研究重点，论述了这种材料的研究历史与发展现状，物理与化学性质，薄膜的生长方法及在光学电子和微电子器件应用于方面的研究进展。     

用边界元法提取VLSI版图电阻

介绍了ＶＬＳＩ版图验证中电阻提取的基本原理和主要方法，给出了一种新颖的基于边界元法的电阻提取算法。该算法采用变节点单元，较好地解决了实际问题中经常出现的角点问题。通过应用该算法对几个实例进行提取，证明使用本文的算法不仅在精度上而且在占用ＣＰＵ时间上都取得了令人满意的效果     

VHDL逻辑综合及FPGA实现

运用ＶＨＤＬ语言描述了一个１２×１２位的高速补码阵列乘法器。重点是运用ＶＨＤＬ逻辑综合优化该乘法器，并进行了乘法器的ＸｉｌｉｎｘＦＰＧＡ实现、功能仿真和时序仿真。经选用ＸＣ４００５ＰＣ－８４－４芯片进行验证，证明了其正确性     

一种RISC单片机的分块结构寄存器堆

介绍了一种用于ＲＩＳＣ单片机ＰＩＣ１６Ｃ５７的寄存器堆，讨论了为降低功耗所采用的分块结构，详细说明了译码逻辑、ＳＲＡＭ单元、读／写电路和文件选择寄存器等电路的形式及其工作原理     

InGaAsP/InP有源双稳放大器的实验研究

本文报导了室温下F—P型InGaAsP/InP双异质结半导体激光放大器的双稳态效应,放大器的增益为20dB。     

抽样调查中最佳测量次数的确定

现场抽样调查中，由于测量误差的存在，使得所测变量实测值的方差增大，通过增加每个体的测量次数可以控制测量误差，但这样每个体调查费用增大。本文对测量信度Ｒ，每个体测量次数ｍ与相应所需的样本含量ｎｍ、调查费用Ｔｎ的关系进行了探讨，并介绍了如何根据Ｒ，及每个体测量费用占其总费用构成比Ｃ，确定最佳测量次数ｍ值，以达到最佳控制调查费用的目的，这对我们在大型现场调查中进行经济效益分析具有重大的理论指导意义。     

木犀科植物花粉的扫描电镜研究

植物花粉的形态特征具有种属特异性。本文用扫描电子显微镜观察了木犀科(Oleaceae)的六属八种植物花粉的形态特征。结果表明,除迎春有个别四萌发沟外,其它花粉都是三沟型,外壁纹饰均为网状。但各种植物花粉的细微形态仍有明显差异。因此,用扫描电镜观察研究植物花粉的亚微形态特征,可为植物分类提供一些必要的形态依据。