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

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

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

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

不同入射角度下强流脉冲电子束能量沉积剖面和束流传输系数模拟计算

 强流脉冲电子束在材料中的能量沉积剖面、能量沉积系数和束流传输系数受其入射角的影响很大，理论计算了0.5~2.0MeV的电子束以不同的入射角在Al材料中的能量沉积剖面和能量沉积系数，并且还计算了0.4~1.4MeV电子束以不同入射角穿透不同厚度C靶的束流传输系数。计算结果表明，随着入射角的增大，靶材表面层单位质量中沉积的能量增大，电子在靶材料中穿透深度减小，能量沉积系数减小，相应的束流传输系数也减小；能量为0.5~2.0MeV的电子束当入射角在60°~70°时在材料表面层单位质量中沉积的能量较大。     

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

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

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

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

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

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

微光像增强器图像传递信噪比的测试研究

图像传递信噪比是微光像增强器的重要特性参数．能够全面定量地表征像增强器在探测弱辐射图像时的综合性能，对于确定像增强器的图像探测灵敏闽具有重要意义。针对其测试原理．采用高灵敏度低噪声CCD器件作为像管输出图像的探测接收器．并引入数字图像处理技术。利用设计的测试系统实现了典型目标图像传递信噪比的自动测试．多次实验结果表明．陔测试系统具有测试过程自动快速及测试数据准确稳定的优点．相同测试条件下的不确定度优于±3%。     

ROBUST GLOBAL EXPONENTIAL STABILITY OF UNCERTAIN IMPULSIVE SYSTEMS

By using the quasi-Lyapunov function, some sufficient conditions of global exponential stability for impulsive systems are established, which is the basis for the following discussion. Then, by employing Riccati inequality and Hamilton-Jacobi inequality approach, some sufficient conditions of robust exponential stability for uncertain linear/nonlinear impulsive systems are derived, respectively. Finally, some examples are given to illustrate the applications of the theory.     

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

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

与HBV X蛋白相互作用的细胞蛋白的筛选及其鉴定

参考GenBank核苷酸序列库中的HBV的核苷酸序列设计合成了一对对应于HBx基因的引物，从原发性肝癌(hepatocellular carcinoma，HCC)患者的血清中提取HBV基因组DNA作为模板，扩增HBx编码区并测定了核苷酸序列．将该编码区克隆到酵母双杂交系统的诱饵蛋白表达载体pGBKT7中，转入酵母细胞AH109，进行表型鉴定．然后通过Mating实验从已制备好用于酵母双杂交系统的肝cDNA表达文库中筛选与HBx相互作用的细胞蛋白，并用体外免疫共沉淀实验进一步验证．研究表明，分离得到的与HBx基因编码的蛋白相互作用的4种新的细胞蛋白，分别是醛缩酶B、C8α亚基、一种丝氨酸蛋白酶Hepsin和一种未知蛋白．