-
题名复杂随机系统的信噪比增益研究与阵列随机共振
被引量：3
- 1
-
-
作者
孙婧
段法兵
-
机构
青岛大学复杂性科学研究所
-
出处
《复杂系统与复杂性科学》
EI
CSCD
2006年第2期50-54,共5页
-
基金
教育部博士点联合资助基金(20051065002)
国家自然科学基金(60602040)
-
文摘
复杂系统与非线性科学密切相关。为了探讨复杂随机系统信息处理的机制和利用“随机”因素自优化能力,研究了一类无限并联阵列的信噪比增益问题。阵列中每个子系统是一个双稳态振荡器,其输入都是同一个给定的含噪正弦信号。每个子系统内部噪声强度相同,但是相互独立。随着内部噪声强度的增加,信噪比增益出现了随机共振现象和存在大于一的区域,并且这一区域随着并联阵列数目增加而被放大。无限并联阵列的信噪比增益可达到全局最大值。依据阵列非稳态输出均值和稳态自协方差函数的极限性质,本文证明了无限并联阵列的信噪比增益问题可以归结为任两个子系统的统计性能分析。这些研究结果对于复杂系统信号处理理论具有重要意义。
-
关键词
复杂随机系统
非线性科学
自优化能力
信噪比增益
阵列随机共振
-
Keywords
complex random systems
nonlinear .science
self-optimized ability
signal-to-noise ratio gain
array stochastic resonance
-
分类号
N945.12
[自然科学总论—系统科学]
N93
[自然科学总论]
-
-
题名面向复杂随机系统的启发式统计模型检测方法
- 2
-
-
作者
何佳
张敏
郭延楠
吕悦
-
机构
华东师范大学上海市高可信计算重点实验室
华东师范大学计算机科学与软件工程学院
-
出处
《计算机应用研究》
CSCD
北大核心
2016年第10期3036-3040,共5页
-
基金
国家自然科学基金青年科学基金资助项目(61202105)
国家自然科学基金资助项目(61361136002)
-
文摘
统计模型检测是一种高效的验证技术,常用于复杂的随机系统验证,如分布式算法等,而在超长路径上对性质进行验证时,其验证效率会急剧降低。为解决这个问题,提出一种启发式的统计模型检测算法。在对路径进行验证时,会查找帮助剪枝的最短前缀;在后续抽样时,利用前缀信息直接判定路径是否满足给定性质,避免进入费时的路径验证阶段。在与PRISM的比较中,它的路径验证次数相对更少,且平均抽样路径长度更短。因此统计模型检测技术可应用于超长路径上的性质验证。
-
关键词
统计模型检测
复杂随机系统
超长路径
最短前缀
启发式算法
PRISM
-
Keywords
statistical model checking
complex stochastic system
extremely long path
shortest prefix
heuristic algorithm
PRISM
-
分类号
TP301.4
[自动化与计算机技术—计算机系统结构]
-
-
题名循环平稳性与随机共振理论的非绝热描述
被引量：1
- 3
-
-
作者
晁文婷
段法兵
徐博候
-
机构
青岛大学复杂性科学研究所
浙江大学力学系
-
出处
《复杂系统与复杂性科学》
EI
CSCD
2007年第1期43-48,共6页
-
基金
教育部博士点联合资助基金(20051065002)
国家自然科学基金(60602040)
-
文摘
噪声背景中周期信号的循环平稳性是信号处理中一个重要的特征。本文利用随机循环平稳过程的有关理论研究复杂随机动态系统中的随机共振现象。依据系统输出的一维准稳态概率密度近似理论,本文推导了系统输出二维跃迁概率密度、稳态自相关函数和系统输出信噪比的公式。输出信噪比随着输入噪声强度增加而呈现的随机共振现象,理论分析和数值试验结果非常吻合。此理论为随机共振理论的一种非绝热描述,不仅能够解释经典随机共振现象,而且能够描述驻留随机共振现象,对于复杂随机动态系统的信息处理机制具有重要理论指导意义。
-
关键词
复杂随机系统
循环平稳性
随机共振
跃迁概率密度
稳态自相关函数
非绝热描述
-
Keywords
complex random system
cyclostationarity
stochastic resonance
transition probability density
stationary autocorrelation function
non-adlabatlc description
-
分类号
N945.12
[自然科学总论—系统科学]
N93
[自然科学总论]
-
