×

布尔函数中变量局部合并的诊断测试。 (英语。俄文原件) Zbl 1278.94100号

计算。数学。模型。 23,第1期,72-78(2012); Prikl的翻译。《材料信息》36,91-98(2010)。
摘要:本文研究了布尔函数(f(tilde{x}^n)((1\leqk\leqn),(1\ leqt\leq2^{2^{k}})中变量的局部(k)折叠合并的诊断检验。证明了由函数系统生成的局部褶皱合并的诊断检验长度的Shannon函数的上下界。局部\(k\)-折叠合并的完全诊断检验长度的Shannon函数渐近地表现为\(2^k(n-k+1)\)对于\(n\to\infty\),\(k\to\infty\)。

MSC公司:

94C12号机组 故障检测;电路和网络测试
94立方厘米 交换理论,布尔代数的应用;布尔函数(MSC2010)
PDF格式BibTeX公司 XML格式引用
全文: 内政部

参考文献:

[1] V.N.Noskov,“逻辑设备输入的诊断测试”,Diskretnyi Analiz,IM SO AN SSSR,新西伯利亚,第26、72–83号(1974年)。
[2] V.N.Noskov,“控制逻辑电路输入操作的测试复杂性”,Diskretnyi Analiz,IM SO AN SSSR,新西伯利亚,第27期,第23–51页(1975年)。
[3] V.N.Noskov,“关于控制逻辑电路输入操作的最小单元诊断测试的长度”,Metody Diskretnogo Analiza V Sinteze Upravlyayushchikh Sistem,IM SO AN SSSR,新西伯利亚,第32、40–51号(1978)·Zbl 0456.94021号
[4] V.N.Noskov,“诊断组合电路中一类故障的通用测试”,《Metody Diskretnogo Analiza V Reshenii Ekstremal'nykh Problem》,IM SO AN SSSR,新西伯利亚,第33期,第41–52页(1979年)。
[5] N.N.Nurmeev,“组合电路中一类故障的通用诊断测试”,Veroyatnostnye Metody i Kibernetika,Izd。KazGU,Kazan,第18期,73–76页(1982年)·Zbl 0555.94019号
[6] G.R.Pogosyan,《逻辑电路故障检测测试》(俄语),VTs AN SSSR,莫斯科(1982年)·Zbl 0517.94022号
[7] I.A.Kuznetsov和D.S.Romanov,“布尔函数中变量局部内聚的完整故障检测测试”,Uchenye Zapiski Kazan Gos。州立大学。菲兹-Mat.Nauki,151,第2期,90-97(2009年)·Zbl 1245.94120号
[8] N.A.Solov'ev,《测试(理论、设计、应用)[俄语]》,诺卡(西伯利亚分部),新西伯利亚(1978年)。
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配,可能包含数据转换错误。在某些情况下,zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献,而不要求完整或完全匹配。