交互式马尔科夫链上弱模拟关系的计算

对交互式马尔可夫链模型(IMCs)上的弱模拟前序关系的计算算法进行讨论.在IMCs上判断弱模拟关系时,重点对概率转移关系进行弱模拟前序关系的判断,同时考虑内部动作对系统的影响.通过引入适当的变量,将IMCs上弱模拟定义中的马尔可夫转移条件转化为求解一个线性规划问题的解.利用该线性规划问题的数值求解方法,可在多项式时间内求得该线性规划问题的解.从而得到判定IMC上两个进程是否弱模拟的多项式时间算法.     

度量G-空间中G-强链回归点集的动力学性质

在拓扑群作用下的度量空间中研究了G-强链回归点集的拓扑结构和特征,得到G-强链回归点集的若干结论:(1)设(X, d)是紧致度量G-空间,G是紧致的拓扑群,f: X→X连续,则SCR_G(f)是闭集; (2)设(X, d)是紧致度量G-空间,G是紧致的拓扑群,f: X→X同胚伪等价,则f(SCR_G(f))=SCR_G(f); (3)设(X, d)是紧致度量G-空间,f: X→X同胚伪等价且度量d对群G不变,则SCR_G(f)=SCR_G(f-1)。     

并发计算的元模拟：Ⅴ.并发模型间的关系

讨论ｐｉ演算和ｃｈｉ演算之间的关系问题，通过构造从ｐｉ演算到ｃｈｉ演算的翻译，证明了ｃｈｉ演算的表达能力不亚于ｐｉ演算。该翻译保持操作性质和开互模拟等价的代数性质。     

一类隐非齐次马尔可夫模型的强极限定理

在假定隐藏的马氏链为非齐次且从隐藏链到观测链的转移矩阵列也与时刻n有关的情况下,对一类在发音过程中常用的隐马尔可夫模型进行研究.这类模型的主要特点是观测链不仅受当前状态的影响还与上一时刻的状态有关.先给出了该模型的强极限定律,然后得出了状态出现频率的强极根定理.     

一般集合上首达时序列的强马尔可夫性

本文论证了齐次马尔可夫链状态空间的一般子集的首达时为一个停时,利用强马尔可夫性得到相应的序列仍为一个齐次马尔可夫链,进而得到一般集上首达时序列的强马尔可夫性.     

一般集合上首达时序列的强马尔可夫性

本文论证了齐次马尔可夫链状态空间的一般子集的首达时为一个停时,利用强马尔可夫性得到相应的序列仍为一个齐次马尔可夫链,进而得到一般集上首达时序列的强马尔可夫性．     

可列非齐次马氏链的绝对平均强遍历性

利用非齐次马氏链的绝对平均强遍历性的概念,研究了非齐次马氏链的绝对平均强遍历性,得到了非齐次马氏链满足绝对平均强遍历的充分条件.     

并发计算的元模型Ⅲ.互模拟格

在有关ｃｈｉ演算的基础上,用统一的方法在ｃｈｉ进程上引入一大类互模拟等价关系,即Ｌ－互模拟等价关系,证明了只有４个不同的Ｌ－互模拟等价,在包含关系下,它们构成钻石格。许多常见的互模拟等价都可定义的Ｌ－互模拟等价。     

并发计算的元模型Ⅴ.并发模型间的关系

讨论 pi演算和 chi演算之间的关系问题 .通过构造从 pi演算到 chi演算的翻译 ,证明了 chi演算的表达能力不亚于 pi演算 .该翻译保持操作性质和开互模拟等价的代数性质     

基于大数据和马尔科夫链的行驶工况构建

为提高代表行驶工况的准确性,对行驶工况构建算法进行了研究.在沈阳市选取10辆乘用车并采用自主驾驶方式收集行驶数据,组建了大样本数据库.首先根据傅里叶变换对原始数据进行了降噪滤波,然后采用改进的Kneser-Ney平滑方法计算状态转移概率矩阵,提出了基于马尔科夫链的行驶工况构建算法,最后开发了沈阳市乘用车代表行驶工况,并将其与数据库总体特征进行对比.结果表明,构建工况与数据库总体的平均偏差为2.46%,所有特征参数偏差均在10%以内,验证了算法的有效性.     

关于二重非齐次可列马氏链的一类极限定理

给出了可列非齐次二重马尔可夫链的三元状态序组出现频率的一类强极限定理和推论．在定理的证明中,采用一种研究概率极限的新方法：分析法——而不是传统的研究概率极限的概率方法,并且加以改进,用以研究可列非齐次二重马氏链极限性质,并得出一类非齐次可列二重马氏链的极限定理,所得结论对任意可列非齐次二重马尔可夫链都成立。     

马氏环境中马氏链函数的极限定理

研究马氏环境中马氏链函数的极限定理,给出马氏环境中马氏链函数强大数定律成立的一系列充分条件.     

关于可列m重非齐次马氏链的一个强大数定律

研究了可列m重非齐次马氏链的一个强大数定律.首先给出可列m重非齐次马氏链的定义,然后利用鞅的极限定理再结合遍历系数得到可列m重非齐次马氏链的一个强大数定律,所得结论能够推广已有文献中的一些结果,并对进一步研究多重马氏链提供了理论基础,且能为实际问题如语声、电视信号等多重马尔可夫信源的研究提供理论依据.     

双无限环境中马氏链函数加权和的极限定理

研究双无限环境中马氏链函数加权和的极限定理,得到双无限环境中马氏链函数加权和强收敛性成立的一系列充分条件.1     

随机环境中非齐次马氏链的一类强极限定理

利用鞅方法 ,研究随机环境中非齐次马氏链二元泛函的若干强极限定理     

渐近循环马氏链的强大数定律

研究了渐近循环马氏链的强极限定理.引进了渐近循环马氏链的概念,利用非齐次马氏链二元函数的极限性质,给出了渐近循环马氏链关于状态出现频率的强极限定理,结果得到了渐近循环马氏链关于状态出现频率的强大数定律,作为推论求出了循环马氏链关于状态出现频率的强大数定律.     

三重循环马氏链的强大数定律

为了研究一类非齐次马氏链——循环马氏链的强极限定理,首先考虑到非齐次马氏链的转移矩阵是循环的情形经常出现,从而引进了三重循环马氏链的概念,然后利用非齐次马氏链函数的极限性质推导出三重循环马氏链关于状态出现频率的极限性质,并利用该性质得到了三重循环马氏链关于状态出现频率的强大数定律,为循环马氏链的应用提供了理论依据.     

Model of Markov Chains in Space-Time Random Environments

A general framework of stochastic model for a Markov chain in a space-time random environment is introduced, here the environment ξ^＊：={ξ1,x∈N,x∈ X}is a random field. We study the dependence relations between the environment and the original chain, especially the ＂feedback＂. Some equivalence theorems and law of large numbers are obtained.     

关于二重有限非齐次马氏链的强大数定律

利用鞅方法给出二重有限非齐次马氏链关于状态序偶出现频率的强大数定理. 首先, 利用鞅差序列收敛定理得到二重有限非齐次马氏链的k元函数一类平均值的一个强极限定理; 随后, 将已有文献中的二元状态序偶出现频率的平均值的极限定理加以推广, 得到任意k元的情况; 最后作为推论, 得到一系列相关状态序偶出现频率的一类强极限定理.