检索结果-维普期刊中文期刊服务平台

可变折扣马氏决策过程首达模型列的收敛问题: 1; 作者吴晓郭圳滨《应用概率统计》 CSCD 北大核心 2021年第6期598-610,共13页; 本文主要研究了可数状态空间上带多约束、可变折扣马氏决策过程首达模型序列的收敛问题.利用``占有测度''及其相关性质,将受约束首达模型序列的优化问题转化为等价的受约束线性规划问题(凸分析方法),在合适条件下证明了首达模... 展开更多; 关键词马氏决策过程首达模型多约束依赖状态折扣因子凸分析方法收敛问题; 在线阅读下载PDF 职称材料

历史相依决策模型的建立及相应过程的构造被引量：1: 2; 作者莫晓云周杰明金芳《湖南师范大学自然科学学报》 CAS 北大核心 2017年第5期88-94,共7页; 历史相依决策模型(HDDM)及历史相依决策过程(HDDP)是决策模型及相应的决策过程的一般情形.马氏决策模型(MDM)及马氏决策过程(MDP)是HDDM及HDDP的特殊情形.本文严格地建立了历史相依决策模型,并证明了相应的历史相依决策过程的存在性,证... 展开更多; 关键词历史相依决策模型的建立历史相依决策过程的存在性和构造马氏决策模型及马氏决策过程马氏过程; 在线阅读下载PDF 职称材料

风险概率准则下的非平稳马氏决策过程: 3; 作者温馨徐小雅郭先平《应用概率统计》 CSCD 北大核心 2023年第4期589-603,共15页; 本文研究一类非平稳离散马氏决策过程的风险概率最小化问题,其中转移概率和奖励函数随时间变化.与现有文献中的期望报酬/成本准则不同,本文考虑最小化系统在首次到达某个目标集之前获得的总报酬未能达到给定利润目标的概率.在合理的假... 展开更多; 关键词非平稳离散马氏决策过程风险概率准则最优方程序列首达时间最优马氏策略; 在线阅读下载PDF 职称材料

随机模型检测连续时间Markov过程被引量：2: 4; 作者钮俊曾国荪 +1 位作者吕新荣徐畅《计算机科学》 CSCD 北大核心 2011年第9期112-115,125,共5页; 功能正确和性能可满足是复杂系统可信要求非常重要的两个方面。从定性验证和定量分析相结合的角度,对复杂并发系统进行功能验证和性能分析,统一地评估系统是否可信。连续时间Markov决策过程CTMDP(Continu-ous-time Markov decision proc... 展开更多; 关键词功能性能连续时间Markov决策过程模型检测可信验证可达概率; 在线阅读下载PDF 职称材料

截断前马氏过程与截断后马氏过程: 5; 作者唐荣黄永辉《中山大学学报（自然科学版）》 CAS CSCD 北大核心 2009年第2期5-10,共6页; 证明了任一马氏过程X(t,ω),若用一停时α(ω)去截X(t,ω)的样本轨道,则截断前的样本轨道函数在满足条件{α>t}∈Ft∞的条件下是一马氏过程,同时得到了截断后的样本轨道函数也是一马氏过程。另外,对于任意的随机过程,证明了X(t,ω)的... 展开更多; 关键词马氏过程停时截断α-前马氏过程截断α-后马氏过程首达时间; 在线阅读下载PDF 职称材料

广生灭过程的积分型随机泛函: 6; 作者唐有荣刘再明候振挺《国防科技大学学报》 EI CAS CSCD 1998年第4期97-100,共4页; 讨论了广生灭过程的积分型随机泛函的概率分布，给出了分布的拉氏变换所满足的差分方程。; 关键词广生灭过程积分型随机泛函首达时间马氏过程; 在线阅读下载PDF 职称材料

高速铁路列车运行调整的模型及其策略优化方法被引量：28: 7; 作者庄河何世伟戴杨铖《中国铁道科学》 EI CAS CSCD 北大核心 2017年第2期118-126,共9页; 在分析高速铁路列车运行调整决策特点的基础上,针对高速铁路列车运行调整的传统优化模型在求解效率方面存在的问题,以相邻且存在冲突列车所在的位置为状态,行车调度员可采取的调整措施为行动,列车加权总晚点时间为调度员采取行动所获得... 展开更多; 关键词高速铁路列车运行调整策略优化方法马氏决策过程模型极大加代数矩阵方法; 在线阅读下载PDF 职称材料

题名可变折扣马氏决策过程首达模型列的收敛问题: 1; 作者吴晓郭圳滨; 机构肇庆学院数学与统计学院广发证券股份有限公司发展研究中心; 出处《应用概率统计》 CSCD 北大核心 2021年第6期598-610,共13页; 基金国家自然科学基金项目(批准号:11961005) 广东省普通高校特色创新类项目基金(批准号:2018KTSCX253)资助.; 文摘本文主要研究了可数状态空间上带多约束、可变折扣马氏决策过程首达模型序列的收敛问题.利用``占有测度''及其相关性质,将受约束首达模型序列的优化问题转化为等价的受约束线性规划问题(凸分析方法),在合适条件下证明了首达模型序列的最优值和最优策略收敛于``极限''模型的最优值和最优策略.; 关键词马氏决策过程首达模型多约束依赖状态折扣因子凸分析方法收敛问题; Keywords first passage Markov decision processes multiple constraints state-dependent discount factors convex analytic approach convergence problem; 分类号 O211.62 [理学—概率论与数理统计]; 在线阅读下载PDF 职称材料

题名历史相依决策模型的建立及相应过程的构造被引量：1: 2; 作者莫晓云周杰明金芳; 机构湖南财政经济学院数学与统计学院湖南师范大学数学与计算机科学学院高性能计算与随机信息处理教育部重点实验室湖南城市学院数学与计算机科学学院; 出处《湖南师范大学自然科学学报》 CAS 北大核心 2017年第5期88-94,共7页; 基金国家自然科学基金资助项目(11671132 11601147 +5 种基金 11626094) 16C0296) 湖南省自然科学基金资助项目(2017JJ3206); 文摘历史相依决策模型(HDDM)及历史相依决策过程(HDDP)是决策模型及相应的决策过程的一般情形.马氏决策模型(MDM)及马氏决策过程(MDP)是HDDM及HDDP的特殊情形.本文严格地建立了历史相依决策模型,并证明了相应的历史相依决策过程的存在性,证明是构造性的.作为HDDM及HDDP的特殊情形,建立了马氏决策模型(MDM),并构造了相应的马氏决策过程(MDP).; 关键词历史相依决策模型的建立历史相依决策过程的存在性和构造马氏决策模型及马氏决策过程马氏过程; Keywords history dependent decision model Markov decision model Markov decision process Markov process; 分类号 O212.5 [理学—概率论与数理统计]; 在线阅读下载PDF 职称材料

题名风险概率准则下的非平稳马氏决策过程: 3; 作者温馨徐小雅郭先平; 机构中山大学管理学院广东财经大学工商管理学院中山大学数学学院; 出处《应用概率统计》 CSCD 北大核心 2023年第4期589-603,共15页; 基金 The research was supported by the National Natural Science Foundation of China(Grant Nos.11931018,72101059) Guangdong Natural Science Foundation(Grant No.2020A1515010924).; 文摘本文研究一类非平稳离散马氏决策过程的风险概率最小化问题,其中转移概率和奖励函数随时间变化.与现有文献中的期望报酬/成本准则不同,本文考虑最小化系统在首次到达某个目标集之前获得的总报酬未能达到给定利润目标的概率.在合理的假设条件下,我们建立了相应的最优方程序列,验证了最优风险函数序列是最优方程序列的唯一解,并证明了最优马氏策略的存在性.; 关键词非平稳离散马氏决策过程风险概率准则最优方程序列首达时间最优马氏策略; Keywords nonstationary discrete-time Markov decision process risk probability criterion optimality equations first passage time optimal Markov policy; 分类号 O211.62 [理学—概率论与数理统计]; 在线阅读下载PDF 职称材料

题名随机模型检测连续时间Markov过程被引量：2: 4; 作者钮俊曾国荪吕新荣徐畅; 机构同济大学计算机科学与技术系嵌入式系统与服务计算教育部重点实验室浙江工商职业技术学院信息工程学院; 出处《计算机科学》 CSCD 北大核心 2011年第9期112-115,125,共5页; 基金 863项目(2007AA01Z425 2009AA012201) +7 种基金 973计划课题(2007CB316502) 国家自然(90718015) 浙江省教育厅科研项目(Y201017075)资助; 文摘功能正确和性能可满足是复杂系统可信要求非常重要的两个方面。从定性验证和定量分析相结合的角度,对复杂并发系统进行功能验证和性能分析,统一地评估系统是否可信。连续时间Markov决策过程CTMDP(Continu-ous-time Markov decision process)能够统一刻画复杂系统的概率选择、随机时间及不确定性等重要特征。提出用CT-MDP作为系统定性验证和定量分析模型,将复杂系统的功能验证和性能分析转化为CTMDP中的可达概率求解,并证明验证过程的正确性,最终借助模型检测器MRMC(Markov Reward Model Checker)实现模型检测。理论分析表明,提出的针对CTMDP模型的验证需求是必要的,验证思路和方法具有可行性。; 关键词功能性能连续时间Markov决策过程模型检测可信验证可达概率; Keywords Function and performance Continuous-time Markov decision process Model checking Trusted verification Reachability probabilities; 分类号 TP301 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名截断前马氏过程与截断后马氏过程: 5; 作者唐荣黄永辉; 机构中山大学数学与计算科学学院海南大学经济学院; 出处《中山大学学报（自然科学版）》 CAS CSCD 北大核心 2009年第2期5-10,共6页; 基金国家自然科学基金资助项目(60874004); 文摘证明了任一马氏过程X(t,ω),若用一停时α(ω)去截X(t,ω)的样本轨道,则截断前的样本轨道函数在满足条件{α>t}∈Ft∞的条件下是一马氏过程,同时得到了截断后的样本轨道函数也是一马氏过程。另外,对于任意的随机过程,证明了X(t,ω)的t前σ-代数Ft满足右连续性(即Ft=∩s>tFs),以及任一首达时间是一停时。; 关键词马氏过程停时截断α-前马氏过程截断α-后马氏过程首达时间; Keywords Markov processes stopping time truncated Markov processes prior to a truncated Markov processes after a first hitting time.; 分类号 O211.62 [理学—概率论与数理统计]; 在线阅读下载PDF 职称材料

题名广生灭过程的积分型随机泛函: 6; 作者唐有荣刘再明候振挺; 机构国防科技大学系统工程与数学系长沙铁道学院科研所; 出处《国防科技大学学报》 EI CAS CSCD 1998年第4期97-100,共4页; 文摘讨论了广生灭过程的积分型随机泛函的概率分布，给出了分布的拉氏变换所满足的差分方程。; 关键词广生灭过程积分型随机泛函首达时间马氏过程; Keywords Generalized birth and death porcesses,integral random functional,first arrive time; 分类号 O211.62 [理学—概率论与数理统计]; 在线阅读下载PDF 职称材料

题名高速铁路列车运行调整的模型及其策略优化方法被引量：28: 7; 作者庄河何世伟戴杨铖; 机构西南交通大学交通运输与物流学院中国铁路总公司运输局北京交通大学交通运输学院; 出处《中国铁道科学》 EI CAS CSCD 北大核心 2017年第2期118-126,共9页; 基金国家自然科学基金资助项目(61374202 U1434207) 中国铁路总公司科技研究开发计划项目(2016F023); 文摘在分析高速铁路列车运行调整决策特点的基础上,针对高速铁路列车运行调整的传统优化模型在求解效率方面存在的问题,以相邻且存在冲突列车所在的位置为状态,行车调度员可采取的调整措施为行动,列车加权总晚点时间为调度员采取行动所获得的报酬,构建高速铁路列车运行调整的马氏决策过程模型;分析高速铁路列车运行调整决策过程最优策略的结构,给出采取列车顺晚开行和越行调整等行动的最优策略条件,基于列车的越行矩阵、到开时刻矩阵、最小停站时间矩阵和区间标准运行时间矩阵的定义,采用极大加代数和矩阵推算列车到发时刻,并据此设计模型求解的策略优化方法。结合某高速铁路区段的实例计算结果表明:给出的模型和策略优化方法能取得较人工调整方法更好的优化效果,较数学模型优化方法可提高求解效率,从而验证了高速铁路列车运行调整的马氏决策过程模型和策略优化方法的有效性。; 关键词高速铁路列车运行调整策略优化方法马氏决策过程模型极大加代数矩阵方法; Keywords High-speed railway Train operation adjustment Strategy optimization method Markovdecision process model Max-plus algebra Matrix method; 分类号 U292.21 [交通运输工程—交通运输规划与管理] U284.48 [交通运输工程—交通信息工程及控制]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	可变折扣马氏决策过程首达模型列的收敛问题	吴晓郭圳滨	《应用概率统计》 CSCD 北大核心	2021	0	在线阅读下载PDF 职称材料
2	历史相依决策模型的建立及相应过程的构造	莫晓云周杰明金芳	《湖南师范大学自然科学学报》 CAS 北大核心	2017	1	在线阅读下载PDF 职称材料
3	风险概率准则下的非平稳马氏决策过程	温馨徐小雅郭先平	《应用概率统计》 CSCD 北大核心	2023	0	在线阅读下载PDF 职称材料
4	随机模型检测连续时间Markov过程	钮俊曾国荪吕新荣徐畅	《计算机科学》 CSCD 北大核心	2011	2	在线阅读下载PDF 职称材料
5	截断前马氏过程与截断后马氏过程	唐荣黄永辉	《中山大学学报（自然科学版）》 CAS CSCD 北大核心	2009	0	在线阅读下载PDF 职称材料
6	广生灭过程的积分型随机泛函	唐有荣刘再明候振挺	《国防科技大学学报》 EI CAS CSCD	1998	0	在线阅读下载PDF 职称材料
7	高速铁路列车运行调整的模型及其策略优化方法	庄河何世伟戴杨铖	《中国铁道科学》 EI CAS CSCD 北大核心	2017	28	在线阅读下载PDF 职称材料