-
题名含有色乘积噪声的线性随机系统的滤波
被引量：1
- 1
-
-
作者
吴卫星
汪咬元
-
机构
中科院数学与系统科学院
中科院武汉物理与数学所
-
出处
《应用数学》
CSCD
北大核心
2001年第4期108-111,共4页
-
文摘
首先利用新息分析法给出了含乘积噪声系统状态的最优预测和估计公式 .然后证明了在较为一般的条件下其最优线性递推滤波是不存在的 .最后考虑到实际应用的方便 ,给出了一个简单的近似递推滤波算法 .
-
关键词
线性随机系统
乘积噪声
卡尔曼滤波
线性递推滤波
新息分析法
滤波算法
-
Keywords
Linear random systems
Parameter estimation
Adaptive Ka lman filtering
Stochastic stability
-
分类号
O211.64
[理学—概率论与数理统计]
-
-
题名关于软件可靠性测试的若干问题
被引量：7
- 2
-
-
作者
蔡开元
董昭
刘克
-
机构
北京航空航天大学自动化学院
中科院数学与系统科学院应用数学所
-
出处
《工程数学学报》
CSCD
北大核心
2008年第6期967-978,共12页
-
基金
国家自然科学基金(60633010
10671197
60674082)
-
文摘
软件可靠性测试是软件测试的一种形式,它强调软件测试与软件可靠性之间的定量关系,旨在定量改进和评估软件可靠性。从数学角度严格量化软件测试与软件可靠性之间的关系是一件困难的事情。本文举例说明软件可靠性测试中的几个问题,包括软件缺陷的估计、软件测试过程的数学建模、以及软件可靠度的最优估计等。由此可知,软件可靠性测试涉及到不同领域的知识和多种数学工具。
-
关键词
软件可靠性
软件测试
软件可靠性数学
-
Keywords
software reliability
software testing
software reliability mathematics
-
分类号
O211.62
[理学—概率论与数理统计]
O213.2
[理学—概率论与数理统计]
-
-
题名小周期结构Helmholtz方程的多尺度计算
被引量：1
- 3
-
-
作者
陈培敏
严宁宁
-
机构
中科院数学与系统科学院系统所
-
出处
《工程数学学报》
CSCD
北大核心
2004年第F12期145-149,共5页
-
基金
国家重大基础研究发展规划项目(No.G2000067102)国家自然科学基金项目(No.60474027)中科 院数学与系统科学研究创新基金
-
文摘
本文研究小周期结构Helmholtz方程的多尺度计算。我们用各向异性多尺度方法(HMM)求解小周期结构Helmholtz问题。借助于渐近分析技术,在对HMM方法深入分析的基础上,我们给出了精确与HMM方法近似解之间的误差估计,并讨论和分析了利用微结构信息校正HMM逼近解的技巧。最后,我们用数值例了验证了理论结果的正确性。
-
关键词
HELMHOLTZ方程
周期结构
逼近解
精确解
近似解
误差估计
渐近分析
HMM
多尺度方法
例子
-
Keywords
Helmholtz equation
periodic microstructure
heterogeneous multi-scale method
asymptotic expansion
homogenization
-
分类号
O241
[理学—计算数学]
TN912
[电子电信—通信与信息系统]
-
