基于SPN模型的可生存性DBMS中恶意事务修复算法的研究 被引量：11

1

作者 郑吉平 秦小麟 +1 位作者 钟勇 孙瑾 《计算机学报》 EI CSCD 北大核心 2006年第8期1480-1486,共7页

在传统的数据库恶意事务修复方案的基础上,采用Petri网模型分析事务撤销冲突和操作执行序列异常检测;进而结合可生存性DBMS特征提出恶意事务静态和on-the-fly修复算法,并在此基础上给出随机Petri网恶意事务修复模型;在分析恶意事务修复... 在传统的数据库恶意事务修复方案的基础上,采用Petri网模型分析事务撤销冲突和操作执行序列异常检测;进而结合可生存性DBMS特征提出恶意事务静态和on-the-fly修复算法,并在此基础上给出随机Petri网恶意事务修复模型;在分析恶意事务修复随机Petri网模型和连续时间Markov链的一致性后,给出了连续时间Markov链的恶意事务修复模型求解. 展开更多

关键词 可生存性DBMS 随机PETRI网 连续时间markov链 恶意事务修复算法

下载PDF 职称材料

基于模型检测的微服务组合平台QoS验证 被引量：3

2

作者 毛昕怡 钮俊 +1 位作者 丁雪儿 张开乐 《计算机应用》 CSCD 北大核心 2020年第11期3267-3272,共6页

针对当前缺少对微服务组合平台的服务质量(QoS)指标进行分析验证的问题,提出一种基于模型检测的形式化验证方法,对影响微服务平台性能的因素进行分析评估。首先,将微服务组合的服务资源配置过程划分为服务请求、资源配置和服务执行3个阶... 针对当前缺少对微服务组合平台的服务质量(QoS)指标进行分析验证的问题,提出一种基于模型检测的形式化验证方法,对影响微服务平台性能的因素进行分析评估。首先,将微服务组合的服务资源配置过程划分为服务请求、资源配置和服务执行3个阶段,并分别由服务请求队列、服务请求配置器和提供服务资源的虚拟机等模块实现;其次,将各个模块的实现过程建模为带标记Markov回报模型(LMRM),借助类似于进程代数的同步概念获得微服务组合过程的全局模型;接着,用连续随机回报逻辑公式刻画期望的QoS指标;最后,将形式模型与逻辑公式作为模型检测工具PRISM的输入以获得验证结果。实验结果表明,LMRM可较好地用于微服务组合平台的建模和QoS验证分析。 展开更多

关键词 微服务组合 连续时间markov链 连续随机回报逻辑 模型检测 PRISM

下载PDF 职称材料

无人机集群作战中连续时间Markov链模型的求解方法 被引量：2

3

作者 黄树彩 谢家豪 +1 位作者 韦道知 张曌宇 《国防科技大学学报》 EI CAS CSCD 北大核心 2022年第4期43-51,共9页

针对无人机集群目标作战解析建模时在状态转移过程中计算速率低的问题,提出了一种基于行压缩存储的四阶Runge-Kutta法。根据无人机集群作战样式将无人机集群作战过程划分为三个阶段,并分阶段对无人机集群作战的状态转移过程建立连续时间... 针对无人机集群目标作战解析建模时在状态转移过程中计算速率低的问题,提出了一种基于行压缩存储的四阶Runge-Kutta法。根据无人机集群作战样式将无人机集群作战过程划分为三个阶段,并分阶段对无人机集群作战的状态转移过程建立连续时间Markov链模型。以无人机集群完成作战任务的可靠性作为求解指标,运用四阶Runge-Kutta法对Markov模型进行求解。由于求解过程中速率转移矩阵具有稀疏特性,采用基于行压缩存储的算法优化求解速率。仿真实验表明,运用连续时间Markov理论建立的无人机集群作战过程模型的有效性和可行性优于其他模型。同时,与其他算法及模型相比,该算法计算速率更高、能更好地满足结果精度的可靠性需求,进一步说明了本算法的优越性。 展开更多

关键词 无人机集群作战 连续时间markov链 分阶段建模 行压缩存储 四阶Runge-Kutta法

下载PDF 职称材料

一类连续时间Markov链的灵敏度分析和性能优化

4

作者 李衍杰 殷保群 +1 位作者 奚宏生 代桂平 《中国科学技术大学学报》 CAS CSCD 北大核心 2004年第6期704-709,共6页

从连续时间Markov链(CTMC)性能势的角度,借助于定义的折扣Poisson方程,给出了CTMC基于性能势的灵敏度公式及折扣代价准则(简称折扣准则)下的最优性方程.此外,建立了在折扣准则与无穷时间平均代价准则(简称平均准则)下灵敏度公式及最优... 从连续时间Markov链(CTMC)性能势的角度,借助于定义的折扣Poisson方程,给出了CTMC基于性能势的灵敏度公式及折扣代价准则(简称折扣准则)下的最优性方程.此外,建立了在折扣准则与无穷时间平均代价准则(简称平均准则)下灵敏度公式及最优性方程之间的联系. 展开更多

关键词 连续时间markov链 灵敏度分析 最优性方程 性能势 POISSON方程

下载PDF 职称材料

连续时间Markov链的遍历度 被引量：1

5

作者 毛永华 《中国科学（A辑）》 CSCD 北大核心 2003年第5期409-420,共12页

以首中时的矩来研究连续时间Markov链高阶偏差矩阵的存在及有限性,并由此给出转移矩阵收敛到平稳分布的多项式速度的估计,对于生灭过程,给出了显式的表达式。

关键词 连续时间markov链 遍历度 偏差矩阵 转移矩阵 生灭过程 代数式收敛

原文传递

连续时间Markov链的嵌入及其不变分布的数值计算 被引量：1

6

作者 刘源远 汤迎春 赵以强 《中国科学：数学》 CSCD 北大核心 2015年第5期671-682,共12页

本文采用嵌入的思想来研究连续时间Markov链不变分布的数值计算问题.本文建立连续时间嵌入Markov链作为截断扩充逼近的两个基本性质,得到连续时间水平依赖的M/G/1型Markov过程不变分布的迭代公式,并且在此基础上给出广义Markov分支过程... 本文采用嵌入的思想来研究连续时间Markov链不变分布的数值计算问题.本文建立连续时间嵌入Markov链作为截断扩充逼近的两个基本性质,得到连续时间水平依赖的M/G/1型Markov过程不变分布的迭代公式,并且在此基础上给出广义Markov分支过程不变分布的稳定算法,并通过两个例子来介绍这一算法. 展开更多

关键词 连续时间markov链 分支过程 不变分布 嵌入技巧 截断扩充逼近 数值计算

原文传递

基于Markov链的重组细胞恒化培养的随机建模分析 被引量：1

7

作者 李小月 姬雪晖 原三领 《工程数学学报》 CSCD 北大核心 2017年第2期111-123,共13页

本文研究了一类重组细胞恒化培养的连续时间Markov链模型.首先利用累积母函数表示出数字特征所满足的矩方程,然后通过对数正态分布近似的矩封闭技术得到了封闭后的矩方程,最后运用Euler-Maruyama方法构建了时间和状态都是连续的It随... 本文研究了一类重组细胞恒化培养的连续时间Markov链模型.首先利用累积母函数表示出数字特征所满足的矩方程,然后通过对数正态分布近似的矩封闭技术得到了封闭后的矩方程,最后运用Euler-Maruyama方法构建了时间和状态都是连续的It随机微分方程.为了验证矩封闭的合理性,利用数值模拟给出了确定模型、随机模型和矩封闭后的方程的比较,并分析了重组细胞的变化趋势,结果表明其随机游走趋势与相应确定性模型是一致的. 展开更多

关键词 连续时间markov链 累积母函数 对数正态分布 矩封闭 Ito随机微分方程

下载PDF 职称材料

弱对称Markov积分半群的表示(英文)

8

作者 王金金 李扬荣 《数学杂志》 CSCD 北大核心 2011年第4期611-614,共4页

本文研究了弱对称Markov积分半群的表示.利用积分的方法,获得了弱对称Markov积分半群的Kendall和Karlin-McGregor表示,推广了转移函数的Kendall和Karlin-McGregor表示.

关键词 markov积分Q-半群 连续时间markov链 弱对称性 表示

下载PDF 职称材料

连续时间Markov链的二元Log-PH分布研究

9

作者 戴泽兴 王传玉 张大伟 《贵州师范大学学报（自然科学版）》 CAS 2013年第6期62-65,共4页

对连续时间Markov链的一元PH分布研究作了推广。根据Ramaswami提出的连续时间Markov链的一元Log-PH分布的概念,对一元Log-PH分布进行k阶矩,Laplace变换,Kronecker运算等基本性质的研究。结合Assaf D[5]提出的连续时间Markov链的二元PH分... 对连续时间Markov链的一元PH分布研究作了推广。根据Ramaswami提出的连续时间Markov链的一元Log-PH分布的概念,对一元Log-PH分布进行k阶矩,Laplace变换,Kronecker运算等基本性质的研究。结合Assaf D[5]提出的连续时间Markov链的二元PH分布,推导出相应的二元Log-PH分布的分布函数,密度函数,k阶矩和Laplace变换。 展开更多

关键词 连续时间markov链 二元Log-PH分布 LAPLACE变换 Kronecker运算

下载PDF 职称材料

基于BER和CTMC的航天器发射组织过程可靠度模型

10

作者 董学军 白国庆 陈英武 《国防科技大学学报》 EI CAS CSCD 北大核心 2013年第2期46-51,共6页

在航天器发射工程中,存在组织过程可靠性评估难以量化的问题。基于航天器发射组织过程的时间特性呈现多个子过程并发执行且子过程具有Markov性和齐次性的特点,使用连续时间Markov链(CTMC)建立多吸收态的组织过程可靠度模型,利用互模拟... 在航天器发射工程中,存在组织过程可靠性评估难以量化的问题。基于航天器发射组织过程的时间特性呈现多个子过程并发执行且子过程具有Markov性和齐次性的特点,使用连续时间Markov链(CTMC)建立多吸收态的组织过程可靠度模型,利用互模拟等价关系(BER)简化组织过程的状态空间,并进一步给出各种状态转移率和组织过程可靠度计算方法。最后,通过数据分析说明模型在航天器发射工程进度计划评估中的作用和意义。 展开更多

关键词 航天器发射 互模拟等价关系 连续时间markov链 过程可靠度

下载PDF 职称材料

多信道认知网络的直观信道感知策略

11

作者 许悠 赵熠飞 +1 位作者 李云洲 邹红星 《清华大学学报（自然科学版）》 EI CAS CSCD 北大核心 2011年第11期1624-1628,共5页

为了提高频谱利用率,认知无线电技术可使非授权用户在不影响授权用户正常通信的情况下,利用瞬时的频谱空穴满足自身通信需求。如何通过感知频谱及时有效地发现频谱空穴是一个至关重要的问题,尤其是对于多信道认知无线电网络。针对多信... 为了提高频谱利用率,认知无线电技术可使非授权用户在不影响授权用户正常通信的情况下,利用瞬时的频谱空穴满足自身通信需求。如何通过感知频谱及时有效地发现频谱空穴是一个至关重要的问题,尤其是对于多信道认知无线电网络。针对多信道认知无线电网络,该文在连续时间Markov链的信道占用模型基础上,根据信道状态可能发生变化的概率,提出了一个动态的直观信道感知策略,并考虑了感知周期的影响。仿真结果表明:在感知周期合适的情况下,该策略能够有效地发现并利用频谱空穴,并且比周期感知和随机感知策略消耗更少的能量用于感知。 展开更多

关键词 无线通信 认知无线电 频谱感知 动态频谱接入 连续时间markov链

原文传递