模糊自动机

作品数：34被引量：63H指数：3
导出分析报告
相关领域：自动化与计算机技术理学更多>>
相关作者：雷红轩莫智文舒兰李永明彭家寅更多>>
相关机构：陕西师范大学内江师范学院四川师范大学电子科技大学更多>>
相关期刊：《模式识别与人工智能》《电子科技大学学报》《计算机工程与应用》《工业工程》更多>>
相关基金：国家自然科学基金四川省教育厅科学研究项目国家重点基础研究发展计划四川省青年科技基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
模糊语言的逼近条件及应用
《模糊系统与数学》2023年第3期108-117,共10页贺永霞 李平 
模糊语言的可逼近条件是模糊计算理论的重要研究内容之一,本文对模糊语言可被确定型模糊有穷自动机逼近的条件进行了研究。首先研究了三个逼近条件之间的关系,证明了2λ-覆盖与λ-逼近等价关系这两个逼近条件的等价性。同时通过反例说...
关键词：模糊语言 模糊自动机 λ-逼近 λ-覆盖 λ-逼近等价关系 
模糊离散事件系统的可测性被引量：1
《信息与控制》2022年第2期223-229,236,共8页谢铭辉 刘富春 
国家自然科学基金(61673122);广东省自然科学基金(2019A1515010548,2020A1515010941)。
针对模糊离散事件系统的可测性问题,提出一种基于不可区分串的可测性判定方法。首先引入不可区分串概念以刻画对任一极小可观测事件具有相同的可观察行为;然后构造一个基于极小可观测事件的观察器,建立不可区分串与观察器中非单元循环...
关键词：离散事件系统 模糊自动机 不可区分串 可测性 
模糊离散事件系统的多故障诊断被引量：1
《华侨大学学报（自然科学版）》2018年第1期115-120,共6页刘清兰 王飞 张波业 郭忠宝 
国家自然科学基金资助项目(61203040)
针对诊断器不能只依赖自身就能判断诊断的缺点,基于不可区分串的概念,提出一种模糊离散事件系统的多故障诊断方法.首先,基于极小可观测事件构造模糊自动机相应的诊断器,用于寻找不可区分串的集合;其次,根据诊断器的性质,提出模糊离散事...
关键词：模糊离散事件系统 模糊自动机 不可区分串 故障诊断 
量化转换系统的格值语言包含关系
《模糊系统与数学》2016年第5期50-59,共10页汪国武 沈应兄 潘海玉 
国家自然科学基金(11301321;11401361;61672023;61673352);中国博士后科学基金资助项目(2014M552408);安徽省自然科学基金(2013SQRL034ZD;TSKJ2016B02)
近十年来,量化形式化验证方法的研究取得了很多的研究成果。量化转换系统是一种新型的量化模型,该模型的主要特点是其动作集合上被赋予一个基于完备剩余格的格值等价关系。在量化转换系统的模型上,本文提出了一种格值语言包含关系去度...
关键词：标号转换系统 形式化验证 Hennessy-Milner逻辑 模糊自动机 完备剩余格 
不确定型多值Kripke结构的模型检测被引量：1
《模糊系统与数学》2016年第5期60-70,共11页郦丽 沈应兄 潘海玉 
国家自然科学基金(11301321;11401361);中国博士后科学基金资助项目(2014M552408)
多值模型检测是经典模型检测的一种扩展,主要用于具有不一致信息的系统的验证。为了对具有不一致和不确定性的系统进行形式化分析,本文提出非确定型多值Kripke结构作为此类系统的模型,引入一种多值计算树逻辑作为非确定型多值Kripke结...
关键词：多值模型检验 计算树逻辑 模糊自动机 DE MORGAN代数 
广义可能线性时序逻辑的自动机方法被引量：3
《内江师范学院学报》2016年第6期1-6,共6页张博 李永明 
国家自然科学基金(11271237;61228350);贵州省教育厅自然科学研究重点项目(No.黔教合KY字[2015]408号);黔西南州科技计划项目(No.2015-1-51)
模糊自动机是自动机理论与基础研究的一个重要内容.然而如何对模糊自动机进行构造至关重要.在给出广义可能测度下线性时序逻辑语构公式所对应模糊交替Büchi自动机构造方法基础上,并对其归纳验证.结果表明,模糊交替Büchi自动机所识别...
关键词：模型检测 广义可能测度 KRIPKE结构 自动机 模糊自动机 
可逆模糊自动机被引量：3
《模糊系统与数学》2013年第2期35-41,共7页李琳 李永明 
首先提出了可逆模糊自动机的概念,研究了能被可逆模糊自动机接受的语言(简记为F(Σ))的一些性质。其次给出了自由群上被可逆模糊自动机接受的模糊子集的概念,详细研究了可逆模糊语言与经典可逆语言的关系。最后,通过引入语法幺半群刻画...
关键词：可逆自动机 模糊自动机 自由群 语法幺半群 
通用模糊自动机
《模糊系统与数学》2012年第6期66-73,共8页王茜 李永明 
首先使用模糊语言的分解定义了通用模糊自动机:这个自动机以该模糊语言的分解作为状态,通过模糊语言的包含度定义其转移函数。其次定义了模糊自动机上的态射,证明了接受给定模糊语言的所有自动机都可以标准地映射到该语言对应的通用模...
关键词：模糊自动机 模糊语言 态射 通用性 
基于格半群的有限状态自动机的同态被引量：1
《数学杂志》2011年第6期1074-1078,共5页雷红轩 俸卫 
四川省教育厅重点科研项目(08ZA129)
本文研究了格值有限状态自动机(LFSA)的同态和强同态及其性质.利用强同态概念,在格值有限状态自动机的状态集上建立了一种等价关系,得到了格值有限状态自动机的商自动机,证明了商自动机与强同态像自动机同构.
关键词：格半群 模糊自动机 同态 强同态 同构 
一种模糊自动机的新模型被引量：1
《现代计算机》2011年第10期3-5,10,共4页曹卫华 张灵 刘军 
通过对秃头悖论的讨论分析,对传统自动机模式是否适用于模糊自动机进行分析论证,指出传统自动机模型的缺陷在于没有模糊性,不能处理模糊的事物,并对模糊自动机的旧模型提出质疑,因为旧模型固定的隶属度无法表达模糊事物的变化过程,最后...
关键词：自动机 模糊自动机 量变 质变 
全选清除导出
共4页<1234>
检索报告 对象比较 聚类工具 使用帮助 返回顶部