×

模糊线性自动机测试。 (俄语。英文摘要) Zbl 1425.93171号

摘要:本文讨论了模糊线性自动机(FLA)的测试综合问题。现在有几种FLA被用作实际模糊系统的模型。本文介绍并研究了一种特殊类型的FLA。由于在特征矩阵中使用了特殊类型的元素,自动机的行为出现了模糊性。每个这样的元素都是给定FLA的字段的特定元素集。在FLA运行期间(在每个时钟周期),替代矩阵元素被替代集合中的一个元素随机替换。引入了FLA可接受故障的概念。实质上,它意味着用与矩阵相对应的集合中的一个元素来替换矩阵的替代元素。提出了检测此类故障的测试综合方法。这种方法简化为求解线性代数方程组。该方法面向\(\mu\)-确定和同步的FLA,并综合足够短的长度(不超过FLA尺寸)的测试。

MSC公司:

93立方厘米 模糊控制/观测系统
93二氧化碳 控制理论中的线性系统
65年第68季度 形式语言和自动机
PDF格式BibTeX公司 XML格式引用
全文: 内政部 MNR公司

参考文献:

[1] Zadeh L.A.,“模糊集”,《信息与控制》,8:3(1965),338-353·Zbl 0139.24606号 ·doi:10.1016/S0019-9958(65)90241-X
[2] Speranskii D.V.,“模糊有限状态机实验”,Autom。远程控制,76:2(2015),278-291·兹比尔1322.93065 ·doi:10.1134/S0005117915020071
[3] Speranskiy D.V.,“模糊线性自动机的同步”,自动控制与计算机科学,50:2(2016),72-79·文件编号:10.3103/S014641161602005X
[4] Gill A.,《有限状态机理论导论》,McGraw-Hill,纽约,1962年,207页·Zbl 0158.25801号
[5] Speranskiy D.V.,有限自动机实验理论讲座,BINOM。znanij Publ.实验室。,M.,2010,287页(俄语)
[6] Speranskii D.V.,“线性自动机的测试”,Autom。遥控,61:5(2000),858-865·Zbl 1058.94539号
[7] Agibalov G.P.,Yufat A.G.,“线性初始自动机的简单实验”,《自动控制与计算机科学》,1972年,第2期,第17-19页(俄语)·Zbl 0246.94036号
[8] Kolesov N.V.,“设计线性有限自动机的检查测试”,Autom。遥控,43:2(1982),185-189·Zbl 0499.68022号
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。