一阶形式系统K~*及其完备性

模糊命题演算的形式系统L＊已经在模糊逻辑与模糊推理的结合研究中得到了成功的应用.本文考虑与系统L＊相应的一阶逻辑理论,建立了一阶形式系统K＊,并证明了这个系统的完备性.     

两种方法制备ITO薄膜的红外特性分析

比较了用电束加热蒸发法和直流磁控溅射法制备的氧化锡铟(ITO)薄膜在红外波段的光学特性实验发现,通过直流磁控溅射在常温下制备的ITO薄膜在红外波段折射率稳定、消光系数小,比电子束加热蒸发制备的膜有较高的透过率在波长1550nm附近的透过率可达86%以上,消光系数约为004,方电阻最低为100Ω/□.     

基因芯片荧光图象采集与分析

描述了基因芯片荧光图象的光学共聚焦成象,大范围高速扫描与控制,数据采集的原理和方法.并讨论了基因芯片荧光图象的分析算法,即模板定位与阈值分割相结合的半自动算法,并将其计算结果与完全采用人工分割算法的结果进行了比较.     

多相体系中Ni-PMMA纳米复合材料的γ辐射制备

在多相体系中 ,运用γ射线辐射法 ,在常温常压下成功地一步合成了镍 聚甲基丙烯酸甲酯 (Ni PMMA)纳米复合材料 .XRD、TEM分析和IR光谱表明 ,在此实验条件下 ,镍离子和甲基丙烯酸甲酯已成功地被还原或聚合 ,镍粒子为面心立方 ,尺寸为 7.33nm .研究显示 ,用醋酸钠代替氢氧化钠或氨水作为碱性试剂 ,可以有效地控制体系的pH ,同时不影响单体的聚合 .     

Existence and Uniqueness of Endemic States for the Age-structured MSEIR Epidemic Model

The existence and uniqueness of positive steady states for the age-structured MSEIR epidemic model with age-dependent transmission coefficient is considered. Threshold results for the existence of endemic states are established; under certain conditions, uniqueness is also shown.     

量子点器件的三端电测量研究

利用三端电测量方法，研究了调制掺杂二维电子气结构的量子点器件输运特性.报道了可分别测量二维电子气电阻和量子点隧穿电阻的实验方法.实验结果表明：量子点的横向耦合控制了量子点器件在小偏压下的电输运特性. 关键词： 自组装量子点 二维电子气 量子隧穿 肖特基接触     

用于波分复用系统的多峰干涉滤光片

介绍了用于波分复用系统的多峰干涉滤光片的设计原理,提出了滤光片透射峰位置的确定方法,讨论了影响滤光片半宽度和截止度的因素,给出了滤光片的膜厚容差分析结果,表明透射率监控标准偏差在<0.5%范围内,可以得到波形良好的多峰滤光片,最后给出了实验结果.     

一种不等带宽光学梳状滤波器

提出了一种新型—Michelson—三面镜FabryPerot型50GHz不等带宽光学梳状滤波器设计方案,分析和模拟表明:该器件将一路信道间隔为50GHz的输入信号分离成信道间隔为100GHz的奇偶两路输出信号,其中在3dB处,奇数信道带宽大于30GHz用于10Gb/s传输,偶数信道带宽大于60GHz用于40Gb/s传输对于将来的40Gb/s系统,该器件具有优势.     

双折射滤光片的色散特性研究

研究了由理想线偏振片和单轴双折射晶体波片组成的双折射滤光片倾斜放置时的二阶色散和 三阶色散特性，包括波片厚度、光线入射角和光轴旋转角的变化对二阶和三阶色散的影响. 还给出了双折射滤光片的群延迟表达式，并就色散特性与GT干涉仪进行了详细比较. 关键词： 双折射滤光片 群延迟 二阶色散 三阶色散     

差分吸收光谱法测量大气痕量气体浓度误差分析及改善方法

差分吸收光谱技术(DOAS)中采用线性最小二乘拟合方法,用痕量气体标准差分吸收截面对测量得到的差分吸收光谱进行拟合,得出大气中痕量气体的浓度.计算结果的准确性不仅取决于光谱的测量精度,而且受标准差分吸收截面以及仪器函数和温度等诸多因素的影响.详细地分析了计算误差的产生原因,提出了用高浓度样品池得到标准吸收截面的方法,针对光谱固有结构,以及温度对标准吸收截面的影响,改进了浓度反演算法.大量的实验表明,综合运用上述方法,即便对低浓度的样气,相对测量误差也能降低到10%以下.