基于多项式良性基的组合逻辑电路的等价性验证

虽然传统的等价性验证方法如BDD或布尔SAT等能够完成低层次的电路验证,但针对抽象层次较高的电路描述验证效率较低,基于多项式的数学方法能够从字级到位级形成统一的电路描述,为高效率地完成等价性验证提供理论依据。探讨组合逻辑电路的多项式描述方法,并以多项式理想的良性基为基础,给出一种高层次等价性验证算法,并针对多种基准电路进行实验,以验证算法的性能。

特征列、Grbner基和良性基方法的实施、比较和改进

对良性基方法和微分特征列方法进行算法化,然后把这种方法在MAPLE中实现并和软件中的Grbner方法进行比较。

结肠镜联合腹腔镜治疗结肠良性宽基底大息肉效果比较

目的比较结肠镜与结肠镜联合腹腔镜(双镜)治疗结肠良性宽基底大息肉(直径≥0. 5 cm)的效果。方法随机将48例结肠良性宽基底大息肉患者分为2组,每组24例。观察组采用双镜切除术,对照组采用单纯结肠镜切除术。结果观察组手术时间长于对照组,但差异无统计学意义(P> 0. 05)。观察组术中出血量、分次切除息肉次数、术后恢复进食时间、并发症发生率、息肉残留率、复发率及再次手术率,均显著优于对照组,差异有统计学意义(P <0. 05)。结论采取双镜结肠良性宽基底大息肉切除术,可有效减少术中出血量和分次切除次数,促进肠功能恢复,减少术后并发症,避免术后息肉残留,降低息肉复发和再次手术的概率。

半群代数中理想F_A良序基的构造

讨论了在半群代数k[A]中 ,如何利用Gause -Jordan消元法去构造半群代数的理想的良序基 ,进而得到理想的良性基 -Groebner -基 .

关于全球文明的笔记

"国家间世界"—"全球世界"的转变,是每个人都要面对的世纪大转变。它必然影响到各国文化的走向和世界文化的格局。翟墨先生的这篇"笔记"高屋建瓴,简括中外对"全球文明"的主要论述和预测,对美学,教育和艺术工作者都会有重要启示。