A minimum adequate set of multi-valued logic
被引量：1
摘要
An adequate set of k-valued logic is provided,which contains only two operators.It is also proved that this adequate set is of minimum size。
二级参考文献3
-
1程代展.Semi-tensor product of matrices and its application to Morgen's problem[J].Science in China(Series F),2001,44(3):195-212. 被引量：54
-
2程代展,齐洪胜,赵寅.布尔网络的分析与控制—矩阵半张量积方法[J].自动化学报,2011,37(5):529-540. 被引量：114
-
3张平,方洋旺,惠晓滨,刘新爱,李亮.基于统计线性化的随机非线性微分对策逼近最优策略[J].自动化学报,2013,39(4):390-399. 被引量：6
共引文献121
-
1谭黎阳,夏帅.基于演化博弈模型的长三角城市产业协同竞争关系研究[J].金融管理研究,2020(2):91-107. 被引量：3
-
2程代展,齐洪胜,赵寅.布尔网络的分析与控制—矩阵半张量积方法[J].自动化学报,2011,37(5):529-540. 被引量：114
-
3程代展,赵寅,徐相如.混合值逻辑及其应用[J].山东大学学报（理学版）,2011,46(10):32-44. 被引量：6
-
4郭雷.评“矩阵的半张量积:一个便捷的新工具”[J].科学通报,2011,56(32):2662-2663. 被引量：1
-
5程代展,赵寅.矩阵的半张量积:一个便捷的新工具[J].科学通报,2011,56(32):2664-2674. 被引量：17
-
6程代展,赵寅,徐相如.从布尔代数到布尔微积分[J].控制理论与应用,2011,28(10):1513-1523. 被引量：10
-
7王进,刘振斌,王玉振.基于矩阵半张量积方法的改进数量化理论(Ⅰ)[J].系统工程理论与实践,2012,32(7):1575-1581. 被引量：2
-
8赵寅,高旭,程代展.基于半张量积方法的布尔函数矩阵表示的一些应用(英文)[J].中国科学院研究生院学报,2012,29(6):743-749. 被引量：1
-
9段培永,吕红丽,冯俊娥,刘聪聪,李慧.室内热舒适环境的模糊关系矩阵模型控制系统[J].控制理论与应用,2013,30(2):215-221. 被引量：12
-
10程代展,齐洪胜.矩阵半张量积的基本原理与适用领域[J].系统科学与数学,2012,32(12):1488-1496. 被引量：4
同被引文献13
-
1程代展.Semi-tensor product of matrices and its application to Morgen's problem[J].Science in China(Series F),2001,44(3):195-212. 被引量：54
-
2陈宜滨,席宁,缪磊,李洪谊,王越超.半张量积理论在网络遥操作系统中的应用[J].机器人,2012,34(1):50-55. 被引量：8
-
3欧阳城添,江建慧.基于概率转移矩阵的时序电路可靠度估计方法[J].电子学报,2013,41(1):171-177. 被引量：12
-
4卢剑权,李海涛,刘洋,李芳菲,曹进德.矩阵半张量积方法在逻辑网络和相关系统中的应用综述[J].南京信息工程大学学报（自然科学版）,2017,9(4):341-364. 被引量：6
-
5Daizhan CHENG,Zequn LIU.A new semi-tensor product of matrices[J].Control Theory and Technology,2019,17(1):4-12. 被引量：2
-
6Yang LIU,Jinde CAO,Liqing WANG,Zheng-Guang WU.On pinning reachability of probabilistic Boolean control networks[J].Science China(Information Sciences),2020,63(6):228-230. 被引量：2
-
7Qing-le ZHANG,Biao WANG,Jun-e FENG.Solution and stability of continuous-time cross-dimensional linear systems[J].Frontiers of Information Technology & Electronic Engineering,2021,22(2):210-221. 被引量：4
-
8Peixin ZHAO,Hongfeng GUO,Yongyuan YU,Jun-E FENG.On dimensions of dimension-bounded linear systems[J].Science China(Information Sciences),2021,64(5):223-225. 被引量：3
-
9CHENG Daizhan,WU Yuhu,ZHAO Guodong,FU Shihua.A Comprehensive Survey on STP Approach to Finite Games[J].Journal of Systems Science & Complexity,2021,34(5):1666-1680. 被引量：7
-
10Ettore Fornasini,Maria Elena Valcher.Recent developments in Boolean networks control[J].Journal of Control and Decision,2016,3(1):1-18. 被引量：4
-
1FENG Jun-e,ZHANG Qingle,LI Yiliang.On the Properties of Cheng Projection[J].Journal of Systems Science & Complexity,2021,34(4):1471-1486. 被引量：3
-
2SUN Jirong.Structure Transition of the Three-Dimensional Penrose Tiling Under Phason Strain Field[J].Chinese Physics Letters,1993,10(8):449-452.
-
3Xinghu WANG,Youfeng SU,Dabo XU.Nonlinear output-feedback tracking in multiagent systems with an unknown leader and directed communication[J].Science China(Information Sciences),2021,64(12):156-170. 被引量：2
-
4Daizhan Cheng,Yuanhua Wang,Ting Liu.A survey on potential evolutionary game and its applications[J].Journal of Control and Decision,2015,2(1):26-45. 被引量：2
-
5Bin Han,Ran Lu.Multivariate quasi-tight framelets with high balancing orders derived from any compactly supported refinable vector functions[J].Science China Mathematics,2022,65(1):81-110.
-
6Varoujan K. Sissakian,Ala A. Ghafur,Nadhir Al-Ansari,Hawkar A. Abdulhaq,Hassan O. Omer.Indicating the Role of Geological Conditions in Shaping the Hareer Anticline, Iraqi Kurdistan Region[J].Open Journal of Geology,2021,11(12):696-711.
