In the process of spectrum perception,in order to realize accurate perception of the channel state,the method of multi-node cooperative perception can usually be used.However,the first problem to be considered is how ...In the process of spectrum perception,in order to realize accurate perception of the channel state,the method of multi-node cooperative perception can usually be used.However,the first problem to be considered is how to complete information fusion and obtain more accurate and reliable judgment results based on multi-node perception results.The ideas put forward in this paper are as follows:firstly,the perceived results of each node are obtained on the premise of limiting detection probability and false alarm probability.Then,on the one hand,the weighted fusion criterion of decision-making weight optimization of each node is realized based on a genetic algorithm,and the useless nodes also can be screened out to reduce energy loss;on the other hand,through the linear fitting ability of RBF neural network,the self-inspection of the perceptive nodes can be realized to ensure the normal operation of the perceptive work of each node.What's more,the real-time training data can be obtained by spectral segmentation technology to ensure the real-time accuracy of the optimization results.Finally,the simulation results show that this method can effectively improve the accuracy and stability of channel perception results,optimize the structure of the cooperative network and reduce energy consumption.展开更多
随着计算机与物理环境的交互日益密切,信息-物理融合系统(cyber-physical system,简称CPS)在健康医疗、航空电子、智能建筑等领域具有广泛的应用前景,CPS的正确性、可靠性分析已引起人们的广泛关注.统计模型检测(statistical model chec...随着计算机与物理环境的交互日益密切,信息-物理融合系统(cyber-physical system,简称CPS)在健康医疗、航空电子、智能建筑等领域具有广泛的应用前景,CPS的正确性、可靠性分析已引起人们的广泛关注.统计模型检测(statistical model checking,简称SMC)技术能够对CPS进行有效验证,并为系统的性能提供定量评估.然而,随着系统规模的日益扩大,如何提高统计模型检测技术验证CPS的效率,是目前所面临的主要困难之一.针对此问题,首先对现有SMC技术进行实验分析,总结各种SMC技术的受限适用范围和性能缺陷,并针对贝叶斯区间估计算法(Bayesian interval estimate,简称BIE)在实际概率接近0.5时需要大量路径才能完成验证的缺陷,提出一种基于抽象和学习的统计模型检测方法 AL-SMC.该方法采用主成分分析、前缀树约减等技术对仿真路径进行学习和抽象,以减少样本空间;然后,提出了一个面向CPS的自适应SMC算法框架,可根据不同的概率区间自动选择AL-SMC算法或者BIE算法,有效应对不同情况下的验证问题;最后,结合经典案例进行实验分析,实验结果表明,自适应SMC算法框架能够在一定误差范围内有效提高CPS统计模型检测的效率,为CPS的分析验证提供了一种有效的途径.展开更多
文摘In the process of spectrum perception,in order to realize accurate perception of the channel state,the method of multi-node cooperative perception can usually be used.However,the first problem to be considered is how to complete information fusion and obtain more accurate and reliable judgment results based on multi-node perception results.The ideas put forward in this paper are as follows:firstly,the perceived results of each node are obtained on the premise of limiting detection probability and false alarm probability.Then,on the one hand,the weighted fusion criterion of decision-making weight optimization of each node is realized based on a genetic algorithm,and the useless nodes also can be screened out to reduce energy loss;on the other hand,through the linear fitting ability of RBF neural network,the self-inspection of the perceptive nodes can be realized to ensure the normal operation of the perceptive work of each node.What's more,the real-time training data can be obtained by spectral segmentation technology to ensure the real-time accuracy of the optimization results.Finally,the simulation results show that this method can effectively improve the accuracy and stability of channel perception results,optimize the structure of the cooperative network and reduce energy consumption.
