Rota-Baxter 3-李超代数

通过定义Rota-Baxter 3-李超代数,以及在Rota-Baxter李超代数和Rota-Baxter pre-李超代数上重新定义偶线性映射,给出构造Rota-Baxter 3-李超代数的方法.     

多边矩阵代数运算的同构定理和数据挖掘

介绍了多边矩阵的基阵代数运算与剖面代数运算概念,并给出了一些多边矩阵的基阵代数运算与剖面代数运算性质,证明了多边矩阵的基阵代数运算与剖面代数运算是同构的。作为应用,研究了多边矩阵剖面代数运算和数据挖掘之间的关系。     

模式识别中的图结构描述方法综述

从概率图、组合图、代数图和几何图等模型角度综述模式识别中图结构的描述.分别讲述每一类图模型的图结构构建形式和计算方式,回顾其起源,归纳其历史发展过程,分析其研究现状.其中,着重论述各类图模型描述的不同特点和潜在关系,剖析未来发展方向.引用基于图模型的模式识别发展史上具有代表性的论著,介绍引领方向的研究学者,旨在帮助读者理清图模型的发展脉络,把握其前沿动态.     

向量优化问题弱E-有效解的代数性质

【目的】研究一类集值向量优化问题。【方法】利用代数内部这一概念,建立基于改进集而定义的集值映射邻近E-次似凸性的择一性定理,进而应用该定理来研究集值向量优化问题。【结果】给出了基于代数内部和改进集而定义的弱 E-有效解的线性标量化结果和拉格朗日乘子定理,同时也给出了一些例子并对主要结果进行了解释。【结论】主要结果是对最近一些文献中相应结果的改进与推广。
     

多角形域上的数值积分公式的外推

对三角形上两个求积公式Ｑｈ＾９用中点加密的办法得到Ｑｈ．２，本文证明了Ｈｈ＝１６．１５Ｑｈ／２－１／１５Ｑｈ的代数精度比Ｑｈ的代数精度的高。     

船舶电力系统的动态过程仿真研究

提出了一种面向船舶电力系统动态过程的仿真计算方法.以连网柴油发电机组旋转坐标系为参考,建立了一种船舶电力系统教学模型,微分代数方程组求解采用牛顿法与隐式梯形积分法相结合.柴油机调速器依据速度下倾特性控制电网频率和有功功率分配,自动电压调节器引入均压线概念.选用中铁渤海一号船舶电力系统为仿真对象,实现柴油发电机组并联运行的动态过程仿真,仿真结果验证了数学模型和仿真计算方法的有效性.     

公平消息传递并行程序设计的Petri网方法

公平性是并行程序正确的主要标准之一,但是并行程序执行的不确定性导致公平性验证较为困难.针对消息传递模式的并行程序,在建立相应Petri网模型的基础上,首先证明了并行程序的公平性与其Petri网模型的公平性之间的关系,然后提出了利用T-不变量判断并行程序公平性,以及通过添加控制库所实现并行程序公平的算法,最后指出了将改造后的模型转换为公平并行程序的方法,并用一个实例进行了验证.     

求解高指数微分代数方程组的微分变换法(英文)

本文给出了应用微分变换法求解线性高指数微分代数方程组的一般程式;利用特殊标号树理论证明了Faà di Bruno公式;再将微分变换法应用于非线性高指数微分代数方程组,并对约束系统建立了基于局部参数化的微分变换法.     

关于Benkart-Zlemanov相交矩阵李代数

Benkart和Zelmanov在研究非simply-laced有限根分次李代数的结构和分类时,对多重仿射化定义了一种李代数.其目的是为了推广复半单李代数到扩大仿射李代数的情形.作者证明了他们定义的多重仿射李代数实际上是复半单李代数.这就意味着他们的这一目的没有达到.     

三阶代数微分方程的代数解

利用代数体函数的值分布理论和方法,研究了三阶代数微分方程的代数体函数解的存在性,得到三阶代数微分方程只存在代数解的充分条件.