期刊文献+
共找到7篇文章
< 1 >
每页显示 20 50 100
基于UML模型的统计测试方法研究
1
作者 朱虹虹 熊光泽 +1 位作者 雷航 桑楠 《计算机科学》 CSCD 北大核心 2005年第8期219-222,共4页
为增强统计测试的可行性、可测试性,降低建立使用模型的难度,通过研究作为工业标准的统一建模语言UML,提出了一种基于UML模型的统计测试方法。论文首先建立了基于UML模型的统计测试过程,然后结合扩展的UML模型和使用模型的形式化描述,... 为增强统计测试的可行性、可测试性,降低建立使用模型的难度,通过研究作为工业标准的统一建模语言UML,提出了一种基于UML模型的统计测试方法。论文首先建立了基于UML模型的统计测试过程,然后结合扩展的UML模型和使用模型的形式化描述,给出了从UML模型导出使用模型的一种形式化算法,并以工控机器人软件为例说明了应用该方法的完整过程。 展开更多
关键词 统计测试 使用模型 UML模型 马尔可夫链 有限状态机 测试方法 统一建模语言UML 形式化描述 可测试性 工业标准
下载PDF
一种面向业务的动态访问控制模型 被引量:1
2
作者 谭韧 殷肖川 +1 位作者 李晓辉 卞洋洋 《计算机科学》 CSCD 北大核心 2017年第8期140-145,167,共7页
针对基于角色的访问控制(RBAC)模型在业务处理流程中访问控制粒度过粗和无法动态调整授权等方面的问题,提出了一种面向业务的动态RBAC模型(BO-RBAC)。该模型参考基于任务的访问控制(TBAC)模型,引入了业务、业务步和授权步等概念,并形式... 针对基于角色的访问控制(RBAC)模型在业务处理流程中访问控制粒度过粗和无法动态调整授权等方面的问题,提出了一种面向业务的动态RBAC模型(BO-RBAC)。该模型参考基于任务的访问控制(TBAC)模型,引入了业务、业务步和授权步等概念,并形式化定义了模型的基本集合;同时将授权过程分为角色授权和授权步授权两部分,将业务执行视为随机过程,给出了基于马尔可夫链的动态授权方法;最后使用C++14对模型进行了实现。BO-RBAC模型结合了RBAC与TBAC的特点,具有访问控制粒度细、授权动态调整、满足安全规范等优点。 展开更多
关键词 RBAC TBAC 动态授权 访问控制 马尔可夫状态机
下载PDF
基于Markov过程的IaaS系统可用性建模与分析方法
3
作者 杨哂哂 吴慧珍 +1 位作者 庄黎丽 吕宏武 《计算机应用》 CSCD 北大核心 2020年第10期3013-3018,共6页
针对现有基础设施即服务(IaaS)可用性模型难以计算存在多个可用物理机器(PM)概率的问题,提出一种基于Markov过程的IaaS可用性分析方法。首先,将计算资源划分为hot PM、warm PM和cold PM三类;然后,结合资源分配过程的相应阶段对可用性影... 针对现有基础设施即服务(IaaS)可用性模型难以计算存在多个可用物理机器(PM)概率的问题,提出一种基于Markov过程的IaaS可用性分析方法。首先,将计算资源划分为hot PM、warm PM和cold PM三类;然后,结合资源分配过程的相应阶段对可用性影响进行建模,分别生成对应的三种分配子模型,子模型之间通过不同种类计算资源的转换关系相互协作,构建系统整体模型;其次,基于Markov过程建立方程组以对可用性模型进行求解;最后,结合实例对分析模型进行验证,并对PM变迁速率等关键影响因素进行了分析。实验结果表明,增加PM尤其是cold PM的数量有助于提升IaaS的可用性。所提方法可以用于评估IaaS存在一个或多个可用PM的概率。 展开更多
关键词 云计算 可用性 markov过程 稳态概率 物理机器
下载PDF
基于Markov链模型的被动测试错误检测算法 被引量:2
4
作者 赵保华 钱兰 +1 位作者 屈玉贵 郭雄辉 《中国科学技术大学学报》 CAS CSCD 北大核心 2006年第2期198-201,共4页
通过分析如何将概率统计的思想应用到基于有限状态机的协议被动测试上,在Markov链模型基础上,提出了一种新的被动测试错误检测算法,并给出了与已有算法的比较.从比较结果可知,新算法只需要知道有限状态机中转换的概率分布和最终观察到... 通过分析如何将概率统计的思想应用到基于有限状态机的协议被动测试上,在Markov链模型基础上,提出了一种新的被动测试错误检测算法,并给出了与已有算法的比较.从比较结果可知,新算法只需要知道有限状态机中转换的概率分布和最终观察到的输入/输出对的概率分布,就可以解决已有算法存在的问题,因此适用范围更广,同时还探讨了单个错误定位问题. 展开更多
关键词 被动测试 markov 概率有限状态机
下载PDF
系数多状态关联的图像NSST-HMT模型 被引量:2
5
作者 王相海 赵晓阳 +2 位作者 朱毅欢 宋若曦 宋传鸣 《中国科学:信息科学》 CSCD 北大核心 2019年第6期708-725,共18页
近年来,非下采样Shearlet变换(non-subsampled shearlet transform, NSST)因其具有各向异性,多方向捕捉性的同时,还兼具平移不变性,从而在图像恢复过程中发挥着重要的稳定作用.本文首先对图像NSST子带内系数关系、子带间系数的'父... 近年来,非下采样Shearlet变换(non-subsampled shearlet transform, NSST)因其具有各向异性,多方向捕捉性的同时,还兼具平移不变性,从而在图像恢复过程中发挥着重要的稳定作用.本文首先对图像NSST子带内系数关系、子带间系数的'父子关系'和'兄弟关系' 3方面进行分析,获得子带内系数具有稀疏性、子带间'父子关系'和'兄弟关系'系数均具有聚集性和传递性的结论.在此基础上提出一种基于系数多状态关联的隐Markov树模型(multi-state non-subsampled shearlet transform hidden Markov tree, M-NSST-HMT),该模型通过将NSST子带间系数的'父子关系'和'兄弟关系'作为共同指导子带间系数传递的状态来估计重构系数,并利用两种状态关联的互信息来对重构系数进行整合.最后将所提出的模型应用于图像去噪并取得良好的去噪效果,结果表明所提出的模型较传统HMT模型能够更好地揭示图像NSST变换后子带内和子带间系数的关系,并提高系数的预测准确性. 展开更多
关键词 非下采样剪切波变换 混合Gauss模型 markov树模型 系数多状态关联 图像去噪 支持向量机
原文传递
Multi-h CPM信号的有限状态时序机表示 被引量:2
6
作者 钟声 张健 +2 位作者 杨春 王鹏 刘璐 《华南理工大学学报(自然科学版)》 EI CAS CSCD 北大核心 2013年第1期52-57,69,共7页
为获得多指数连续相位调制(Multi-h CPM)信号更为简洁的脉冲幅度调制(PAM)分解形式,提出了一种用有限状态时序机表示Multi-h CPM信号的新算法.该算法利用调制指数循环周期变化的特性,通过基本波形分解算法,将Multi-h CPM信号表示为周期... 为获得多指数连续相位调制(Multi-h CPM)信号更为简洁的脉冲幅度调制(PAM)分解形式,提出了一种用有限状态时序机表示Multi-h CPM信号的新算法.该算法利用调制指数循环周期变化的特性,通过基本波形分解算法,将Multi-h CPM信号表示为周期时不变的有限状态时序机和周期时不变的PAM调制器的级联结构;然后通过限定输入符号进制数为偶数,将时序机的状态转移过程描述成一个可约的、周期平稳的、非齐次Markov链.文中采用该算法对不同调制指数下的状态转移过程进行算例验证,并给出了算法的最佳接收机模型和仿真结果.与传统的PAM最优检测算法相比,文中算法的检测性能可达到理论值,而网格状态数仅为PAM最优检测算法的一半. 展开更多
关键词 多指数连续相位调制 BD分解 周期时不变 有限状态时序机 PAM调制器 markov
下载PDF
Combined forecast method of HMM and LS-SVM about electronic equipment state based on MAGA 被引量:1
7
作者 Jianzhong Zhao Jianqiu Deng +1 位作者 Wen Ye Xiaofeng Lü 《Journal of Systems Engineering and Electronics》 SCIE EI CSCD 2016年第3期730-738,共9页
For the deficiency that the traditional single forecast methods could not forecast electronic equipment states, a combined forecast method based on the hidden Markov model(HMM) and least square support vector machin... For the deficiency that the traditional single forecast methods could not forecast electronic equipment states, a combined forecast method based on the hidden Markov model(HMM) and least square support vector machine(LS-SVM) is presented. The multi-agent genetic algorithm(MAGA) is used to estimate parameters of HMM to overcome the problem that the Baum-Welch algorithm is easy to fall into local optimal solution. The state condition probability is introduced into the HMM modeling process to reduce the effect of uncertain factors. MAGA is used to estimate parameters of LS-SVM. Moreover, pruning algorithms are used to estimate parameters to get the sparse approximation of LS-SVM so as to increase the ranging performance. On the basis of these, the combined forecast model of electronic equipment states is established. The example results show the superiority of the combined forecast model in terms of forecast precision,calculation speed and stability. 展开更多
关键词 parameter estimation hidden markov model(HMM) least square support vector machine(LS-SVM) multi-agent genetic algorithm(MAGA) state forecast
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部