期刊文献+
共找到191篇文章
< 1 2 10 >
每页显示 20 50 100
Statistical Modeling with a Hidden Markov Tree and High-resolution Interpolation for Spaceborne Radar Reflectivity in the Wavelet Domain 被引量:1
1
作者 Leilei KOU Yinfeng JIANG +1 位作者 Aijun CHEN Zhenhui WANG 《Advances in Atmospheric Sciences》 SCIE CAS CSCD 2020年第12期1359-1374,共16页
With the increasing availability of precipitation radar data from space,enhancement of the resolution of spaceborne precipitation observations is important,particularly for hazard prediction and climate modeling at lo... With the increasing availability of precipitation radar data from space,enhancement of the resolution of spaceborne precipitation observations is important,particularly for hazard prediction and climate modeling at local scales relevant to extreme precipitation intensities and gradients.In this paper,the statistical characteristics of radar precipitation reflectivity data are studied and modeled using a hidden Markov tree(HMT)in the wavelet domain.Then,a high-resolution interpolation algorithm is proposed for spaceborne radar reflectivity using the HMT model as prior information.Owing to the small and transient storm elements embedded in the larger and slowly varying elements,the radar precipitation data exhibit distinct multiscale statistical properties,including a non-Gaussian structure and scale-to-scale dependency.An HMT model can capture well the statistical properties of radar precipitation,where the wavelet coefficients in each sub-band are characterized as a Gaussian mixture model(GMM),and the wavelet coefficients from the coarse scale to fine scale are described using a multiscale Markov process.The state probabilities of the GMM are determined using the expectation maximization method,and other parameters,for instance,the variance decay parameters in the HMT model are learned and estimated from high-resolution ground radar reflectivity images.Using the prior model,the wavelet coefficients at finer scales are estimated using local Wiener filtering.The interpolation algorithm is validated using data from the precipitation radar onboard the Tropical Rainfall Measurement Mission satellite,and the reconstructed results are found to be able to enhance the spatial resolution while optimally reproducing the local extremes and gradients. 展开更多
关键词 spaceborne precipitation radar hidden markov tree model Gaussian mixture model interpolation in the wavelet domain multiscale statistical properties
下载PDF
Application of Exponential Distribution in Modeling of State Holding Time in HIV/AIDS Transition Dynamics
2
作者 Nahashon Mwirigi 《Open Journal of Modelling and Simulation》 2024年第4期159-183,共25页
Markov modeling of HIV/AIDS progression was done under the assumption that the state holding time (waiting time) had a constant hazard. This paper discusses the properties of the hazard function of the Exponential dis... Markov modeling of HIV/AIDS progression was done under the assumption that the state holding time (waiting time) had a constant hazard. This paper discusses the properties of the hazard function of the Exponential distributions and its modifications namely;Parameter proportion hazard (PH) and Accelerated failure time models (AFT) and their effectiveness in modeling the state holding time in Markov modeling of HIV/AIDS progression with and without risk factors. Patients were categorized by gender and age with female gender being the baseline. Data simulated using R software was fitted to each model, and the model parameters were estimated. The estimated P and Z values were then used to test the null hypothesis that the state waiting time data followed an Exponential distribution. Model identification criteria;Akaike information criteria (AIC), Bayesian information criteria (BIC), log-likelihood (LL), and R2 were used to evaluate the performance of the models. For the Survival Regression model, P and Z values supported the non-rejection of the null hypothesis for mixed gender without interaction and supported the rejection of the same for mixed gender with interaction term and males aged 50 - 60 years. Both Parameters supported the non-rejection of the null hypothesis in the rest of the age groups. For Gender male with interaction both P and Z values supported rejection in all the age groups except the age group 20 - 30 years. For Cox Proportional hazard and AFT models, both P and Z values supported the non-rejection of the null hypothesis across all age groups. The P-values for the three models supported different decisions for and against the Null hypothesis with AFT and Cox values supporting similar decisions in most of the age groups. Among the models considered, the regression assumption provided a superior fit based on (AIC), (BIC), (LL), and R2 Model identification criteria. This was particularly evident in age and gender subgroups where the data exhibited non-proportional hazards and violated the assumptions required for the Cox Proportional Hazard model. Moreover, the simplicity of the regression model, along with its ability to capture essential state transitions without over fitting, made it a more appropriate choice. 展开更多
关键词 markov Chain markov Process Semi markov Process markov Decision tree Stochastic Process Survival Rate CD4+ Levels Absorption Rates AFT model PH model
下载PDF
双树复小波域隐Markov树模型降噪及在机械故障诊断中的应用 被引量:13
3
作者 苏文胜 王奉涛 +3 位作者 朱泓 张志新 李宏坤 郭正刚 《振动与冲击》 EI CSCD 北大核心 2011年第6期47-52,共6页
提出一种基于双树复小波变换的隐Markov树模型的信号降噪方法,并将其成功应用于机械故障诊断中。机械设备的振动信号中不可避免地存在着噪声,使得微弱故障信息的提取一直是故障诊断的难点和热点。双树复小波变换具有近似平移不变性,而隐... 提出一种基于双树复小波变换的隐Markov树模型的信号降噪方法,并将其成功应用于机械故障诊断中。机械设备的振动信号中不可避免地存在着噪声,使得微弱故障信息的提取一直是故障诊断的难点和热点。双树复小波变换具有近似平移不变性,而隐Markov树模型能有效刻画小波系数间的相关性和非高斯性,两种优势的结合可以获得比常规软、硬阈值小波降噪法和小波域隐Markov树模型降噪法更好的降噪效果。它不仅能有效抑制高斯白噪声,还能够去除异常冲击干扰,仿真信号验证了这一点。对于实际滚动轴承信号,使用该方法同样可以获得满意的结果。 展开更多
关键词 双树复小波变换 隐马尔可夫树模型 降噪 故障诊断
下载PDF
基于频繁的Markov链预测模型 被引量:10
4
作者 闫永权 张大方 《计算机应用研究》 CSCD 北大核心 2007年第3期41-43,46,共4页
预取技术通过在用户浏览当前网页的时间内提前取回其将来最有可能请求的网页来减少实际感知的获取网页的时间。传统的Markov链模型是一种简单而有效的预测模型,但同时存在预测准确率偏低,存储复杂度偏高等缺点。通过提出一种算法来减小... 预取技术通过在用户浏览当前网页的时间内提前取回其将来最有可能请求的网页来减少实际感知的获取网页的时间。传统的Markov链模型是一种简单而有效的预测模型,但同时存在预测准确率偏低,存储复杂度偏高等缺点。通过提出一种算法来减小存储空间,最后通过证明能有效减小存储空间。 展开更多
关键词 预取 马尔可夫模型 频繁模式树
下载PDF
应用Hopfield神经网络和小波域隐Markov树模型的图像复原 被引量:8
5
作者 娄帅 丁振良 +1 位作者 袁峰 李晶 《光学精密工程》 EI CAS CSCD 北大核心 2009年第11期2828-2834,共7页
为了解决传统的Hopfield神经网络图像复原算法对噪声抑制和图像细节保护不能很好兼顾的问题,提出了一种基于改进的连续Hopfield神经网络和小波域隐Markov树(HMT)模型的复原算法。将小波域HMT模型作为图像小波系数统计关系的先验知识,并... 为了解决传统的Hopfield神经网络图像复原算法对噪声抑制和图像细节保护不能很好兼顾的问题,提出了一种基于改进的连续Hopfield神经网络和小波域隐Markov树(HMT)模型的复原算法。将小波域HMT模型作为图像小波系数统计关系的先验知识,并以正则化项的形式引入到神经网络模型中,最终利用Hopfield神经网络的能量收敛特性完成图像复原。同时提出了一种高度并行的网络权值矩阵计算方法,通过对模板图像进行算子操作,分批求取网络权值,避免了大型矩阵的乘法运算。实验结果表明,无论是对真实图像还是人工生成图像,算法复原的视觉效果均有明显改善,提高信噪比(ISNR)较传统同类算法增加了0.3dB以上,达到了同时抑制噪声和保护图像细节的目的。 展开更多
关键词 图像复原 HOPFIELD神经网络 小波域隐markov树模型 权值矩阵
下载PDF
基于Markov模型的WSN汇聚树路由协议 被引量:2
6
作者 吴怡之 骆彦凌 +1 位作者 许红安 赵晨旭 《计算机工程》 CAS CSCD 北大核心 2011年第18期62-64,共3页
根据工业监控无线传感器网络(WSN)的可靠性和实时性需求,采用跨层优化方法,提出一种基于介质访问控制层Markov模型的汇聚树协议MM-CTP。利用IEEE 802.15.4 WSN链路层动力学Markov模型对单簇网络进行数据帧传输性能分析,改进汇聚树协议... 根据工业监控无线传感器网络(WSN)的可靠性和实时性需求,采用跨层优化方法,提出一种基于介质访问控制层Markov模型的汇聚树协议MM-CTP。利用IEEE 802.15.4 WSN链路层动力学Markov模型对单簇网络进行数据帧传输性能分析,改进汇聚树协议的链路质量评估方法,通过计算最优路由梯度,建立网络拓扑,在保证较高数据到达率的同时,使网络延迟最小,以满足工业监控网络的数据传输需求。 展开更多
关键词 汇聚树协议 工业监控传感器网络 路由算法 markov模型
下载PDF
符号序列多阶Markov分类 被引量:2
7
作者 程铃钫 郭躬德 陈黎飞 《计算机应用》 CSCD 北大核心 2017年第7期1977-1982,共6页
针对基于固定阶Markov链模型的方法不能充分利用不同阶次子序列结构特征的问题,提出一种基于多阶Markov模型的符号序列贝叶斯分类新方法。首先,建立了基于多阶次Markov模型的条件概率分布模型;其次,提出一种附后缀表的n-阶子序列后缀树... 针对基于固定阶Markov链模型的方法不能充分利用不同阶次子序列结构特征的问题,提出一种基于多阶Markov模型的符号序列贝叶斯分类新方法。首先,建立了基于多阶次Markov模型的条件概率分布模型;其次,提出一种附后缀表的n-阶子序列后缀树结构和高效的树构造算法,该算法能够在扫描一遍序列集过程中建立多阶条件概率模型;最后,提出符号序列的贝叶斯分类器,其训练算法基于最大似然法学习不同阶次模型的权重,分类算法使用各阶次的加权条件概率进行贝叶斯分类预测。在三个应用领域实际序列集上进行了系列实验,结果表明:新分类器对模型阶数变化不敏感;与使用固定阶模型的支持向量机等现有方法相比,所提方法在基因序列与语音序列上可以取得40%以上的分类精度提升,且可输出符号序列Markov模型最优阶数参考值。 展开更多
关键词 符号序列 markov链模型 多阶模型 贝叶斯分类 后缀树
下载PDF
基于语义树Markov随机场模型的地面机器人多尺度道路感知 被引量:1
8
作者 杜明芳 王军政 +1 位作者 李多杨 何玉东 《兵工学报》 EI CAS CSCD 北大核心 2016年第3期512-517,共6页
道路实时感知是自主式地面移动机器人实现自主导航的关键技术,但由于室外道路环境的复杂性与不确定性,其算法开发难度较大。提出了一种基于小波域语义树Markov模型的多尺度仿生道路感知算法。在时空域上采用三维随机场对机器人采集到的... 道路实时感知是自主式地面移动机器人实现自主导航的关键技术,但由于室外道路环境的复杂性与不确定性,其算法开发难度较大。提出了一种基于小波域语义树Markov模型的多尺度仿生道路感知算法。在时空域上采用三维随机场对机器人采集到的道路图像序列进行建模,提出了一种采用树结构约束、面向道路识别的语义树Markov随机场(RT-MRF)模型;采用遗传算法优化的有监督RT-MRF模型进行道路图像序列分割;机器人通过跟踪分割边界实现道路区域识别及自主导航。采用自主研制的四足仿生机器人作为研究和实验平台。实验结果表明:该方法能够在具有阴影、裂纹、坑洞、不平整及光照度变化的较差道路检测条件下鲁棒分割出道路边界,算法实时性高,可满足室外移动机器人自主导航需求。 展开更多
关键词 控制科学与技术 四足机器人 道路检测 多尺度仿生感知 语义树markov模型 小波域
下载PDF
一种改进的Markov链预测模型 被引量:1
9
作者 闫永权 《科学技术与工程》 2007年第19期5143-5145,共3页
预取技术通过在用户浏览当前网页的时间内提前取回其将来最有可能请求的网页来减小实际感知的获取网页的时间。传统的Markov链模型是一种简单而有效的预测模型,但同时存在预测准确率偏低、存储复杂度偏高等缺点。提出了访问模式树(APT)... 预取技术通过在用户浏览当前网页的时间内提前取回其将来最有可能请求的网页来减小实际感知的获取网页的时间。传统的Markov链模型是一种简单而有效的预测模型,但同时存在预测准确率偏低、存储复杂度偏高等缺点。提出了访问模式树(APT)算法,证明该法能有效减小存储空间。 展开更多
关键词 预取 markov模型 访问模式树
下载PDF
关于树指标隐Markov链及其等价定义
10
作者 王豹 杨卫国 《工程数学学报》 CSCD 北大核心 2015年第2期205-212,共8页
本文参照直线上隐Markov模型的概念,给出有限树指标隐Markov链的定义.在该定义中,树指标隐Markov链由两个树指标随机过程组成,其中第一个树指标随机过程是树指标Markov链,是不能被直接观测到的隐藏链;第二个树指标随机过程是可被观测的... 本文参照直线上隐Markov模型的概念,给出有限树指标隐Markov链的定义.在该定义中,树指标隐Markov链由两个树指标随机过程组成,其中第一个树指标随机过程是树指标Markov链,是不能被直接观测到的隐藏链;第二个树指标随机过程是可被观测的且关于第一个树指标随机过程条件独立,对于树上的任意一个顶点,第二个随机过程此处的取值只信赖于隐藏链中此处的取值.最后,我们给出了树指标隐Markov链的三个等价定义. 展开更多
关键词 markov模型 树指标隐markov
下载PDF
Coverage Modeling and Reliability Analysis Using Multi-state Function 被引量:5
11
作者 S.Prabhudeva A.K.Verma 《International Journal of Automation and computing》 EI 2007年第4期380-387,共8页
Fault tree analysis is an effective method for predicting the reliability of a system. It gives a pictorial representation and logical framework for analyzing the reliability. Also, it has been used for a long time as... Fault tree analysis is an effective method for predicting the reliability of a system. It gives a pictorial representation and logical framework for analyzing the reliability. Also, it has been used for a long time as an effective method for the quantitative and qualitative analysis of the failure modes of critical systems. In this paper, we propose a new general coverage model (GCM) based on hardware independent faults. Using this model, an effective software tool can be constructed to detect, locate and recover fault from the faulty system. This model can be applied to identify the key component that can cause the failure of the system using failure mode effect analysis (FMEA). 展开更多
关键词 Fault tree fault type fault diagnosis fault recovery coverage model markov chain reliability unreliability.
下载PDF
层次短语翻译中基于Markov随机场的层次切分模型
12
作者 刘乐茂 赵铁军 +2 位作者 曹海龙 朱聪慧 张春越 《软件学报》 EI CSCD 北大核心 2012年第12期3088-3100,共13页
翻译推导的切分歧义是统计机器翻译面临的一个很重要的问题,而在层次短语机器翻译中,其尤为突出.提出了一个层次切分模型来处理推导的切分歧义性.采用Markov随机场构建模型,然后将其融入层次短语翻译模型,以便自动选择更合理的切分.在N... 翻译推导的切分歧义是统计机器翻译面临的一个很重要的问题,而在层次短语机器翻译中,其尤为突出.提出了一个层次切分模型来处理推导的切分歧义性.采用Markov随机场构建模型,然后将其融入层次短语翻译模型,以便自动选择更合理的切分.在NIST中英翻译的任务中,该模型的训练效率高,通过NIST05,NIST06和NIST08这3个测试集上的翻译效果表明,该模型提高了层次短语翻译的性能. 展开更多
关键词 层次短语翻译 切分模型 图模型 markov随机场 依存树
下载PDF
Reliability Analysis Method of a Control System for Subsea All-Electric Christmas Tree 被引量:1
13
作者 Peng Liu Qianqian Chen +1 位作者 Chao Zheng Guofa Sun 《Journal of Marine Science and Application》 CSCD 2021年第2期354-370,共17页
The subsea all-electric Christmas tree(XT) is a key equipment in subsea production systems.Once it fails,the marine environment will be seriously polluted.Therefore,strict reliability analysis and measures to improve ... The subsea all-electric Christmas tree(XT) is a key equipment in subsea production systems.Once it fails,the marine environment will be seriously polluted.Therefore,strict reliability analysis and measures to improve reliability must be performed before a subsea all-electric XT is launched;such measures are crucial to subsea safe production.A fault-tolerant control system was developed in this paper to improve the reliability of XT.A dual-factor degradation model for electrical control system components was proposed to improve the evaluation accuracy,and the reliability of the control system was analyzed based on the Markov model.The influences of the common cause failure and the failure rate in key components on the reliability and availability of the control system were studied.The impacts of mean time to repair and incomplete repair strategy on the availability of the control system were also investigated.Research results show the key factors that affect system reliability,and a specific method to improve the reliability and availability of the control system was given.This reliability analysis method for the control system could be applied to general all-electric subsea control systems to guide their safe production. 展开更多
关键词 Subsea all-electric Christmas tree Control system Reliability analysis Safe production Dual-factor degradation model markov model
下载PDF
激光自适应光学系统可靠性改进效果评估
14
作者 贾启旺 李新阳 +4 位作者 罗曦 甘永东 马瑞浩 梅月 斯那卓玛 《强激光与粒子束》 CAS CSCD 北大核心 2024年第6期24-33,共10页
随着自适应光学技术在激光领域的发展,工程上以经典自适应光学(AO)系统为基础,增加了多种基于软件监测和硬件保护的改进措施以保证激光AO系统稳定连续出光。面对结构复杂度提升带来的可靠性挑战,如何构建系统失效模型对激光AO系统可靠... 随着自适应光学技术在激光领域的发展,工程上以经典自适应光学(AO)系统为基础,增加了多种基于软件监测和硬件保护的改进措施以保证激光AO系统稳定连续出光。面对结构复杂度提升带来的可靠性挑战,如何构建系统失效模型对激光AO系统可靠性进行评估,成为影响激光AO系统发展的重要一环。本文以激光光稳净化AO系统为例,提出使用动态故障树方法对激光AO系统可靠性进行评估,根据设备间动态关系建立动态故障树(DFT),结合厂家信息、疲劳寿命试验与历史数据估计得到底事件失效率,使用二元决策图和马尔可夫模型求解得到DFT的可靠性参数。使用DFT分析增加改进措施的AO系统可靠运行时间,结果相对于基本故障树获得了十倍以上的提高。实际系统调试期间,在预计的可靠运行时间内未发生自因故障,与DFT估计结果一致。验证了应用DFT方法评估增加改进措施后的激光AO系统可靠性更准确。 展开更多
关键词 自适应光学 动态故障树 可靠性评估 马尔可夫模型
下载PDF
基于混合马尔科夫树模型的ICS异常检测算法 被引量:8
15
作者 张仁斌 吴佩 +1 位作者 陆阳 郭忠义 《自动化学报》 EI CSCD 北大核心 2020年第1期127-141,共15页
针对工业控制系统中现有异常检测算法在语义攻击检测方面存在的不足,提出一种基于混合马尔科夫树模型的异常检测算法,充分利用工业控制系统的阶段性和周期性特征,构建系统正常运行时的行为模型|混合马尔科夫树.该模型包含合法的状态事... 针对工业控制系统中现有异常检测算法在语义攻击检测方面存在的不足,提出一种基于混合马尔科夫树模型的异常检测算法,充分利用工业控制系统的阶段性和周期性特征,构建系统正常运行时的行为模型|混合马尔科夫树.该模型包含合法的状态事件、合法的状态转移、正常的概率分布以及正常的转移时间间隔等4种信息,基于动态自适应的方法增强状态事件的关联度并引入时间间隔信息以实现对复杂语义攻击的检测,语义建模时设计一种剪枝策略以去除模型中的低频事件、低转移事件以及冗余节点,当被检测行为使得模型的以上4种信息产生的偏差超过阈值时,判定该行为异常.最后,基于OMNeT++网络仿真环境构建一个简化的污水处理系统对本文算法进行功能性验证,并利用真实物理测试床的数据集对算法的检测准确度进行性能验证.验证结果表明,本文算法能有效消除人机交互和常规诊断等操作带来的噪声影响,对复杂语义攻击具有较高的检出率,且能识别传统的非语义攻击. 展开更多
关键词 工业控制系统 语义攻击 异常检测 混合马尔科夫树模型
下载PDF
基于动态故障树的卫星系统可靠性分析 被引量:46
16
作者 张晓洁 赵海涛 +2 位作者 苗强 张伟 黄洪钟 《宇航学报》 EI CAS CSCD 北大核心 2009年第3期1249-1254,共6页
卫星系统作为一种高可靠产品,具有复杂的冗余结构。以卫星系统为对象,研究了动态故障树方法分析过程中静态子树及动态子树的处理方法。分别采用二元决策图及马尔科夫方法对关键设备的动态故障树模型中静态子树和动态子树进行分析。将所... 卫星系统作为一种高可靠产品,具有复杂的冗余结构。以卫星系统为对象,研究了动态故障树方法分析过程中静态子树及动态子树的处理方法。分别采用二元决策图及马尔科夫方法对关键设备的动态故障树模型中静态子树和动态子树进行分析。将所得结果与可靠性框图、马尔科夫等方法所得结果进行了比较。 展开更多
关键词 动态故障树 可靠性建模 马尔科夫 二元决策图 卫星系统
下载PDF
基于Contourlet域HMT模型的多尺度图像分割 被引量:22
17
作者 沙宇恒 丛琳 +1 位作者 孙强 焦李成 《红外与毫米波学报》 SCIE EI CAS CSCD 北大核心 2005年第6期472-476,共5页
基于Contourlet系数分布统计特性,结合隐马尔可夫树(HMT)模型和贝叶斯准则提出一种新的图像分割算法.为了更有效保持Contourlet域不同尺度间的信息,提出一种新的加权邻域背景模型,给出了基于高斯混合模型的象素级分割算法和基于新的背... 基于Contourlet系数分布统计特性,结合隐马尔可夫树(HMT)模型和贝叶斯准则提出一种新的图像分割算法.为了更有效保持Contourlet域不同尺度间的信息,提出一种新的加权邻域背景模型,给出了基于高斯混合模型的象素级分割算法和基于新的背景模型的多尺度融合算法.分别选择合成纹理图像、航拍图像和SAR图像进行实验,并与小波域HMTseg方法进行比较以说明算法的有效性.对合成纹理图像给出错分概率作为评价参数.实验结果表明本文方法不但在边缘信息和方向信息保持上有明显改进,而且错分概率明显降低,对真实图像得到了理想的分割效果. 展开更多
关键词 图像分割 轮廓波 隐马尔可夫树模型 图像多尺度几何分析
下载PDF
太阳翼驱动机构的模糊动态故障树分析 被引量:26
18
作者 黄洪钟 李彦锋 +2 位作者 孙健 杨圆鉴 肖宁聪 《机械工程学报》 EI CAS CSCD 北大核心 2013年第19期70-76,共7页
作为航天器重要的组成部分之一的太阳翼驱动机构,故障频发,它的可靠性研究凸显出重要的价值。根据太阳翼驱动机构的组成和工作原理,建立了相应的动态故障树。考虑到现实中太阳翼驱动机构的故障现象、故障状态与故障原因等存在着大量的... 作为航天器重要的组成部分之一的太阳翼驱动机构,故障频发,它的可靠性研究凸显出重要的价值。根据太阳翼驱动机构的组成和工作原理,建立了相应的动态故障树。考虑到现实中太阳翼驱动机构的故障现象、故障状态与故障原因等存在着大量的不确定性,将模糊集理论引入动态故障树分析中,采用三角模糊数表示太阳翼驱动机构故障树的各个底事件的失效参数,将截集理论与区间运算相结合,对太阳翼驱动机构进行模糊动态故障树分析,从而得到系统的顶事件模糊发生概率与各个底事件的模糊概率重要度,并对模糊概率重要度进行分析,得出太阳翼驱动机构中的关键部件为系统中的轴承及谐波减速器,找到了系统的薄弱环节。 展开更多
关键词 太阳翼驱动机构 模糊动态故障树 模糊概率重要度 markov模型 可靠性
下载PDF
概率计算树逻辑的限界模型检测 被引量:15
19
作者 周从华 刘志锋 王昌达 《软件学报》 EI CSCD 北大核心 2012年第7期1656-1668,共13页
为了缓解概率计算树逻辑模型检测中的状态空间爆炸问题,提出了概率计算树逻辑的限界模型检测技术.该技术首先定义概率计算树逻辑的限界语义,并证明其正确性;之后,通过实例说明在传统限界模型检测中,以路径长度作为判断检测过程终止的标... 为了缓解概率计算树逻辑模型检测中的状态空间爆炸问题,提出了概率计算树逻辑的限界模型检测技术.该技术首先定义概率计算树逻辑的限界语义,并证明其正确性;之后,通过实例说明在传统限界模型检测中,以路径长度作为判断检测过程终止的标准已经失效,基于数值计算中牛顿迭代法的终止准则,设计了新的终止判断标准;然后提出基于线性方程组求解的限界模型检测算法;最后,通过3个测试用例说明,概率计算树逻辑限界模型检测方法在反例较短的情况下能够快速完成检测过程,而且比概率计算树逻辑的无界模型检测算法所需求得的状态空间要少. 展开更多
关键词 模型检测 限界模型检测 概率计算树逻辑 马尔可夫链
下载PDF
隐马尔可夫树模型在带钢表面缺陷在线检测中的应用 被引量:18
20
作者 徐科 宋敏 +1 位作者 杨朝霖 周鹏 《机械工程学报》 EI CAS CSCD 北大核心 2013年第22期34-40,共7页
通过图像分割算法寻找由缺陷组成的可疑区域是热轧带钢表面缺陷在线检测与识别的关键。将热轧带钢表面图像分为'背景'和'缺陷'两大类,采用隐马尔可夫树(Hidden Markov tree,HMT)模型分别建模并实现多尺度缺陷分割。将... 通过图像分割算法寻找由缺陷组成的可疑区域是热轧带钢表面缺陷在线检测与识别的关键。将热轧带钢表面图像分为'背景'和'缺陷'两大类,采用隐马尔可夫树(Hidden Markov tree,HMT)模型分别建模并实现多尺度缺陷分割。将不同类别的缺陷用同一个'缺陷模型'来表示,可以降低算法复杂度。HMT模型对带钢表面常见缺陷的分割正确率达到94.4%,分割错误率为18.8%。针对HMT模型得到的细尺度分割结果中分割错误率较高问题,引入基于环境的多尺度融合方法(Context-adaptive hidden Markov tree,CAHMT),将不同尺度的分割结果融合,大幅降低细尺度分割的分割错误率,达到3.7%。 展开更多
关键词 隐马尔可夫树模型 图像分割 热轧带钢 表面检测
下载PDF
上一页 1 2 10 下一页 到第
使用帮助 返回顶部