代数规格说明语言ASL及到PROLOG的转换

本文讨论了代数规范说明技术及其到逻辑程序设计语言ＰＲＯＬＯＧ的转换。首先给出了一种基于抽象数据类型的代数规格说明语言ＡＳＬ：然后介绍了由ＡＳＬ描述的规格说明到ＰＲＯＬＯＧ转换　的形式化方法；在这种方法的基础上设计了一个自动转换系统，该系统接受ＡＳＬ语言描述的规格说明，通过转换规则，逐步将此规格说明转换成可执行的ＰＲＯＬＯＧ语言程序。     

任意域上的单李代数扭子代数

证明了在任意域Ｆ上有限维单李代数的导子代数是一个半单李代数,又是一个单完备李代数,从而说明在任意域Ｆ上一个非单的半单李代数可能是不可分解的。这不仅把有群论中的一个结果移植到李代中来,而且使结果更好。     

任意域上的单李代数的导子代数

证明了在任意域Ｆ上有限维单李代数的导子代数是一个半单李代数，又是一个单完备李代数，从而说明在任意域Ｆ上一个非单的半单李代数可能是不可分解的．这不仅把有限群论中的一个结果移植到李代数中来，而且使结果更好．     

τ-李代数的普遍包络代数及其PBW定理

讨论了作为李代数、李超代数、ε李代数的推广的一类广义李代数：τ-李代数以及τ-李代数L上的普遍包络代数U．为了进一步说明U的结构，定义了与U相关的分次结合代数G及L上的分次结合代数：τ-对称代数S，并通过构造τ-李代数L的一个表示φ，把关于李代数的普遍包络代数的重要结果——PBW定理，推广到τ-李代数上，得到了τ-李代数的PBW定理：分次结合代数G与S是同构的．     

一类等式模型类的代数性质

讨论了具仍使用等式ｅ有效的子代数的规范代数构成的类的代数性质，证明了这个类是一个可等式的模型类。     

企业关系网络与技术创新绩效关系研究——基于中国上市公司的经验证据

基于产业生命周期的视角,实证检验了企业内外关系网对创新绩效的正效应。结果显示随着产业阶段的推移,内部关系网对创新绩效的影响是先降后升的,而外部关系网则相反。在成长期和衰退期,企业内部关系网对创新绩效的贡献超过了外部关系网,成熟期的结论与之相反。     

MP^M中介代数的性质

讨论了MPM中介代数的一些性质,从而推导出一个引理,并且完善了<中介命题演算系统MPM的代数系统>一文中2个定理的证明,并给出具体实例加以说明.     

BL代数的一种弱化形式

在对BL 代数及其相关逻辑代数研究的基础上, 通过加强MTL-代数条件的方法建立BL-代数的一种弱化形式--WBL-代数, 并给出WBL-代数结构的实例; 证明BL 代数是WBL 代数, 并通过实例说明WBL-代数是BL-代数的真弱化形式, 且是MTL-代数的真加强形式; 在MTL-代数的基础上给出WBL-代数的一些特征定理.     

MP^M中介代数的性质

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

Witt代数的新定义

给出了满足一些条件的李代数,并且证明了这类李代数和Witt代数同构.这也说明了Witt代数的结构在某种意义下是唯一确定的.     

Petri网中亚公平关系与亚公平网

Petri网中的弱公平但不公平的关系称为亚公平公系,由此可引伸出亚公平Petri网和亚公平网等概念。本文证明了一个重要性质：亚公平Petri网中一定存在着公平关系,并在此基础上讨论了亚公平网中的公平分支划分。此外,本文通过网的本原可重复向量集化简了一个网为亚公平网的一组充分必须条件。     

自动机及其代数规范描述

本文利用泛代数的思想和方法研究自动机理论,建立了亚群和自动机的方程规范模型,把亚群和自动机定义为这种规范模型的代数。给出了规范代数可识别语言的定义,并讨论了和规范代数的同态及同余之间的关系。     

浅谈近世代数中影响学生认识的四个概念

从近世代数的教学实际出发,讨论了近世代数中映射、代数运算、等价关系和等价类四个重要概念的教学问题。为了帮助学生理解置换这个概念,应突出映射的作用,因为置换群中的元素实质是某个有限集合到自身的双射。对于代数运算可以通过讲故事的方式来阐释,对于等价类可以通过代表性的例子来教授。根据概念的不同属性采取不同的教学方法,有助于学生更好地理解这些概念,从而提高教学效果。     

粗糙集代数与R0-代数

在粗糙集的代数方法研究中,一个重要的方面是从粗糙集的偶序对(<下近似集,上近似集>)表示入手,通过定义偶序对的基本运算,从而构造出相应的粗代数并发现R0-代数能够抽象刻画偶序对的性质。讨论了粗糙集代数与R0-代数的关系以及由粗糙集代数构造R0-代数的方法,借助近似代数上的原子及同余关系,证明了在适当选取蕴涵算子和余运算之后,粗糙集代数就成为R0-代数。     

LD5接触网吊弦抗复合载荷的设计

本文根据作者所从事的接触网吊统的设计研究工作,依据其使用中实际载荷的作用特征,分析了在标准螺栓紧固力矩条件下,吊弦承受复合载荷的能力,提出了新的设计用载荷与吊弦尺寸参数的关系。     

构模工具—对象合成转换网

提出作为多介质同步说明的形式模型－对象合成转换网（ＯＣＴＮ），并论证其在构造任何时态关系或多介质表达模型中是完备的。     

Petri网的两种块笛积运算

提出了Ｐｅｔｒｉ网的两种新的广义笛积运算，讨论了它们的代数性质，这些结果可以作为受控Ｐｅｔｒｉ网的分析或合成的依据。     

时态关系的向量表示及其推理

作为推理的基础,时间的表示方法是一个基本的要素。文中为Allen的区间代数理论中区间的关系表达提出了向量表示法,称之为关系向量。其后,给出了定义在关系向量上的几种运算,并将其运用于时态推理中。这种方法把原先的矩阵表示法降为向量表示,从而较好地减少了时态推理计算量,并易于计算机实现。     

格化拓扑公理系统的简化

目的 简化格化拓扑中泛邻元系公理系统和网泛敛关系公理系统。方法对照一般拓扑学中邻域系公理理论和More-smith收敛理论，构造格化拓扑中泛邻元系和网泛敛关系的最基本的条件。结果泛邻元系公理系统原来的7条公理被简化成为5条，网泛敛关系公理系统原来的8条公理被简化成为5条。结论泛邻元系公理系统和网泛敛关系公理系统简化后，表述更清晰，应用更方便。     

基于进程网系统的Petri网性质分析

Petri网的进程网系统是为了描述Petri网特别是无界Petri网的进程行为而提出的一个重要概念。一个Petri网的进程网系统是以其基本进程段的集合为新的变迁集，以各个基本进程段集的输入和输出库所集的并集为新的库所集，以原网系统的初始标识为初始标识而得到的一个新的网系统。本文在借助进程网系统的概念，讨论了一个Petri网同它的进程网系统在可达性、有界性、公平性、活性等方面的对应关系。