聚类工具

0
帮助 本站公告
您现在所在的位置:网站首页 > 知识中心 > 检索结果
排序:
期刊文章 一类积分不等式的机器判定
出处:中国科学:信息科学 2011年第1期48-65,共18页
摘要:将一类积分不等式转化为Tarski模型外的齐次对称多项式不等式,该类齐次对称多项式的次数是给定的,变元个数... 显示全部
关键词: 积分不等式 对称多项式不等式 降维法 差分代换 机器判定 不等式证明软件
在线阅读 下载全文
期刊文章 基于U-I周期重复率的CO_2弧焊稳定性机器判定方法
出处:焊接技术 2010年第10期 37-42,共6页
摘要:目前,焊接生产效率已得到了很大的提高,传统的人工经验判定方式难以完成如此高速度高强度焊接生产情况下的... 显示全部
关键词: 焊接质量 机器判定 周期重复率
在线阅读 下载全文
找到2条结果
`