约化李三系

给出了约化李三系的定义,在此基础上得到了李三系的约化与它的标准嵌入李代数的约化的对应关系:李三系是约化的当且仅当其标准嵌入李代数是约化的,并进一步证明了李三系是约化的等价条件.     

关于单李三系的分类

对于特征零代数闭域上的有限维单李三系,用新的处理方法证明它们可分为两类,并指出每类的特征.     

一个新的SMARANDACHE数列

运用解析数论方法,利用两个引理以及阿贝尔恒等式研究一个新的Smarandache数列的均值问题,给出一个新的渐进公式。这个渐进公式会对此数论函数的渐近性质的研究有一定的促进作用。     

单纯三重有向三元系的相交数

证明了对于任意正整数ｖ≥３,存在两个ｖ阶单纯三重有向三元系相交于ｓ个公共有向三元组的充要条件是：当ｖ＝３时,ｓ∈｛６｝;当ｖ＝４时,ｓ∈｛０,１,２,…,１２｝＼｛１,１１｝;当ｖ≥５时,ｓ∈｛０,１,２,…,ｖ（ｖ－１）｝＼｛ｖ（ｖ－１）－１｝,从而完全确定了单纯三重有向三元系相交数的谱     

简单通气室式气垫系统的阶跃响应

气垫运输工具是一种非常优良的水陆两栖运输工具。但幅地其操纵性不好而使其受到很大限制。为改良其操纵性,必须对其动力学行为有较清楚的认识。     

模糊环境中选择的性能估值及其排序

本文讨论了一个广泛应用的多准则决策模型－简单加权平均模型的模糊推广。首先导出了在满足程序以及权重均为梯形模糊数下,模糊加权模型的计算公式,同时选择Ｙａｇｅｒ的排序方法导出了综合估值的排序方法。     

导代数DA_n的一些性质

给出非零特征域上导代数ＤＡｎ的一些性质,得到了ＤＡｎ关于Ｂｅｒｎｓｔｅｉｎ滤子的Ｒｅｅｓ代数的结构,以及它关于阶滤子的分次代数与Ｒｅｅｓ代数的结构,并由此给出了ＤＡｎ与Ｌｉｅ代数、二次型代数的关系     

模糊区间矩阵的表示及其时态关系的传播

将区间代数及区间矩阵中有端点相等的基本关系去掉,只保留现实世界中真正可能发生的那些基本关系,这样表达能力丝毫没有减弱,但是问题的复杂性却大大降低了。区间代数从13个基本关系降为6个基本关系,在进行时态关系的传播运算时,将查表运算从13×13降到6×6,将5×5的矩阵运算降成了3×3的矩阵运算,大大提高了运算效率。     

网构软件体系结构代数模型

由于网络化软件的规模和复杂程度的不断增加,设计可伸缩的软件体系结构,开发可演化的软件系统遇到了挑战．挑战之一是很难把软件模型与原系统说明区分开来,使得软件系统的可演化性受到限制．一个有效的途径是建立可范用软件体系结构的抽象模型,指导网构软件设计,从而提高软件模型的概括能力和可伸缩能力．本文提出一种网构软件体系结构代数模型,其中一个创新思想是把网构连接子解释成网构变量的运算．结合代数学方法和软件实现技术,定义了6种网构连接运算,所有运算是对连接子的代数抽象,因此软件体系结构的抽象表达能力得到了加强．为了展示提出代数模型的建模与分析辅助作用,介绍了一个基于代数模型的网构软件设计与演化的案例研究．     

一类离散系统的定性仿真

分析了一类具有离散时间分析和延时特性的离散系统定性仿真方法。通过将离散系统的不精确或不完备知识抽象为定性值、规则和约束,运用定性差分方程式形式定性建模,结合QSIM算法中的约束传播定量信息进行定性定量集成仿真,并给出仿真实例。