多元χ演算运行时错误的不可判定性

针对多元χ演算运行时刻通信安全的判定性问题进行了研究．通过从Lazyλ项到χ项的编码，将判定一个Lazyλ项是否有范式的问题归约为进程是否有通信错误的问题．证明了在多元χ演算中，通讯错误也是不可判定的．结论说明不存在算法直接来检测进程的通信安全性，而只有通过其他间接的手段(如构造类型系统)才能部分达到预防运行时错误的目的．     

利用计算机辅助装调检测矩形大口径离轴非球面的方法研究

通过非球面的零位补偿法,完成了对矩形大口径离轴非球面镜的检测。先用光学设计软件Zemax从理论上分析了在检测中会出现的现象,并结合计算机辅助装调技术,确定在检测过程中相对敏感的自由度,然后控制这些量,使补偿器和非球面的相对关系与理论设计相吻合,在Zygo相位干涉仪上测得最终结果。在λ=632.8nm时,中心圆口径与两个边缘圆口径面形误差RMS分别为0.022λ,0.037λ,0.032λ。检测结果,达到预期目的。     

激光二极管抽运的GaAs被动Q开关Nd：YVO4激光器

利用固体可饱和吸收体砷化镓（GaAs）作为被动调Q元件，实现了激光二极管抽运平－凹腔掺钕钒酸钇（Nd:YVO4）激光调Q运转，详细测量了砷化镓被动调QNd:YVO4激光输出特性，获得脉宽15ns，重复频率470kHz，光束质量M^2=1.31的激光输出，调Q激光运转阈值为500mW，并数值求解了砷化镓被动调Q速率方程，讨论了被动调Q机理以及调Q脉冲宽度和脉冲重复频率对抽运速率的依赖关系，理论计算结果与实验结果相一致。     

剪切与吸附对弱凝胶深部调驱作用的影响

分别用玻璃微珠、石英砂、露头砂制作填砂模型,研究了弱凝胶体系的动态性能变化以及剪切与吸附对其深部调驱作用的影响.研究结果表明,动态条件下弱凝胶体系在3种介质中均可发生交联反应,其封堵能力、有效作用距离、深部调驱作用在玻璃模型、石英模型、露头模型中依次降低,水驱后弱凝胶均呈颗粒状.剪切作用可破坏弱凝胶三维结构及聚合物分子链,延长动态成胶时间,降低弱凝胶的封堵强度及其深部调驱作用;吸附作用可富集交联剂,加快交联速度,缩短动态成胶时间,降低弱凝胶本身强度、可运移性及其深部调驱作用.     

“二人转”音乐中的辅调与专调曲牌——吉林地方音乐研究之二

在当今的中国传统民间音乐中,“二人转“音乐已经成为重要的组成部分之一。其音乐形式与所反映的思想内容均折射着吉林省乃至整个东北地域音乐文化的基本特征。二人转的曲牌非常丰富,根据实际应用情况,通常将二人转曲牌分为三类:主调、辅调、专调。从曲牌分类入手,将二人转音乐中常用的辅调与专调曲牌,从音乐语言的运用等方面进行分析,阐述二人转音乐的曲牌特征。     

植物抗盐的研究进展

植物抗盐研究内容涉及从盐害信号的识别，信号转导直到基因表达的调控，最后表现为离子平衡和水分平衡的重建，及渗调物质的合成和其他生理生化变化的个个方面，植物抗盐是多基因调控的综合性数量性状。     

氙灯泵浦新型晶体Nd∶S－VAP调Q激光器腔内倍频研究

采用氙灯泵浦晶体Ｎｄ∶Ｓ－ＶＡＰ，ＫＴＰ晶体腔内倍频，实现了Ｎｄ∶Ｓ－ＶＡＰ晶体０．５３２５μｍ绿光激光ＢＤＮ染料片调Ｑ运转。测量了输出绿光激光的特性及不同腔长和染料片小信号透过率情况下的输出能量及脉冲宽度，给出了染料片调Ｑ腔内倍频的耦合波方程组，数值求解方程组，所得的理论数据与实验结果很好地相符     

激光二极管泵浦的高重复频率Nd：YAG激光器

报道两个１．５Ｗ连续激光二极管端面泵浦的声光调ＱＮｄ：ＹＡＧ激光器，输出激光脉冲的最高重复频率为３０ｋＨｚ重复频率１ｋＨｚ时，最窄脉宽为１２ｎｓ，最高峰值功率为１２．１ｋＷ。     

半导体激光泵浦预激光锁模调Q固体激光器研究

报道半导体激光侧面泵浦预激光锁模调Ｑ的Ｎｄ：ＹＡＧ固体板条激光器，预激光锁模调Ｑ的激光脉冲宽度为３６ｐｓ，调Ｑ包纤各心的锁模单脉冲能量超过７μＪ，相应的峰值功率达２００ｋＷ。     

硅氧化合物化学蒸气沉积法精细调变沸石分子筛

本文报告了用化学蒸气沉积法精细调变沸石孔径的结果，着重考察了正硅酸乙酯和六甲基硅醚沉积条件的关系。间二甲苯和均三甲苯的吸附动力学实验表明，用Ｓｉ－（ＯＥｔ）４制得的ＳｉＨβ和ＳｉＨＺＳＭ－５上的吸附速率及吸附量明显下降，证实沸石的孔口得到了调变。正己烷的吸附等温线和异丙醇探针反应，沸石孔容和孔道内酸性未受孔口调变的影响。结果还表明Ｓｉ（ＯＥｔ）４未进入沸石孔道，而六甲基硅醚分子则进入Ｈβ沸石孔道，