期刊文献+
共找到1,690篇文章
< 1 2 85 >
每页显示 20 50 100
Hausdorff Dimension of Range and Graph for General Markov Processes
1
作者 CHEN Zhi-He 《应用概率统计》 CSCD 北大核心 2024年第6期942-956,共15页
We establish the Hausdorff dimension of the graph of general Markov processes on Rd based on some probability estimates of the processes staying or leaving small balls in small time.In particular,our results indicate ... We establish the Hausdorff dimension of the graph of general Markov processes on Rd based on some probability estimates of the processes staying or leaving small balls in small time.In particular,our results indicate that,for symmetric diffusion processes(withα=2)or symmetricα-stable-like processes(withα∈(0,2))on Rd,it holds almost surely that dimH GrX([0,1])=1{α<1}+(2−1/α)1{α≥1,d=1}+(d∧α)1{α≥1,d≥2}.We also systematically prove the corresponding results about the Hausdorff dimension of the range of the processes. 展开更多
关键词 markov process Hausdorff dimension RANGE GRAPH
在线阅读 下载PDF
Exponential stability of impulsive jump linear systems with Markov process 被引量:3
2
作者 Gao Liju Wu Yuqiang 《Journal of Systems Engineering and Electronics》 SCIE EI CSCD 2007年第2期304-310,共7页
The exponential stability is investigated for a class of continuous time linear systems with a finite state Markov chain form process and the impulsive jump at switching moments. The conditions, based on the average d... The exponential stability is investigated for a class of continuous time linear systems with a finite state Markov chain form process and the impulsive jump at switching moments. The conditions, based on the average dwell time and the ratio of expectation of the total time running on all unstable subsystems to the expectation of the total time running on all stable subsystems,assure the exponential stability with a desired stability degree of the system irrespective of the impact of impulsive jump. The uniformly bounded result is realized for the case in which switched system is subjected to the impulsive effect of the excitation signal at some switching moments. 展开更多
关键词 Jump systems Exponential stability Average dwell time markov process.
在线阅读 下载PDF
FTC of hidden Markov process with application to resource allocation in air operation
3
作者 Neng Eva Wu Matthew Charies Ruschmann 《Journal of Systems Engineering and Electronics》 SCIE EI CSCD 2011年第1期12-21,共10页
This paper investigates the feedback control of hidden Markov process(HMP) in the face of loss of some observation processes.The control action facilitates or impedes some particular transitions from an inferred cur... This paper investigates the feedback control of hidden Markov process(HMP) in the face of loss of some observation processes.The control action facilitates or impedes some particular transitions from an inferred current state in the attempt to maximize the probability that the HMP is driven to a desirable absorbing state.This control problem is motivated by the need for judicious resource allocation to win an air operation involving two opposing forces.The effectiveness of a receding horizon control scheme based on the inferred discrete state is examined.Tolerance to loss of sensors that help determine the state of the air operation is achieved through a decentralized scheme that estimates a continuous state from measurements of linear models with additive noise.The discrete state of the HMP is identified using three well-known detection schemes.The sub-optimal control policy based on the detected state is implemented on-line in a closed-loop,where the air operation is simulated as a stochastic process with SimEvents,and the measurement process is simulated for a range of single sensor loss rates. 展开更多
关键词 hidden markov process(HMP) DECENTRALIZATION information fusion fault tolerant estimation air operation receding horizon control(RHC).
在线阅读 下载PDF
融合聚类特征的改进MRF轨面缺陷分割方法 被引量:1
4
作者 闵永智 刘洋 《北京航空航天大学学报》 北大核心 2025年第6期1863-1872,共10页
针对轨面缺陷样本数量少、种类多的特点,以及在真实场景下存在迁移学习效果不稳定、阈值分割易受环境因素影响的问题,提出一种零样本的改进马尔可夫随机场轨面缺陷分割方法。对采集的数据使用Gabor函数进行处理,突出缺陷特征,降低数据维... 针对轨面缺陷样本数量少、种类多的特点,以及在真实场景下存在迁移学习效果不稳定、阈值分割易受环境因素影响的问题,提出一种零样本的改进马尔可夫随机场轨面缺陷分割方法。对采集的数据使用Gabor函数进行处理,突出缺陷特征,降低数据维度,得到降维特征图;对处理后的特征图进行Kmeans聚类,缩减数据分布,降低反光和阴影的影响,并将聚类结果作为预分类矩阵;通过降维特征图和预分类矩阵构建改进马尔可夫随机场(MRF)双层图模型,并进行推理;根据模型推理出的预分类矩阵特征值来分析缺陷部分的局部几何结构;标记出缺陷区域,并完成缺陷分割。使用自采样数据集进行对比实验和消融实验,结果表明:所提方法在自采样数据集上的像素准确率、平均像素准确率、加权交并比、均交并比分别达到93.6%、80.7%、89.4%、68.2%,超过对比检测方法精度。 展开更多
关键词 图像处理 轨面缺陷 马尔可夫随机场 概率图模型 实例分割
在线阅读 下载PDF
基于马尔可夫判定过程的光纤网络入侵检测方法 被引量:2
5
作者 郭海智 贾志诚 李金库 《激光杂志》 北大核心 2025年第3期193-198,共6页
为了可以精准实现光纤网络入侵检测,提出基于马尔可夫判定过程的光纤网络入侵检测方法。通过频域分块技术对光纤网络信号展开信号提纯,利用经验模态分解方法对入侵信号进行初始检测,采用模糊层次分析法确定网络接入行为信用度,对于信用... 为了可以精准实现光纤网络入侵检测,提出基于马尔可夫判定过程的光纤网络入侵检测方法。通过频域分块技术对光纤网络信号展开信号提纯,利用经验模态分解方法对入侵信号进行初始检测,采用模糊层次分析法确定网络接入行为信用度,对于信用度较高的接入行为直接通过,剩余接入行为则利用马尔可夫判定过程展开判定,由此实现入侵检测。实验结果表明,该方法能够快速、准确检测入侵信号,特别是针对Pording数据集所遭受侵入式窃听行为,检出率高达0.985。在整个实验中,该方法检出率的最小值也可以达到0.920,平均检测误判率、平均检测漏判率的最大值分别为0.01、0.02。这说明该方法显著提升光纤网络的安全性和稳定性,为保障网络安全提供有力的支持。 展开更多
关键词 马尔可夫判定过程 光纤网络 经验模态分解 模糊层次分析法 入侵检测
在线阅读 下载PDF
基于马尔可夫过程的电动汽车电驱动系统共模干扰抑制方法研究 被引量:1
6
作者 张长勇 陈炟名 张云蕾 《汽车技术》 北大核心 2025年第1期41-47,共7页
针对电动汽车电驱动系统的共模干扰问题,提出了一种基于马尔可夫(Markov)过程的三段式伪随机载波频率等效零矢量脉宽调制(PRF-AZSPWM)策略。在等效零矢量作用的基础上,该策略引入双态Markov链生成随机合成信号,使载波频率在一定范围内... 针对电动汽车电驱动系统的共模干扰问题,提出了一种基于马尔可夫(Markov)过程的三段式伪随机载波频率等效零矢量脉宽调制(PRF-AZSPWM)策略。在等效零矢量作用的基础上,该策略引入双态Markov链生成随机合成信号,使载波频率在一定范围内随机变化,同时选择合适的传递概率,将谐波能量扩展到更宽的频率范围。仿真结果表明,提出的方案有效降低了电驱动系统的共模干扰水平,并通过样机试验进一步证明了提出策略的有效性。 展开更多
关键词 电动汽车 电驱动系统 共模干扰 伪随机 马尔可夫过程
在线阅读 下载PDF
基于深度强化学习的外卖即时配送实时优化 被引量:1
7
作者 陈彦如 刘珂良 冉茂亮 《计算机工程》 北大核心 2025年第9期328-339,共12页
为了应对外卖配送任务在用餐高峰期运力紧张、订单延迟送达率高的挑战,提出一种基于深度强化学习(DRL)的外卖即时配送实时优化策略,以提升外卖平台长期客户服务水平。首先,充分考虑外卖配送中备餐时间、取送顺序、时间窗等约束,以最大... 为了应对外卖配送任务在用餐高峰期运力紧张、订单延迟送达率高的挑战,提出一种基于深度强化学习(DRL)的外卖即时配送实时优化策略,以提升外卖平台长期客户服务水平。首先,充分考虑外卖配送中备餐时间、取送顺序、时间窗等约束,以最大化期望平均客户服务水平为目标,建立考虑随机需求的外卖即时配送问题的马尔可夫决策过程(MDP)模型;其次,设计一种结合近似策略优化(PPO)算法和插入启发式(IH)算法的外卖即时配送优化策略PPO-IH。PPO-IH使用融合注意力机制的选择策略网络对订单-骑手进行匹配,通过PPO算法对网络进行训练,并使用插入启发式算法更新骑手路径。最后,通过与贪婪策略(Greedy)、最小差值策略、分配启发式以及两种深度强化学习算法进行对比实验,结果表明。PPO-IH分别在71.5%、95.5%、87.5%、79.5%与70.0%时段数据中表现更优,同时平均客户服务水平更高,平均每单配送时间更短、延迟送达率更低。此外,PPO-IH在不同骑手数、不同订单密度以及不同订单时间窗场景下具有一定的有效性和泛化性。 展开更多
关键词 外卖配送 实时优化 深度强化学习 马尔可夫决策过程 近似策略优化 注意力机制
在线阅读 下载PDF
考虑峰值功率受限约束的柔性作业车间调度研究
8
作者 李益兵 曹岩 +3 位作者 郭钧 王磊 李西兴 孙利波 《中国机械工程》 北大核心 2025年第2期280-293,共14页
针对车间峰值功率受限约束下的柔性作业车间调度面临的作业周期增加、机器负荷增大的问题,建立以最小化最大完工时间和最小化机器最大负载为优化目标、考虑车间峰值功率约束的柔性作业车间调度问题(PPCFJSP)模型。为更好地调度决策,首... 针对车间峰值功率受限约束下的柔性作业车间调度面临的作业周期增加、机器负荷增大的问题,建立以最小化最大完工时间和最小化机器最大负载为优化目标、考虑车间峰值功率约束的柔性作业车间调度问题(PPCFJSP)模型。为更好地调度决策,首先将该问题转化为马尔可夫决策过程,基于此设计了一个结合离线训练与在线调度的用于求解PPCFJSP的调度框架。然后设计了一种基于优先级经验重放的双重决斗深度Q网络(D3QNPER)算法,并设计了一种引入噪声的ε-贪婪递减策略,提高了算法收敛速度,进一步提高了求解能力和求解结果的稳定性。最后开展实验与算法对比研究,验证了模型和算法的有效性。 展开更多
关键词 柔性作业车间调度 马尔可夫决策过程 深度强化学习 峰值功率受限
在线阅读 下载PDF
基于相依竞争失效模型与半马尔科夫过程的星敏感器可靠性分析
9
作者 李玉明 关亮 +1 位作者 焦健 景永峰 《兵器装备工程学报》 北大核心 2025年第9期17-22,49,共7页
随着航天技术的快速发展和卫星在轨时间的延长,星敏感器的可靠性问题愈发引起重视。针对星敏感器在退化与冲击相互作用下的可靠性评估问题展开研究,旨在建立一种能够全面反映退化与冲击动态相依关系的可靠性评估模型。首先,分析了星敏... 随着航天技术的快速发展和卫星在轨时间的延长,星敏感器的可靠性问题愈发引起重视。针对星敏感器在退化与冲击相互作用下的可靠性评估问题展开研究,旨在建立一种能够全面反映退化与冲击动态相依关系的可靠性评估模型。首先,分析了星敏感器性能退化的原因以及冲击与退化的相依竞争失效机制。然后,基于半马尔科夫过程提出了一种考虑相依竞争失效的星敏感器可靠性评估模型,采用威布尔退化模型和半马尔科夫过程,刻画了退化和冲击之间的复杂耦合效应。最后以某型星敏感器系统为例,进行了系统可靠性分析,并通过敏感性分析探讨了不同性能参数对系统可靠性的影响,验证了所提出模型的有效性。 展开更多
关键词 星敏感器 半马尔科夫过程 相依竞争失效过程 可靠性分析 外部冲击 自然退化
在线阅读 下载PDF
动态电磁环境下多功能雷达一体化发射资源管理方案
10
作者 张鹏 严俊坤 +2 位作者 高畅 李康 刘宏伟 《雷达学报(中英文)》 北大核心 2025年第2期456-469,共14页
传统多功能雷达仅面向目标特性优化发射资源,在动态电磁环境下面临干扰智能时变、优化模型失配的问题。因此,该文提出一种基于数据驱动的一体化发射资源管理方案,旨在通过对动态干扰信息在线感知与利用提升多功能雷达在动态电磁环境下... 传统多功能雷达仅面向目标特性优化发射资源,在动态电磁环境下面临干扰智能时变、优化模型失配的问题。因此,该文提出一种基于数据驱动的一体化发射资源管理方案,旨在通过对动态干扰信息在线感知与利用提升多功能雷达在动态电磁环境下的多目标跟踪(MTT)性能。该方案首先建立马尔可夫决策过程,数学化描述雷达被敌方截获和干扰的风险。而后将该马尔可夫决策过程感知的干扰信息耦合进MTT精度计算,一体化发射资源管理方法被设计为具有约束动作空间的优化问题。最后提出一种贪婪排序回溯算法对其进行求解。仿真结果表明,所提方法在面向动态干扰环境时不仅可以降低敌方截获概率,还能在被干扰时降低干扰对雷达的影响,改善MTT性能。 展开更多
关键词 一体化发射资源管理 多目标跟踪 动态电磁环境 马尔可夫决策过程 优化问题
在线阅读 下载PDF
基于多级库存管理理论的导航星座可用性研究
11
作者 赵灵峰 黄朝伟 +3 位作者 林若禹 黄莎莎 薛小锋 冯蕴雯 《西北工业大学学报》 北大核心 2025年第2期222-232,共11页
目前星座可用性的备份策略研究方法单一且忽略了卫星短期故障,采用马尔可夫理论但对备份策略研究不够深入。针对上述问题,提出了一种基于多级库存管理理论并考虑星座状态的星座可用性研究方法。以备份卫星的保障率为指标建立星座备份策... 目前星座可用性的备份策略研究方法单一且忽略了卫星短期故障,采用马尔可夫理论但对备份策略研究不够深入。针对上述问题,提出了一种基于多级库存管理理论并考虑星座状态的星座可用性研究方法。以备份卫星的保障率为指标建立星座备份策略的数学模型;根据马尔可夫理论,结合单星可用性和星座状态概率进一步建立星座服务可用性数学模型;以某导航星座为例进行案例分析对比。根据模型计算结果,探究了星座故障状态概率变化;给出了备份卫星部署位置、补充时机以及增加数量对提高星座服务可用性的影响;验证了短期故障对卫星星座可用性的影响程度与长期故障相当,在工程应用中不可忽视。 展开更多
关键词 卫星星座 多级库存管理理论 备份策略 PETRI网 马尔可夫过程 星座可用性
在线阅读 下载PDF
具有马尔科夫切换Lévy过程驱动的非线性随机系统离散控制
12
作者 殷利平 韩雅微 李涛 《江苏大学学报(自然科学版)》 北大核心 2025年第5期570-576,共7页
研究了一类带有Lévy噪声和马尔科夫切换的非线性随机系统稳定性问题.首先,设计了一种状态反馈控制器,确保闭环系统具有均方指数稳定性.其次,将该连续时间状态反馈控制器进行离散化处理,以适应实际控制系统的需求.最后,通过推导得出... 研究了一类带有Lévy噪声和马尔科夫切换的非线性随机系统稳定性问题.首先,设计了一种状态反馈控制器,确保闭环系统具有均方指数稳定性.其次,将该连续时间状态反馈控制器进行离散化处理,以适应实际控制系统的需求.最后,通过推导得出,在离散控制器作用下,系统状态与连续控制器作用下的系统状态之差的二阶矩是有界的.仿真结果表明:离散化后的控制器依然能够使系统保持稳定,离散控制器作用下闭环系统的稳定性得到了验证. 展开更多
关键词 非线性随机系统 LÉVY过程 马尔科夫切换 状态反馈控制 离散化 二阶矩有界 稳定性
在线阅读 下载PDF
基于MDP和Q-learning的绿色移动边缘计算任务卸载策略
13
作者 赵宏伟 吕盛凱 +2 位作者 庞芷茜 马子涵 李雨 《河南理工大学学报(自然科学版)》 北大核心 2025年第5期9-16,共8页
目的为了在汽车、空调等制造类工业互联网企业中实现碳中和,利用边缘计算任务卸载技术处理生产设备的任务卸载问题,以减少服务器的中心负载,减少数据中心的能源消耗和碳排放。方法提出一种基于马尔可夫决策过程(Markov decision process... 目的为了在汽车、空调等制造类工业互联网企业中实现碳中和,利用边缘计算任务卸载技术处理生产设备的任务卸载问题,以减少服务器的中心负载,减少数据中心的能源消耗和碳排放。方法提出一种基于马尔可夫决策过程(Markov decision process,MDP)和Q-learning的绿色边缘计算任务卸载策略,该策略考虑了计算频率、传输功率、碳排放等约束,基于云边端协同计算模型,将碳排放优化问题转化为混合整数线性规划模型,通过MDP和Q-learning求解模型,并对比随机分配算法、Q-learning算法、SARSA(state action reward state action)算法的收敛性能、碳排放与总时延。结果与已有的计算卸载策略相比,新策略对应的任务调度算法收敛比SARSA算法、Q-learning算法分别提高了5%,2%,收敛性更好;系统碳排放成本比Q-learning算法、SARSA算法分别减少了8%,22%;考虑终端数量多少,新策略比Q-learning算法、SARSA算法终端数量分别减少了6%,7%;系统总计算时延上,新策略明显低于其他算法,比随机分配算法、Q-learning算法、SARSA算法分别减少了27%,14%,22%。结论该策略能够合理优化卸载计算任务和资源分配,权衡时延、能耗,减少系统碳排放量。 展开更多
关键词 碳排放 边缘计算 强化学习 马尔可夫决策过程 任务卸载
在线阅读 下载PDF
面向成本与可用度的舰船冗余系统与备件库存优化模型
14
作者 龚立雄 范岩淼 +2 位作者 梁嘉乐 肖杪铃 雷彬文 《海军工程大学学报》 北大核心 2025年第2期1-8,共8页
为有效提高舰船冗余系统可用度,并合理控制舰船保障成本,首先基于马尔科夫(Markov)状态转移过程,考虑了系统部件故障、维修周期以及备件预订过程等参数,建立了k/n舰船冗余系统可用度模型,用于反映系统在不同状态下的可用性;然后,基于全... 为有效提高舰船冗余系统可用度,并合理控制舰船保障成本,首先基于马尔科夫(Markov)状态转移过程,考虑了系统部件故障、维修周期以及备件预订过程等参数,建立了k/n舰船冗余系统可用度模型,用于反映系统在不同状态下的可用性;然后,基于全寿命周期费用,构建了一种考虑冗余度和备件库存配置的可用度与成本优化模型,并提出了一种基于边际优化算法的联合优化方法;最后,通过与单一备件库存优化、单一冗余优化方法以及遗传算法和自适应遗传算法的比较,验证了该方法的可行性和有效性。研究结果表明:所提出的联合优化方法能够显著降低舰船冗余系统全寿命周期费用,为舰船冗余系统的可用度分析和成本控制提供了一种新的思路和工具。 展开更多
关键词 markov过程 可用度 冗余 备件库存 决策系统 全寿命周期费用
在线阅读 下载PDF
因果时空语义驱动的深度强化学习抽象建模方法
15
作者 田丽丽 杜德慧 +2 位作者 聂基辉 陈逸康 李荥达 《软件学报》 北大核心 2025年第8期3637-3654,共18页
随着智能信息物理融合系统(intelligent cyber-physical system,ICPS)的快速发展,智能技术在感知、决策、规控等方面的应用日益广泛.其中,深度强化学习因其在处理复杂的动态环境方面的高效性,已被广泛用于ICPS的控制组件中.然而,由于运... 随着智能信息物理融合系统(intelligent cyber-physical system,ICPS)的快速发展,智能技术在感知、决策、规控等方面的应用日益广泛.其中,深度强化学习因其在处理复杂的动态环境方面的高效性,已被广泛用于ICPS的控制组件中.然而,由于运行环境的开放性和ICPS系统的复杂性,深度强化学习在学习过程中需要对复杂多变的状态空间进行探索,这极易导致决策生成时效率低下和泛化性不足等问题.目前对于该问题的常见解决方法是将大规模的细粒度马尔可夫决策过程(Markov decision process,MDP)抽象为小规模的粗粒度马尔可夫决策过程,从而简化模型的计算复杂度并提高求解效率.但这些方法尚未考虑如何保证原状态的时空语义信息、聚类抽象的系统空间和真实系统空间之间的语义一致性问题.针对以上问题,提出基于因果时空语义的深度强化学习抽象建模方法.首先,提出反映时间和空间价值变化分布的因果时空语义,并在此基础上对状态进行双阶段语义抽象以构建深度强化学习过程的抽象马尔可夫模型;其次,结合抽象优化技术对抽象模型进行调优,以减少抽象状态与相应具体状态之间的语义误差;最后,结合车道保持、自适应巡航、交叉路口会车等案例进行了大量的实验,并使用验证器PRISM对模型进行评估分析,结果表明所提出的抽象建模技术在模型的抽象表达能力、准确性及语义等价性方面具有较好的效果. 展开更多
关键词 深度强化学习 抽象建模 因果时空语义 智能信息物理融合系统(ICPS) 马尔可夫决策过程(MDP)
在线阅读 下载PDF
基于序贯检测的快速马尔可夫决策:理论、方法及应用 被引量:2
16
作者 陈祖旭 陈巍 +1 位作者 李长坤 韩宇星 《信号处理》 北大核心 2025年第3期448-471,共24页
本文立足存在突变状态与检测噪声复杂环境,针对控制后效性与动作迟滞性问题,探索提升决策与控制时效性的方法,提出了一种基于序贯检测的快速马尔可夫决策框架,并应用于智能电网、疾控、水利等若干典型场景。具体的,本文发掘了统计信号... 本文立足存在突变状态与检测噪声复杂环境,针对控制后效性与动作迟滞性问题,探索提升决策与控制时效性的方法,提出了一种基于序贯检测的快速马尔可夫决策框架,并应用于智能电网、疾控、水利等若干典型场景。具体的,本文发掘了统计信号处理中的变化点最速检测与随机最优控制中的马尔可夫决策之间的关联,建立了一种包含四维状态的受约束马尔可夫决策框架。该框架可选择一种可行的联合检测-控制策略,最大化控制对象的期望回报,或达到平均收益与风险的最佳折中。相对于传统的“先检测变化点、后调整可控量”的分层策略,所提出的新方法实现了“边检测变化点,边调整可控量”的跨层协同,可有效应对检测延时、反应迟滞对决策控制时效性带来的挑战。在智能电网、疾控、水利等场景中,均展示了“检中调”的思路显著优于“检后调”的传统方法。最后,本文还简要展望了基于序贯检测的快速马尔可夫决策在海上碳封存、网络攻击检测防御中的潜在应用价值。 展开更多
关键词 统计信号处理 随机最优控制 序贯检测 最速变化点检测 马尔可夫决策过程 受约束马尔可夫决策过程
在线阅读 下载PDF
多状态可再生能源分布式发电系统可靠性评估 被引量:3
17
作者 温艳清 郑晓亚 +3 位作者 陈剑慧 张慧 刘宝亮 邱青安 《太阳能学报》 北大核心 2025年第3期199-206,共8页
针对可再生能源发电系统可靠性建模中二值状态局限性的问题,根据发电系统输出功率和用户电力负载动态变化的特征,构建太阳能光伏发电系统、风力发电系统、用户电力负载相互交叉组合的多状态马尔可夫过程模型,运用聚合随机过程理论,推导... 针对可再生能源发电系统可靠性建模中二值状态局限性的问题,根据发电系统输出功率和用户电力负载动态变化的特征,构建太阳能光伏发电系统、风力发电系统、用户电力负载相互交叉组合的多状态马尔可夫过程模型,运用聚合随机过程理论,推导出度量系统可靠性的两个重要指标:可用度和供电不足的平均时间。最后,通过数值算例验证模型的正确性和适用性。 展开更多
关键词 太阳能 风电机组 可靠性 分布式发电系统 马尔可夫过程
在线阅读 下载PDF
云网融合环境下服务组合的未来属性验证 被引量:1
18
作者 王湛 张鹏程 +1 位作者 金惠颖 吉顺慧 《计算机工程》 北大核心 2025年第3期310-319,共10页
随着云网融合技术以及空天地一体化网络的快速发展,越来越多的服务开始在云网融合环境下运行。在云网融合环境下,用户呈现移动性特征,导致服务组合过程变得愈发复杂,服务组合验证变得尤为关键。同时,在云网融合环境下用户要求服务组合... 随着云网融合技术以及空天地一体化网络的快速发展,越来越多的服务开始在云网融合环境下运行。在云网融合环境下,用户呈现移动性特征,导致服务组合过程变得愈发复杂,服务组合验证变得尤为关键。同时,在云网融合环境下用户要求服务组合不仅在当前时间段内稳定运行,还需要在未来时间段内持续满足用户需求。为了解决以上问题,提出一种云网融合环境下的服务组合未来属性验证方法。首先,对云网融合中的服务组合过程进行形式化建模,同时考虑用户移动导致的云网环境下服务场景的转换关系;然后,为了准确描述用户需求,对云网融合场景下的用户需求进行形式化描述;最后,为了解决云网融合环境下用户对服务组合未来时间段内的验证需求,对服务组合未来时间段的服务属性进行预测,利用PRISM模型检验工具来进行云网融合环境下的服务组合验证,以确保在未来时间段内仍然满足性能和可用性要求。实验结果表明,在云网融合环境下,当服务数量达到1000时验证模型构建时间以及模型检测时间分别为3.372 s和0.075 s,通过云网融合环境下的服务组合案例说明了所提方法的有效性与可行性。 展开更多
关键词 云网融合 服务组合 马尔可夫决策过程 服务质量 形式化验证
在线阅读 下载PDF
基于CA-Markov模型的黄土丘陵区土地利用变化 被引量:66
19
作者 刘淑燕 余新晓 +2 位作者 李庆云 李洪禹 雷凤燕 《农业工程学报》 EI CAS CSCD 北大核心 2010年第11期297-303,共7页
为探讨黄土丘陵区的土地利用变化规律以及驱动机制,以罗玉沟流域作为典型流域,基于1986、2001年的TM影像为数据源,对土地利用格局分布进行分析,并运用CA-Markov模型,以2001年的土地利用格局为基础,预测了2016年流域的土地利用的空间格... 为探讨黄土丘陵区的土地利用变化规律以及驱动机制,以罗玉沟流域作为典型流域,基于1986、2001年的TM影像为数据源,对土地利用格局分布进行分析,并运用CA-Markov模型,以2001年的土地利用格局为基础,预测了2016年流域的土地利用的空间格局分布。结果表明,罗玉沟流域土地利用格局在1986年以前,以坡耕地为主,面积占59.67%,其次为梯田、草地和林地。从1986年到2001年林地和梯田的面积均有显著增加,坡耕地面积则显著减少,其余土地利用类型面积变化不大。从单一土地利用类型动态度来看,面积增加大的土地类型同时具有较高的动态度,梯田的动态度最大达到了15.09,林地的动态度次之。CA-Markov模型预测结果表明2001-2016年期间土地利用变化继续保持1986-2001年间的变化趋势,总体上表现为坡耕地减少,林地和梯田增加,但坡耕地的减少速率却明显小于1986-2001年,这主要是由于剩余的坡耕地受立地条件、政策措施等一系列的因素的影响。其他土地类型之间的相互转化,面积较小,基本处于比较稳定的动态变化之中。根据模拟结果可调整各类土地利用/覆被格局,为该区土地利用规划、管理和生态恢复提供科学依据。 展开更多
关键词 元胞自动机 马尔柯夫过程 土地变化 黄土丘陵区
在线阅读 下载PDF
主接线可靠性评估中断路器的 Markov 可靠性等效模型 被引量:8
20
作者 何建军 任震 +2 位作者 王官洁 杨浩 黄雯莹 《电力系统及其自动化学报》 CSCD 1997年第3期15-21,共7页
本文在应用Markov过程对变电主接线进行可靠性评估的过程中,对其中的主要元件断路器进行了专门讨论,深入阐述了断路器在运行中可能出现的各种故障,并运用Markov过程的基本理论,对其经故障统计得出的原始状态空间图按正... 本文在应用Markov过程对变电主接线进行可靠性评估的过程中,对其中的主要元件断路器进行了专门讨论,深入阐述了断路器在运行中可能出现的各种故障,并运用Markov过程的基本理论,对其经故障统计得出的原始状态空间图按正常、拒动、其它扩大型故障(除拒动外)和非扩大型故障进行状态合并、得到能全面反映断路器各种故障模式的可靠性等效模型。 展开更多
关键词 markov过程 断路器 等效模型 电气接线系统
在线阅读 下载PDF
上一页 1 2 85 下一页 到第
使用帮助 返回顶部