瞄准新一代数据 HP Integrity进入领跑阶段

目前，历史上最强大、搭载最新英特尔安腾2双核处理器9000系列的新一代HP Integrity动能服务器正式进入中国市场。新HP Integrity动能服务器性能高达单核安腾的2.5倍，可靠性与大型机相当，高端系统甚至达到前所未有的7个9（99.99999％），能源功耗显著降低，结合HP Storageworks存储设备和HPVSE虚拟化技术，为新一代数据中心提供了强劲动力。     

伪MTL-代数(WPBL-代数)的正规滤子

给出伪MTL-代数（WPBL-代数）的一些新性质。通过一个重要反例说明了伪BL-代数正规滤子的充要条件在伪MTL-代数（WPBL-代数）中不再成立，并给出伪MTL-代数（WPBL-代数）正规滤子的一个新的等价条件。利用这些结果，建立了伪MTL-代数（WPBL-代数）的商代数结构。     

无输入连续事件图的代数研究方法

针对一类无输入的连续Petri网--连续事件图,以变迁消费的标志数为状态变量，推导出了一组描述其演变过程的极小代数线性方程，并给出了方程组的显式解.连续事件图是延时事件图的极限形式，因而这组方程既能对离散系统近似建模，又能描述连续变量的变化过程.对于带输入的连续事件图，可以通过将其反馈在极小代数框架下研究其闭环系统.最后通过一个简单例子说明了该方法对于带输入连续事件图进行反馈控制的有效性.     

面向对象代数Petri网

在软件方法学领域已有研究成果的基础上,提出了面向对象代数的Petri模型。该模型支持面向对象的概念,支持面向对象软件系统分析和建模,把代数理论、Petri理论以及面向对象方法和技术结合在一起,为形式化和智能化软件工程环境的建立提供了一种有效方法,提高了并发系统动态建模和复杂系统的高级建模的能力。     

广义近似空间与粗糙分类代数

提出了广义近似空间、粗近似公理、干扰集公理、粗糙集的分类原则、粗选原则、不确定偶集原则、精选原则、对策分类、量子逻辑分类、bit量子对称分类、不可比集、bit空间集、协议关系、粗糙集函数、粗糙分类代数和粗糙单代数等基本概念，并提出了一个猜想；展示了一些新观点；基于协议关系构造了粗糙商代数和粗糙子代数，给出了回避-归并算法及算例。     

实平面奇异代数曲线的全局B样条逼近

提出了一种用k次B样条曲线全局逼近实平面k次代数曲线的算法,每个连通部分用一条B样条曲线逼近.它适合于任意亏格的不可约的实平面代数曲线(包括含奇异点的曲线).这种逼近建立在所提出的代数曲线胀开采样的基础上,这种胀开采样算法从本质上解决了奇异点周围采样难的问题.实验结果表明,该方法的逼近精度高于已有算法.     

基于条件事件代数的贝叶斯网的逻辑推理

条件事件代数理论在数据融合系统中有着重要的应用前景,该理论可用来解决不确定性、概率性和模糊性推理问题。条件事件代数是在确保规则与条件概率相容的前提下,把布尔代数上的逻辑运算推广到条件事件(规则)集合中的逻辑代数系统。对于一些特殊的贝叶斯网(如多树型网络)已经有了一些可行的概率推理的算法,但到目前为止,还没有可行的逻辑推理的算法。随着对不确定性知识研究的深入,迫切需要具有逻辑推理的算法。论文介绍了乘积空间条件事件代数的定义和基本性质,提出了基于乘积空间条件事件代数的贝叶斯网的逻辑推理的算法以及应用。     

范例的代数结构及其相似度量的研究

文章把范例特别是具有多种多元关系的范例,提炼为代数结构,建立基于代数结构的相似度量模型,一个可容纳多种类型的相似度量模型。还讨论了相似度量的等价分类及一些运算,如限制与连接等等,这些使得该模型可用于很广的领域。     

环冷机台车在曲轨上状态函数的解析研究

主要研究如何用一组函数来准确地描述环冷机台车在曲轨上的运动状态.通过对台车运动及曲轨设计图的分析,应用空间解析几何与向量代数的方法,采用合理的数学条件,建立了台车在曲轨上运动时,其在水平面内的相位和在垂直面内倾翻角关于曲轨上任意位置点坐标的函数关系式,并对该函数的求解方法与解析精度进行了简要的分析与评定.     

论泛集合、泛逻辑和泛代数的关系

根据描述清晰事物的经典集合、经典逻辑和L indenbaum代数是三位一体的同构关系的事实,猜想在描述复杂事物的泛集合、泛逻辑和泛代数之间也存在这种三位一体关系,以此作为研究的基础,建立了部分代数系统之间的层次关系,并给出了与之同构的逻辑系统,并利用泛逻辑学中关于线序柔性命题逻辑学的研究成果,部分证实了上述猜想.