基于开关信号理论的三值nMOS电路设计

1 引言在指导二值逻辑电路设计的布尔代数中,二值变量仅用于表示电路中二种信号(如高低电平),而变量之间的诸基本运算则在电路中用基本门予以实现,并且在电路的逻辑设计中并不理会基本门的内部结构,因此说,布尔代数仅用于指导二值电路在门级的逻朝设计.类似地,在多值逻辑中的Post代数也只反映电路中多值信号的处理,也限于指导门级的逻辑设计.     

代数系上Fuzzy合同关系的格论性质

设是一个代数系(如群、环、格、向量空间等等),上具有某些(有限或无限多个)代数运算。上的一个Fuzzy等价关系R称为一个Fuzzy合同关系,如果对     

关于格的凸子格格

1 引言与准备对于格L,以CS(L)表示L的一切凸子格加上空集所构成的集合,它在集的合包含关系下作成一个原子的代数格。在文献[1]中Kob讨论了CS(L)的一些性质,提出了问题1 是否存在一个非链的格L使CS(L)是下半模格? Gratzer在他的名著中提出了     

不可分的么模定Hermite型的构作

设F=Q((-m)~(1/2))(m>0且无平方因子)为虚二次域,D_m为它的代数整数环.域F有一个非平凡的对合即复共轭,它的不动点域是Q.设V为域F上n维非退化的Hermite空间,并有关于上述对合的V上半双线性型φ以及与φ相伴的Hermite型H.设L为V上的D_m格,即L是V中的一个有限生成D_m模且FL=V.一个D_m格L称为偶格,是指对一切x∈L有H(x)     

量子交换代数的张量积

域K上两个代数的张量积还是一个代数。类似地,拟三角Hopf代数(H,R)上的代数(H-模代数)的辫化张量积仍是H-模代数。但一般来说,H-模代数A,B是H-交换不能保证A(?)B仍是H-交换的,文献[1]中证明了当(H,R)为三角Hopf代数时,A,B为H-交换可推出A(?)B也为H-交换。本文在更一般的背景下(对任一Hopf代数H,考虑其Yetter-Drinfel’d范畴_H~HYO中的代数)来研究量子交换代数的辫化张量积成为量子交换代数的充要条件,作为推论得知文献[1]中上述结论反过来亦成立,从而得到三角(余三角)Hopf代数的一种新的刻画。由于将拟三角Hopf代数的作用和余拟三角Hopf代数的余作用统一在一起进行研究,同时也可获得对偶情形的结果。     

交叉积Hopf代数的结构

Molnar在文献[1]中用Hopf代数范畴中的可裂及余可裂短正合裂刻画了半直积Hopf代数及其对偶.Radford及Majid分别将其推广成双积(biproduct)及双交叉积(bicrossproduct),前者成为Majid的bosonization定理的一个漂亮例子,后者给出了Drinfel’d的量子偶(Double)的通用构作用.本文从新的角度推广Molnar的构作,研究张量积余代数与交叉积代数结构一起成为双代数以及Hopf代数的条件.设K为域,所论代数、余代数均指域K上的,采用文献[6]中的Sigma记号,但上、下标中省去括号,(?)简记为(?).定义 设H为双代数,B为K上向量空间,若存在双线性映射σ:H(?)H→B和线性映射·:H(?)B→B,满足1)I_H·b=b,2)∑(h_1·(l_1·b))σ(h_2,l_2)=∑σ(h_1,l_1)(h_2l_2·b),(?)b∈B,h,l∈H,则称B为左H(?)扭曲模.若代数B是左H(?)扭曲模且满足3)h·ab=∑(h_1·a)(h_2·b),4)h·1_B=ε_H(h)1_B,(?)h∈H,a,b∈B,则称B为左H(?)扭曲模代数.若余代数B是左H(?)扭曲模且满足3′)△_B(h·b)=∑h_1·b_1(?)h_2·b_2,4′)ε_B(h·b)=ε_H(h)ε_B(b),(?)h∈H,b∈B,则称B为左H(?)扭曲模余代数.若双代数B同时是左H(?)扭曲模代数和左H(?)扭曲模余代数,则称B为左H(?)扭曲模双代数.设H为双代数,B同时是代数和余代数,但不一定是双代数.若B是左H(?)扭曲模     

蕴涵格与Stone表现定理的推广

从R₀-语义出发在全体 ( ,∨ ,→ )型公式之集F(S)上引入了逻辑等价关系 ,证明了它是F(S)上的同余关系并称商代数为R₀-语义Lindenbaum代数 .以此为背景引入了蕴涵格与正则蕴涵格的概念 ,它是Boole代数的推广 .另一方面 ,引入了除含有拓扑结构之外尚有蕴涵运算的Fuzzy蕴涵空间及其蕴涵基的概念 ,证明了正则蕴涵格的拓扑表现定理 ,即 ,( ,∨ ,→ )型代数M是正则蕴涵格当且仅当M同构于某Fuzzy蕴涵空间的蕴涵基 .在M是Boole代数的情形 ,证明了相应的蕴涵空间是紧零维Hausdorff空间 ,从而由蕴涵格的表现定理可以推得关于Boole代数的著名的Stone表现定理.     

格蕴涵代数的滤子与结构

为了从语义角度研究命题的真值取于格上的逻辑系统,文献[1]将格与蕴涵代数相结合提出了格蕴涵代数的概念,文献[1,3～5]研究了格蕴涵代数的一些性质.本文讨论格蕴涵代数中的滤子,特别是生成滤子,并由此探讨一类格蕴涵代数的结构特征.1 滤子及其性质关于格蕴涵代数及其中滤子的定义参看文献[1].定义1 设(L,V,∧,’,→)为一个格蕴涵代数,称包含A(?)L的最小滤子(A]为由A生成的滤子.     

关于模Hilbert代数

Romita提出了二个重要的概念:广义Hilbert代数(现在也叫做左Hilbert代数)及模Hilbert代数(现在也叫做Tomita代数),利用它们,第一次解决了长期悬而未决的问题:这个理论并为Takesaki所发展,成为Connes关于(Ⅲ)型Factor分类理论的重要支柱。     

一阶格值逻辑系统FM的语法问题

文献[1～3]建立了以丰富剩余格为真值域的命题逻辑系统,得到了一些结果.为研究更一般的格值逻辑系统,文献[4]提出了格蕴涵代数的概念,文献[5]讨论了以格蕴涵代数为真值域的命题逻辑,文献[6」建立了以格蕴涵代数为真值域的—阶逻辑系统FM,本文讨论FM的语法问题,得到了FM的可靠性定理、演绎定理及协调性定理.设L是一格蕴涵代数,F是系统FM的公式集合.定理1~[6]对于任意公式p,q,r及正整数m,n,下列公式都是有效公式:     

余可裂H-模余代数的结构

Doi从1983年起对可裂H-余模代数进行了系统的研究,并在1986年与Takeuchi一起给出了可裂H-余模代数的结构定理,即,若A为可裂右H-余模代数,则A≌A_(?)#_σH。该结构定理有较强的概括性(例如它推广了群分次环的相应结论),Blattner与Montgomery用此结论来研究交叉积A#_oH.H-余模代数的对偶概念是H-模余代数。Doi也曾讨论过H-模余代数,但始终没有给出余可裂H-模余代数的结构定理。本文先定义交叉余积,并利用交叉余积给出余可裂的H-模余代数的结构定理。定理与可裂余模代数的结构定理有类似的意义。     

内孤立波的计算机代数研究

内孤立波是海洋,大气中的常见现象,近年来我们用渐近方法等对此作了详细研究(参看[1—3]),但由子运算上的复杂性,通常只能算到二阶近似,尚不足以阐释实际存在的大幅度内孤立波。本文采用计算机代数软件进行符号运算,重新研究文[1]中描述的二流体系统俩水平固壁间的两层不可压无粘流体)中的界面孤立波,求得了四阶近似解,从而解释了实验中测得的内孤立波比KdV孤立波的波幅窄、波速大的事实。在符号运算过程中,我们设计了一种半逆序算法,克服了因“中间表达式爆炸”而导致存贮空间不足的困难,为在微机上应用计算机代数软件实现复杂的符号运算开辟了途径。     

多值逻辑函数相关免疫的谱特征

相关免疫是密码学中的一个重要概念.在文献[1]中,Siegenthaler给出了相关免疫的数学定义,并且将逻辑函数的相关免疫阶数作为密码系统抗相关攻击的一个度量指标.利用Walsh变换,文献[2]研究了二值逻辑函数即布尔函数的相关免疫性,得到了几变元的布尔函数为m阶相关免疫的充分必要条件,这一结果在研究二值相关免疫函数的性质及构造中发挥了重要作用.对于从GF~n(p)到GF(p)的函数,即p-值逻辑函数,由于其代数结构比布尔函数复杂.对     

蕴涵格与Stone表现定理的推广

从R0 _语义出发在全体 ( ,∨ ,→ )型公式之集F(S)上引入了逻辑等价关系 ,证明了它是F(S)上的同余关系并称商代数为R0 _语义Lindenbaum代数 .以此为背景引入了蕴涵格与正则蕴涵格的概念 ,它是Boole代数的推广 .另一方面 ,引入了除含有拓扑结构之外尚有蕴涵运算的Fuzzy蕴涵空间及其蕴涵基的概念 ,证明了正则蕴涵格的拓扑表现定理 ,即 ,( ,∨ ,→ )型代数M是正则蕴涵格当且仅当M同构于某Fuzzy蕴涵空间的蕴涵基 .在M是Boole代数的情形 ,证明了相应的蕴涵空间是紧零维Hausdorff空间 ,从而由蕴涵格的表现定理可以推得关于Boole代数的著名的Stone表现定理 .     

倾斜代数AR箭图中含直向模的DT_r轨道的个数

设A是一个连通的Artin代数.mod-A表示全体有限生成右A模的范畴.Г_A表示A的AR箭图Auslander-Reiten quiver).τ表示Auslander-Reiten变换DT_r.一个A模T_A称为倾斜(tilting)模,如果(1)T_A的投射维数至多是1;     

分子格范畴中的积运算

文献[1,2]以近年来发展起来的Fuzzy拓扑学中的工作为基础,建立了完全分配格上的点式拓扑理论。从纯代数的角度看,文献[1,2]中探讨了分子格、广义序同态等重要概念,且证明了以分子格为对象,广义序同态为态射可构成一范畴。本文从范畴论的角度出发,以范畴论中的乘积与上积作为基本概念,证明了分子格范畴是对乘积与上积运算封闭的范畴。同时,我们沿用文献[3]的结果,给出了乘积与上积的具体结构。从而较完满地建立了分子格中的乘积与上积理论。为进而展开拓扑分子格的乘积及直和理论奠定了基础。     

可积辛映射的r-矩阵及代数几何解

引入可积辛映射的新Lax阵 ,首次得到了它的非动态 (即 :常数 )r- 矩阵 ,并且以Toda格为例 ,系统地给出一条由Lax阵、r-矩阵及‘非线性化理论’去构作孤子系统或非线性发展方程显式解 (这里系指用Rie mann Theta函数表出的代数几何解 )表示的有效途径 ,提供的代数几何解是概周期的 ,包含了周期解及有限带势解.     

太阳微波毫秒Spike爆发机制

一、引言 本文假设在加速到10—100keV的高能电子从耀斑环顶向下入射途中,部分电子反射形成损失锥分布,从而激励电子迥旋Maser不稳定性、慢X模(SX模)不稳定性和啸声模(W模)不稳定性。我们考虑到共振条件中的相对论效应以及Landau阻尼和迴旋阻尼,研究了上述各波模的有效增长率。结果发现,当参数ω_c/Q_c值为1.4—1.8时二次谐频O模增长最快,而当     

q-Virasoro代数的Harish-Chandra表示

本文是在q是m(≥7,或=2)次本原单位根时,对q-Virasoro代数的权重数为1的不可约的Harish-Chandra模进行了分类。 定义1 设q∈,q≠0,1.称为q-Virasoro代数,如果Vir_q带有一个q方括号运算[,]_q满足     

关于无限值格模型论中条件(F_1)和(F_2)的可减弱性

在王世强等关于“格值模型论”的研究中,当值格L为无限(完备、“可补”)格的情形往往须假定L适合条件(F_1)和(F_2)方能将古典(二值)模型论中的结果移植过去。但是,就我们能见到的文献作一些考察之后,可以容易地看出,其中的条件(F_1)和