论文部分内容阅读
对XL算法中的方程组约筒过程进行改进，提出一种更有效的求解算法。改进算法中充分利用各单项式之间的约束关系对方程组进行约简，消去其中次数较高的单项式。采用分步扩展及约简的思想消去扩展过程中添加的冗余等式，有效降低XL算法的计算复杂度及存储复杂度。此外，改进的算法还可用于构建布尔函数的低次零化子。
一种改进的XL算法
【摘 要】
：
对XL算法中的方程组约筒过程进行改进，提出一种更有效的求解算法。改进算法中充分利用各单项式之间的约束关系对方程组进行约简，消去其中次数较高的单项式。采用分步扩展及约简
【机 构】
：
解放军信息工程大学电子技术学院
【出 处】
：
计算机工程
【发表日期】
：
2008年19期
其他文献
压缩机企业在热泵热水器市场守候多年,终于拨得云开见月明。和刚刚进入市场的无序相比,部分压缩机企业在热泵热水器用压缩机产品的供应上,已经逐渐专业化、规模化。出现这种
据产业在线不完全统计,相比2009年,2010年的销量增长了近12%。作为冷链产业的末端环节,超市陈列柜、饮料展示柜等设备在食品低温流通的最后过程中承担者极其重要的作用。
基础冷链设备的需求随着冷链产业的发展不断攀升。近年来我国对电力的需求持续增长,节能环保渐渐深入人心,对高效节能基础冷链设备的需求不断增长。作为商用暖通设备世界领先
粒子群优化算法是进化计算领域中的一个新的分支。该算法简单且功能强大，但是粒子群优化也容易发生过早收敛的问题。该文提出一种两群替代微粒群优化算法，该方法将微粒分成不同
菲并咪唑衍生物由于优异的热力学性能,在制备深蓝光、双极性、高效率的蓝光材料方面逐渐受到关注。本文在本课题组和多个课题组的研究成果基础上,以1,2-二苯基–菲并咪唑作为
本文在重新审视购买力平价学说思想的基础上,提出了动态购买力平价理论:全球一体化的市场经济条件下,经济持续高增长的发展中国家,其汇率会逐步趋向于长期均衡汇率或者说货币
1956年中国第一台冰箱在北京雪花诞生,经过风雨50多年的发展,中国冰箱市场发生了巨大变迁:从只能凭票购买到如今的家电大卖场、家电专卖店、网上电器商城热卖。
针对基于点距离的时序数据分析和传统趋势序列分析的缺点，提出了数字趋势序列、序列的LP距离、序列分段向量等概念，证明了包括“序列分段均值定理”在内的3个重要：电理，设计了专
1998 1月1日，我国开始实施《中华人民共和国节约能源法》（中华人民共和国主席令第90号）11月19日，国务院发布《建设项目环境保护管理条例》（国务院令第253号）