On Riemann-Finsler geometry

The history of Finsler geometry is reviewed and briefly recent development in Finsler geometry and its application is completed systematically. Furthermore, an interesting open problem has been proposed in this field.     

Something about random normed modules

The fourth axiom in the definition of real random normed module is superfluous. A necesmry and sufficient condition is given that continuous random linear functionals over complex random normed spaces are a. s. bounded, and furthermore, in the sense of inometrical isomorphism it is proved the fourth axiom in the complex random normed module is superfluous.     

利用激光散斑进行数字相关测量的可行性研究

本文从理论上阐述了激光散斑在用于数字相关测量时的性质及其与白光散斑相比的主要误差来源,讨论了其测量范围,并给出相应的实验验证．     

投影角与两直线空间夹角关系的判定定理

空间两直线所成的角度,投影时并非不变量,其投影角可大于、小于或等于其空间夹角．本文通过空间分析和解析计算推证出构成空间角度的两直线当中有一条直线与投影面平行时,其投影角的判定定理组．     

多维双曲型方程一般差分逼近时空网格同时加密的稳定性

讨论多维常系数双曲型方程式在一个中介面两侧的区域中,关于时间空间网格同时加密或稀疏情况下,分别应用不同的一般的柯西稳定差分逼近式的耦合稳定条件,推广了Ｂｅｒｇｅｒ只用于一维情形及Ｌ－Ｗ格式的结果．在多维情形下,应用Ｍｉｃｈｅｌｓｏｎ方法,利用傅里叶变换,得到包含对偶参数的特征方程式．再应用Ｍｉｃｈｅｌｓｏｎ的Ｕ．Ｋ．Ｃ判别条件,得到了多维常系数双曲型方程在中介面两边应用一般的分别为柯西稳定的格式并关于时空网格同时加密或稀疏问题的耦合稳定条件．     

Hilbert空间的Nevanlinna第一基本定理

本文研究了取值在无穷维Ｈｉｌｂｅｒｔ空间中的向量值的Ｐｏｉｓｓｏｎ－Ｊｅｎｓｅｎ－Ｎｅｖａｎｌｉｎｎａ公式,向量值的Ｎｅｖａｎｌｉｎｎａ第一基本定理、Δｌｏｇ││ｆ（ζ）││的表示及Ｔ（ｒ,ｆ）的性质。     

关于线性序同态与LF线性算子的连续性

给出了线性序同态与ＬＦ线性算子的定义并得到了其结构刻划表示定理,证明了ＬＦ线性算子是线性序同态的点式刻划,在此基础上,讨论了ＬＦ拓扑线性空间上ＬＦ线性算子的连续问题,得到了ＬＦ线性算子连续的若干等介刻划条件。     

关于凸过程的有界性和可测性*

设Ｘ是实序列完备的局部凸拓扑向量空间,Ｙ是拓扑向量空间．设Ｔ：Ｘ→２Ｙ是凸过程（ＣｏｎｖｅｘＰｒｏｃｅｓｓ）,且它的定义域Ｄｏｍ（Ｔ）是Ｘ的闭子空间．本文证明了若对Ｘ上的每一可分子空间Ｍ,Ｔ在Ｍ上的限制是绝对可测的,则Ｔ是有界的．     

广义分布参数变结构系统的不变性条件

首次研究了广义分布参数系统的不变性条件,利用特征向量函数法将广义分布参数系统化为一广义系统,证明了它们的不变性条件是等价的,同时也指正了某些文献个别结论和证明．     

一种适合于网络专家系统的通用理论(英文)

描述运用于工业自动化的一种自适应自学习方法。基于此方法,Ａｐｔｒｏｎｉｘ公司开发出一套通用软件工具－ＳＴＩＭＴＭ,并应用于不同工业领域。ＳＴＩＭ可用于构造各类专家系统。基于因素空间理论,ＳＴＩＭ具有一系列独特之处,比如自动化、自学习,以及自翻译。如果与因特网,嵌入式控制器以及可编程逻辑控制器等结合使用,ＳＴＩＭ则成为一个十分有效的工具,可应用于远程连通与控制、模式识别、机器故障诊断,以及自动化加工过程中的传感器数据融合