![一类广义Sierpinski三角和Sierpinski地毯的Lipschitz等价]()
论文摘要在这篇论文里,我们致力于研究随机分形的Hausdorff维数、自相似集的Lipschitz等价及其相关问题。主要研究了如下四个方面的内容：（1）一类广义Sierpins...
![Gorenstein模和Hopf作用]()
论文摘要Enochs,Jenda和他们的合作者们引入并且研究了Gorenstein投射、内射和平坦模,进而发展了相对同调代数。本文的目的是进一步研究Gorenstein模,并且...
![多目Pi演算互模拟等价自动验证研究]()
论文摘要本文通过对多目Pi演算的强开互模拟等价自动化验证算法的研究，针对已有算法中存在大量的递归调用、冗余数据、执行效率低等问题，建立了一套全新的数据结构用来表示多目Pi演算算...
![退化分圆Hecke代数的Specht模的判别式]()
论文摘要设F是特征零或者特征充分大的域.本文证明了定义在域F上的退化分圆q-Schur代数SF和退化分圆Hecke代数HF的Jantzen和公式,利用这个结果,我们给出（a）S...
![命题逻辑中公式的Γ蕴涵真度及相对Γ-重言度理论]()
论文摘要众所周知,数理逻辑的特点在于符号化和形式化,它和计算数学有着截然不同的风格。前者注重形式推理而后者注重数值计算;前者强调严格论证而后者允许近似求解。王国俊教授从基本概念...
![从日中文化角度看不可译性]()
论文摘要今天,随着对语言和翻译的认识及研究的不断深入,翻译学家们已经不再片面地强调翻译是可能的或是不可能的。一方面,由于人类经验的相似性,由于人类文化的相通性,由于语言都具有适...
![有限域上高度非线性函数的性质与构造]()
论文摘要高度非线性函数在密码学、序列设计以及编码理论有着非常广泛的应用.本文首先对有限域上完全非线性函数、几乎完全非线性函数和几乎Bent函数的已有工作进行了分析和整理,在此基...
![低差分一致性函数的研究]()
论文摘要低差分一致性函数可分为几乎完全非线性（almostperfectnonlinear,APN）函数、完全非线性（perfectnonlinear,PN）函数和其它低差分一...
![Power Integral Bases for Cyclotomic Field Q(ζ24)]()
论文摘要本文主要研究了分圆域Q(ζ24)的幂元整基问题，首先第一章介绍了分圆域中的基本知识，引理和定理，从而为第二章和第三章的证明作了充分准备。最后还介绍了Q(ζ24)的极大实...
![球面S～7中M(?)bius等参超曲面的研究]()
论文摘要设x：Mn→Sn+1是（n+1）-维单位球面中不含脐点的超曲面。根据王长平的M（?）bius子流形理论，在Mn上可以定义所谓的M（?）bius度量g，M（?）bius第...
![等价性在自动机极小化中的应用]()
论文摘要自动机理论的研究始于20世纪40年代，经过几十年的发展，自动机理论已成为计算机科学中的一个重要分支，并应用于计算机科学的许多领域，如编译程序构造、文本处理、结构型数据翻...
![罗曼·雅各布森“语言学诗学观”试论]()
论文摘要作为语言学家的罗曼·雅各布森，学术活动涉足多学科的领域。他在进行语言学本体研究的同时，将语言研究与文学研究完美结合，确立了自己的“语言学诗学观”，并将其用于不同国界的诗...
![相对映射芽的K通用形变和A等价的判定]()
论文摘要由于理论和实际问题的需要,研究相对映射的问题是一件有用的工作,目的是研究相对映射与一般映射的区别与联系,找出相对映射的独特性质,从而在原有的基础上建立一套新理论,研究一...
![相对映射芽的有限决定性]()
论文摘要在这篇文章中,我们考虑的是把Rn的子流形芽S映射到Rp的子流形芽T的相对映射芽的有限决定性。本文将相对映射芽的基本理论与经典奇点理论的方法相结合,研究了相对映射芽关于强...
![单位球中Moebius形式为零的子流形]()
论文摘要设Mm为单位球Sn（n=m+p）中m维无脐点子流形,在Sn的Moebius变换群下,Mm的四个基本量,一个对称正定形式g称为Moebius度量,法从上一个部分B称为Mo...
![同步格值自动机和同步格值有限自动机]()
论文摘要自动机理论是算法描述和分析,计算复杂性理论,可计算性等研究的基础,它为计算理论提供了可靠的数学模型。同样,模糊自动机提供了一种研究和处理包含模糊性的自然语言的有力工具,...
![数字系统设计自动化中控制器综合的验证研究]()
论文摘要EDA技术日新月异,自顶向下硬件设计方法的应用日益广泛,不断显示出它的强大优越性。支持自顶向下设计方法的基本技术是自动综合,综合是EDA的关键技术之一。为了保证综合结果...
![任伟：奇点模型范畴的Quillen等价论文]()
本文主要研究内容作者任伟（2019）在《奇点模型范畴的Quillen等价》一文中研究指出：令R是左Gorenstein环.我们构造了奇点反导出模型范畴和奇点余导出模型范畴(见文...
