非线性控制系统的最小实现

对于那些由代数微分方程描述的具有输入输出关系的非线性控制系统，本文采用两种方法讨论了其最小实现问题：一种方法是直接计算系统的特征列；另一种方法则采用了本原元定理．两种方法给出的最小实现所需的状态变量最小数目是相等的．文中的大量代数与微分运算则可利用数学机械化来完成     

A Fixed Point Theorem for Multi—valued Composite Increasing Operators

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

一个强极限定理

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

半序集下同调的研究概况及Quillen猜想的一个重要方面

１９７８年，Ｄ，Ｑｕｉｌｌｅｎ证明了：若群Ｇ有非平凡的正规ｐ－子群，则由ｐ－子群组成的半序集是可缩的。同时，他还猜想逆定理也成立。１９９３年，Ｍ．Ａｓｃｈｂａｃｈｅｒ和Ｓ．Ｄ．Ｓｍｉｔｈ证明了若群Ｇ不包含某种酉分支的话，则Ｑｕｉｌｌｅｎ猜想的确成立，在他们的证明中，Ｑｕｉｌｌｅｎ所证明的下述定理起着很重要的作用：由基本阿贝耳Ｐ－子群组成的半序集到所有Ｐ－子群组成的半序集的包含映射导出对应下同调的同构。以Ｂｕｃｈｓｂａｕｍ条件为重要的工具，本文将重新叙述此定理的证明。     

广义集值强非线性拟变分不等式

本文引入并研究一类新的广义集值强非线性拟变分不等式,讨论这类广义集值强非线性拟变分不等式解的存在性以及由算法所构造的迭代序列的收敛性.我们的结果改进和发展了Noor,Siddiqi和Ansari等人近期的一些主要结果.     

集值Lebesgue—Stieltjes积分

本文首先刻划了B(R_ )上的集值测度,其次建立了(R_ B(R_ ))上的集值Lebesgue-Stieltjes积分.最后,进—步建立了集值随机Lebesgue-Stietjes积分的理论.     

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

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

李群,拓扑与微分几何

该文介绍严志达院士的若干工作，以庆贺他的八十寿辰．     

线性常微分方程组解的特征数的估计

复数域上线性系统ｘ＝Ａ（ｔ）ｘ，当Ａ（ｔ）＝（ａｉｊ（ｔ））ｎ×ｎ具有（ｎ，Ｎ，ｒ） 差异性质且ｒｎ时，解的特征数ｊ有估计λｊ－ｌｉｍｔ→∞１ｔ∫ｔｔ０Ｒｅａｊ（τ）ｄτｎ－１ｒ＋１－ｎｌｉｍｔ→∞１ｔ∫ｔｔ０Ａ（τ）ｄτ，ｊ＝１，２，…，ｎ，其中Ａ（ｔ）＝ｍａｘ｛｜ａｉｊ（ｔ）｜：ｉ，ｊ＝１，２，…，ｎ，ｉ≠ｊ．｝     

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.