空间网格结构的自动成形

依据形式代数理论，用ＦＯＲＴＲＡＮ语言编制了实用程序，使外形比较复杂的球面网壳、椭球形网壳，双曲抛物面形及筒壳等形式的网格结构能够利用计算机自动成形，避免了以往冗长，单调且易于出错的结构成形工作，与计算机辅助图形相结合，既直观又便于修改和检查，通过工程实例为说明形式代数和空间网格结构自动成形中的优越性和很强的实用性。     

关于正互反矩阵代数结构的几个定理

对正互反矩阵集合的代数结构进行了讨论，指出正互反矩阵集合是一个交换群，一致性正互反矩阵集合是正互反矩阵集合的一个不变子群，正互反矩阵集合是一致性正互反矩阵集合与标准型正互反矩阵集合的直积。     

多传感器信息融合分类识别系统中冗余知识判定的关系代数方法

在基于多源信息融合的对象分类识别系统中,信源/传感器数量的增加往往使数据处理量急剧增长,不仅占用大量计算资源,提高运行成本,而且降低了系统可贵的实时性.本文提出用关系代数方法判定由信源传感器提供的知识有无冗余,从而精简和优化信源/传感器资源的配置和组合.     

Frattini子代数为零的Lie代数

证明了特征零代数闭域上的具有交换幂零根基的完备Ｌｉｅ代数的Ｆｒａｔｔｉｎｉ子代数为零。     

具迹抽象类型的代数语义与继承

采用理论计算机科学中的范畴论形式化地描述了具迹抽象数据类型，而对象是该类型满足某些公理约束的一个模型，基于这种观点形式给出了继承的概念。     

基于区间矩阵的时态关系的简化方法

用区间代数能表示不确定的时态关系,可以方便地应用于时态推理,表达能力强。将区间代数及区间矩阵中有端点相等的基本关系去掉,只保留现实世界中真正可能发生的基本关系,大大降低了问题的复杂性,然后,对每个原子矩阵建立一个特征集,用特征集的并运算来取代矩阵的复合运算,提高了计算效率。     

SYBASE在京举办新一代数据管理平台ASE15的全球发布会

2005年9月15日，Sybase公司在北京的居庸关长城，进行Sybase企业级关系数据库管理系统Adaptive Server Enterprise （ASE）15的全球发布。会议隆重，气氛热烈。此次SybaseASE15全球发布会确定在北京、纽约、伦敦3地举行，北京是发布会首站。目前，Sybase ASE作为处理关键业务计算的数据管理平台已得到较为广泛的应用，并通过不断提升产品性能，希望为客户提供更为理想的解决方案。据该公司称：此次发布的ASE15新增了磁盘内加密功能、智能分区功能、专利的查询处理技术并增强了对非机构化数据管理的支持。     

Morita Context理论的对偶

对任意有限维Ｈｏｐｆ代数讨论它所诱导的Ｍｏｒｉｔａ Ｃｏｎｔｅｘｔ理论的对偶，即ｐｒｅ－ｅｑｕｉｖａｌｅｎｃｅｄａｔｅ的理论，并进而建立Ｈ－余模余代数的ＣｏＧａｌｏｉｓ余扩张理论。     

有限维结合代数上表示的可约性

给出有限维结合代数上表示可约性的两个判别法。它们是，（Ｉ）若φ是有限维结合代数Ａ上的表示，其表示矩阵为αφ，且存在非零元α∈Ｚ（Ａ），使得Ｔ（α）≠０，而ｄｅｔＴ（α）≠０，则φ是可约的；（Ⅱ）若φ是有限维结合代数Ａ上的正则表示，其反表示矩阵为Ｓ（α），则φ是既约的充要条件为：Ａ↓α∈Ａ，α≠０，有ｄｅｔＳ（α）≠０。     

绞吸挖泥船输泥管路的摩擦阻力损失计算

考虑到绞吸式挖泥船输送系统中泥浆摩擦阻力损失计算所采用的达西-魏斯巴赫（Darcy-Weisbach）方法在理论上只适用于特定的条件，在实际的应用中误差较大，结果的可靠性低。针对此局限性，提出了适合于绞吸式挖泥船管路特性的摩擦阻力损失计算方法，实际应用表明新的计算方法能够满足工程需要。