广义循环平稳随机过程的定义及其性质

循环平稳信号作为一种特殊的非平稳信号 ,有着广泛的应用前景。首先给出了广义循环平稳随机过程的定义 ,在此基础上证明了广义循环平稳随机过程的和、差、均方极限、均方导数仍为广义循环平稳随机过程 ;其次讨论了广义循环平稳过程的均值和自相关函数的周期遍历性 ,这一性质在处理实际问题时非常有用。

弱集值渐近鞅的收敛定理

为了得到关于弱集值渐近鞅的收敛性质 ,首先证明了支撑函数列的极限亦为一支撑函数。利用支撑函数的性质以及集值鞅的 Doob停止定理 ,证明得到了两个结论 :1在一定条件下 ,弱集值渐近鞅存在无限逼近的闭凸集值鞅 ;2在弱收敛意义下 ,弱集值渐近鞅收敛的两个等价条件。

基于支持向量机的雷达一维距离像识别

本文利用三类常用的核构造的支持向量机来对雷达目标一维距离像识别,得到了较高的识别率,通过改进支持向量机的核能较大程度减少训练时间,也能使支持向量的个数显著减少,同时具有较高的识别率。

集值随机分析中的完备性问题

定义了一个由可料紧凸集值随机过程构成的空间和两个可料紧凸集值随机过程的距离 ,并给出了两随机过程相等的条件 ,由此空间以及定义在其上的距离 ,构造了一个度量空间 ,并证明了这个度量空间是完备的。进而给出了一个由平方可积紧凸集值鞅构成的度量空间 ,说明了这个空间也是完备的。

Wick型随机Boussinesq方程组的精确解

研究随机环境下Boussinesq方程组的精确解问题.在Kondratiev分布空间(S)-1中利用白噪声分析、Hermite变换和改进的Fan代数方法,得到Wick型随机Boussinesq方程组和变系数Boussinesq方程组的白噪声泛函解和精确解.

多态π演算的互模拟等价关系及其公理化

类型系统在分布式系统理论中有着非常重要的作用。在为π演算引入多态类型系统后,需要对新的环境下进程的等价关系进行研究。在多态类型系统下,环境只能得知进程中通道的抽象类型,而无法得知通道的具体类型,此时环境的区分能力被削弱,所得到的互模拟关系更为粗糙。本文在以往文献研究的基础上给出了多态π演算互模拟的一个公理系统,并证明了公理系统的一致性和完备性。

高等数学多媒体教学的尝试和认识

本文分析了工科数学教学中存在的问题,讨论了对大学高等数学课程实行多媒体教学的一些尝试和认识。