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

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

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

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

Hilbert空间的Nevanlinna第一基本定理

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

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

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

构造 TCM 好码的动态规划算法

提出了一种构造ＴＣＭ好码的动态规划算法（ＤＰ）．ＤＰ算法在建立了ＴＣＭ好码规则、编码器及信号网格图间的对应关系的基础上,采用动态规划算法进行寻优,从而获得ＴＣＭ好码．与常规ＴＣＭ好码构造算法［４,５］相比,本算法在精度、计算复杂度和灵活性上均有所改进．     

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

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

远程教育管理技术及其实现

分析了远程教育管理涉及的教育模式和管理内容,并给出了基于ＣＥＲＮＥＴ、Ｉｎｔｅｒｎｅｔ网络环境下的初步实施方案,对阐述了如何实现ＷＷＷ服务器对数据库的高效防间和系统的安全等有关技术问题。     

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

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

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

对具有快慢变量非线性方程组的边值问题(μ是小参数) (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型极大极小原理的许多结果,可作为论文“不动点型极大极小定理的一点推广”的直接结论。