基于有限格蕴涵代数的格值命题逻辑语义系统

以有限格蕴涵代数作为逻辑系统的真值域，在其上建立了基于有限格蕴涵代数的格值命题逻辑语义系统，研究了在A水平上系统的赋值和公式的可满足性等基本定义，证明了系统“有效性”的可判定性并给出了判定算法。     

关于高等代数与解析几何教学间的结合性分析

高等代数课程是工科类学生必不可少的一门基础课,而解析几何作为一门重要的课程,其教学与高等代数相结合有着重要的意义。     

Existence of Positive Periodic Solutions for the Predator-Prey Difference System with Beddington-DeAngelis Functional Response and Time Delays

A nonautonomous predator-prey difference model with Beddington-DeAngelis functional response,diffusion,and time delays is investigated.The model consists of n competing preys and one predator,and the predator and one prey are confined to one patch.First,concepts and results concerning the continuation theorem of coincidence degree are summarized.Then,a system of algebraic equations is proved to have a unique solution.Finally.the sufficient conditions for the existence of a difference system are established.The result is substantiated through numerical simulation.     

一种新的代数多重网格法及其在CFD中的应用

提出了一种面向对象的代数多重网格(algebraic multi-grid,AMG)算法,以每一层网格作为研究单元.网格粗化过程中,形成各单元,同时记录其前后单元,形成双向链表.粗化过程采用Ruge和Stnben算法,光滑算子用Gauss-Seidel迭代.由于AMG算法与网格信息无关,可以作为"即插即用"型的线性方程组求解器.对CFD计算过程耗时最多的压力修正方程作了研究,分别对二维后台阶流动模型在不同网格划分情况进行了计算,代数多重网格方法与单重网格的不完全分解共轭梯度法对比发现,前者具有明显的优势.随着网格数目增加,优势表现更为明显.最后与AMG1r5相比,开发的程序内存占用较少,最高只有AMG1r5的36%.     

INDU网络的解析表达及其一致性计算

INDU网络在区间代数的基础上引入了时间区间的长度,细化了时间区间之间的定性关系,使得时间定性推理的精确性有所提高。本文给出了INDU网络的0维、1维及2维的共计25个解析公式,用解析的方法来刻画INDU网络,并用它来实现INDU网络全局解的一致性计算。     

多传感器信息融合分类识别系统中冗余知识判定的关系代数 …

在基于多源信息融合的对象分类识别系统中,信源／传感器数量的增加往往使数据处理量急剧增长,不仅占用大量计算资源,提高运行成本,而且降低了系统可贵的实时性。本文提出用关系代数方法判定由信源传器提供的知识有无冗余,从而精简和优化信源／传感器资源的配置和结合。     

赋值格中一种混合运算的性质和应用

研究了R0－代数、格蕴涵代数和基本逻辑代数；讨论了一般赋值格中一种混合运算的性质，特别是对这种混合运算在R0－代数中的性质进行了讨论，并应用它建立了R0－代数中的一种滤子，得到了一些结果，为R0－代数的研究和一般赋值格的研究提供了可借鉴的方法和帮助。     

Logical Properties of Lattice Filter of Lattice Implication Algebra

Introduction The concept of lattice was first introduced andelaborated by Dedekind, and the abstract structure oflattice was proposed by Birkhoff in 1935[1]. Sincethen, the lattice theory has gradually developed to be acomplete theoretical system[2], and extensively studiedby researchers[3-6]. In 1990s, Xu[7]proposed the con-cept of lattice implication algebras and investigatedsome of their properties. Then, Xu and Qin[8]intro-duced the notion of filters in lattice implication algebraand dis…     

格蕴涵代数的单性与周期性

讨论了格蕴涵代数的单性和周期性，并研究了这两种性质之间的关系，同时给出了格蕴涵代数具有单性的几个断定方法，得出了一个重要结论；如果有限的单格蕴涵代数中存在对偶原子，则一定唯一。