SPEC—代数与T—代数之关系

该文在自由ＳＰＥＣ－代数Ｔｓ（Ｘ）及相应的典范映射Ｘη：Ｘ→Ｔｓ（Ｘ）的基础上，利用范畴论中函子与自然变换的概念，建立了函子范畴Ｓｅｔ＾ｓ上的代数理论Ｔ＝（Ｔｓ，η，μ），讨论了ＳＰＥＣ－代数、Ｔ－代数的性质，最后证明了这两种代数结构之间的一种等价关系。     

SPEC－代数与T－代数之关系

该文在自由ＳＰＥＣ－代数Ｔ＿ｓ（Ｘ）及相应的典范映射Ｘ＿η：→Ｔ＿ｓ（Ｘ）的基础上，利用范畴论中函子与自然变换的概念，建立了函子范畴Ｓｅｔ￣ｓ上的代数理论Ｔ＝（Ｔ＿ｓ，η，μ），讨论了ＳＰＥＣ－代数、Ｔ－代数的性质，最后证明了这两种代数结构之间的一种等价关系     

BCH—代数的并代数及拟可换性

本文给出了ＢＣＨ－代数与非负ＢＣＨ－代数的并代数的概念，并且讨论了拟可换性。     

字符串集合X上的代数结构

本文利用相关函数的概念定义字符串集合 X~*上的一种范畴代数结构.讨论其上积特性,给出了左乘函子的定义,并证明了相关函数和两个左乘函子间的自然变换之对应关系.最后得出:X~*可等同于函子范畴(X~*→X~*)的一个子范畴.     

BCH—代数的(HP)并代数及拟可换性

本文给出了BCH—代数与非负BCH—代数的并代数的概念,并且讨论了拟可换性。     

论泛集合、泛逻辑和泛代数的关系

根据描述清晰事物的经典集合、经典逻辑和L indenbaum代数是三位一体的同构关系的事实,猜想在描述复杂事物的泛集合、泛逻辑和泛代数之间也存在这种三位一体关系,以此作为研究的基础,建立了部分代数系统之间的层次关系,并给出了与之同构的逻辑系统,并利用泛逻辑学中关于线序柔性命题逻辑学的研究成果,部分证实了上述猜想.     

泛圈图的领域并条件的进展（Ⅰ）

泛圈图长期以来都是图论中较受重视的课题，图论专家Bondy在文献[1]中得到条件d(x) d(y)≥n的泛图性结果，本文进一步得到条件NC≥n-δ下泛圈性的相同结果，本文的结果也把Fandree等的文献[2]的结果从哈密尔顿图推进到泛圈性。     

泛圈性、泛连通性和哈密尔顿性的一些重要结果的统一及改进

设ｘ,ｙ为满足ｄ（ｘ,ｙ）= ２的任意两点,研究了ｄ（ｘ）＋ｄ（ｙ）≥ｎ＋１条件下的ｎ阶图Ｇ的泛连通性,改进或推广了文献［１～３］的结果。     

泛圈图的邻域并

让NC2＝min{│N（x）∪N（y）││x,y∈V（G）,d(x,y)=2│},得到的主要结果如下：对于2连通n(n≤6）阶图G,如果NC2≥n-δ,则G是泛圈图或kn/2,n/2。此结果改进了图论专家R．J．Faudree等的结果。     

SUNANMIS通用物资网络经营集成系统设计与实现

本文对SUNANMIS通用物资网络经营集成系统的研制背景、系统目标、系统设计特点和系统实现特色作了较为详细的描述。     

三次方程重根的判别定理

文给出了三次方程有三重根、二重根及无重根的判别定理，并给出求重根的公式．     

变电所通用操作票专家系统的研究与实现

在变电所操作票专家系统的通用性和用户可编程性上做了大量研究．重点研究了机器学习在建立内部数据库方面的应用，以及通用的数据库和规则库的建立，解决了以往操作票的局限性和不通用性．     

系统矩阵化为约旦阵的方法探讨

本文主要介绍将系统矩阵化为约旦阵的几种方法．     

试论股份制与合作制的相互融合

首先论述了股份制和合作制两种企业制度相互融合的原因，并指出同一企业内，这两种制定是有主次之分的：要么以资本联合为主，要么以劳动联合为主。然后分别京股份制和合作制相互融合的两种现实表现形式－－股份合作制和职工持股公司制的内容和性质进行论述。并指出股份合作制是采取了股份制做法的合作制度，职工持股制是采取了合和制形式的股份制。同时认为股份合作制因制度不稳定等原因，不可能成为融保过程的主流，只有职工持股公司制才能成为主流。     

智能拼音-汉字转换系统实现研究

本拼音 -汉字智能转换系统的主要特征 ,是利用扩充的LR句法分析和基于二元语义的类属语义分析方法消除同音词的歧义干扰 ,提高转换的正确率 针对汉语语法特征 ,阐述了汉语语法分析中的两种回溯 ,并扩展了传统LR分析方法 ,提高了语法分析的完备性 为有效地实施语义分析 ,探讨了所使用的类属及类属关系 ,它以一种简单而有效的方式建立、维护和使用句法和语义知识 随着句法和语义知识的不断丰富完善 ,系统将有望大大提高转换的效果     

双万向联轴器运动学矢量求解法

本文直接以双万向联轴器为研究对象,应用矢量分析法,列出了双万向联轴器的运动方程式。运用这些方程式,可以确定在一般情况下双万向联轴器主、从轴的运动关系,也可以确定各中间构件的运动关系。     

电梯实时监控系统的设计

介绍了采用可编程计算机控制器作为建筑设备的现场控制器,应用CAN总线技术,因地制宜开发研制实验室条件下的智能建筑实验设备,即实时/模拟系统的做法和经验.     

信息系统开发策略选择方法的研究

分析国内信息系统失败的原因，总结归纳了影响系统开发的诸因素，并根据系统工程模型化理论提出了系统开发的指导性方法，对简化问题，选择适当的开发策略具有重要的指导作用。