关于部分K值逻辑中准完备集之最小复盖的一些结果（Ⅱ）

根据部分K值逻辑的完备性理论,证明了L型函数集L_(G4,2)是P_K~*中准完备集之最小复盖的必要组成部分。     

部分三值逻辑中准完备集的最小复盖

根据部分K值逻辑的完备性理论,定出了P_3~*中所有准完备集的最小复盖,并依此构造出大量的部分三值Sheffer函数。     

群和线性半群的准完备性

本文提出了群完备和准完备的充要条件。同时,还较详尽地讨论了线性半群中的完备性问题。定出其所有的准完备类(即极大封闭集)     

部分四值逻辑中保三元单纯可离关系函数集最小覆盖之确定

根据部分K值逻辑的完备性理论和相似关系概念,定出并证明了属于准完备集最小覆盖的保三元单纯可离关系函数集.     

部分四值逻辑中L型函数集与拟线性函数集之确定

根据部分 k 值逻辑的完备性理论,给出了部分四值逻辑中 L 型函数集与拟线性函数集,从而推进了 P_4(?)中准完备集之最小覆盖的完全解决．     

关于部分K值逻辑中准完备集之最小覆盖的一些结果（Ⅲ）

根据部分Ｋ值逻辑的完备性理论，证明了满足一定条件的完满对称函数集是Ｐｋ＊中准完备集之最小覆盖的必要组成部分．     

部分四值逻辑单纯可离函数集最小覆盖之判定

根据部分K值逻辑的完备性理论,通过剔除部分四值逻辑中能被其余准完备集覆盖的单纯可离函数集,缩小了判定最小覆盖的范围.     

准完备类中的一元半群

系统地讨论了准完备类中的一元半群,定出了全部极大木质一元半群和群,从而精确地定出了基本一元集和基本群的充要条件。此外,还简捷地明明了不可迁群和非本原群的极大性定理。     

集值映象与弱于紧性的性质

A.H.Stone提出了一些弱于紧性的性质,高国士同志研究了在单值映象下保持空间各种弱于紧性的性质。本文是在集值映象下研究保持空间各种弱于紧性的性质。 本文所涉及的弱于紧性的性质如下: 拓扑空间x的任一局部有限(可数)开复盖有有限子复盖。 拓扑空间X的任一可数开复盖,有有限子族其和稠于X。 拓扑空间X的任一局部有限(可数)开复盖,有有限子族其和稠于X。     

基于人工神经网络的L9(34)正交实验预测特点研究

用五组L⁹(3⁴)正交实验结果作为训练学习样本集,通过人工神经网络对其预测特点进行了探讨.结果表明:完备的正交实验样本集是基本训练学习单元,不可分割,其预测结果与实测结果吻合很好.同一类型同一实验条件下,完备的信息量大的正交实验样本集通过人工神经网络能很好地预测其他完备的信息量小的正交实验样本集,这为正交设计提供了有意义的参考思路.     

相容滤子完备偏序集上投射算子的几个性质

本文从对偶地角度出发,引入了相容滤子集、相容滤子完备偏序集的概念,并研究了偏序集及相容滤子完备偏序集上投射算子的几个性质.证明了若p:L→L是偏序集L上保相容滤子交的投射算子,则p(L)在L中对相容滤子交封闭等相关结论.     

关于列紧空间几个等价命题的证明

列紧性是距离空间中一个很重要的概念。其定义为: 一个距离空间E叫做列紧的,假如它满足下列条件("Borel—Lebesgue axiom"): 如对E的每一下开集合复盖(“开复盖”)(u.)λ∈L.存在一个有限子族(U_λ)λ∈H(H∈L且H是有限集)也复盖E。在著名法国数学家狄多涅所著“现代分析基础”(Foundations of Modern AnalYsis,J.DIEUDONNE。原文为法文版,有英译本。本文论证可引用的定理,概念均来自英译本)     

仿紧0维空间某些性质的探讨

0维空间是点集拓扑中的既知概念,本文就仿紧0维空间的性质,做某些探讨。 为方便计,这里重述0维空间的定义,对其它的相关概念,可查阅参考文献。 设X为非空拓扑空间,若X的任意有限开复盖都存在阶数为1的开复盖加细,则称X是0维空间,而记以:dimX=0。 0维空间不具有继承性,兹举例如下:     

T-R0代数及其滤子

基于一般R0代数的定义,在e*命题集中定义了一种特殊的具体的R0代数-T-R0代数;基于对e*系统中的极大命题集和完备命题集,给出了T-R0代数代数的滤子的一般形式及其T-R0代数的特殊滤子与特殊命题集之间的关系..关键词:e*命题逻辑系统;R0代数;T-R0代数;滤子;极大命题集;完备命题集     

相容连续偏序集的若干性质

借助相容连续偏序集的定义,研究相容连续偏序集上映射与伴随之间的关系,探讨相容定向完备偏序集上连续映射空间的若干性质.此外给出相容连续偏序集在Scott拓扑中的一些性质.     

线性序集自映射的周期点集与准周期点集

本文对线性序集自映射进行了讨论，得到线性序集上自映射的周期点集、准周期点集等于不动点集的几个定理。     

关于部分K值逻辑中Sheffer函数判定的一些结果（I）

根据部分多值逻辑的完备性理论,证明了m=2时的一类完满对称函数集在PK^*中极大封闭集之最小覆盖中必需出现．     

关于部分K值逻辑Sheffer函数(III)

根据部分多值逻辑的完备性理论 ,证明了m =2时的一类单纯可离函数集在P k 的极大封闭集之最小覆盖中必须出现 .     

关于部分K值逻辑中Sheffer函数判定的一些结果(Ⅰ)

根据部分多值逻辑的完备性理论,证明了ｍ＝２时的一类完满对称函数集在Ｐ*Ｋ中极大封闭集之最小覆盖中必需出现．     

完备格范畴中自由ψ—连续格的存在性

本文用ψ－极小集和化的方法讨论了完备格中ψ－连续元的性质，给出了完备格范畴中自由ψ－连续格存在性的构造性证明。