聚类工具

0
帮助 本站公告
您现在所在的位置:网站首页 > 知识中心 > 检索结果
排序:
期刊文章 差分代换矩阵与多项式的非负性判定
出处:系统科学与数学 2009年第9期1169-1177,共9页
摘要:主要分析了差分代换矩阵的基本性质,证明了存在有限个差分代换矩阵的乘积可以将单位点(1,0,…,0)变换... 显示全部
关键词: 差分代换矩阵 差分代换集序列 终止性 半正定型
在线阅读 下载全文
期刊文章 基于伪并行遗传算法的路径测试数据自动生成
出处:四川大学学报:工程科学版 2009年第5期共6页
摘要:路径测试数据自动生成是结构测试中的关键问题,也是当前软件测试研究中的热点问题。为了探讨伪并行遗传算法... 显示全部
关键词: 软件测试 路径测试 伪并行遗传算法 测试数据生成
在线阅读 下载全文
期刊文章 构造广义Sturm序列的递归算法
出处:中国科学:E辑 1999年第6期546-555,共10页
摘要:广义Sturm序列被用于判断一个多项式方程f(x)在多项式h(x)〉0条件下的实根数。为了构造这样... 显示全部
关键词: 实根 递归算法 多项式方程 序列 广义
在线阅读 下载全文
期刊文章 多项式的完全判别系统
出处:中国科学:E辑 1996年第5期424-441,共18页
摘要:符号(文字)系数多项式的1个完全判别系统是由这些系数构成的1组显式表达式,这些表达式足够判定该项式... 显示全部
关键词: 多项式 代数公理 完全判别系统 机器辅助计算
在线阅读 下载全文
期刊文章 不等式机器证明的降维算法与通用程序
出处:高技术通讯 1998年第7期 20-25,共6页
摘要:提出了降维算法,它能有效地处理带参数的根式,将维数控制在最小限度。据此编成的通用程序已在PC机上验... 显示全部
关键词: 降维算法 结式 临界曲面 判别曲面 机器证明
在线阅读 下载全文
期刊文章 关于函数方程的若干进展
出处:数学进展 1995年第5期385-405,共21页
摘要:本文介绍了单实变量的函数方程的若干新进展,包括迭代根、Schroder方程和多项式型迭代方程的结果... 显示全部
关键词: 迭代方程 迭代根 泛函方程
期刊文章 面向方面的中间件
出处:计算机技术与发展 2008年第8期 68-71,共4页
摘要:中间件应用领域的不断拓展,给中间件体系结构的设计带来了困难,中间件的体系结构必须在通用性与专用性之... 显示全部
关键词: 面向方面 中间件 分布式系统 关注点分离
在线阅读 下载全文
期刊文章 几何定理可读证明的自动生成
出处:计算机学报 1995年第5期 380-393,共14页
摘要:用计算机能生成几何定理的易为人们理解的证明吗?这个几十年来进展很小的难题,自1992年以来有了突破... 显示全部
关键词: 可读机器证明 几何定理 计算机
期刊文章 基于面向方面MDA的实时系统开发方法
出处:计算机工程 2009年第17期 252-254,共3页
摘要:实时系统有许多难以处理的横切整个系统的非功能需求。针对以上问题,提出基于面向方面模型驱动架构的实时... 显示全部
关键词: 面向方面 模型驱动架构 实时系统 非功能需求
在线阅读 下载全文
期刊文章 基于面向方面MDA的软件开发方法
出处:计算机工程与设计 2009年第17期 4077-4080,共4页
摘要:软件系统通常有许多横切整个系统的非功能需求,仅采用面向对象的方法不能很好的处理这些横切关注点。软件开... 显示全部
关键词: 面向方面 模型驱动架构 关注点分离 元模型 统一建模语言
在线阅读 下载全文
找到20条结果
`