共查询到20条相似文献,搜索用时 31 毫秒
1.
罗铸楷 《湘潭大学自然科学学报》1983,(1)
在k值逻辑理论中,函数封闭集之刻划问题是一个基本而重要的问题,其难度远远超过定出其所有的极大封闭集。对于k=2的情形,Post定出了完全2值逻辑函数集P_2的所有封闭集,但未能 相似文献
2.
根据部分 k 值逻辑的完备性理论,给出了部分四值逻辑中 L 型函数集与拟线性函数集,从而推进了 P_4(?)中准完备集之最小覆盖的完全解决. 相似文献
3.
多值逻辑中正规关系的分类 总被引:2,自引:0,他引:2
罗铸楷 《湘潭大学自然科学学报》1984,(2)
在K位逻辑理论中,函数系的完备性乏判定问题是一个基本而重要的问题,此问题的彻底解决依赖于定出K值逻辑函数集中的所有极大封闭集。对于完全K值逻辑函数集P_K,和分别定出了自对偶函数集S_σ,T型集T_(E,O,)单调函数集M中的所有极大封闭集,作者4.5定出了线性函数集L_G的所有极大封闭集,保分别函数集T_D~r的大量极大封闭集(仅剩一类尚未定出)。之后,作者~6于1964年证明了P_K中任意极大封闭集必是一个S_σ,T_(E,O,)M,L_G或T_D~r(由于该学报一度停刊未能及时刊出)。由此基本结论只要定出T_D~r中的所有极大封闭集使能得到P_K中的全部极大封闭集。于1965年Rosenberg也证明了此结论并定出了T_D~r中的所有极大封闭集。因此,现在著名的Rosenberg定理其主要结论已由文[6]中的基本定理给出,它只不过是定出了保分划函数集T_D~r中剩下一类的所有极大封闭集。随着完备性判定问题之解决,近十几年来完全K值逻辑函数的结构理论有了广泛、深入、系统的发展,并用于一些实际应用领域。对于部分K值逻辑函数集P_K~*(包括完全和非完全函数)的完备性理论是由王湘浩教授首先进行研究的,并用群论方法提出了一个完备性的充要条件,依此定出了P_2~*和P_3~*中的所有极大封闭集,无疑这些结果是十分重要而基本的,但对一般的K,未能定出P_K~*中的所有极大封闭集。之后,Freivald证明了P_K~*中任意极大封闭集必是某一个保K~2项关系的函数集并定出了P_2~*中的所有极大封闭集;POMOB定出了P_K~*中一些特殊的极大封闭集并依此定出了P_3~*中的所有极大封闭集。这些结果的大部分内容早已在文[3]中指出。本文用保关系的统一思想和方法证明了P_K~*中任意极大封闭集(除极大封闭集:P_K∪{*},保E函数集T_E以外~(3,6))必是保某一个k项关系的函数集,且必保5类特殊、整齐的m项正规关系之一,m≤k。这就从根本上解决了关系分类这一困难问题,从而极大地缩小了极大封闭集的范围,对判定向题的解决作了实质性的推进。根据此结论,作者在另一文中定出了P_K~*中的全部极大封闭集。本文所采用的一些基本概念、事实、符号除指明的以外均见文[3]。 相似文献
4.
多值逻辑中函数的完备性问题 总被引:2,自引:0,他引:2
罗铸楷 《湘潭大学自然科学学报》1982,(1)
在K值逻辑理论中,函数系的完备性之判定问题是一个基本而重要的问题,同时也是K值计算机理论中必需解决的问题。此问题的彻底解决依赖于定出K值函数集P_k中的所有极大封闭集。Post定出了P_2中的所有极大封闭集共5个,定出了P_3中的所有极大封闭集18个。作者定出了P_4中的所有极大封闭集共82个。 相似文献
5.
6.
许芬 《海南师范大学学报(自然科学版)》2006,19(3):222-224
根据部分K值逻辑的完备性理论,通过剔除部分四值逻辑中能被其余准完备集覆盖的单纯可离函数集,缩小了判定最小覆盖的范围. 相似文献
7.
有限区间上函数k集压缩映象的两个性质及其应用 总被引:1,自引:0,他引:1
本文证明了有限区间上函数k集压缩映象的两个性质,且此与通常的k集压缩映象定义有着本质的区别.在此基础上进一步讨论了k集压缩映象的不动点问题. 相似文献
8.
根据部分K值逻辑的完备性理论和相似关系概念,定出并证明了属于准完备集最小覆盖的保三元单纯可离关系函数集. 相似文献
9.
关于部分K值逻辑中准完备集之最小覆盖的一些结果(Ⅲ) 总被引:7,自引:3,他引:7
刘任任 《湘潭大学自然科学学报》1995,(3)
根据部分K值逻辑的完备性理论,证明了满足一定条件的完满对称函数集是Pk*中准完备集之最小覆盖的必要组成部分. 相似文献
10.
部分三值逻辑中准完备集的最小复盖 总被引:21,自引:4,他引:17
刘任任 《湘潭大学自然科学学报》1991,13(2):158-165
根据部分K值逻辑的完备性理论,定出了P_3~*中所有准完备集的最小复盖,并依此构造出大量的部分三值Sheffer函数。 相似文献
11.
刘伟华 《哈尔滨师范大学自然科学学报》2005,21(3):18-18,48
X值可积函数类L^1[Ω,X]的可分解子集的概念对于集值随机过程的研究,特别是对于集值函数的积分,条件期望等的研究有着很重要的作用.本文给出了可分解子集的一个等价结论及证明. 相似文献
12.
文献[1]已知三分Cantor集C上p方可积函数空间LP(C,μ)(1≤p∞)是可分的,将此结论推广到k分Cantor集Ck(k为1的奇数)上,证明了k分Cantor集Ck上p方可积函数空间LP(Ck,μ)(1≤p∞)也是可分的. 相似文献
13.
为了研究向量优化问题,引进了一致同阶集值函数类,在没有凸性条件的假设下,对一致同阶集值函数建立了新的极小极大定理与鞍点存在的定理。 相似文献
14.
罗承杰 《湘潭大学自然科学学报》1985,(1)
在多值逻辑理论和自动机理论中,一元多值逻辑函数系完备性之判断问题是一个基本而重要的问题。此问题的彻底解决依赖于定出集合E_k={0,1,…,k-1}上全体一元多值逻辑函数集P_k~(1)的所有极大封闭集。Bairamov对有限对称半群中完备性问题进行了研究,据其结果,我们可把P_k~(1)的所有极大封闭集的确定归结为定出E_k上K次对称群S_k的全部极大子群。但在有限群论中,定出S_k的所有极大子群至今还是一个尚待解决的困难问题。由K值逻辑中基本群之研究,我们将E_k上的置换群分为下列互不相同的四类: 一、非可迁群和非本原群; 二、保正则二项关系的置换群,此时K=h~m,h≥5,m≥2; 三、线性置换群; 四、基本置换群,即它与一个真多元取K个不同值的函数构成P_k的一个完备集,这里P_k是由E_k上全部多值逻辑函数所作成的集合。这样,只要定出上述四类置换群在S_k中的极大子群,就定出了S_k的全部极大子群Bairamovc和Balll分别定出了第一类置换群在S_k中的全部极大子群。罗铸楷根据多位逻辑函数之特性,简捷地确定了S_k中保正则二项关系置换群的具体表示,并定出了其在S_k和工A_k(K次交代群)中的全部极大子群(除K=5~2外)。目前,关于第四类置换群在S_k中的极大子群还只有一些零星结果。由于基本置换群与多值逻辑函数紧密相关,可以预见,在其极大性之研究中,多值逻辑函数的结构理论必将成为有力的工具。本文主要讨论线性置换群在S_k或A_k中的极大性问题。由[8]之结论和有限单群分类的成果,作者定出了线性置换群在S_k和A_k中的全部极大子群。此外,当K为质数时,作者还定出了S_k的全部极大子群,从而定出了P_k~(1)的所有极大封闭集。 相似文献
15.
关于部分K值逻辑Sheffer函数(III) 总被引:1,自引:0,他引:1
根据部分多值逻辑的完备性理论 ,证明了m =2时的一类单纯可离函数集在P k 的极大封闭集之最小覆盖中必须出现 . 相似文献
16.
17.
《哈尔滨师范大学自然科学学报》2016,(4)
首先定义了弱集值变分不等式的广义正则间隙函数并研究其性质,由此给出了误差界结果.然后利用集值变分不等式的解和弱集值变分不等式的解之间的关系,证明了在某些条件下弱集值变分不等式的间隙函数就是集值变分不等式的间隙函数,也相应的得到了误差界结果. 相似文献
18.
研究了由多值逻辑函数组构成的置换.定出了一类由q值逻辑函数构成的置换;采用q值逻辑函数组的置换构造了一类Bent函数和满足严格雪崩准则的函数;给出了求布尔置换的算法. 相似文献
19.
关于部分K值逻辑Sheffer函数(Ⅳ) 总被引:1,自引:0,他引:1
根据部分多值逻辑的完备性理论[罗铸楷等],证明了m=2时的一类正则可离函数集在P*k的极大封闭集之最小覆盖中必不出现. 相似文献
20.
许多有重要价值的实际问题均属于联合概率约束优化问题(JCCP),该类问题通常是非凸的并且非光滑,有效求解方法多集中于凸近似方法,往往局限于具有单个概率约束的问题.本文基于两个凸函数之差(即D.C.函数)为约束的近似优化问题,提出了约束函数的光滑近似函数以及相应的光滑近似问题.通过收敛性分析,证明了当参数充分小时,光滑化的近似问题的最优值和最优解集分别收敛到(JCCP)的最优值和最优解集. 相似文献