人工智能应用中基于区间代数的时态推理

时态表示和推理是人工智能领域的重要研究内容之一,它的应用范围分布很广,从逻辑基础研究到知识系统的应用.区间代数是一种独立的与领域无关的时态理论.用区间代数能表示不确定的时态关系,可以很方便地用于时态推理,表达能力强;时态关系的区间表示比较直观,可理解性强;同时区间代数可以进一步扩展到二维空间领域,即将区间代数拓展为矩阵代数,实现二维空间推理.在一维时态推理中,将时态的区间表示和矩阵表示相结合,在提高计算效率的同时,保持了形象直观的时态表示.     

发挥高等代数育人功能的一些尝试

阐述了在高等代数教学中如何挖掘其育人素材,发挥其育人功能的一些具体做法.     

Ostrowski-Reich定理在GETOR方法中的应用

定义广义ETOR（记为GETOR）方法，同时对GETOR方法建立了Ostrowski-Reich型定理，扩充了巳有的结果。     

《易经》学说的现代群论解释

《易经》中涉及到简单的数学原理是众多学者的共识。经过深入的研究还可以发现，《易经》中的阴阳、五行和八卦还有纳入近世代数的可能。经过在八卦和九宫图中定义某些代数运算和正交变换等法则，可以发现，在中国古人的阴阳学说与卦象上建立代数群是可行的。     

MP^M中介代数的性质

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

低温费米气体的数值计算

通过对Fermi-Dirac分布函数的线性近似处理,提出了低温费米气体的简单模型,并利用Mathematica5.0软件进行了编程计算,给出了化学势和内能等热力学量的近似表达式,与级数展开法进行比较,结果表明线性近似处理方法能够较为准确的定量描述费米气体的低温行为.     

关于代数类课程教学改革的一些思考

本文从代数课程的重要地位入手,结合自身教学实践分析了代数课程的教学现状以及教学中存在的一些问题,探讨了代数课程教学中几点有益的教学方法改革尝试.     

算子代数上同调论进展

本文系统地总结了算子代数上同调理论的产生和发展过程。全面地介绍了已见到的各种算子代数上同调理论及其相互关系。并阐述了这个理论在导子的提升,一般的提升,扩张问题,摄动理论和量子力学半群等方面的最新结果。最后,还提出了有待研究、解决的十个问题。     

复杂网络系统可靠度的一种计算方法

本文介绍了一种运用图论理论和布尔代数概念计算复杂网络系统可靠度的方法,并通过一个例子给出了该法的具体计算步骤.