弱(L_1,L_2)-BLD映射的正则性

本文首先将文［１］中的ＢＬＤ映射推广为弱（Ｌ１，Ｌ２）－ＢＬＤ映射，并证明了如下正则性结果：存在两个可积指数 Ｐ１＝Ｐ１（ｎ，Ｌ１，Ｌ２）＜ｎ＜ｑ１＝ｑ１（ｎ，Ｌ１，Ｌ２），使得对任意弱（Ｌ１，Ｌ２）－ＢＬＤ映射ｆ∈（Ω，Ｒｎ），都有ｆ∈（Ω，Ｒｎ），即ｆ为（Ｌ１，Ｌ２）－ＢＬＤ映射．     

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

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

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

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

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

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

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

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

电子束流品质对自由电子激光小信号增益影响的计算

对电子束有一定初始能量分散或角度分散时的自由电子激光小信号增益用较简便的方法进行了分析计算,并给出了一个渐近公式,结果与用计算机模拟解自由电子激光微分方程组得到的结果一致。     

The structure of invertible substitutions on a three-letter alphabet

We study the structure of invertible substitutions on three-letter alphabet. We show that there exists a finite set of invertible substitutions such that any invertible substitution can be written as I_wσ₁σ₂σ_k, where I_w is the inner automorphism associated with w, and for 1jk. As a consequence, M is the matrix of an invertible substitution if and only if it is a finite product of non-negative elementary matrices.     

用于机械振动实时监测的光纤光栅有源传感装置

把一对中心反射波长分别为1562.11nm和1562.71nm的光纤光栅粘贴在均质、等厚、等腰三角形悬臂梁上下表面作为环形腔光纤激光器端镜，当机械振动激励自由端时，通过观测激光输出脉冲，地施加于自由端的机械振动的频率进行了实时监测；观察两光栅波长漂移量差值的变化，可在0～6.1mm的范围内判断所测振动的振幅。低于100Hz时，实验结果与实际值基本吻合。     

非线性光纤环形镜的脉冲透过特性研究

研究了光纤反常色散区非线性环形镜（NOLM）的脉冲透过特性，得到NOLM周期性透过率函数 第一极大值处透过率、压缩比和对应的孤子阶数与环长之间的函数关系图.通过比较长环和 短环NOLM对无啁啾、啁啾脉冲的透过率和压缩比特性，得出了长环有利于脉冲整形而短环有 利于脉冲压缩的结论. 关键词： 非线性环形镜 透过率 压缩比 孤子阶数     

量子算法的NMR实现方法

量子计算机是一种以量子耦合方式进行信息处理的装置[1 ] 。原则上 ,它能利用量子相干干涉方法以比传统计算机更快的速度进行诸如大数的因式分解、未排序数据库中的数据搜索等工作[2 ] 。建造大型量子计算机的主要困难是噪音、去耦和制造工艺。一方面 ,虽然离子陷阱和光学腔实验方法大有希望 ,但这些方法都还没有成功实现过量子计算。另一方面 ,因为隔离于自然环境 ,核自旋可以成为很好的“量子比特” ,可能以非传统方式使用核磁共振 (NMR)技术实现量子计算。本文介绍一种用NMR方法实现量子计算的方法 ,该方法能够用比传统方法少的步骤解决一个纯数学问题。基于该方法的简单量子计算机使用比传统计算机使用更少的函数“调用”判断一未知函数的类别。