共查询到17条相似文献,搜索用时 31 毫秒
1.
刘桂开 《湘潭大学自然科学学报》1997,19(4):117-120
该文对多值逻辑函数的分类与谱分析进行了研究,指出了保7类基本运算未必是保谱变换,因此,必须寻找新的其它运称.还提出了新运算应满足的重要的必要条件. 相似文献
2.
研究了由多值逻辑函数组构成的置换.定出了一类由q值逻辑函数构成的置换;采用q值逻辑函数组的置换构造了一类Bent函数和满足严格雪崩准则的函数;给出了求布尔置换的算法. 相似文献
3.
4.
罗铸楷 《湘潭大学自然科学学报》1987,(4)
多值逻辑的研究是计算机科学技术中的一个十分重要的领域,它与未来计算机密切相关。国际上技术先进的国家如美国、苏联、日本、加拿大等都十分重视。自1971年以来每年召开一次国际会议,完全多值逻辑函数的完备性理论自四十年代起始终是多值逻辑中引入注目的,活跃的课题之一。本文总结了近代的发展情况和主要的新成果,并对仅有中文的结论以简要的证明。 相似文献
5.
首次提出了广义线性置换,并定出其划定的充要条件,同时还定出了几类新的一元多值逻辑函数的完备集. 相似文献
6.
关于K值Sheffer函数 总被引:2,自引:0,他引:2
罗铸楷 《湘潭大学自然科学学报》1998,20(3):1-8
在完全多值逻辑函数中,定出了图形仅含圈环且模为K+3的Shefer函数之充要条件,从而给出了大量新的Shefer函数. 相似文献
7.
8.
关于部分K值逻辑Sheffer函数(IV) 总被引:2,自引:0,他引:2
根据部分多值逻辑的完备性理论[罗铸楷等],证明了m=2时的一类正则可离函数集在Pk^n的极大封闭集之最小覆盖中必不出现. 相似文献
9.
蒙世奎 《广西师范学院学报(自然科学版)》1996,13(1):11-16
利用文[2]的公式引入n阶矩阵和n次多项式的谱函数集和谱矩阵集的概念,得到了任何n-1次多项式都可由谱函数集的元素线性表示及矩阵函数由谱矩阵集的元素线性表示的公式。作为具体应用,给出了矩阵的m次方根和常系数齐线性微分方程组x^→1=A^→x的标准解矩阵用谱矩阵集元素线性表示的实用公式。 相似文献
10.
关于部分K值逻辑Sheffer函数判定的一些结果(II) 总被引:6,自引:1,他引:5
根据部分多值逻辑的完备性理论,证明了m=2时的两类正则可离函数集必然不包含在P的极大封闭集之最小覆盖中。 相似文献
11.
部分三值逻辑中准完备集的最小复盖 总被引:21,自引:4,他引:17
刘任任 《湘潭大学自然科学学报》1991,13(2):158-165
根据部分K值逻辑的完备性理论,定出了P_3~*中所有准完备集的最小复盖,并依此构造出大量的部分三值Sheffer函数。 相似文献
12.
13.
成央金 《湘潭大学自然科学学报》1991,13(2):23-32
首次在代数([0,1], ,·,-)上提出了“β”算子,研究了“β”算子与“α”算子、“δ”算子之间的关系,得到了判别一般的模糊逻辑不等式解的存在性的充要条件;给出了在有解的条件下求所有解的一个可行方法。 相似文献
14.
15.
蔡惠京 《湘潭大学自然科学学报》1987,(4)
本文将《湘潭大学自然科学学报》,1986(2):32中的结果进一步推广到平面上无界正则区域上的广义M-解析函数上,并证明了广义柳维尔定理,最大模原理和普来梅公式等进一步的结果,为今后讨论广义M-解析函数的边值问题奠定了基础。 相似文献
16.
本文引进并研究一个λ级亚纯星象函数类的子类Ma(λ),它以[1]中的H(λ)为特殊情况,对子Ma(λ),得到了和保持积分算子不变性的条件。 相似文献
17.