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

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

星载激光测高仪接收放大器参数的优化设计

为使星载激光测高仪满足测量精度的需求,分析了接收放大器部分的设计原则与要求,对带宽、信噪比、探测灵敏度和放大倍数等主要性能参数进行了理论分析与研究,得到了性能参数的关系和优化的参量。理论结果表明,在激光测高仪测量范围为450 km~650 km,激光脉冲宽度为8 ns~12 ns,工作波长为532 nm与1 064 nm的情况下,对放大器性能参数进行分析计算,可以满足虚警率为1%的星载激光测高仪的设计需求。     

微乳液-水热结合法制备光色可调的α-NaYF4:Yb,Er,Tm纳米材料

采用微乳液-水热结合法制备了NaYF4:Yb3+,Er3+,Tm3+纳米粒子,利用X射线衍射(XRD)、扫描电镜(SEM)等手段对样品的物相、结构和形貌进行了分析与表征。产物的X射线衍射峰与标准卡片PDF#77-2042完全一致,属于立方相NaYF4;SEM图片显示所制备的纳米粒子形貌和粒径都比较均一,为120nm左右的棉花状小球,由纳米微粒聚集而成;在980nm光的激发下,纳米粒子能够同时发出蓝光(438和486nm)、绿光(523和539nm)和红光(650nm);通过调节Tm3+:Er3+的比例(0,0.5,0.8,1,2,3,5,7),由色度坐标图(CIE)可以看出当Tm3+和Er3+的比例从0增加到2时,样品的整体发光光色是向绿光方向移动;当Tm3+和Er3+的比例为1:1时,得到伪白光;Tm3+和Er3+的比例从2到7时,样品整体的发光向红光方向移动。     

不连续双斜向内肋管纵向涡流动显示

利用染色线流动显示方法,显示并分析了不同雷诺数下不连续双斜向内肋管管内流场。流动显示实验结果表明不连续双斜向内肋管管内存在较强的贴近壁面的纵向涡,纵向涡沿流向可持续约一倍管径距离,并且纵向涡的强度随雷诺数的增加而增强。     

Chemical Oxidation of La2CuO4 Epitaxial Thin Films Grown by Pulsed Laser Deposition

Chemical oxidation is used to induce superconductivity in La2CuO4 expitaxial thin films fabricated by pulsed laser deposition technique. Details about the influence of oxidation time on structural, surface morphology, Raman spectra, and electrical properties have been investigated. The results convince that successful uptake of oxygen occurs in the oxidized films, and the content of the inserted oxygen increases with increasing oxidation interval. The possible mechanism for the excess oxygen insertion into the film is also discussed.     

Sb，In，P掺杂对SnO2薄膜透明导电性能的影响

采用溶胶凝胶（Sol-Gel）技术制备了SnO2：（Sb，In）透明导电薄膜，优化了制备工艺参数，获得了最佳制备条件．研究表明，4％的铟掺杂有效地改善了薄膜的内部结构，使得紫外-可见光的透过率显著增加；7％的锑掺杂释放出了更多的栽流子，使薄膜的方块电阻降低，2％的磷掺杂因准连续杂质能带的形成进一步提高了薄膜的电导率．Sb、In、P的掺入使得SnO2薄膜的紫外-可见光的透过率达83％，方块电阻达38Ω。     

单峰映射允许揉搓序列的维数和测度

本文证明了单峰映射的允许揉搓序列组成的集合在符号空间∑_2中的 Hausdorff 维数为1,1维 Hausdorff 测度为零。     

脉冲螺旋Wiggler磁体

本文讨论了Ｓｔａｎｆｏｒｄ大学所建筑的自由电子激光器中所采用的新奇的螺旋管Ｗｉｇｇｌｅｒ磁场的有关特性，并着重分析了脉冲电流螺旋Ｗｉｇｇｌｅｒ磁体的主要参数和时间特性。     

稠密Ar等离子体不透明度的计算

用屏蔽氢离子模型计算了冲击压缩产生的温度T～1.8 eV,密度ρ～0.0044 g/cm3稠密氩等离子体随光子能量变化的辐射不透明度,并与实验作了比较,探讨了冲击压缩产生的稠密等离子体中自由-自由吸收、束缚-自由吸收和束缚-束缚吸收对不透明度的贡献.计算结果表明,对冲击压缩产生的稠密等离子体,自由-自由吸收对不透明度的贡献非常大,特别当光子能量较低时(hv～2.0 eV )自由-自由吸收为不透明的主要部分,因此较好地计算自由-自由吸收项对冲击压缩产生的稠密等离子体不透明度的研究是非常重要的.     

板条固体激光器的三维瞬态热分布

本文建立了有限几何尺寸板条激光介质的三维温度分布模型.在普遍情况下,推导出温度分布的解析式.由此便于分析板条温度分布和泵浦参数、激光介质等的依赖关系.借助计算机进行的数值计算,证实了理论结果.