代数规范说明的实现

代数规范说明的实现是代数规范说明支持快速原型枝术的关键。本文介绍了代数规范说明实现的背景,阐述了代数规范说明实现的理论与方法,给出了基于UF-变换的自动实现方法。     

满足TNF的历史关系数据库的代数结构

建立了满足TNF的历史关系数据库的代数结构,在保持标准关系代数的基础上,实现了不同时间属性值的比较,从而能通过代数运算实现属性动态变化情况的查询。     

用SQL实现关系代数中近似除与关系整除方法的研究

关系代数是关系数据库的理论推演代数基础,而SQL是具体实现的标准计算机语言,特别是关系代数之中的除问题,很多情况下仅仅是理论抽象代数形式。本文通过对关系代数的深入剖析,分解为近似除和关系整除,通过实际案例进行关系代数除运算比较和推演,并最终通过SQL实现。     

基于NTL算法库的多元多项式因式分解高效实现

针对多元多项式因式分解困难问题,利用现有因式分解算法,提出了一种基于任意精度计算函数库NTL的高效多元多项式因式分解实现方法HPFMP。介绍了NTL算法库,讨论了如何运用该算法库实现高效的数论与计算代数计算;充分利用具备高效、任意精度大整数、实数的计算数论与计算代数的NTL算法库实现了多元多项式因式分解;与现有代数系统Maple11进行了对比测试,实验结果表明,该实现方法具有更高的效率。     

代数数根界的一个有效算法及其实现

得出了代数数根界的一个基于结式的有效实现算法,并且已用计算机代数系统MAPLE在微机上实现。用这种新的实现算法,计算了文献[1,7]中的几个代数表达式的根界。数值结果表明,它比Scheinerman在文献[1]中所给出的根界以及BFMS界具有更好的效果。     

SPARQL查询的关系代数表示与转换方法

为解决基于本体的数据集成系统中的查询转换问题,提出SPARQL查询的关系代数表示和转换方法。引入RDF图模式的关系代数,定义了五种基本的关系运算,给出了SPARQL查询的关系代数表示;提出了SPARQL到SQL的查询转换方法,将基于本体的SPARQL查询转换为可在关系数据库上直接执行的SQL查询,从而实现关系数据库的集成。系统实现表明,该方法能够有效地实现查询语言的转换。     

串行生产线的"线性"动态方程描述及其扰动分析新算法

本文利用极大代数工具导出了串行生产线在极大代数意义下扰动传播的状态增量"线性" 方程,并根据此方程给出了实现扰动分析的新算法.此算法具有结构简单、便于计算机实现 等优点.     

代数攻击流密码之研究

说明了对具有LFSR结构的密钥流生成器的代数分析手段，阐述了代数攻击流密码基本原理及实现方法，概括了现有的降低已得方程系统次数的有效方法，对整个代数攻击的计算复杂度的估计进行了全面的分析研究和改进，最后对流密码的代数攻击方法进行了展望。     

基于伸缩因子的代数曲线曲面变形方法

提出了一种基于伸缩因子的代数曲线曲面变形方法。首先构造了一种用于代数曲线曲面变形的伸缩因子,然后将所构造的伸缩因子分别作用于待变形的代数曲线与曲面,通过改变伸缩因子各参数的取值实现对代数曲线曲面的变形。实例表明,该方法操作方便,易于控制,可获得丰富的变形效果,是一种简单有效的代数曲线曲面变形方法。     

任意传递函数最小实现的代数方法

本文用代数方法讨论了传递函数的最小实现问题.首先从传递函数可否约分的概念出 发,提出了可控可观测新的代数判据;讨论了梯形网络的状态公式、结构可控可观测性及状态 反馈和输出做最小实现的代数方法,并给出了例题.这种实现方法较状态空间法结构简单,有 源和无源元件个数少,而且梯形网络的元件值可任意给定,加法器各增益值计算简单.