格蕴涵代数不等式

针对逻辑代数中的不等关系提出格蕴涵代数不等式的概念,讨论了格蕴涵代数中3类最基本的一元格蕴涵不等式,得到一些性质及推论.对3类不等式的可解情况,给出了它们的可解条件,在此基础上讨论了解集所具有的特征.     

替换定理的三种证明

高等代数的教材里，“替换定理”常常采用数学归纳法证明，本给出另外三种证明，以不同的方法揭示定理中向量组之间的内在联系。     

集对逻辑及其运算定律

解决现行的集对联系函数四则运算中存在的不确定性问题与逻辑谬误.分析联系函数与模糊隶属函数在表达事物之间联系的相似性,借鉴模糊逻辑的基本方法,定义了以联系度为真值形式的集对命题,进而给出集对逻辑的析取、合取、取否运算法则,建立了集对逻辑的基本框架.在此基础之上,分析了集对逻辑运算的七大运算定律:对合律、幂等律、交换律、结合律、分配律、吸收律和摩根律,由此证明集对逻辑运算构成的代数(S,,,)为软代数.     

高等代数教学探讨

本文根据作者长期以来的教学经验及调查,结合数学及教育学在内的诸多理论总结与教法,针对提高高等代数教学效率方面进行了研究与探讨。     

矩阵代数的无赘幂零生成元集

本文根据文（１）进一步讨论了矩阵代数的无赘生成元素，得到了无赘生成元素至少含有两个元的结论，并且具体给出了由两个元，尤其是由两个幂零元组成的生成集。     

基于关系代数的遗传算法模型及其应用

运用选择、投影、广义笛卡尔积等关系代数运算 ,给出了遗传算法的搜索空间及个体、遗传算子和搜索最优解过程等关系代数形式的描述 ,建立了遗传算法的关系代数模型 ,给出了遗传算法的数学解释 .然后 ,给出建立遗传算法关系代数模型的意义 ,说明了数据挖掘和知识发现应用于遗传算法的可行性 .最后 ,用该模型描述了 2个常见用遗传算法解决的问题 ,即TSP问题和交互式遗传算法中的服装设计问题 ,结果表明该模型的可行性 .     

布尔函数的代数免疫度与非线性度之间的关系

文章讨论布尔函数的代数免疫度和非线性度之间的关系,给出非线性度的下界与代数免疫度之间的关系,说明具有低非线性度的布尔函数的代数免疫度也很低,并把这个结果推广到高阶非线性度中.     

W(1,2,■)在gl(2|1)上的模结构

设F是特征数p>2的代数闭域,W(1,2,■)为Cartan型模李超代数.讨论gl(2|1)模W(1,2,■)的子模W[-1],W[0],W[p]的结构.     

一类变系数线性微分代数系统的可解性及稳定性

研究一类变系数线性微分代数系统的可解性及稳定性问题,首先得到了此类系统可解性的几个定理,然后给出了此类系统平凡解稳定的若干判据.     

一类Lax可积系

建立了一个新的Loop代数，由此得到了一个比较复杂的Lax对。通过选取恰当修正项，由零曲率方程获得一族新的L扭可积系，作为其约化情形，得到了一类耦合非线性演化方程。