关于L—模糊集的分解定理与表现定理

文〔3〕、〔4〕在L稠密的条件下,得到了L—模糊集的分解定理与表现定理。但在实际中我们所用到的很多格都不具有稠密性。本文将在应用相当广泛的一类格——连续格上建立L—模糊集的分解定理与表现定理,大大地扩展了集合套的应用范围。     

知识库的一致性与完备性检验

本文讨论了基于知识的系统的知识库的一致性与完备性检验;给出了知识库的一致性与完备性的定义及检验方法;探讨了知识库的各种潜在问题对推理过程及结果的影响.     

有限仿射平面与拉丁方的完备正交组

本文主要介绍了用有限仿射平面构造一些拉丁方的完备正交组的方法。最后指出，存在ｎ阶有限仿射平面，当且仅当存在ｎ阶拉丁方的完备正交组，及其一些应用。     

关于等部完备图的全色数

本文给出了等部完全备图的全色数，并讨论了某些多部图的全色数。     

浅谈中学几何公理系统

本文将采用近代公理法思想来分析中学几何（包括初中平面几何与高中立体几何）中所出现的公理，论述其公理系统，使读者能居高临下地领会大纲与教材，从而正确理解中学几何公理系统的结构、特点以及欠缺情况，用以指导中学几何的教学。     

套代数中元素的逆

自从J.R.Ringrose引进套代数以来,它已成为非自伴算子代数研究的一个重要方向,特别是它和系统理论有着密切联系,受到人们普遍注意,关于套代数中元素逆的问题是套代数研究的重要问题之一,本文给出这个问题一种描述,对可数的简单套给出元素逆问题的确切回答,并讨论了可数简单套的其它性质。     

织梭模压成型模具设计

用挤压法将浸泡合成树脂胶的竹丝模压成型为纺织梭子,其加工工艺简单、性能良好、强度较高,被用来代替木质织梭。 模具的设计和制造在模压制品的制造工艺中是非常重要的,它将决定模压制品的性能和成本。本文所介绍的模具,其压制零件的脱模操作既方便又快速。该模具的高度尺寸小,热传导效率高,降低了织梭的生产成本。     

Riemann积分与Lebesgue积分的差别

本文指出Riemann积分与Lebesgue积分的本质区别在于空间的完备性上。区间(a,b)上所有Riemann可积函数所生成的空间R[a,b]是不完备的;而所有Lebesgue可积函数所生成的空间L[a,b]是完备的。     

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

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

膨胀型映射的不动点定理

本文将讨论更广义的膨胀型映射的不动点定理，这些定理补充和推广了已有的某些结果。