结合半加图的算术电路等价性验证技术

为了克服现有等价性验证技术难以快速验证复杂算术电路的局限性,提出了一种利用综合引擎分析并再现算术电路优化过程的算法．该算法结合了乘法器的编码方式识别技术、加法电路的半加树提取技术和部分积加法电路的架构识别技术来提取乘法电路的实现结构,以此生成与实现电路结构相似且逻辑正确的网表．针对算术电路结构的相似性,仅分析低位输出的电路架构以降低算法复杂度．实验结果表明,与传统的算术电路验证算法相比,该算法可以明显提高算术电路的验证速度,并且可以直接结合到现有的寄存器传输级（RTL）和门级网表的验证流程中,从而提高了算术电路的验证能力．     

正交变换的几个等价条件

在已有研究成果的基础上,继续讨论了欧氏空间的变换是正交变换的条件,从而给出正交变换的几个等价条件．     

等价量的概念及其性质

对等价无穷小进行了推广;首先给出等价量的定义,继而推导和讨论了：等价量间的等价特征,等价量和极限的关系,等价量经过四则运算、求导、求积,以及进行复合过程后,在一定条件下仍保持等价的性质。     

一类双群结合环的构造

本文在文献[2]的基础上进一步研究半单双群结合环的构造,并得到:对具min-rr条件的环(A,Γ)有(1)环(A,Γ)是半单的充要条件是(A,Γ) =sum from i=1 to n ⊕(A_i, Γ_i),其中环(A_i,Γ_i)是具min-rr条件的单环。(2)环(A,Γ)是单的当且仅当(A,Γ)≌(D_(n×m),D_(m×n)),其中D_(?),是除环D上的s×t全阵加群。     

三角函数的等价无穷小

给出了三角函数的一般形式的等价无穷小,并利用等价无穷小,来简化求极限时繁琐的步骤.     

时变系统可识辩性的等价条件

采用文献［１］中的方法，讨论时变线性系统的全局与局部可识辩性，进而给出了一个系统可识辩充要条件。     

等价无穷小替换定理的一点注记

对无穷小提出了新的分类法,并对等价无穷小替换定理的条件进行了简化,从而使得该定理应用更加方便。     

等价无穷小替换定理的一点注记

对无穷小提出了新的分类法,并对等价无穷小替换定理的条件进行了简化,从而使得该定理应用更加方便。     

正则类上根遗传的几个等价条件

证实了若Ｍ是正则类，且含有一个非零幂零环，则下列各项等价：（ｉ）ｕＭ是遗传根；（ｉｉ）Ｍ↑－ｅ包含于ｓ（ｕ（Ｍ））；（ｉｉｉ）ｕＭ＝ｕ（Ｍ↑－ｅ）；（ｉｖ）ｕＭ关于Ｍ↑－ｅ有交性质；（ｖ）ｕＭ∩Ｍ↑－ｅ＝０。     

单环滑车的数字化建模与设计

对单环滑车的结构进行了分析研究.建立单环滑车的数字化模型,应用参数化特征建模技术完成单环滑车零件的数字化设计.以数据库技术为支撑,采用了面向对象技术、模块化设计技术、技术文件管理技术、特征参数化建模技术等.以PTC公司的CAD/CAM软件Pro/Engineer为开发平台,应用其二次开发工具模块Pro/Toolkit,...     

单环芳烃生物降解性与化学结构之间的定量关系

本文通过对单环芳烃生物降解机理的分析，得出影响单环芳烃生物降解性的因素主要是取代基的电子效应和位阻效应，建立了生物降解性与电子效应常数和位阻效应常数之间的关系，试验结果对这一关系进行了验证。     

拟凸函数与弱下半连续性

拓广了Ｍｏｒｅｙ凸函数的概念，定义了Ｂ拟凸函数，并进一步研究了Ｂ拟凸函数及其相应泛函弱下半连续性的等价性。     

认知态的相似性与等价性

以Bochman引入的一种非单调逻辑与信念修正的统一框架——认知态（epistemicstates）为研究对象,讨论其内在的结构相似性与外在推理行为等价性之间的联系。因为两认知态相似无法推出它们之间具有已引入的任一种等价关系,为了解决此问题提出了两认知态拟怀疑等价的新概念和作用于认知态上的算子par（·）。利用有限子语言在原语言上的归约,得到如下的表示定理：任两个纯的有限认知态是拟怀疑等价的,当且仅当它们作用算子par后结构相似。     

向量组的等价性及其应用

本文给出向量组等价的一个充要条件，并给出其应用。     

等价无穷小代换的推广及应用

给出无穷小代数和的等价代换,以及“１＾∞”型“０＾０”型未定式等价无穷小代换定理及应用。