【摘 要】
：
零压缩二元判定树ZBDD(Zero-suppressed Binary Decision Diagrams)作为一种近年来兴起的存储布尔多项式的数据结构能更有效地平衡内存消耗与计算速度;基于它的布尔多项式Grbner基算法可以在运算中保持ZBDD结构的不变性从而进一步提高计算效率。用C++实现了布尔多项式的Grbner基计算并对其进行既约化处理,验证了该算法的可行性以及在运算效率上的提高。
【机 构】
：
中国矿业大学计算机学院,中国科学院软件研究所
【基金项目】
：
中国矿业大学青年科研基金项目（2007A039）
论文部分内容阅读
零压缩二元判定树ZBDD(Zero-suppressed Binary Decision Diagrams)作为一种近年来兴起的存储布尔多项式的数据结构能更有效地平衡内存消耗与计算速度;基于它的布尔多项式Grbner基算法可以在运算中保持ZBDD结构的不变性从而进一步提高计算效率。用C++实现了布尔多项式的Grbner基计算并对其进行既约化处理,验证了该算法的可行性以及在运算效率上的提高。
其他文献
凡是需要真实场景和人物动画的图形应用场合,织物模拟都是必不可少的环节之一,其模拟速度和效果往往决定应用整体的效率和真实感。以实时织物模拟为目标,利用GPU(Graphics Processing Unit)并行编程语言CUDA,设计了一种基于弹簧-质点模型的显式织物模拟并行算法。该算法将模拟过程分为计算阶段和渲染阶段。在计算阶段,通过将质点与CUDA的线程一一对应,并行更新质点的速度和位置。算法利
为解决煤层巷道掘进期间的瓦斯涌出量超限问题,对工作面瓦斯涌出规律进行了分析,提出瓦斯释放与抽放相结合的治理办法,通过采取煤层注水、深孔预裂爆破、两帮深孔卸压抽放等
关于水果应当什么时候吃的问题,很多人都觉得困惑不已。其实,只要食物总能量不超标,想吃水果,就吃吧!只要胃里感觉舒服,什么时候吃都可以。饭前吃水果。只要不是特别酸涩的水
针对云南紫花苜蓿种植缺乏专用肥，采用“3414”的实验设计来研究不同基肥配比对紫花苜蓿第一茬产量、株高、叶茎比、单株重的影响。从试验得出以每公顷施N32．25kg、P20551．45kg
针对开滦集团唐山矿业分公司开采深部的延伸、大倾角煤层逐步增多,导致的工作面支架、刮板输送机下滑下串的问题,该矿安装使用了前部刮板输送机防滑装置、后部刮板输送机防滑
从本期开始,本刊将开辟《笔迹与心理》栏目,向读者介绍笔迹心理学方面的相关知识。如果您想领略笔迹心理分析的神奇,那就请关注“笔迹与心理”栏目。来信请寄雪魂先生收。
现有的P2P视频点播系统在性能指标方面还存在着不足。在分析现有P2P流媒体体系结构及调度策略的基础上,提出了一种在网状结构的P2P视频点播系统上的优化混合调度策略,讨论了系统相关的节点管理和资源定位等关键技术。系统采用随机走和tracker服务器结合的资源定位机制,在保证快速定位的同时很好地减轻了tracker服务器的负担,通过紧急下载与基于锚节点的数据预取的混合式调度策略较好地降低用户的等待时延
佛印、了元禅师与苏东坡。一起在郊外散步时，途中看到一座马头观音崩石像，佛印立即合掌礼拜观音。苏东坡看到这种情形不解地问：“观音本来是我们要礼拜的对象，为何他的手上与我们
洁面乳:多了未必就干净在大多数人眼中,不管什么东西,要想洗干净,就要多放洗洁剂。于是同理可证,脸上太脏、太油,也要多多使用洁面乳,才能彻底变清爽。其实,现在多数洁面产品
根据三水平西翼戊8煤层范围内大量钻孔以及井下采掘揭露资料,研究分析了西翼戊8煤层赋存状况,得出该煤层为结构简单,自西向东呈条带状逐渐变厚的较稳定煤层。结合六矿整体地