Quantale中的理想

给出了Quantale中(左，右)理想的概念，讨论了Quantale中任意子集生成的(左，右)理想的具体结构，研究了Quantale中的理想与它的格意义下理想之间的关系，得到了当Q是可换Quantale时，Id(Q)中元是幂等的充要条件。     

腐蚀管线的剩余寿命预测

预测管线的腐蚀变化趋势及腐蚀对管线结构完整性的危害是评价管线剩余寿命的关键步骤。将影响管线剩余寿命的各种因素看成是分布各异的随机变量 ,建立了预测管线失效的概率数学模型。利用这一模型 ,研究了腐蚀速率、缺陷深度、管道壁厚和工作压力等因素对管线可靠性的影响。结果表明 ,各参数的不确定性越大 ,管线的可靠性越低 ;缺陷深度在腐蚀缺陷形成初期 ,对管线的可靠性有很大影响 ,而随着时间的推移 ,腐蚀速率将对管线的可靠性有较大影响。对一条输油管线 ,基于管线腐蚀检测数据 ,对 1km长度的管道进行失效概率统计分析得到的腐蚀速率能够对管线全线的安全状况做出合理预测 ,从而为管线的进一步维修与检测提供参考资料。     

格蕴含代数与有界交换BCK—代数

证明了格蕴含代数与有界交换BCK—代数是两类等价的抽象系统，因而是范畴等价的。     

零对称BZ-代数元素周期的性质

在BZ 代数中引入元素周期的概念 ,并讨论了零对称BZ 代数元素周期的重要性质 .研究表明 ,零对称BZ 代数子系统是一类比BCI/BCK、BCC 代数弱的逻辑代数系统     

管子模的拟遗传自同态代数

证明了对管子模M，存在管子模N，使得M＋N的自同态代数End(M N)是拟遗传代数。对M是不可分解管子模的情况，刻划了N的不可分解直和项的个数的下界。     

BCK-代数的α-Fuzzy子代数

作者引进了BCK-代数的α-fuzzy子代数、α-fuzzy理想、α-fuzzy约化左理想等概念，讨论了它们的一些性质，改进并推广了现知的一些重要结果。     

关于蕴涵BCK-代数的半群刻划

给出了蕴涵BCK-代数的伴随半群作为剩余半群时的若干特征，并从剩余半群的角度对蕴涵BCK-代数进行了刻划．     

n-李代数导子的Jordan-Chevalley分解

利用n-李代数导子性质和一般线性变换的Jordan-Chevalley分解，得到，n-李代数的导子也可以进行Jordan—Chevalley分解．     

随机数学中若干典型问题的计算机仿真

运用计算机代数系统Maple研究了随机数学中若干典型问题的计算机仿真．研究结果表明，计算机仿真是数学实验的重要手段之一，也是科学研究的重要方法．     

基于抽象语法描述的中间表示技术

中间表示技术是高质量可重定目标编译器开发中的关键技术。针对嵌入式软件危机 ,提出了一种基于抽象语法描述的中间表示技术 AIR。AIR以代数数据类型为主体 ,并用面向对象特征对其进行扩展。在这种中间表示技术中 ,通过使用不受限制的高级中间表示 ,可充分利用现有的前端。通过这种语法能对现有中间表示提供自然编码的抽象中间表示 ,提高了编译成份的可复用性和互操作性 ,简化了编译基础设施的建构 ,进一步实现了高质量编译器的快速开发