期刊文献+
共找到60篇文章
< 1 2 3 >
每页显示 20 50 100
Markov积分算子半群的限制及关于增加积分算子半群的生成(英文) 被引量:6
1
作者 赵文强 李扬荣 《应用泛函分析学报》 CSCD 2005年第2期137-145,共9页
证明了转移函数是l∞的一个子空C1上的正的压缩C0半群,其极小生成元恰好是Markov积分算子半群的生成元在C1中的部分;Markov积分算子半群的生成元稠定的充分必要条件是q-矩阵Q一致有界;同时转移函数是Feller-Reuter-Riley的充要条件是Mar... 证明了转移函数是l∞的一个子空C1上的正的压缩C0半群,其极小生成元恰好是Markov积分算子半群的生成元在C1中的部分;Markov积分算子半群的生成元稠定的充分必要条件是q-矩阵Q一致有界;同时转移函数是Feller-Reuter-Riley的充要条件是Markov积分算子半群的生成元在c0中的部分产生一个强连续半群.最后,在序Banach空间给出了增加的压缩积分算子半群的生成定理. 展开更多
关键词 参数连续markov 转移函数 markov积分算子半群 压缩C0半群 增加积分算子半群 预解正算子
下载PDF
Markov积分半群的非退化性及弱~*可微性 被引量:4
2
作者 赵文强 商彦英 《西南师范大学学报(自然科学版)》 CAS CSCD 北大核心 2006年第6期24-27,共4页
研究参数连续Markov链的积分性质.从转移概率函数的定义出发,证明了Markov积分算子半群是非退化的.同时,还利用转移半群的对偶性质得到了Markov积分算子半群是一弱*连续可微半群,且具有二阶弱*连续可微性.
关键词 参数连续markov markov积分算子半群 转移概率函数 非退化 弱*可微
下载PDF
算子半群的逼近及其在参数连续马尔科夫链中的应用(英文) 被引量:4
3
作者 赵文强 闵兰 《西南师范大学学报(自然科学版)》 CAS CSCD 北大核心 2003年第5期665-669,共5页
在Banach空间中,根据生成元得出了算子半群逼近的一个充要条件.同时,把算子半群的逼近理论运用到马尔科夫链,讨论了转移函数的逼近,推广了一些已知结果.
关键词 BANACH空间 算子半群 逼近理论 参数连续马尔科夫链 转移函数 生成元
下载PDF
基于持续时间马尔科夫链的配电信息物理系统可靠性评估
4
作者 李鑫 汪隆君 《广东电力》 2023年第4期41-48,共8页
配电自动化对配电网供电可靠性的贡献程度有赖于通信方式的选择。为此,提出一种基于连续时间马尔科夫链的配电信息物理系统可靠性评估方法。建立层次化的系统可靠性模型,解析各层子系统的可靠性指标传递过程,利用灵敏度分析来比较不同... 配电自动化对配电网供电可靠性的贡献程度有赖于通信方式的选择。为此,提出一种基于连续时间马尔科夫链的配电信息物理系统可靠性评估方法。建立层次化的系统可靠性模型,解析各层子系统的可靠性指标传递过程,利用灵敏度分析来比较不同通信接入技术的场景适用性。最后,以罗伊-比尔顿测试系统(Roy Billton test system,RBTS)母线5为算例对所提方法进行验证,并分析网络时延和误码对供电可靠性的影响。结果表明:基于无线公网的配电自动化,在合适的信噪比条件下可达到应用光纤或电力线载波通信方式的可靠性水平。 展开更多
关键词 配电信息物理系统 可靠性评估 持续时间马尔科夫链 配电自动化 灵敏度分析
下载PDF
q-矩阵的保守化特征 被引量:3
5
作者 赵文强 陈琪 《西南师范大学学报(自然科学版)》 CAS CSCD 北大核心 2005年第3期401-404,417,共5页
研究q-矩阵与它的保守化矩阵之间的等价性质,并给出了一些应用.
关键词 参数连续markov Q-矩阵 保守化 忠实化
下载PDF
关于Feller-Reuter-Riley转移函数的逼近 被引量:1
6
作者 赵文强 《西南师范大学学报(自然科学版)》 CAS CSCD 北大核心 2006年第4期25-28,共4页
用算子半群的Trotter-Kato逼近定理研究参数连续Markov链中转移函数的逼近.给出了Feller-Reuter-Riley转移函数收敛的q矩阵条件,并证明了Feller-Reuter-Riley转移函数的收敛和它们对应的预解函数的收敛等价.
关键词 参数连续markov 压缩半群 转移函数 Q-矩阵 逼近
下载PDF
关于转移函数的收敛性 被引量:2
7
作者 赵文强 李扬荣 《数学杂志》 CSCD 北大核心 2008年第1期81-84,共4页
本文研究了参数连续Markov链中转移函数的逼近.运用算子半群方法,讨论了q-矩阵的截断矩阵对应Q-函数的收敛问题;引进q-矩阵的Yosida逼近矩阵,证明了任意Q-过程可以由一列有界Q-过程逼近.并给出了最小Q-函数收敛的q-矩阵条件.推广了相关... 本文研究了参数连续Markov链中转移函数的逼近.运用算子半群方法,讨论了q-矩阵的截断矩阵对应Q-函数的收敛问题;引进q-矩阵的Yosida逼近矩阵,证明了任意Q-过程可以由一列有界Q-过程逼近.并给出了最小Q-函数收敛的q-矩阵条件.推广了相关工作. 展开更多
关键词 参数连续markov 算子半群 Q函数 Q-矩阵 逼近
下载PDF
连续时间Markov链的嵌入及其不变分布的数值计算 被引量:1
8
作者 刘源远 汤迎春 赵以强 《中国科学:数学》 CSCD 北大核心 2015年第5期671-682,共12页
本文采用嵌入的思想来研究连续时间Markov链不变分布的数值计算问题.本文建立连续时间嵌入Markov链作为截断扩充逼近的两个基本性质,得到连续时间水平依赖的M/G/1型Markov过程不变分布的迭代公式,并且在此基础上给出广义Markov分支过程... 本文采用嵌入的思想来研究连续时间Markov链不变分布的数值计算问题.本文建立连续时间嵌入Markov链作为截断扩充逼近的两个基本性质,得到连续时间水平依赖的M/G/1型Markov过程不变分布的迭代公式,并且在此基础上给出广义Markov分支过程不变分布的稳定算法,并通过两个例子来介绍这一算法. 展开更多
关键词 连续时间markov 分支过程 不变分布 嵌入技巧 截断扩充逼近 数值计算
原文传递
基于BER和CTMC的航天器发射组织过程可靠度模型
9
作者 董学军 白国庆 陈英武 《国防科技大学学报》 EI CAS CSCD 北大核心 2013年第2期46-51,共6页
在航天器发射工程中,存在组织过程可靠性评估难以量化的问题。基于航天器发射组织过程的时间特性呈现多个子过程并发执行且子过程具有Markov性和齐次性的特点,使用连续时间Markov链(CTMC)建立多吸收态的组织过程可靠度模型,利用互模拟... 在航天器发射工程中,存在组织过程可靠性评估难以量化的问题。基于航天器发射组织过程的时间特性呈现多个子过程并发执行且子过程具有Markov性和齐次性的特点,使用连续时间Markov链(CTMC)建立多吸收态的组织过程可靠度模型,利用互模拟等价关系(BER)简化组织过程的状态空间,并进一步给出各种状态转移率和组织过程可靠度计算方法。最后,通过数据分析说明模型在航天器发射工程进度计划评估中的作用和意义。 展开更多
关键词 航天器发射 互模拟等价关系 连续时间markov 过程可靠度
下载PDF
Markov预解式之分解与Kolmogorov Q过程之精析
10
作者 卢影 陈安岳 杜丽 《中国科学:数学》 CSCD 北大核心 2015年第5期439-460,共22页
本文应用预解算子的分解定理来研究带有限个瞬时态的Kolmogorov Q-矩阵.此模型是Kolmogorov等人早期研究的一类Q-矩阵的推广.但本文的讨论不限于存在唯一性,而是更着重于对过程性质的深刻分析.在给出一个极易验证的存在唯一性条件后,本... 本文应用预解算子的分解定理来研究带有限个瞬时态的Kolmogorov Q-矩阵.此模型是Kolmogorov等人早期研究的一类Q-矩阵的推广.但本文的讨论不限于存在唯一性,而是更着重于对过程性质的深刻分析.在给出一个极易验证的存在唯一性条件后,本文证明Kolmogorov Q-过程必定是常返的.一个非常好的过程遍历的充分必要条件也在本文给出.在此过程遍历的条件下,过程极限分布的简洁清晰的显式也被展示出来.过程的可逆性问题也在本文中获得了很好的完备解答. 展开更多
关键词 连续参数markov Q-矩阵 瞬时态与稳定态 存在性 唯一性 常返性 遍历性 可逆性
原文传递
参数连续马尔科夫链的逼近定理
11
作者 李胃胜 《琼州大学学报》 2005年第5期11-13,共3页
应用有界线性算子半群的理论,证明了转移函数的逼近问题,推广了一些已知结果。
关键词 参数连续markov 算子半群 转移函数 Q-矩阵
下载PDF
用算子半群理论研究转移函数的逼近
12
作者 赵文强 《重庆工商大学学报(自然科学版)》 2005年第1期16-18,21,共4页
用算子半群方法研究了参数连续Markov链中转移函数的逼近.给出了最小转移函数收敛的Q-矩阵条件;证明了当转移函数是忠实的情况下。
关键词 转移函数 算子半群理论 逼近 Q-矩阵 预解函数 等价 收敛性 markov 参数 方法研究
下载PDF
有恢复的生成分支过程的Feller性质(英文)
13
作者 张秀珍 李扬荣 《应用概率统计》 CSCD 北大核心 2011年第1期48-60,共13页
首先, 当Q是一个拟单调的q矩阵的时候, 我们找出最小的Q函数是一个Feller的转移函数的准则. 然后我们把这个结论应用于生成分支q矩阵并得到相应的生成分支过程的Feller准则. 特别地, 设θ是分支q矩阵中的非线性数, 总是存在一个分点θ0... 首先, 当Q是一个拟单调的q矩阵的时候, 我们找出最小的Q函数是一个Feller的转移函数的准则. 然后我们把这个结论应用于生成分支q矩阵并得到相应的生成分支过程的Feller准则. 特别地, 设θ是分支q矩阵中的非线性数, 总是存在一个分点θ0满足1 ≤θ0 ≤ 2或θ0 < +∞使得生成分支过程是否是Feller的要依据θ < θ0或者θ > θ0. 展开更多
关键词 连续时间马尔科夫链 生成分支过程 Feller过程 生成分支q矩阵 q函数 q豫解函数
下载PDF
基于最短恢复路径的组播快速故障恢复方法
14
作者 程东年 王肖楠 张建辉 《计算机应用研究》 CSCD 北大核心 2010年第10期3950-3954,共5页
分析了现有主动式恢复方法的实现方式,并通过连续时间马尔可夫链(CTMC)对端到端恢复和本地恢复两种方式进行了建模和分析。在理论分析的基础上提出一种基于最短恢复路径的本地恢复的故障恢复方法,在单链路和单节点故障两种情形下,均可... 分析了现有主动式恢复方法的实现方式,并通过连续时间马尔可夫链(CTMC)对端到端恢复和本地恢复两种方式进行了建模和分析。在理论分析的基础上提出一种基于最短恢复路径的本地恢复的故障恢复方法,在单链路和单节点故障两种情形下,均可利用无环路的最短恢复路径重新连接因故障分离的子树。仿真结果表明,方法的故障恢复时间与现有"冗余树"和"双树"方法相比,分别减少了56.3%和35.1%左右,而故障恢复后组播树的代价与现有方法相当。 展开更多
关键词 组播 故障恢复 连续时间马尔可夫链 最短恢复路径
下载PDF
基于排队网模型的流水车间缓冲区容量优化 被引量:11
15
作者 李翔 陈庆新 毛宁 《计算机集成制造系统》 EI CSCD 北大核心 2014年第4期890-897,共8页
针对订货型单类型工件多级流水车间缓冲区容量优化设置问题,在考虑各级工序节点之间耦合关系的前提下,基于连续时间Markov随机过程原理建立了多级流水车间的排队网节点状态模型,并根据缓冲区容量优化目标函数的特点,给出缓冲区容量和任... 针对订货型单类型工件多级流水车间缓冲区容量优化设置问题,在考虑各级工序节点之间耦合关系的前提下,基于连续时间Markov随机过程原理建立了多级流水车间的排队网节点状态模型,并根据缓冲区容量优化目标函数的特点,给出缓冲区容量和任务拒绝率之间的关系。基于该模型计算系统的关键性能指标,以任务拒绝率为约束条件,提出一种缓冲区容量优化的启发式优化算法。通过该算法计算算例及结果分析,最终确定了合理的缓冲区容量。 展开更多
关键词 排队网 流水车间 连续时间马尔可夫链 缓冲区设置 启发式方法
下载PDF
基于排队网模型的柔性流水车间缓冲区容量优化 被引量:10
16
作者 李翔 陈庆新 +1 位作者 俞爱林 张惠煜 《计算机集成制造系统》 EI CSCD 北大核心 2016年第10期2348-2354,共7页
针对订货型单类型工件柔性流水车间缓冲区容量优化设置问题,在考虑各级工序节点之间耦合关系的前提下,基于连续时间马尔可夫随机过程原理建立了多级柔性流水车间的排队网节点状态模型。在给出系统产出率为目标和平均生产周期条件约束的... 针对订货型单类型工件柔性流水车间缓冲区容量优化设置问题,在考虑各级工序节点之间耦合关系的前提下,基于连续时间马尔可夫随机过程原理建立了多级柔性流水车间的排队网节点状态模型。在给出系统产出率为目标和平均生产周期条件约束的情形下,利用该模型计算系统的关键性能指标,提出一种针对柔性流水车间特点的缓冲区容量优化分支定界算法。通过该算法计算算例并与Em-plant工具仿真结果进行对比分析,最终确定了合理的柔性流水车间缓冲区容量。 展开更多
关键词 排队网 连续时间马尔可夫链 缓冲区设置 分支定界算法
下载PDF
由转移函数导出的正的一次压缩积分半群的生成元与Q- 矩阵(英文) 被引量:3
17
作者 朱波 李扬荣 《西南师范大学学报(自然科学版)》 CAS CSCD 北大核心 2002年第5期641-645,共5页
讨论了l∞ 上由转移函数导出的正的一次压缩积分半群的生成元与Q 矩阵之间的关系 .同时 ,给出了Q l1 在l∞ 上生成正的一次压缩积分半群的充要条件 .最后 ,我们得到当Q是保守q 矩阵时 ,Q的转移函数P(t)是忠实的充要条件是 1在l∞ 上正... 讨论了l∞ 上由转移函数导出的正的一次压缩积分半群的生成元与Q 矩阵之间的关系 .同时 ,给出了Q l1 在l∞ 上生成正的一次压缩积分半群的充要条件 .最后 ,我们得到当Q是保守q 矩阵时 ,Q的转移函数P(t)是忠实的充要条件是 1在l∞ 上正的一次压缩积分半群的生成元的定义域中 . 展开更多
关键词 生成元 Q-矩阵 一次压缩积分半群 时间连续markov 转移函数 保守q-矩阵
下载PDF
Stochastic Model of Dengue: Analysing the Probability of Extinction and LLN
18
作者 Ragnimwendé Sawadogo Fourtoua Victorien Konané Wahabo Baguian 《Applied Mathematics》 2024年第9期594-613,共20页
In this article, we develop and analyze a continuous-time Markov chain (CTMC) model to study the resurgence of dengue. We also explore the large population asymptotic behavior of probabilistic model of dengue using th... In this article, we develop and analyze a continuous-time Markov chain (CTMC) model to study the resurgence of dengue. We also explore the large population asymptotic behavior of probabilistic model of dengue using the law of large numbers (LLN). Initially, we calculate and estimate the probabilities of dengue extinction and major outbreak occurrence using multi-type Galton-Watson branching processes. Subsequently, we apply the LLN to examine the convergence of the stochastic model towards the deterministic model. Finally, theoretical numerical simulations are conducted exploration to validate our findings. Under identical conditions, our numerical results demonstrate that dengue could vanish in the stochastic model while persisting in the deterministic model. The highlighting of the law of large numbers through numerical simulations indicates from what population size a deterministic model should be considered preferable. 展开更多
关键词 Dengue Fever continuous-time markov chain Multitype Branching Process Probability of Disease Extinction Law of Large Numbers
下载PDF
具有储运单元的柔性流水车间性能分析方法 被引量:5
19
作者 许宇宁 陈庆新 毛宁 《计算机集成制造系统》 EI CSCD 北大核心 2016年第3期764-773,共10页
针对运输批量是变量、具有储运单元的柔性流水车间模型,建立了有限缓存的开排队网模型来描述该问题。依据离散马尔科夫过程的原理,对状态空间分解法进行改良以近似求解该模型。将模型分解为单个到达批量离开(小车前缓存)、批量到达批量... 针对运输批量是变量、具有储运单元的柔性流水车间模型,建立了有限缓存的开排队网模型来描述该问题。依据离散马尔科夫过程的原理,对状态空间分解法进行改良以近似求解该模型。将模型分解为单个到达批量离开(小车前缓存)、批量到达批量离开(小车)与批量到达单个离开(小车后缓存)三个节点,并建立各节点对应的状态空间模型与状态平衡方程。通过仿真模型对比实验验证了状态空间分解法的有效性,并确定了状态空间法求解此类问题的精度。改良的状态空间法为深入了解带储运单元的柔性流水车间的系统性能、对相关系统进行系统设计或资源优化提供了基础。 展开更多
关键词 排队网 连续时间马尔可夫链 储运单元 状态空间分解法
下载PDF
基于模型检测的微服务组合平台QoS验证 被引量:3
20
作者 毛昕怡 钮俊 +1 位作者 丁雪儿 张开乐 《计算机应用》 CSCD 北大核心 2020年第11期3267-3272,共6页
针对当前缺少对微服务组合平台的服务质量(QoS)指标进行分析验证的问题,提出一种基于模型检测的形式化验证方法,对影响微服务平台性能的因素进行分析评估。首先,将微服务组合的服务资源配置过程划分为服务请求、资源配置和服务执行3个阶... 针对当前缺少对微服务组合平台的服务质量(QoS)指标进行分析验证的问题,提出一种基于模型检测的形式化验证方法,对影响微服务平台性能的因素进行分析评估。首先,将微服务组合的服务资源配置过程划分为服务请求、资源配置和服务执行3个阶段,并分别由服务请求队列、服务请求配置器和提供服务资源的虚拟机等模块实现;其次,将各个模块的实现过程建模为带标记Markov回报模型(LMRM),借助类似于进程代数的同步概念获得微服务组合过程的全局模型;接着,用连续随机回报逻辑公式刻画期望的QoS指标;最后,将形式模型与逻辑公式作为模型检测工具PRISM的输入以获得验证结果。实验结果表明,LMRM可较好地用于微服务组合平台的建模和QoS验证分析。 展开更多
关键词 微服务组合 连续时间markov 连续随机回报逻辑 模型检测 PRISM
下载PDF
上一页 1 2 3 下一页 到第
使用帮助 返回顶部