一类n-Lie代数的最小理想问题

研究了n+k维n-Lie代数一些结构性质,并且证明了对于具有性质:任意非零理想其维数都大于或等于k的n+k维n-Lie代数一定存在最小理想.     

特征3域上的有限维李代数S的导子代数

设F是特征数p=3的域,首先证明了A3与A(3;1)是同构的,于是它们的导子代数W3与W(3;1)也是同构的,因此可以将W3的子代数S看作是W(3;1)的子代数;主要讨论了李代数W3的有限维子代数S的导子代数的Z-阶化成分(由于S是有限维的Z-阶化李代数,所以S的导子代数也是有限维Z-阶化的,并且非零的导子只有有限个。于是存在非负整数r,q,使得Der(S)=qt=rDert(S)),构造了S的一组最简生成元集,并由此确定S的导子代数。     

MP^M中介代数的性质

讨论了MP^M中介代数的一些性质，从而推导出一个引理，并且完善了《中介命题演算系统MP^M的代数系统》一文中2个定理的证明，并给出具体实例加以说明。     

(P、K)端开关网络的综合

本文应用布尔矩阵理论讨论了(P,K)端开关网络的等价问题、输出矩阵的构造和原始连接矩阵的算法,并给出了实现此算法的软件设计思想。最后针对求得的原始连接矩阵绘制了网络图。     

中文水产文献检索系统的设计和构建

本文介绍了中文水产文献检索系统ＣＦＩＲＳ的设计思想、系统构成和系统特点，提出了一种通过字典和词典匹配，进行模糊切分、轮排标引的题名关键词自动抽取和自动标引新方法。系统中实现了基本索引检索词与辅助索引检索词的任意组配检索及检索结果的年代限制。     

任意三角域上的C~1有理插值方法

本文描述了任意三角域上Ｃ１有理插值的一种布尔和方法．这种方法构造简单，计算方便，逼近精度为Ｏ（ｈ９），代数精度集为｛ｘｉ，ｙｊ，０≤ｉ＋ｊ≤３｝．最后给出了一个数值例子．     

格型模糊谓词逻辑与推理

本文研究真值取在布尔格上的模糊逻辑与推理。讨论了布尔格的结构性质及其构造、模糊语言的格型模糊谓词逻辑描述和消解法模糊推理。     

布尔矩阵空间及正则布尔矩阵的g－逆线性空间

研究了布尔矩阵空间和正则布尔矩阵的ｇ－逆线性空间的一些性质。在此基础上，给出了正则布尔矩阵的ｇ－逆集的另一个表示法。进而，提出了正则布尔矩阵的特征矩阵概念，通过特征矩阵可以表征一个正则布尔矩阵的极小ｇ－逆集、主ｇ－逆和ｇ－逆线性空间的一些重要性质。     

分析离散事件系统的新方法

本文用图论的方法构造出适宜用自动机建模的离散事件系统的布尔矩阵，通过对布尔矩阵的运算，既可得出系统可达状态集与转移的最短路径，为藉此设计最优监控器打下基础。     

Formal Verification under Unknown Constraints

We present a formal method of verifying designs with unknown constraints (e, g. , black boxes) using Boolean satisfiability (SAT). This method is based on a new encoding scheme of unknown constraints, and solves the corresponding conjunctive normal form (CNF) formulas. Furthermore, this method can avoid the potential memory explosion, which the binary decision diagram (BI)I)) based techniques maybe suffer from, thus it has the capacity of verifying large designs. Experimental results demonstrate the efficiency and feasibility of the proposed method.