CIM与企业发展战略

介绍现有ＣＩＭ基本功能体系，并基于工业企业系统基本结构的同构原理，对其应用发展进行探讨，期望对我国企业建设计算机集成制造系统有所裨益。     

专家系统开发工具在故障诊断中的应用

通过专家系统在发电机组故障诊断中的应用，探讨了新一代组合式专家系统及框架表示方法，同态与同构模糊逻辑、模糊综合评判以及模糊推理算法     

二阶矩阵代数上的保谱半径的可加映射

获得了二阶复矩阵代数M2(C)上保谱半径的当且仅当φ是同构、反同构、共轭同构或共轭反同构之一,从而补充完善了已知相应结果.     

Weinstein的分裂定理的证明

Weinstein的分裂定理在研究Poisson流形的局部结构中有重要作用。本文对该定理给出了详尽的证明．     

二叉树同构的判定及其PDC—PROLOG实现

二叉树是一种重要的数据结构，它在计算机科学中有广泛的应用。当二叉树的两个子树没有区别时，就产生了二叉树同构的概念。本文讨论了在ＰＣＤ－ＰＲＯＬＯＧ中，用递归技术判定，二叉树同构的方法。     

广义四元数代数的线性表示及其乘法的可易性

给出了广义四元数代数的两种线性表示,导出了两个广义四元数代数同构的充要条件;推出了广义四元数矩阵乘法的可易性.     

三角代数上的初等映射

设U是三角代数,V为任意代数,若映射M:U→V,M*:V→U为满射,并且满足初等映射的形式,则M,M*可加;进一步,讨论了映射M,M*具有同构形式的条件.     

用弱孤立算子或弱外孤立算子确定闭包系统

引入了弱孤立算子和弱外孤立算子的概念,证明了对每个给定的集合X,可以给WI(X)(X上弱孤立算子的全体)和WOI(X)(X上的弱外孤立算子的全体)上赋予适当的序关系≤,使得(WI(X),≤)和(WOI(X),≤)是与(CS(X),)同构的完备格,这里CS(X)是X上的闭包系统的全体.因此可以用弱孤立算子或弱外孤立算子确定闭包系统.     

由一个加群构造的一类交换环

由一个加群G=(〈x〉 ,〈y〉) ,此处mx≠ 0 ,my≠ 0 ,对任意非零整数m ,构造出一类交换环Rm,m=1 ,2 ,3,… ,使得Rm 与Rn(m ≠n)不同构 ,且对任何m与n ,Rm 有无穷多个同构于Rn 的子环 .     

显Cayley定理及其作用

主要引入了显Cayley定理并给出了相关的证明，在对Cayley定理的比较中归纳出一些结论。