一种模糊自动机的新模型

通过对秃头悖论的讨论分析,对传统自动机模式是否适用于模糊自动机进行分析论证,指出传统自动机模型的缺陷在于没有模糊性,不能处理模糊的事物,并对模糊自动机的旧模型提出质疑,因为旧模型固定的隶属度无法表达模糊事物的变化过程,最后从量变和质变角度提出一种模糊自动机的新模型。     

一种基于模糊自动机的目标识别方法

为更好地识别目标,提出一种基于模糊自动机的目标识别系统.该系统先对图像进行处理,然后对目标识别.系统包括图像预处理、特征提取、目标匹配和实验4个部分.与现有的其它方法相比,本文方法利用目标图像的全局特征和局部特征,并运用模糊自动机进行目标识别.仿真结果表明,基于模糊自动机的目标识别效果比现有其它识别方法的识别效果要好,其正确识别率高达94.59%.     

模糊Moore型自动机的性质(英文)

给出了模糊Moore型自动机可逆、可达和完备的定义;讨论了其相关性质,进而表明这些性质之间的关系,并且研究了模糊Moore型自动机的最小化性质。最后,系统地给出了关于它们的一些重要结果。     

机器人化柔性装配过程的模糊自动机模型

机器人化柔性装配系统是现代制造系统的重要研究内容之一．装配过程的建模是许多研究工作的基础．本文在分析装配过程的特点的基础上，将模糊自动机的理论和方法应用于装配过程的建模研究中，提出了一种机器人化柔性装配过程的模糊自动机模型     

模糊有限自动机的最小化算法优化

现有的模糊自动机最小化算法没有涉及到对模糊自动机状态的隶属度迁移和变化的讨论,优化的模糊自动机最小化算法弥补了这类算法的不足之处。该算法将模糊有限自动机首先转化为单个初始状态的模糊自动机,然后再将转化后的模糊自动机化简为最小模糊自动机,算法在转化过程中单独讨论了模糊自动机状态隶属度的转化方式,使得算法更加严谨和简化。     

模糊树自动机语言的封闭性

给出了[Σ-]代数、[Σ-]树、模糊[Σ-]树自动机、模糊[Σ-]树自动机行为的定义。引入了模糊树自动机语言的并、交、连接和Kleene闭包运算,证明了在这些运算下模糊树自动机语言的封闭性。     

两类具有输出字符功能的模糊自动机的关系

在文中,对文献8中介绍的具有输出字符功能的模糊自动机和模糊有限状态自动机的定义作了修改,并对它们进行了系统的研究,揭示了此两类自动机和取分配格的代数性质的紧密联系;得到了此两类自动机在:(1)强等价;(2)等价;(3)弱等价条件下的许多重要结论。     

汉字模糊有穷自动机的研究

汉字的计算机输入是中文信息处理的关键问题之一,而汉字计算机输入的数学模型对汉字的计算机输入的研究有重要的意义。对汉字输入数学模型的分类进行了研究。研究了一般汉字有穷自动机,在此基础上把模糊有穷自动机的概念引入输入模型,并给出汉字模糊有穷自动机的概念。新的模型是以前给出的汉字自动机模型的推广,较之以前的数学模型,能刻画出汉字智能输入、词句输入,表达能力进一步增强,为汉字的智能处理提供了数学模型。     

一种改进的NS元胞自动机模型

研究改进了基于元胞自动机的一维NS交通模型，细化了元胞长度和时间步长，对静止车辆的加速能力进行了约束，用简单的方法解决了该模型中车辆的速度演化规则与前车速度无关的缺点。同时，考虑了交通密度对随机慢化概率的影响。计算机仿真表明：改进模型不仅得到了一些与其他元胞自动机模型共有的性质，且得到的基本图更加接近实测数据。     

基于模糊元胞自动机的电网故障演化模型

为了构建与实际电网更加接近的电网故障模型,将模糊理论及元胞自动机(CA)理论相结合,提出并建立了用于模拟电网故障演化的模糊元胞自动机模型,并定义了模型中元胞状态、电网状态及故障传递程度的模糊规则库,同时进行了基于IEEE39节点系统的电网故障传播演化过程仿真。仿真结果进一步验证了电网的自组织临界性(SOC),同时结果表明,该模型较不采用模糊规则的电网故障模型其损失负荷幂律特性曲线斜率绝对值增大了17%,电网更加稳定,该模型与电网实际运行情况更加接近。     

扰动值模糊有限自动机及其语言*

引入扰动值模糊有限自动机及其语言的概念,讨论扰动值模糊有限自动机的状态转移函数的扩张问题,证明3类确定型扰动值模糊有限自动机、非确定型扰动值模糊有限自动机相互等价性,研究扰动值模糊有限自动机的语言关于正则运算的封闭性.     

基于Mealy机的汉字输入有穷自动机及其应用

从自动机理论的角度对汉字输入模型的建立进行了一定的研究,并相应地建立了一个基于Mealy有穷自动机的汉字输入有穷自动机模型,在这种模型中对自动机的输入进行了刻画,同时也对自动机的输出进行了相应地刻画,较之以前的汉字输入模型更全面。根据这种模型的特点还介绍了它在汉字GB码与BIG5码转换中的应用。     

自动机与模型检查

首先介绍自动机识别有限词和无限词两种情况,然后结合模型检查方法,把自动机作为规范自动机与模型自动机,使用自动机识别语言的包含问题技巧来解决模型检查问题,这里强调的是Vardi与Wolper提出的方法。     

基于模糊元胞自动机的网络舆情传播模型研究

考虑到信息在传递过程中普遍存在模糊性的特点,结合经典元胞自动机理论和模糊推理算法,设计网络舆情传播的元胞自动机结构,定义环境适应度k和偏好度h 2个输入变量,建立网络舆情传播的模糊元胞自动机模型。对网络舆情传播中个体观点的演化过程进行Matlab仿真与分析,结果表明,在经过交流与讨论(对应于元胞进行足够多次数的迭代和演化)后,群体的观点和意见会出现归一的现象,归一不是归于处在2个极端的赞成或反对,而是向中间聚拢,最后形成一个折中的意见。该模型可以更好地描述网络舆情的实际传播过程。     

Simultaneously One-Turn Two-Pushdown Automata

Consider two consecutive moves, $m_{1}$ and $m_{2}$ , made by a two-pushdown automaton, M , whose pushdowns are denoted by $\pi_{1}$ and $\pi_{2}$ . If during $m_{1}$ M does not shorten $\pi_{i}$ , for some $i = 1, 2$ , while during $m_{2}$ it shortens $\pi_{i}$ , then M makes a turn in $\pi_{i}$ during $m_{2}$ . If M makes a turn in both $\pi_{1}$ and $\pi_{2}$ during $m_{2}$ , this turn is simultaneous . A two-pushdown automaton is one-turn if it makes no more than one turn in either of its pushdowns during any computation. A two-pushdown automaton is simultaneously one-turn if it makes either no turn or one simultaneous turn in its pushdowns during any computation. This paper demonstrates that every recursively enumerable language is accepted by a simultaneously one-turn two-pushdown automaton. Consequently, every recursively enumerable language is accepted by a one-turn two-pushdown automaton.     

一个模糊常识库的模型

常识的表示及推理是人工智能的一个核心难题。文章提出了一个模糊常识库的模型,描述了模糊概念的表示方法以及常识的模糊推理,并给出了模型解题的两个例子。     

一种新的扩展模糊概念数据模型

为了对现实世界中存在的不精确、不确定的信息进行建模,学者们提出了各种不同的扩展关系数据模型.基于可能性理论,本文对概念数据模型IFO的不同层次在模糊信息环境下进行了扩展,提出了一种新的模糊IFO数据模型FIFO,该模型能够有效地表达和处理概念数据建模层次中的模糊数据.文章重点讨论了FIFO中对象和关系（主要是ISA关系）的模糊性,并给出了FIFO模型的各个层次所对应的图形表达.     

基于自动机的构件实时交互行为的形式化模型

采用形式化方法对复杂实时构件系统交互行为进行描述和验证,对于提高系统的正确性、可靠性等可信性质具有重要意义.分析了基于进程代数和自动机的构件交互行为形式化建模方法各自的优缺点,在此基础上提出了基于时间构件交互自动机的建模方法,给出了时间构件交互自动机的相关定义、组合和验证算法.时间构件交互自动机引入了时间限制、时间代价、时间代价计算半环、构件组合层次等概念,既能够描述构件交互情况,又能够清楚地表示出构件系统的体系结构信息和实时信息,便于对系统进行描述和验证.最后,结合具体应用给出了应用示例.     

基于元胞自动机的流行病传播模型及模拟

讨论了一种基于元胞自动机的流行病建模方法,并在该模型的基础上模拟了不同传播特性流行病的传播与控制过程。模拟结果与这些不同传播特性流行病传播的宏观特征相吻合,表明元胞自动机是流行病的一种有效的建模方法。同其他的流行病建模方法相比,该模型结构简洁灵活,计算方式简单,模拟过程直观,易于分析。