基于极大代数的阻塞流水车间启发式动态规划调度算法

基于极大代数理论,引入任务排序函数与时间D子集,建立阻塞流水车间排序与调度代数模型,并提出启发式动态规划调度算法,实例计算表明算法十分有效.     

三次 Kolmogorov 系统的二次代数曲线轨线的判定及分类

研究了三次Kolmogorov模型的二次代数曲线解的判定及分类.利用具体的非奇异线性变换,将二次曲线化简,同时将方程作了相应的变换,新方程的二次曲线轨线等价于原方程的二次曲线轨线.由于计算量比较大,采用Mathematica计算机符号运算系统使问题得到比较满意的结果.     

代数满同态下的模一相对Hochschild（上）同调

设φ：C〉B是代数满同态,研究B和C的模相对Hochschild（上）同调之间的本质联系,从而进一步得到B和C的相对Hochschild（上）同调之间的关系．     

BL-代数的v-滤子

将Vague集理论与BL-代数的滤子理论相结合,提出了BL-代数的v-滤子的概念,研究了BL-代数的v-滤子的性质以及若干等价刻画,最后研究了BL-代数的v-滤子与滤子之间的关系.     

套子代数上的零点可导映射

设β是因子von Neumann代数M中的任意一个套,algMβ是相应的套子代数,φ：algMβ→M是一个线性映射．主要证明了：如果妒在零点可导,那么存在导子δ：algMβ→M和λ∈C,使得对任意的A∈algMβ有φ（A）=δ（A）＋λA．     

具有迹-NG性质的C*-代数的K0群性质

研究C*-代数K0群的弱无孔性质、Riesz内插值性质,把这2种性质统称为NG性质;并且引入具有迹-NG性质的C*-代数概念.如果单的有单位元的C*-代数具有迹NG性质,则群K0(A)具有NG性质.     

非阶化Witt型李代数的广义Verma模

构造了非阶化Witt型单李代数W [G]上的一类广义Verma模V(N), 并讨论了此类模的可约性.     

一类C*-代数乘子代数中的拟对角C*-子代数

利用C^＊-代数I具有由投影组成的近似单位元的条件,给出了一类M（I）中以I作为理想的C^＊-子代数,证明每一个这样C^＊-子代数的任何元素,均为弱拟对角化以及这些C^＊-子代数之间的关系,同时回答了相应商代数投影的提升问题．     

一种用于Web服务合成过程建模的不确定性事件代数方法

 Web服务合成是目前的研究热点之一,是Web服务架构中的重要组成部分.Web服务合成过程模型用以描述Web服务合成中各服务组件应该满足的语义约束信息,是自动服务发现及合成的基础.以事件代数作为支撑理论,旨在为Web服务合成过程建模提供一种支持语义表示及推理的形式化方法.针对Web服务合成的特点及合成过程本身具有的不确定性,首先基于统计学习的思想对传统事件代数进行不确定性扩展,给出Web服务不确定事件代数(WSUEA)的定义、操作及语义,进而对服务合成中的顺序、分支及并行等基本情形分别给出其WSUEA表达式、以及相应的概率计算方法.实验验证了所提出方法的有效性.     

半稳定超椭圆纤维化的判别方法

超椭圆纤维化是了解代数曲面性质的一个重要方法.作者在肖刚对超椭圆纤维化的研究工作基础之上,给出了超椭圆纤维化半稳定的一个判别方法.