概率自动机的等价性

本文研究概率自动机初始等价和等价之间的关系,基矩阵的性质,某些等价类的结构,并得到判定极限最小自动机的一个充分条件。     

关于概率自动机的等价性与极小化问题

本文给出了两概率自动机按顺序初始等价的充要条件,证明了初始等价的概率自动机的基矩阵秩必相等及判定极限极小概率自动机的一个充要条件.同时也更正了[1]中的一个错误。     

概率有限自动机积的覆盖性

提出了概率有限自动机的覆盖的定义,然后利用代数的方法讨论了概率有限自动机的全直积(限制直积)、级联积、圈积、并积的覆盖关系,证明了2个概率有限自动机的级联积(限制直积)覆盖它们的圈积(全直积),概率有限自动机的圈积的全直积覆盖它们的全直积的圈积,给出了概率有限自动机的弱同态与覆盖的关系,研究了概率有限自动机的积的覆盖关系的传递性质.     

概率有限自动机的交换性

提出了一类概率有限自动机并给出其交换的概念,得到了此类自动机交换的一些刻画,定义了两个概率有限自动机的和与积,并且得到了和自动机、积自动机交换的充要条件。     

多态概率元胞自动机森林火灾模型及应用

通过对概率元胞自动机模型的改进,分析了在既不能生长又不能燃烧的空地存在或森林砍伐形成的多态邻居条件下,森林中树木占有率的变化。模拟结果表明在适度留一些既不能生长又不能燃烧的空地或适度砍伐的条件下,不但不会减少森林中树木的比率反而有利于树木的生长。模拟结果与真实情况比较吻合。     

有限随机系统的极限概率分解

有限随机系统状态迁移过程中对系统状态集的压缩,将系统分为两类随机子系统,由此建立了该随机系统的商系统并降低了概率矩阵的计算复杂度.在图论的基础上,通过研究有限随机系统及其商系统的极限性质,考察了有限随机系统的极限概率分解问题.在保留原有随机系统的极限性质的前提下方便了对随机系统平稳分布的预测.     

基于概率时间自动机的模型检测反例表示研究

近年来,概率系统在实际中应用越来越广泛,其中模型检测基于概率系统的反例生成问题,已引起人们的广泛关注,现有的工作主要围绕模型检测Markov链反例生成展开.概率时间自动机(PTA)是Markov链的不确定性和系统时钟的扩展,针对模型检测PTA的反例表示问题,首先将PTA的语义表示为Markov决策过程(MDP),通过策略解决MDP不确定性,将MDP转换为离散时间Markov链(DTMC);然后将DTMC转换为带权有向图,则PTA中最小反例问题转化为带权有向图中最短路径问题;最后采用正则表达式表示求得的反例.     

基于概率时间自动机Web服务质量的形式化建模分析

针对拓展的Web服务体系结构, 利用概率时间自动机（probabilistic timed automata, PTA）对Web服务组合进行形式化建模, 将Web服务组合的过程理解为一个实时系统的运行过程, 进而对Web服务组合的整体服务质量（quality of service, QoS）进行定量分析, 从而克服了已有Web服务质量研究方式主要集中在对单个Web服务分析评估上的局限性, 在整个分析过程中充分考虑Web服务组合执行过程所具有的随机性和不确定性, 具有较高的可信度. 通过实验说明了建模分析方法的可行性, 并证明了采取相应的服务选择策略有助于提高Web服务组合的成功率.     

关于概率自动机分解的一种算法

本文就[1]中概率自动机分解问题给出一个算法,它优于[1]中的算法,更具有合理性。     

概率向量和概率矩阵的性质

提出概率向量与概率矩阵的概念,并对概率向量和概率矩阵的性质进行了讨论。     

确定有限自动机的矩阵形式

研究自动机的方法有状态转换函数、RTL、VHDL以及矩阵形式等方法.矩阵形式与其它方法相比能很好地完成对自动机状态转化过程的演算.自动机是描述集合之间某种关系,它的工作过程是一种逻辑推理过程.根据自动机的逻辑形式定义,结合矩阵方式,建立了自动机的矩阵逻辑运算方程;同时讨论了矩阵表示的有关性质.     

概率约束规划的概率目标模型及其解法

本文在介绍随机规划、概率约束规划及其解法的基础上,提出了概率约束规划的概率目标模型,并给出了概率目标模型的具体解法及计算程序,且与原模型及其解法进行了比较.     

关于Moore自动机可逆性的一些结果

主要讨论了Moore自动机(弱)可逆的一些性质，并给出了当|S|=|Y|时，Moore自动机(弱)可逆的充要条件。     

一维元胞自动机随机交通流模型的研究

依据概率论的定义，通过对稳态时关联函数的解耦，给出一维元胞自动机单速随机交通流模型中的关联函数与转入、转出及刹车概率之间的关系，继而进一步得出车辆的密度、速度、流量等物理量随这三个概率变化的理论值，理论结果与实验模拟相一致．     

一种一维细胞自动机的分类

讨论了基本细胞自动机的一种扩展模型,通过二元矩阵展现了局部规则与全局演化的关系.利用矩阵的秩对这类细胞自动机进行了计算机实验分类.     

关于古典概率计算中样本空间的构造

如何构造样本空间才能使问题的解决比较简捷，这是一个非常值得探讨的问题。本文结合具体典型例子，给出了在正确思路的前提下，古典概率计算中样本空间构造的一般原则及最佳样本空间的构思。     

细胞自动机及其理论研究进展

细胞自动机固有的组成单元的简单性,单元之间作用的局部性和信息处理的高度并行性,并表现出复杂的全局特性等特点使得其广泛应用于物理模型模拟、密码学和内建式自测试等领域。本文简述了细胞自动机的基本概念,研究了细胞自动机的分析理论和细胞自动机的综合理论。     

两类Fuzzy自动机的等价性

通过对Fuzzy有限状态自动机和Fuzzy有限自动机的结构、定义及性质的研究,得到了二者之间的一种重要关系——等价关系。