任务关键系统可生存性的形式化建模方法

通过剖析影响可生存性的本质特征,将服务请求与服务器、攻击者与服务器描述为不同的组件,使用PEPA语言精确描述系统各个状态间的逻辑关系和动态变化过程,从用户服务请求和攻击影响两个角度分别构建可生存性形式化模型,并比较两种建模角度的异同。理论分析和实验结果表明该模型能够正确地反映出可生存性的关键属性,并可在理论上指导可生存系统的设计和实现。     

高等代数教学中应重视的几个问题

针对高等代数课程的特点,分析教学中容易出现的几个问题,探讨解决这些问题的方法,为高等代数教学提供帮助,以提高学生的学习兴趣,调动学生学习的积极性,提高高等代数的教学质量。     

格蕴涵代数LI-理想的粗糙性

粗糙集的代数分析是粗糙集理论研究的一个重要方向,为了用代数的手段研究粗糙集,将粗糙集理论应用于格蕴涵代数,利用LI-理想诱导的同余关系,引入了格蕴涵代数的上、下粗糙LI-理想的概念,并讨论了粗糙LI-理想的相关性质.     

一类推广的Virosoro-like李代数

推广了Virosoro-like李代数,并构造了此类李代数的理想,同构、同态,并对其性质作了探讨.     

严格上三角矩阵李代数的李triple导子代数

研究严格上三角矩阵李代数N的李triple导子代数加TDerN的结构,证明了它是一个可解李代数,并且给出了其导子代数DerN和李triple导子代数之间的维数差,从而证明了其导子代数是李triple导子代数的真子代数．     

序列效应代数的表示

考虑序列效应代数的表示问题,通过列举一些可表示的和不可表示的实例,给出序列效应代数可表示的一个充分条件,并证明了一些经典序列效应代数的可表示性,以及两个可表示的序列效应代数的直和仍然是可表示的.     

Rota-Baxter 3-李超代数

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

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

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

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

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

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

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