Bi-decomposition of multi-valued logical functions and its applications
Bi-decomposition of multi-valued logical functions and its applications
复制标题
多值逻辑函数双向分解及其应用
DOI：
10.1016/j.automatica.2013.03.013
复制
发表时间：
2013-07
期刊：
影响因子：
6.4
通讯作者：
D. Cheng, X. Xu
中科院分区：
文献类型：
--
作者：
D. Cheng, X. Xu
考虑多值逻辑（MVL）函数的双向分解，包括不相交和非不相交的情况。使用半张量积，MVL 函数可以以其代数形式表示。基于该表格，分别为每种情况提供了直接可验证的充分必要条件。构造性证明还导致构造相应的分解。利用这些结果，得到了 k 值函数的隐函数定理（IFT），作为一种特殊的双向分解。最后，作为一个应用，使用 k 值函数的 IFT 研究动态代数 (D–A) 布尔网络的归一化。
The bi-decomposition of multi-valued logical (MVL) functions, including disjoint and non-disjoint cases, is considered. Using a semi-tensor product, an MVL function can be expressed in its algebraic form. Based on this form, straightforward verifiable necessary and sufficient conditions are provided for each case, respectively. The constructive proofs also lead to constructing corresponding decompositions. Using these results, the implicit function theorem (IFT) of k-valued functions, as a special bi-decomposition, is obtained. Finally, as an application, the normalization of dynamic–algebraic (D–A) Boolean networks is investigated using IFT of k-valued functions.
登录
查看更多内容
DOI：
10.1016/0378-4754(79)90148-4
发表时间：
1978
期刊：
--
影响因子：
--
作者：
M. Davio;J. Deschamps;A. Thayse
通讯作者：
M. Davio;J. Deschamps;A. Thayse
影响因子：
12
作者：
C. Lang;B. Steinbach
通讯作者：
C. Lang;B. Steinbach
DOI：
10.1109/5254.671090
发表时间：
1998-03
期刊：
IEEE Intell. Syst.
影响因子：
--
作者：
B. Zupan;M. Bohanec;J. Demšar;I. Bratko
通讯作者：
B. Zupan;M. Bohanec;J. Demšar;I. Bratko
DOI：
10.1109/tac.2010.2050161
发表时间：
2011
期刊：
IEEE Trans. Aut. Contr.
影响因子：
--
作者：
Cheng, Daizhan
通讯作者：
Cheng, Daizhan
DOI：
10.21236/ada593005
发表时间：
1997-05
期刊：
--
影响因子：
--
作者：
Tsutomu Sasao;J. T. Butler
通讯作者：
Tsutomu Sasao;J. T. Butler