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

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

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

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

Hilbert空间的Nevanlinna第一基本定理

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

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

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

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

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

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

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

具有空间对照结构渐近解的构造(Ⅰ)

对具有快慢变量非线性方程组的边值问题(μ是小参数) (du)/(dx)=g(x,u,v,w) μ(dv)/(dx)=F(x,u,w) μ(dw)/(dx)=G(x,u,v) u(0,μ)=v(0,μ)=v(1,μ)=0 本文讨论了产生空间对照结构时的渐近解构造,“啪”型内部层解位置的确定及给出了渐近解的误差估计。     

关于极大极小定理的一点注记

本文证明了关于Von Neumann型极大极小原理的许多结果,可作为论文“不动点型极大极小定理的一点推广”的直接结论。     

退火条件对LDPE空间电荷特性的影响研究

使用冷却速率不同的3种退火方法制备了不同微观形态的LDPE薄膜,对薄膜试品进行了显微观测,并运用傅立叶红外分析对3种试品的结晶度进行了比较,同时使用PEA空间电荷测量技术对不同电场下这3种试品的空间电荷分布进行了观测,并基于结晶度和微观形态对LDPE空间电荷特性做了讨论.研究结果表明施加电场撤压后,高速冷却试品比低速冷却试品和正常冷却试品积聚更多的空间电荷,而随着撤压时间的增加,低速冷却试品中积聚的空间电荷衰减得最快.     

Linux设备驱动开发方法及应用实例

介绍了基于LKM(linuxkernelmodel)的Linux设备驱动开发方法,完成了THIPC-7462测控模板的驱动程序,并讲述了其在THMR-V视觉临场感遥控系统上的具体应用.