Sobolev空间H~s(R~n)上矩阵伸缩的多尺度分析特征刻画

本文对高维Sobolev空间Hs(Rn)上具有矩阵伸缩的多尺度分析特征进行了 刻划,特别给出了稠密性特征的一个充分必要条件,从而解决了文献[4]中提出的一个 问题.所得结果覆盖了这方面的已知结论.     

顶夸克的发现

 今年3月2日,在美国费米国家实验室举行的报告会上,CDF和D0两个实验组分别报告了他们的实验结果,正式宣布发现顶夸克(Top Quark,也称t夸克)。     

半导体中多光子吸收跃迁速率的全量子理论分析

本文从非线性光学中辐射跃迁速率的表达式出发,在全量子理论下,导出了半导体中任意阶多光子吸收跃迁速率的一般表达式。理论分析结果表明,n光子吸收跃迁速率与光强的n次方和n阶光子相干度成正比。本文在多能带及二能带理论模型下,对多光子吸收跃迁速率的一般表达式进行了化简,并对非线性相互作用项对跃迁速率的贡献,作了讨论。     

多夹层板壳的非线性理论及应用（Ⅲ）：扁壳的弯曲和稳定

本文根据文[1]获得的多夹层扁壳非线性基本方程，求解了各种载荷及边界条件下矩形底面多夹层扁壳的非线性弯曲问题，多夹层板、扁柱亮在轴向压力作用下的稳定问题，以及一般形状的扁壳在边界作用力下的变形．     

重离子碰撞横能分布的饱和现象与多源模型

本文在深入分析高能不等核碰撞机制的基础上,进一步发展多源模型.计算了CERN和BNL两个能区的中心快度横能分布,成功地解释了高能时横能分布随靶核质量增加的加宽和低能时的饱和.给出了横能分布达到饱和(完全核阻止)的靶核质量.     

真值维护系统的语义研究

本文研究了带有CP(Conditional Proof)验证式 TMS(Truth Maintenance System)理论的形式语义,证明了TMS理论J转换为新理论J*后,原指称的有效性;讨论了U. Junker和Kurt Konolige所定义的不带CP验证式 TMS理论的扩充在我们的语义模型中的有效性。此外,本文还讨论了CP验证式的一些性质,结论是:CP验证式和非单调可证明性、逻辑真有着密切的关系。     

取样平均法提高CCD多道探讨器信噪比

应用取样平均法有效地提高了ＣＣＤ光学多道探测器信噪比，当采样次数为ｍ时，信噪比提高√ｍ倍，应用于实验得到了高信噪比的各种光谱谱图。     

双原子、三原子系统的共振荧光峰值与线宽

计算了双原子、三原子系统共振荧光的峰值与线宽随Rabi频率变化的关系，以及受激辐射与自吸收的影响 关键词：