【摘 要】
：
零压缩二元判定树ZBDD(Zero-suppressed Binary Decision Diagrams)作为一种近年来兴起的存储布尔多项式的数据结构能更有效地平衡内存消耗与计算速度;基于它的布尔多项武Gr(
【机 构】
：
中国矿业大学计算机学院,中国科学院软件研究所
论文部分内容阅读
零压缩二元判定树ZBDD(Zero-suppressed Binary Decision Diagrams)作为一种近年来兴起的存储布尔多项式的数据结构能更有效地平衡内存消耗与计算速度;基于它的布尔多项武Gr(O)bner基算法可以在运算中保持ZBDD结构的不变性从而进一步提高计算效率.用C++实现了布尔多项式的Gr(O)bner基计算并对其进行既约化处理,验证了该算法的可行性以及在运算效率上的提高.
其他文献
目的探讨后腹腔镜辅助小切口离断式肾盂成形术治疗肾盂输尿管连接部梗阻(UPJO)的临床疗效。方法采用后腹腔镜辅助,小切口、放大镜下吻合的离断式肾盂成形术治疗UPJO患者12例
和谐社会的建设需要高素质的劳动者,而农村劳动力的数量虽大却素质不高,形成了农村劳动力市场供给和需求的矛盾。造成这一矛盾的主要原因之一在于农村劳动力培训市场不能满足
目的探讨在术后不同时间拉断粘连带所需功耗的变化特点.方法分别以改良Kessler法和Tsuge法缝合三黄鸡的第3趾趾深屈肌腱各42条,于术后即刻、1、4、7、10、14、21 d取材,将肌
目的探讨三维彩色血管能量成像在诊断乳腺肿瘤及预测肿瘤血管生成的临床应用价值.方法对85例由手术及病理证实乳腺肿瘤患者行三维彩色血管能量成像检查,并对肿瘤血管三维图像
目的观察含有微血管样结构的凝胶块植入体内后与体内血液循环的连通情况,以及血管内皮细胞生长因子(VEGF165)对凝胶血管化的影响.方法在纤维蛋白凝胶中以VEGF165诱导小鼠微血
从社会、经济和健康3个方面分析了流动人口在社区卫生服务中的弱势现状,阐述了流动人口社区卫生服务弱势的基本特征是社区卫生服务供给与利用上的低层次性,提出了发展经济、
目的探讨自体骨髓干细胞移植是否能增加缺血肢体的新生血管形成.方法抽取5只犬骨髓20 ml,经Ficoll分离单核细胞,免疫磁珠分离CD34+细胞,在体外经血管内皮细胞生长因子诱导分
目的探讨CYP3A5基因与白血病细胞多药耐药的关系。方法克隆CYP3A5基因全长cDNA,构建CYP3A5基因真核表达重组质粒,稳定转染HL60白血病细胞。采用四氮唑蓝法(MTT)测定化疗药的
针对葛洲坝二江电站小机组改造设计后的排沙底孔工作门,在吊耳高度加高1m,废弃原有抓梁定位方式,利用门机自动抓梁的前后导向装置、侧导轮及吊耳板定位的条件下,按照《水利水
以三氟丙烯基甲醚和正戊酸为原料,合成了三氟丙醛。考察了反应温度、物料配比、催化剂用量及反应时间对三氟丙醛收率的影响。在单因素实验基础上,进行了正交试验,得到了较佳