正则BCK—代数

本文给出了正则元、正则BCK—代数的概念。得到了如下的主要结果:〈X;*,0〉是一个正则BCK—代数当且仅当■x∈X,■y∈X,y≠x,若 x*(y*x)=0,则x=0。     

一类BCK—代数的结构

本文用逐步扩张的方法给出了一类 n 阶 BCK-代数,同时也弄清了它的结构.     

关于BCK—代数与立体格公理系统

建立了关联ＢＣＫ代数与立体格公理系统的联系．     

关于形式系统Y^＊及R0-代数的若干结果

研究了模糊逻辑的形式演绎系统Y^*及R0-代数的性质，得到形式系统Y^*的两个更简捷的等价系统，证明了R0-代数的对偶代数是有界逆序对合BCK-代数，并给出关于R0-代数的一个重要反例，说明了R0-代数中V与→是各自独立的．     

粗糙集的BCK-代数

在粗糙集的代数方法研究中,一个重要的方面是从粗糙集的偶序对(＜下近似集,上近似集＞)表示入手,通过定义偶序对性质的基本运算,从而构造出相应粗代数,并寻找能抽象表示偶序对的性质的一般代数结构.其中最有影响的粗代数分别是粗双stone代数、近似空间代数和粗Nelson代数.文章讨论了近似空间中粗糙集的代数性质,通过所给的粗糙并、交、补的定义,定义了粗糙集的全体所组的集合B的一个二元运算*.并证明B是一个蕴涵的BCK-代数.     

关于具有条件(S)的BCK一代数的伴随半群

讨论了具有条件（S）的BCK一代数的剩余刻划，另外给出了具有条件（S）的BCK-代数的伴随半群的一些住质．     

关于星形BCK—代数的讨论

给出了星形ＢＣＫ－代数的若干性质．用伴随半群理论给出星形ＢＣＫ－代数的刻划，引入了伴随半群中元素长度的概念，证明了星形ＢＣＫ－代数伴随半群中元素表示的唯一性．     

形式演绎系统L~*的扩张

从语义和语法两个方面将形式演绎系统L 层次化 ,得到L 的一个扩张 ,从而增强了系统L 的表达能力 ,使之能更有效地应用于模糊系统的研究 .     

形式化方法和对象技术的结合途径研究

本文首先给出形式化方法概述,并介绍两种分别代表面向模型和面向性质的形式规约语言Ｚ和Ｌａｒｃｈ。然后,重点讨论形式化方法与面向对象技术的结合。     

逻辑函数公式法化简技巧

本文用实例总结出逻辑函数公式法化简的技巧方法，从而可对逻辑函数进行灵活快速的化简。     

关于命题论证有效判定的另一方法

本文引进正则公式的概念,并且给出一个关于命题推理有效判定的方法,它可以在有限步之后确定一个论证是有效的还是无效的,容易看出一个结论是否可以从前提推出。     

形式三角矩阵环上的模的结构

利用形式三角矩阵环T上的（右）模的分解,研究右T－模的结构,得到一个右T－模有合成列的充分必要条件,以及在这一条件下,其合成长度的计算公式,此外还给出形式三角矩阵环T是Max－环的一个等价刻画。     

制定土地利用总体规划的软系统方法与群组决策综合集成模型

指出区域土地利用系统是软系统，应该采用软系统方法论来谋划规划方案，为具体操作发展了群组决策综合集成模型群．     

企业管理决策支持系统的研究

本文结合笔者开发企业管理决策支持系统的研究成果,对其开发思想、结构框架及实施措施进行了研究,并强调从企业管理信息系统过渡到决策支持系统是开发企业管理决策支持系统的最佳路线。     

关于决策分析和决策支持系统主要研究领域的探讨

决策支持系统是计算机和决策科学相结合的产物，是发展最快和最重要的研究分支之一。结合ＤＳＳ和决策分析的最新发展动态，讨论了今后主要研究和值得注意的若干问题。     

形式复环上的规范内积模

考察内积模的内积象性质。抽象出形式复环与Ｇ·Ｓ同构概念，并给出形式复环一些判定。     

基于Petri网的安全协议形式化分析与验证

形式化分析方法由于它简洁性成为网络协议的可靠途径。本文提出用Petri网表示网络安全协议的方法描述现在普遍运行的RSA密码体系,并且对Petri的模型进行可达性分析从而验证了RSA的安全性。