目前，计算机系统的设计正确性检验问题已成为人们关注的重点，形式化方法就是一种新兴的系统设计验证方法，它有效地弥补了传统的测试、......

本文讨论了取值于可分自反Ｂａｎａｃｈ空间可测集值映射序列的Ｅｇｏｒｏｖ型收敛定理，在几种不同拓扑收敛意义下，刻划了可测集值映射序列的几科处处收敛。......

本文讨论一般 Banach 空间X上发展方程(?)+Ay(t)=0,y(O)=v的初值最优控制问题。通过引入控制函数空间的方法,证明了最优控制的存在......

将量纲分析中的Ⅱ定理用线性空间表示，建立一种量纲分析的系统方法，并利用科学计算软件Mathematica9提供的新功能，使量纲分析变得方便......

In this paper we study the three new asymptotic-norming properties which are called locally asymptotic-norming property ......