locale范畴中的逆极限

给出locale范畴中逆极限结构的明确描述 .借助于引入的一种新的极限形式———集体拉回 ,详细讨论了逆极限的性质 ,特别地 ,不用选择公理证明了locale形式的Steenrod定理 ,并且证明了紧空间式locale的逆极限一般不是空间式的 .作为在拓扑空间范畴中的应用 ,改进了经典拓扑学中的Steenrod定理     

Heyting代数的谱空间

本文通过Ｈｅｙｔｉｎｇ代数谱空间的刻画，给出了Ｈｅｙｔｉｎｇ代数的拓扑表达。     

Locale范畴中的零维性

本文讨论ｌｏｃａｌｅ的零维性质，主要结果有：（１）给出ｌｏｃａｌｅＡ的核映射（ｎｕｃｌｅｕｓ）构成的ｌｏｃａｌｅＮ（Ａ）中上确界的点式刻划，并得到了Ｎ（Ａ）的紧性与Ａ的紧性之间的关系；（２）给出零维ｌｏｃａｌｅ与ｃｏｈｅｒｅｎｔｌｏｃａｌｅ之间的关系，以及零维ｌｏｃａｌｅ的紧零维反射；（３）给出零维ｌｏｃａｌｅ范畴在ｌｏｃａｌｅ范畴中的刻划．     

L—不分明拓扑空间的Alexandorff紧化

给出了一般的Ｌ－不分明拓扑空间的Ａｌｅｘａｎｄｏｒｆｆ紧化，并且对弱诱导空间证明了该紧化是弱诱导紧化类中唯一最小的紧化。     

烟幕对光电观瞄设备干扰效果的评估准则

为定量、客观评估烟幕对光电观瞄设备的干扰效果，应用Johnson准则和数字图像处理方法，提出了四种评估准则：目标鉴别等级准则、目标鉴别概率准则、作用距离准则和相似度准则．目标鉴别等级准则、目标鉴别概率准则和作用距离准则分别依据实施干扰前后光电观瞄设备的目标鉴别等级、目标鉴别概率和作用距离的变化评估烟幕对光电观瞄设备的干扰效果．相似度准则利用光电观瞄设备在实施干扰前后图像之间的相似度评估烟幕干扰效果．