剪枝 Galois 格上规则的直接计算

Ｇａｌｏｉｓ格用于知识发现具有许多优点,并在实际应用中显示了一定的价值。现提出一种在已剪枝的Ｇａｌｏｉｓ格上直接计算规则的算法,其主要依据格结点的直接泛化来产生规则集合。该算法在一定条件下更为有效,并且所产生的规则集合是无冗余的。文中所述方法已用于数据库知识发现工具ＨＵＴＫＤＤ中。     

格形编码调制（TCM）技术在码分多址系统中的应用

主要介绍了格形码的基本原理,构造,格形编码 扩频码分专业系统和正交序列扩频ＣＤＭＡ系统中的应用,分析了格形码对ＣＤＭＡ系统性能的改进。     

正蕴涵BCK-代数的伴随半群

本文讨论了正蕴涵BCK－代数的剩余刻划;证明了具有条件（S）的正蕴涵BCK－代数的伴随半群是一个下半格。     

矩阵函数单重积分的格点漂移技术及应用示例

建立了矩阵函数单重积分的格点漂移技术,并阐述了其特殊的数学意义;把格点漂移技术应用于分立基量子系统中的一般转动算符矩阵的格点方法计算中,并将其结果应用于计算二维叠加态在一般转动算符作用下的几率分布演变比。     

L－fuzzy拓扑群之间的L－fuzzy同态

在Ｌ－ｆｕｚｚｙ拓扑群之间引入了Ｌ－ｆｕｚｚｙ同态及Ｌ－ｆｕｚｚｙ开同态等概念,刻画了它们的基本特征．证明了Ｌ－ｆｕｚｚｙ同态是“Ｌ－ｇｏｏｄｅｘｔｅｎｓｉｏｎ”,揭示了它与分明拓扑群的同态之间的关系     

关于序半群的半格同余

Ｎ．Ｋｅｈａｙｏｐｕｌｕ教授在「１」中提出“ｐ０－半群上的半格同余‘Ｎ’是否为去掉最小半格同余”的问题。本文引进半格同余ｎ,证明存在ｐ０－半群Ｓ,Ｓ,上的半格同余ｎ∩→上的半格同余ｎ∩→Ｎ,给出该问题否定回答。     

依赖注入技术及其执行过程的形式化描述

依赖注入技术指由构件运行平台在运行期根据系统配置文件中定义的构件间的依赖关系，将被调用构件实例化，并注入到调用构件之中。本文在分析研究依赖注入技术的基础上，用完全格工具形式化地描述依赖注入的执行过程。     

S关于f的交矩阵

设(U,p)是偏序为p的偏序集,U是格,f是定义在U上的正实函数,矩阵[S]f=(sij)n×n,sij=f((xi,xj)p),而(xi,xj)p是xi,xj在格U中的交,xi,xj∈S,1≤i,j≤n.ΨS,f是定义在S上的一个广义欧拉函数,这里主要是得到det[S]f与ΨS,f之间的一些关系。     

浅谈独立主格结构

独立主格结构简称独立结构(Absolute Construction)，没有主语和谓语，属于一种特殊的复合结构，所以在语法上不是句子，它由两部分组成，前半部分多用名词或代词表示逻辑主语，后半部分多用分词或不定式表示逻辑谓语，有时还有其他成分修饰，他是独立于句子之外，并通常在句子中起方式、时间、务件、原因等状语或状语从句作用主要用于书面语，是高中课本中的一个重点也是一个难点。     

四阶龙格-库塔法在捷联惯导系统姿态解算中的应用

捷联式惯导系统相对于平台式惯导系统姿态解算要复杂得多,捷联系统通过提取陀螺仪和加速度计的测量值实时进行姿态矩阵更新,从而获得载体的姿态信息。介绍了利用四阶龙格—库塔法解捷联姿态微分方程的方法,并以典型圆锥运动作为输入进行仿真分析,适当地改变圆锥运动参数,检验该姿态算法的准确性及精度.仿真结果表明,在圆锥运动环境下四阶龙格—库塔法的姿态解算的精度随着计算周期τ的减小而增大,随着锥运动参数α和ω的增大而减小。