严榴香
- 作品数：8 被引量：9H指数：1
- 供职机构：解放军理工大学理学院更多>>
- 发文基金：江苏省“333”工程基金项目国家自然科学基金更多>>
- 相关领域：理学自动化与计算机技术机械工程电子电信更多>>
- 广义循环平稳随机过程的定义及其性质被引量：4
- 2003年
- 循环平稳信号作为一种特殊的非平稳信号 ,有着广泛的应用前景。首先给出了广义循环平稳随机过程的定义 ,在此基础上证明了广义循环平稳随机过程的和、差、均方极限、均方导数仍为广义循环平稳随机过程 ;其次讨论了广义循环平稳过程的均值和自相关函数的周期遍历性 ,这一性质在处理实际问题时非常有用。
- 严榴香李力汤光华
- 关键词：均值自相关函数
- 集值随机分析中的完备性问题
- 2005年
- 定义了一个由可料紧凸集值随机过程构成的空间和两个可料紧凸集值随机过程的距离 ,并给出了两随机过程相等的条件 ,由此空间以及定义在其上的距离 ,构造了一个度量空间 ,并证明了这个度量空间是完备的。进而给出了一个由平方可积紧凸集值鞅构成的度量空间 ,说明了这个空间也是完备的。
- 周华任严榴香刘常昱
- 关键词：集值鞅集值随机过程完备度量空间
- 基于支持向量机的雷达一维距离像识别
- 本文利用三类常用的核构造的支持向量机来对雷达目标一维距离像识别,得到了较高的识别率,通过改进支持向量机的核能较大程度减少训练时间,也能使支持向量的个数显著减少,同时具有较高的识别率.
- 汤光华王俐莉严榴香陈琦
- 关键词：雷达目标支持向量机一维距离像识别率目标识别
- 文献传递
- 高等数学多媒体教学的尝试和认识被引量：1
- 2004年
- 本文分析了工科数学教学中存在的问题,讨论了对大学高等数学课程实行多媒体教学的一些尝试和认识。
- 周华任严榴香
- 关键词：高等数学多媒体教学
- 基于支持向量机的雷达一维距离像识别被引量：1
- 2006年
- 本文利用三类常用的核构造的支持向量机来对雷达目标一维距离像识别,得到了较高的识别率,通过改进支持向量机的核能较大程度减少训练时间,也能使支持向量的个数显著减少,同时具有较高的识别率。
- 汤光华王俐莉严榴香陈琦
- 关键词：雷达目标识别支持向量机模式识别一维距离像
- 弱集值渐近鞅的收敛定理被引量：1
- 2001年
- 为了得到关于弱集值渐近鞅的收敛性质 ,首先证明了支撑函数列的极限亦为一支撑函数。利用支撑函数的性质以及集值鞅的 Doob停止定理 ,证明得到了两个结论 :1在一定条件下 ,弱集值渐近鞅存在无限逼近的闭凸集值鞅 ;2在弱收敛意义下 ,弱集值渐近鞅收敛的两个等价条件。
- 刘常昱李世楷严榴香
- 关键词：弱收敛支撑函数收敛定理
- 多态π演算的互模拟等价关系及其公理化被引量：1
- 2010年
- 类型系统在分布式系统理论中有着非常重要的作用。在为π演算引入多态类型系统后,需要对新的环境下进程的等价关系进行研究。在多态类型系统下,环境只能得知进程中通道的抽象类型,而无法得知通道的具体类型,此时环境的区分能力被削弱,所得到的互模拟关系更为粗糙。本文在以往文献研究的基础上给出了多态π演算互模拟的一个公理系统,并证明了公理系统的一致性和完备性。
- 颜锋田作威严榴香
- 关键词：多态互模拟公理系统
- Wick型随机Boussinesq方程组的精确解被引量：1
- 2010年
- 研究随机环境下Boussinesq方程组的精确解问题.在Kondratiev分布空间(S)-1中利用白噪声分析、Hermite变换和改进的Fan代数方法,得到Wick型随机Boussinesq方程组和变系数Boussinesq方程组的白噪声泛函解和精确解.
- 王涛单良严榴香
- 关键词：白噪声泛函解HERMITE变换
