关于两类布尔迭代律的注记

给出了SD（TD）-QL蕴涵满足布尔送代律函数方程I（x,y）=I（x,I（x,y））的充要条件,然后在标准理论（[0,1],T,S,N）的框架下给出了布尔送代律函数方程S（a,b）=S（T（a,b）,T（S（a,b）,N（T（a,b））））有解的2个充分条件。     

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

设β是因子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表达式、以及相应的概率计算方法.实验验证了所提出方法的有效性.     

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

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

用矢量代数研究三螺杆泵转子齿形

螺杆泵的转子型线比较复杂,其基本齿形采用多种摆线,转子型线方程的推导方法有多种,如解析法、几何法等.用矢量代数推导<135>型三螺杆泵的转子齿形型线方程,包括理论齿形和修正齿形型线参数方程以及参数值范围的完整推导过程,对中间过程和相关概念给出了必要的解释.对比其他方法,用矢量代数进行型线推导,方法简单,过程清晰,便于工程技术人员理解和运用.     

具有非交换符号代数的Toeplitz算子

对具有非交换符号代数的Toeplitz算子生成的Toeplitz代数的一些基本结构进行了研究,得到了一些Fredholm标准和谱包含定理.     

基于含参量蕴涵算子的反向三Ⅰ约束算法

针对王国俊教授提出的Hα系统中的蕴涵算子给出FMP问题的反向三I约束算法计算公式和FMT问题的反向三I约束算法计算公式.