带动作回报的连续时间Markov回报过程验证

为了能够更准确的表达不确定性复杂系统的时空验证,针对当前连续时间Markov回报过程(continue time markov reward decision process,CMRDP)验证中只考虑状态回报的问题,提出带动作回报的验证方法。考虑添加了动作回报的空间性能约束,扩展现有的基于状态回报的连续时间Markov回报过程,用正则表达式表示验证属性的路径规范,扩展已有路径算子的表达能力。给出带动作回报CMRDP和路径规范的积模型,求解积模型在确定性策略下的诱导Markov回报模型(markov reward model,MRM),将CMRDP上的时空性能验证转换为MRM模型上的时空可达概率分析,并提出MRM中求解可达概率的算法。实例分析表明,提出的验证思路和验证算法是可行的。

基于Markov过程天气预测的共享单车调度优化研究

针对某大学城共享单车资源分配不平衡问题,建立了与调度成本和用户满意度相关的单目标数学规划模型,对现有共享单车调度策略进行分析,并制定改善方案.通过调查问卷分析单车调度过程中存在的问题,利用Python获取单车的相关数据.在此基础上,基于齐次Markov过程对天气状况进行预测,采用LSTM时间序列对区域内未来单车数量的变化情况进行预测,利用遗传算法求解最优调度路径和调度数量,提出优化方案.通过敏感性分析验证本文所提方案的可行性.结果表明,优化后的调度方案缩短了单次调度时间并提高了用户的满意度,对共享单车管理部门具有指导意义.

基于Markov过程的继电保护通信系统可靠性评估方法

继电保护通信系统受内外部因素影响,易出现拒动失效。传统评估方法未充分考虑动态行为、故障传播及复杂环境,导致评估结果中拒动失效率偏高。因此,文章提出基于Markov过程的继电保护通信系统可靠性评估方法。通过选取合适的可靠性评估指标全面反映系统的性能特点,利用Markov过程构建状态随机转移概率矩阵,描述系统在不同状态下的转移概率,综合评估继电保护通信系统的可靠性。实验结果表明,该方法综合考虑多种因素,拒动失效率较低,为电力系统的安全稳定运行提供有力支持。

客户回报随机过程的Markov性和时间齐次性

在客户发展关系的Markov链模型的基础上,构建了企业的客户回报随机过程.证明了:在适当假设下,客户回报过程是Markov链,甚至是时间齐次的Markov链.本文求出了该链的转移概率.通过转移概率得到了客户给企业期望回报的一些计算公式,从而为企业选定发展客户关系策略提供了有效的量化基础.

上临界Markov分支过程的调和矩

设{Z(t);t≥0}是一个上临界马尔可夫分支过程。本文研究了带移民上临界分支过程在连续时间情况下调和矩E[Z(t)]−r的收敛速度,它在大偏差及中心极限定理的研究中具有重要作用。推广了已有文献中无移民情况的相应结果,经研究发现该收敛存在相变,这一相变由b1+a0+mr与0的大小关系所决定。这里使用的方法与离散的情况有所不同,我们提出了一种新的区间划分的方法来得出结论。同时作为副产品我们得到了连续时间下带移民分支过程的一个泛函方程。

具有变时滞Markov跳跃神经网络的H∞控制

文章研究了具有变时滞Markov跳跃神经网络的H∞控制。首先,设计一个输出反馈控制器,以确保Markov跳跃神经网络系统在没有外部扰动的情况下随机稳定,并在零初始条件下具有规定的干扰衰减指标。其次,利用适当的泛函和几个先进不等式获得所需控制器增益的精确数学表达式。最后,通过数值模拟的例子证明所提控制策略的有效性。

全过程施工管理与工程经济效益的提升方式研究

全过程施工管理及其与工程经济效益的提升方式研究是当代建筑工程领域的重要课题。本文通过对施工管理的全过程进行概述,深入剖析工程经济效益的关键因素,以及两者之间的紧密联系。在摘要中,我们将聚焦于全过程施工管理的定义、原理,以及工程经济效益的核心要素,为读者提供研究背景的全面认识。本文通过对成本控制、投资回报率计算等方面的深入分析,突出这些关键概念在工程经济效益中的作用。还将强调全过程施工管理与工程经济效益的紧密关联,为读者构建研究框架,使其更好地理解全文内容。

利用Markov过程预测安吉土地利用格局的变化

根据浙江安吉山区2个时期山地资源清查资料获得的土地利用类型数据,成功地确定了土地利用类型的转移矩阵,并用Markov链模型预测了该山区土地利用类型变化趋势。结果表明,当前该区的土地利用格局正处在一种荒山、农田、居民点及水域逐渐减少,林地、果园用地逐渐增加的变化状态,而且这种变化将持续很长时间,最后达到以山区林地78 4%为主体,同时湿地在不断减少的新的土地利用格局。

Markov耦合与Markov过程的遍历性

本文运用耦合方法 ,真接通过无穷小算子判别随机过程的遍历性 ,得到了便于应用的遍历性定理 .

基于Markov过程的导航系统星座可用性分析

卫星导航系统星座可用性分析面临准确性和快速性的矛盾。论文在研究全球卫星导航系统(global navigation satellite system,GNSS)星座可用性分析需求的基础上,系统地定义了导航系统可用性的基本概念,给出了基于分系统部件失效计算导航星座可用性的方法,提出了基于Markov过程的单星可用度算法,建立了基于星座状态概率的服务可用性计算模型,并结合导航基本原理模型得到了导航星座的可用性。最后,基于此方法针对北斗区域卫星导航系统相关数据对其星座可用性进行了仿真和实验分析。结果表明,本文所提方法和模型能够满足卫星导航系统星座可用性分析的特殊需求。

Markov过程理论在发电商报价策略选择中的应用

在电力市场的环境下,发电商在报价策略选择的过程中将面临许多不确定性因素,如各时段的系统负荷、市场边际价格、对手的报价策略、自身发电成本等,本文从发电商的角度出发对竞价策略的选择问题进行研究,将竞价策略选择的过程设计成为Markov决策过程——一种抽象的随机优化方法,先将每个时段的报价简化为报价参数的选择,利用Markov过程理论对不确定性因素的出现进行概率估计,将发电商报价策略的选择问题表示为离散的随机优化过程—— Markov决策过程;通过使期望收益最大来计算最优策略,从而确定了每个时段发电商报价参数的最优选择,并将报价参数还原成为报价结果。

进化规划的Markov过程分析及收敛性

本文对一类进化规划（EvolutionaryProgramming）进行了理论分析，给出了进化规划的Markov过程描述及t步概率分布密度的递推公式，该公式较好地描述了进化规划的叠代规律，利用该公式证明了进化规划的概率1收敛性及r阶收敛性．

连续时间Markov控制过程的平均代价最优鲁棒控制策略

在Markov性能势基础上 ,研究了一类转移速率不确定但受紧集约束的遍历连续时间Markov控制过程 (CTMCP)的鲁棒控制问题 .根据系统的遍历性 ,平均代价Poisson方程的解可被看作是性能势的一种定义 .在平均代价准则下 ,优化控制的目标是选择一个平稳策略使得系统在参数最坏取值下能获得最小无穷水平平均代价 ,据此论文给出了求解最优鲁棒控制策略的策略迭代 (PI)算法 ,并详细讨论了算法的收敛性 .

基于Markov过程的集束型设备预防维护策略

为了更好地保障集束型晶圆制造设备运行的可靠性,同时考虑维护的经济性,建立了基于Markov过程的预防性维护策略.根据集束型设备的特点,采用大修和小修相结合的预防性维护方式,同时考虑随机失效和退化失效两种失效形式,建立了状态转移模型.依据Markov理论求得设备各状态的稳态概率及状态转移概率.再根据Markov决策理论及策略迭代算法求得最佳维护策略.实验结果表明,所提出的预防性维护策略有效可行.

基于Markov过程的硬/软件综合系统可靠性分析

现代大型监控系统通常是一个复杂的硬/软件综合系统,其可靠性分析对于系统的设计、评估具有重要意义.综合考虑硬件、软件特点以及两者之间的相互作用关系,提出一种基于Markov过程的综合系统可靠性分析模型,模型中将系统失效分为硬件失效、软件失效与硬/软件结合失效.实际应用中,由于系统的状态数较大,提出利用循环网络方法对Markov状态转移方程进行求解,从而方便地得到系统处于各状态的瞬时概率与稳态概率.通过分析硬/软件综合系统可靠度、可用度与系统可靠性参数之间的关系,指出硬/软件结合失效将影响系统可用度,忽略硬/软件结合失效将导致可靠性估计值偏离实际值.

Markov控制过程基于性能势的平均代价最优策略

研究了一类离散时间 Markov控制过程平均代价性能最优控制决策问题 .应用Markov性能势的基本性质 ,在很一般性的假设条件下 ,直接导出了无限时间平均代价模型在紧致行动集上的最优性方程及其解的存在性定理 .提出了求解最优平稳控制策略的迭代算法 ,并讨论了这种算法的收敛性问题 .最后通过分析一个实例来说明这种算法的应用 .

基于Markov过程的输变电设备一体化智能监测装置可靠性评估

输变电设备一体化监测装置是构成输变电设备智能监测传感网络的基本单元。为评估与提高输变电设备一体化智能监测装置可靠性,优化其维修策略,建立了一种基于Markov过程的输变电设备一体化智能监测装置可靠性评估模型。在分析一体化智能监测装置内部结构与各元件功能关系的基础上进行了系统划分,采用Markov模型表征系统的状态转移过程,通过计算系统在平稳状态下的状态概率,量化了一体化智能监测装置的可靠性水平。实例分析表明,提出的可靠性评估模型能够较为准确客观地对一体化智能监测装置的可靠性进行量化评估,有效辨识出装置的薄弱环节,从而为制定合理的运行维护策略,保证输变电设备智能监测传感网络的安全可靠运行提供技术参考。

Markov控制过程在紧致行动集上的迭代优化算法

研究一类连续时间 Markov控制过程 ( CTMCP)在紧致行动集上关于平均代价性能准则的优化算法。根据 CTMCP的性能势公式和平均代价最优性方程 ,导出了求解最优或次最优平稳控制策略的策略迭代算法和数值迭代算法 ,在无需假设迭代算子是 sp-压缩的条件下 ,给出了这两种算法的收敛性证明。

Markov控制过程基于单个样本轨道的在线优化算法

在Markov性能势理论基础上 ,研究了Markov控制过程的性能优化算法 .不同于传统的基于计算的方法 ,文中的算法是根据单个样本轨道的仿真来估计性能指标关于策略参数的梯度 ,以寻找最优 (或次优 )随机平稳策略 .由于可根据不同实际系统的特征来选择适当的算法参数 ,因此它能满足不同实际工程系统在线优化的需要 .最后简要分析了这些算法在一个无限长的样本轨道上以概率 1的收敛性 ,并给出了一个三 状态受控Markov过程的数值实例 .

基于Markov过程的冗余系统备件与冗余度联合优化

为了合理有效地降低冗余系统全寿命周期费用,同时考虑部件的故障过程、维修周转以及备件的订购补给过程,结合混合准则提出了基于Markov过程的k/n冗余系统可用度模型,实现备件库存配置与冗余度联合优化。首先,通过热备份和冷备份模式下的系统故障率和修复率计算公式,建立了使用可用度模型。然后,基于稳态概率计算全寿命周期费用,并运用备件库存配置与冗余度联合优化算法实现模型的求解。最后,通过数值计算验证可用度模型的正确性以及联合优化的有效性。通过数值计算结果表明,所提出的可用度模型是传统模型的有益改进并且具有普适性。联合优化算例结果显示,冗余系统可用度随冗余度或备件库存的增加而得到提升,而当可用度接近1时若要进一步提高可用度将导致费用急剧增长;全寿命周期费用中备件存储费用的所占比例最高,而备件订购费用最低;算例表明,与仅考虑备件库存优化的方法相比,联合优化使全寿命周期费用降低了8.01%。