双掺(Tm3+,Tb3+)LiYF4激光器1.5 μm波长激光阈值分析

由速率方程推出了双掺（Tm^3 ,Tb^3 ）离子准四能级系统的激光阈值解析式，讨论了Tm^3 和Tb^3 离子之间的相互作用。分析了1.5μm波长附近的激光阈值和Tm^3 、Tb^3 离子的掺杂原子数分数及晶体长度的关系。结果表明，对于对应Tm^3 离子^3H4→^3F4跃迁的约1.5μm波长的激光，激活离子Tm^3 的掺杂原子数分数过大时，交叉弛豫作用将使系统阈值迅速增加。Tb^3 离子的加入，一方面能抽空激光下能级，起到降低阈值的作用；另一方面亦减少了激光上能级的寿命，使阈值升高。故Tb^3 离子有最佳掺杂原子数分数。对于Tm原子数分数为y=0.01的Tm:LiYF4晶体，Tb^3 离子的最佳掺杂原子数分数为0.002左右，同时表明，激光阈值与晶体长度有关。最佳晶体长度与Tm^3 、Tb^3 离子的掺杂原子数分数以及晶体的衍射损耗和吸收损耗有关。     

一阶最优性条件研究

本对由Botsko的关于多变量函数取极值的一阶导数检验条件定理^[1]进行了分析研究，给出了更实用而简捷的差别条件。最后，举出若干例子予以说明。     

用变形全息透镜实现变形分数傅里叶变换

利用一发散点光源和一束倾斜平行光制作出在两个垂直方向上具有不同焦距的变形全息透镜,且用此全息元件实现了变形分数傅里叶变换。变形全息透镜两个方向上的焦距随全息记录条件和再现条件而变化,分析了用这种全息透镜实现变形分数傅里叶变换的条件。实验表明,用该元件能够方便地实现任意级次的变形分数傅里叶变换。     

图有分数因子的度条件

本文研究了图有分数因子的度条件,得到了下面的结果：令k(?)1是一个整数,G是一个连通的n阶图,n(?)4k-3且最小度δ(G)(?)k,若对于每一对不相邻的顶点u,v∈V(G)都有max{d_G(u),d_G(v)}(?)n/2,则G有分数k-因子．并指出该结果在一定意义上是最好可能的。     

Lens 空间 L~n(p)的■_∧-群■_∧(L~n(p))

设η为 Lens 空间 L~n(p)上的典则复线丛,σ=η-1∈(?)(L~n(p))本文完全求出了元素 σ~i∈(?)(L~n(p))及(rσ)~i∈(?)(L~n(p))的阶.然后,我们把 k 理论中的 r~i 运算应用到 Lens 空间到欧氏空间的浸入和嵌入问题上,得出了新的结果.     

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

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

微积分严格化之后(续二)

一、复数域上的微积分Frobenius定理说 :实数域上所有有限维结合可除代数 ( Division Algebra)只有三个 ,即 :实数域 ,复数域 ,四元数 ( Quaternion)代数 ,如果去掉结合性要求 ,则实数域上还有另一个可除代数 Cay-ley-Dickson代数 ,即 Octonion代数。在实数域上的维数为 8。由于四元数代数不可交换 ,Cayley-Dickson代数既不可交换又不结合。而复数域既可交换又可结合 ,且复数早已为人们所熟悉 ,于是人们在考虑原有微积分 ,即实数域上的微积分之后 ,理所当然地考虑复数域上的微积分 ,这就形成了复分析。复分析既然是复数域上的微积分 ,那…