红外动态场景生成装置空间分辨率的测试

建立了一套基于刀口灰度图红外探测的实验装置,对红外场景生成器的空间分辨率进行了测试。首先通过被测红外场景生成器产生带有刀口标志的红外图像,然后利用红外热像仪采集红外场景生成器所成的红外图像,通过对采集到的红外热图的数据处理,实现了对红外场景生成器空间分辨率的测量。测得的红外场景生成器的空间分辨率为5lp/mm,标准误差为0.04。     

可修系统中半马氏过程的稳态分布

众所周知,可修系统是可靠性理论中讨论的一类非常重要的系统,也是可靠性数学主要研究对象之一,研究可修系统的主要数学工具是马氏理论.当构成系统各部件的寿命分布和故障后的修理时间分布,及其出现的有关分布均为指数分布时,只要适当的定义系统的状态,这样的系统总可以用马氏过程来描述.大部分学者为了方便,均是在马氏框架下研究问题的.但是在实践中经常遇到部件的寿命或修理时间分布不是指数分布的情形,这时可修系统所构成的随机过程是半马氏过程,用现有的马氏理论无法解决相关问题.目前,关于半马氏的理论研究的研究又很少,基于此,针对半马氏的随机模型给出了与马氏理论相平行的稳态分布的求解方法.     

关于绝对半素环和绝对半素根

本文了绝对半素环的概念，研究了绝对半素与与半素环及素环之间的关系，讨论了由全体绝对半素环类决定的上根－－绝对半半素根及其性质。     

FINITE GROUPS WHOSE AUTOMORPHISM GROUP HAS ORDER CUBEFREE

ＦＩＮＩＴＥＧＲＯＵＰＳＷＨＯＳＥＡＵＴＯＭＯＲＰＨＩＳＭＧＲＯＵＰＨＡＳＯＲＤＥＲＣＵＢＥＦＲＥＥＬＩＳＨＩＲＯＮＧＡｂｓｔｒａｃｔＬｅｔＧｄｅｎｏｔｅａｆｉｎｉｔｅｇｒｏｕｐ．Ｉｔｉｓｓｈｏｗｎｔｈａｔｉｆ｜Ａｕｔ（Ｇ）｜ｉｓｃｕｂｅｆｒｅ...     

矩阵方程A^TXB=C的正定和半正定解

给出了矩阵方程Ａ＾ＴＸＢ＝Ｃ在正定和半正定矩阵类中有解的充要条件及解的一般表达式。     

边剖分、点扩张与图的最大亏格的可约性

设γM（G）是连通图G=（V，E）的最大亏格，记EM^-（G）={e∈E(G)|G\e连通，且γM（G\e）=γM（G）}。若EM^-(G)≠0，则称G是γ（G）-可约的；否则称G是γM（G）-不可约的。本文证明了边的剖分不改变图的最大亏格可约性，点的扩张不改变上可嵌入图的最大亏格可约性；并给出了两类满足EM^-（G）=E（G）的非4-边连通图。     

Ti_(1-x)(Hf_(0·919)Zr_(0·08))_xNiSn的制备及热电性能

采用固相反应法合成了单相的Ti_(1-x)(Hf_(0·919)Zr_(0·08))_xNiSn(x=0·00—0·15),并用放电等离子烧结方法制备出密实块体材料.研究了Hf和Zr同时在Ti位上的等电子合金化对Ti基半Heusler化合物热电性能的影响规律.结果表明:少量的Hf和微量的Zr在Ti位上的等电子合金化,显著地降低了体系的热导率κ,同时显著地提高了体系的Seebeck系数α.组成为Ti_(1-x)(Hf_(0·919)Zr_(0·08))_(0.15)NiSn的试样室温热导率为3·72W·m-1K-1,在700K时ZT值达到最大为0·56.与三元TiNiSn相比,在相同温度下ZT值的提高率为190%—310%.     

拆边法求最短路径

本文利用局部比较法 ,在图中定义子图、无效路径、以及可去边 .利用推导的有关定理 ,拆去可去边 ,利用最短路径相同的等价性 ,达到化简图 ,从而求出最短路径     

可变抽样区间的非参数控制图

最近几年一些学者研究了可变抽样区间的质量控制图。Amin等提出了可变抽样区间(VSI)的非参数控制图———符号 (Sign)统计量图〔1〕。本文在此基础上研究位置VSI符号控制图的制定方法 ,并设计离散VSI符号控制图。符号控制图的优点是对非正态总体亦可应用 ,并且不需要过程方差的信息。本文将所设计的VSI符号控制图同固定抽样区间 (FSI)的常规图作比较 ,并举实例说明符号控制图的应用