具有Markov跳变参数的闭环供应链系统切换控制 被引量：8

1

作者 李庆奎 李梅 贾新春 《自动化学报》 EI CSCD 北大核心 2015年第12期2081-2091,共11页

研究具有Markov跳变参数的闭环供应链(Closed-loop supply chain,CLSC)切换系统建模以及具有抑制牛鞭效应的H∞控制问题.针对再制造过程中的不确定性问题,在考虑库存衰减因素的条件下,根据库存水平的不同状态将系统建模为切换系统,子系... 研究具有Markov跳变参数的闭环供应链(Closed-loop supply chain,CLSC)切换系统建模以及具有抑制牛鞭效应的H∞控制问题.针对再制造过程中的不确定性问题,在考虑库存衰减因素的条件下,根据库存水平的不同状态将系统建模为切换系统,子系统间的切换服从于一个Markov过程.基于输入滞后的控制策略,应用Markov切换思想对系统进行控制器设计与性能分析,在保证闭环供应链系统稳定的情形下有效抑制牛鞭效应.仿真例子说明所得结果的有效性. 展开更多

关键词 切换系统 闭环供应链系统 markov跳变参数 鲁棒H∞控制

在线阅读 下载PDF 职称材料

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

2

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

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

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

在线阅读 下载PDF 职称材料

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

3

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

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

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

在线阅读 下载PDF 职称材料

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

4

作者 戴泽兴 王传玉 张大伟 《贵州师范大学学报（自然科学版）》 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 职称材料

基于Markov链地统计模型的区域土壤性质研究进展 被引量：4

5

作者 王伟鹏 李晓鹏 刘建立 《土壤》 CAS CSCD 北大核心 2012年第1期10-16,共7页

土壤水力学性质的空间变异对于区域土壤水分溶质循环模拟研究至关重要。基于Markov链的条件模拟是一种能融合多源信息技术的地统计学模拟方法,与传统插值法和基于变异函数的条件模拟相比有诸多优势。目前,该方法在土壤水力学性质空间变... 土壤水力学性质的空间变异对于区域土壤水分溶质循环模拟研究至关重要。基于Markov链的条件模拟是一种能融合多源信息技术的地统计学模拟方法,与传统插值法和基于变异函数的条件模拟相比有诸多优势。目前,该方法在土壤水力学性质空间变异性领域的研究并未全面展开。实现区域土壤水力学模型参数的随机模拟,对于实现区域土壤水分运动和溶质运移的随机模拟,分析土壤水力学性质空间变异性对土壤水分运动和溶质运移模拟结果的影响,特别是参数采样点变化对土壤水分运动和溶质运移结果影响的不确定性等研究都有重要意义。本文旨在综述基于Markov链的地统计学模拟在土壤学相关领域的研究进展,以期为区域模拟中面临的参数获取难题提供帮助,为区域农业生产管理,水分高效利用,农田生态环境保护提供科学依据。 展开更多

关键词 markov链 地统计学模拟 土壤参数 空间变异

在线阅读 下载PDF 职称材料

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

6

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

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

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

在线阅读 下载PDF 职称材料

基于Markov特征的油气管道泄漏检测与定位方法 被引量：16

7

作者 刘金海 臧东 汪刚 《仪器仪表学报》 EI CAS CSCD 北大核心 2017年第4期944-951,共8页

针对传统的基于压力信号的管道泄漏检测方法误报率和漏报率偏高,同时定位误差较大的缺点,设计了一种基于Markov特征的管道泄漏检测与定位方法。首先,将管道压力数据构造为Markov链的形式,并提取其动态特征;然后,将所提取的特征应用于Ney... 针对传统的基于压力信号的管道泄漏检测方法误报率和漏报率偏高,同时定位误差较大的缺点,设计了一种基于Markov特征的管道泄漏检测与定位方法。首先,将管道压力数据构造为Markov链的形式,并提取其动态特征;然后,将所提取的特征应用于Neyman-Pearson异常检测方法之中,检测全部压力数据样本的状态,并对检测到的异常样本进行同源信号匹配,修正检测结果;最后,将相似性定位方法与连续小波定位方法结合,确定管道首末两端响应压力变化的时间差,并根据管道长度和压力波传输速度等信息,对泄漏源定位。所提方法能应用于小泄漏和缓慢泄漏的检测与定位,易于实现,误报率与漏报率显著降低,定位精度提高。通过对历史数据的分析,验证了所提方法的可行性和有效性。 展开更多

关键词 油气管道 markov链 Neyman-Pearson异常检测 相似性定位 连续小波定位

在线阅读 下载PDF 职称材料

基于SCEM-UA算法和全局敏感性分析的水文模型参数优选不确定性研究 被引量：4

8

作者 曹飞凤 张世强 +1 位作者 许月萍 楼章华 《中山大学学报（自然科学版）》 CAS CSCD 北大核心 2011年第2期120-126,共7页

针对复杂非线性水文模型参数识别及不确定性分析问题,引入基于马尔可夫链蒙特卡罗思想的SCEM-UA算法,以岷江流域为研究实例,对降雨径流模型的参数优选问题进行了分析,并探讨了该算法在推求参数后验分布的搜索性能和效率。结果发现,SCEM... 针对复杂非线性水文模型参数识别及不确定性分析问题,引入基于马尔可夫链蒙特卡罗思想的SCEM-UA算法,以岷江流域为研究实例,对降雨径流模型的参数优选问题进行了分析,并探讨了该算法在推求参数后验分布的搜索性能和效率。结果发现,SCEM-UA算法能快速有效地推求出参数后验概率分布。同时,开展基于SCEM-UA算法取样的参数全局敏感性分析,对比参数敏感性和后验分布,表明两者密切相关,敏感性强的参数其边缘后验概率密度分布存在明显峰值,相反,敏感性弱的参数其后验概率分布较为平坦且无规律可循,从而导致模型参数的不确定性大大增强。 展开更多

关键词 markov链蒙特卡罗法 参数优选 SCEM-UA 敏感性分析 不确定性分析 降雨径流概念模型

在线阅读 下载PDF 职称材料

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

9

作者 王金金 李扬荣 《西南大学学报（自然科学版）》 CAS CSCD 北大核心 2009年第4期30-33,共4页

介绍了Markov积分半群的弱对称性,对于一个单流出保守的Q-矩阵,给出了Markov积分Q-半群忠实且弱对称的充要条件.

关键词 markov积分半群 参数连续markov链 弱对称性 q-函数 Q-矩阵

在线阅读 下载PDF 职称材料

基于Markov模型的离散事件系统稳态与暂态的分析 被引量：2

10

作者 汪一亭 魏臻 《计算机工程与应用》 CSCD 北大核心 2009年第3期226-228,共3页

利用马尔科夫链的结果,在离散事件系统(DES)逻辑层次的自动机模型基础上,对DES的Markov模型的稳态和暂态特性,分别从时间参数连续和离散的情况下,分四个情况进行了分析,通过实例对系统遍历性提出了一条更简单的且在连续和离散时间参数... 利用马尔科夫链的结果,在离散事件系统(DES)逻辑层次的自动机模型基础上,对DES的Markov模型的稳态和暂态特性,分别从时间参数连续和离散的情况下,分四个情况进行了分析,通过实例对系统遍历性提出了一条更简单的且在连续和离散时间参数情况下都通用的判定规则,并利用Kolmogorov向后或向前方程,对连续时间参数DES的暂态特性进行了分析和计算。关于时间参数连续DES的稳态分布着重给出了生灭过程模型稳态分布的计算方法。讨论了DES模型统计性能层次与逻辑层次之间的联系。 展开更多

关键词 马尔科夫链 离散事件系统 连续时间参数 遍历性 Kolmogorov向后方程或向前方程

在线阅读 下载PDF 职称材料

JT70×30拖链浸出器的研制与应用

11

作者 朱振浩 《中国油脂》 CAS 1981年第5期1-7,共7页

一、前言 为了适应我国油脂工业现代化的需要,我厂与粮食部陕西油脂科学研究所共同协作,根据原U型拖链浸出器多年生产实践所取得的经验和多种技术参数,参考了美国皇冠浸出器的特点,研究设计试制成一种新型油脂连续浸出设备——JT70×... 一、前言 为了适应我国油脂工业现代化的需要,我厂与粮食部陕西油脂科学研究所共同协作,根据原U型拖链浸出器多年生产实践所取得的经验和多种技术参数,参考了美国皇冠浸出器的特点,研究设计试制成一种新型油脂连续浸出设备——JT70×30拖链浸出器(见图一)。该浸出器自1979年3月开始设计,80年5月进行车间安装,获一次试车成功后,投入长期生产考核。各项主要经济技术指标均达到设计要求。并显示出其独特之优点。然而,由于实验范围和时间的限制,必然还存在着尚待发现,有待于进一步研究解决的问题和潜在的优越性。因此,只能将在研制与应用中的一些试验情况和肤浅认识,以及探讨性的若干问题提出来,供作今后进一步研究参考。 展开更多

关键词 拖链 JT70 浸出时间 油脂工业 粮食部 连续浸出 旋液分离器 研究设计 技术参数 实验范围

在线阅读 下载PDF 职称材料

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

12

作者 郑吉平 秦小麟 +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 职称材料

Multi-h CPM信号的有限状态时序机表示 被引量：2

13

作者 钟声 张健 +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 职称材料

基于B细胞算法的克隆选择算法的收敛性分析 被引量：2

14

作者 方贤进 慕学海 +1 位作者 刘凌冰 王兴旺 《计算机应用》 CSCD 北大核心 2010年第3期772-775,共4页

克隆选择算法(CSA)已经广泛应用于计算智能领域,而针对其理论方面的分析和研究工作相对较少。为了丰富克隆选择算法的理论基础,将含有多个体种群的克隆选择算法抽象为含单个体的B细胞算法(BCA),简化了克隆选择算法的数学模型。给出了在... 克隆选择算法(CSA)已经广泛应用于计算智能领域,而针对其理论方面的分析和研究工作相对较少。为了丰富克隆选择算法的理论基础,将含有多个体种群的克隆选择算法抽象为含单个体的B细胞算法(BCA),简化了克隆选择算法的数学模型。给出了在BCA中使用的一种变异算子——连续区域超体变异算子(CRHO)和BCA的Markov链模型,提出了一个新的构造算法的状态跃迁矩阵的方法,证明了BCA的绝对收敛性。由于BCA是一般克隆选择算法的一种抽象,因此可以推断克隆选择算法的收敛性。 展开更多

关键词 克隆选择算法 B细胞算法 连续区域超体变异算子 markov链模型 收敛性

在线阅读 下载PDF 职称材料

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

15

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

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

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

在线阅读 下载PDF 职称材料

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

16

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

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

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

在线阅读 下载PDF 职称材料