关于可达矩阵的求法探讨

在《离散数学》、《图论》课程中 ,用矩阵表示图时 ,涉及到一类重要的矩阵——可达矩阵 ,它是判别图中任意两点是否有通路的重要手段 ,也是求强分图的重要方法 ,但是可达矩阵的求法比较复杂 .本文针对这一问题 ,对可达矩阵的求法进行了改进 ,提出了一种简单可行的算法 .     

电热原子吸收光谱法中原子形成机理的热力学和动力学研究

本文对电热原子吸收光谱法（ＥＴＡＡＳ）中气态原子形成机理的热力学和动力学研究状况进行了评述，引用文献６２篇。     

碱金属掺杂富勒烯超导体的临界温度和约化能隙研究

碱金属掺杂富勒烯与传统的超导体情况不同，它有一个很宽区域的声子谱，其最高频率和最低频率分别与费密能Ｅ_F和零温超导能隙△₀为同一数量级，这必将导致对原来强耦合超导电性理论的修正。本文在此情况下求解Ｅｌｉａｓｈｂｅｒｇ方程，得到Ｔ_c和△₀的表达式。结果表明，分子间的低频振动模和分子上的高频振动模同样参与电声耦合，Ｔ_c主要取决于声子谱中高频成份的贡献，而△₀的增加主要取决于声子谱中 关键词：     

反散射理论导出极低能量下的e-He相互作用势

以入射能量为２ｅｙ的ｅ－Ｈｅ弹性散射微分截面的实验数据为基础，运用反散射方法，理论上导出了ｅ－Ｈｅ的相互作用势。用这样的相互作用势计算能量为２和５ｅｖ时的弹性微分截面。所得结果表明，ＷＫＢ反散射方法对极低能情况是失效的，但量子反散射方法仍然非常成功。在极低能情况下，量子反散射方法得到的ｅ－Ｈｅ相互作用势是实数和定域的，呈现出强Vａｎ ｄｅｒ Ｗａａｌｓ势的特征，能给出符合实验数据的结果。     

一种形式化验证方法:模型检验

模型检验作为一种形式化验证方法,近年来在各种硬件、软件设计中得到了广泛应用．文中首先介绍了描述系统行为的Kripke结构和描述系统性质的CTL逻辑,然后介绍了模型检验中常用的两种算法：标记算法和基于固定点的算法,最后介绍了为避免内存爆炸而引入的符号模型检验技术．     

多段构件组成的压杆平面内稳定

分析由若干段等截面或者变截面构件组成的压杆平面内稳定问题．从由三段等截面构件组成的压杆平面内稳定问题出发，对两端为变截面、中间为等截面构件组成的压杆的平面内稳定问题进行了分析，得出和两端为等截面构件情况类似的屈曲荷载计算公式．并对两端固接的情况进行了研究分析．     

椭球约束下误差方差非负二次估计的可容许性

本文给出了线性模型中椭球约束下，误差方差非负二次估计可容许的一个必要条件，并且，对于线性模型中设计阵X＝1nj=(1,1,…，1）′的特殊情形，本文给出了一个充要条件。     

Memory Effect in Ceramic Superconductors

We measured the time decay of the magnetic moment of high T_c superconductors YBa₂Cu₃O_7-δ ceramic samples and found the memory effect which has hitherto been reported only in single crystals. The temperature and field ranges, especially the memory phenomenon in ceramic samples at liquid nitrogen temperature can only be understood in a combined picture of both flux creep and glass behaviour     

提高全息图衍射效率的一种方法

本文介绍用稀释显影提高全息图衍射效率的方法。给出了稀释显影的特性曲线以及衍射效率与显影时间、曝光量之间的关系。得到了三种全息干板的高衍射效率。 关键词：     

非平衡系统Master方程的稳定性

针对非平衡统计中出现的多元线性Master方程,利用“熵产生”和“剩余熵产生”的概念讨论了Master方程在线性平衡区和非线性远离平衡区的稳定性问题。从而得到与Prigo-gine宏观热力学理论中一致的结果。此外还提出了Master方程所决定的“概率流”的概念,给出了概率流分解的具体解析表达式。 关键词：