因素空间理论与知识表示的数学框架(XⅢ)──描述架中概念的结构(2)

本文是［１，１２］的继续，研究描述架中概念的结构；本文讨论后半部分，内容涉及概念内涵与外延的转换，清晰关系的内投影与内变换，概念的结构＊以及有关问题的注记。     

A Fixed Point Theorem for Multi—valued Composite Increasing Operators

Ａ　Ｆｉｘｅｄ　Ｐｏｉｎｔ　Ｔｈｅｏｒｅｍ　ｆｏｒ　Ｍｕｌｔｉ－ｖａｌｕｅｄ　Ｃｏｍｐｏｓｉｔｅ　Ｉｎｃｒｅａｓｉｎｇ　ＯｐｅｒａｔｏｒｓＬｉＦｅｎｇｙｏｕ（李凤友）（ＤｅｐａｒｔｍｅｎｔｏｆＭａｔｈｅｍａｔｉｃｓ，Ｔｉａｎｊｉｎ＇ＮｏｒｍａｌＵｎｉ...     

一个强极限定理

设是可列非齐次马氏链，本文通过利用［１］中提出的在Ｗｉｅｎｅｒ概率空间的一种实现，而给出了一个对任意可列非齐次马氏链普遍成立的强极限定理。     

非空交定理及其应用

本文得到了广义区间空间中几个参数型非空交定理，并用此结果证明了一些新型极大极小定理，截口定理，重合定理，以及变分不等式解的存在性定理。本文中的结果包含（１，３，５－１２，１４－１６）中相应结果。     

映象方程多解问题的某些研究

本文用ｆｐ－同伦方法，在一定的技巧和变换的配合下，在紧性条件支持下，研究了赋范线性空间中一类集值映象方程的多解问题。还给出所得理论结果的一个应用。     

关于三商映射

三商映射是完备映射和开映射的共同推广。本文综述三商映射的理论，论术这三商映射，开映射，紧覆盖映射，诱导完备映之间的一些转换关系，提出了几个供进一步研究的问题。     

THE EXISTENCE THEOREM OF THE CONE-WEAK SUBDIFFERENTIAL OF SET-VALUED MAPPING

In this paper, the existence theorem of the cone-weak subdiflerential of set-valued mapping in locally convex topological vector space is proved.     

生存轨道与集值映象的不动点

基于无穷维空间中的生存定理，我们研究了集值映象的不动点，得到了一个新的不动点定理，推广和改进了[1]和[5]中的相应结果。     

飞行管理问题的实时算法

本文讨论了在一定区域空间内进行飞行管理避免飞机相撞的模型，提出了直接搜索法和非线性规划（SUMT）法两种解法，并将两种方法有机结合，得出的算法在486微机上计算时间小于10秒，误差不超过0.01度，完全符合问题的要求。本文接着给出四种不同情况分别用两种方法求解，进行比较检验，取得很好的吻合，充分说明了模型3的可靠性。本文还对模型的误差进行分析并对模型进行推广。