逻辑函数对偶式的最小项的求法

讨论逻辑函数F(A1，A2，……，An)与F‘(A1，A2，……，An)的最小项的关系，解决由A1，A2，……，An的最小项直接求出F‘(A1，A2，……，An)的最小项，从而直接求出F‘(A1，A2，……，An)的第一范式．     

三角幂等矩阵上保迹的乘法映射

An(F)((∩){aEij 1≤i≤j≤n})为域F上n阶上三角矩阵Tn(F)上的幂等矩阵集Υn(F)的乘法半群.f:An(F)→Υn(F)是满足trf(A)=trA,(A)A∈An(F)的乘法映射,那么存在可逆上三角矩阵P∈Tn(F),使得f(A)=P-1AP.     

基于k-匹配的极值五角链

s(A)n表示由n个五边形组成的五角链的集合.对任意的An∈s(A)n,mk(An)表示An中k-匹配的数目.本文证明了对任意的五角链An∈s(A)n及任意的k≥0,mk(Z2n)≤mk(An)≤批(Z1n).且只有当An=Z2n时,左边等式成立;只有当An=Z1n时,右边等式成立.这里Z1和Z2n分别为第一类链和第二类链.     

I(k)中迹极限C*-代数的K-群

描述了I^(k)中迹极限C^*-代数的K-群的性质．证明了以下结果：设A是有单位元的C^*-代数，并且A=(t2)limn→∞(An，pn)，其中An在I^（k)中，则①对任意的n≥max{1，[(k 1)／2]}，in：Un(A)/Un(A)→K1(A)是满射；②对任意的n≥[k／2] 1，in：Un(A)/Un^0(A)→K1(A)是单射．     

关于一些交错单群的ONC-刻画

【目的】为了弱化有限群数量刻画的数量条件。【方法】用第一ONC-度量ONC1(G)刻画了交错单群An(5≤n≤13)。【结果】证明了An(n=5,6,7,10,11,13)可以由ONC1(G)唯一确定,而A8,A9,A12可由ONC1(G)和lp(G)唯一确定。【结论】结果说明交错单群An(5≤n≤13)最多需要4个数量就可以唯一刻画。     

关于一些交错单群的ONC-刻画

【目的】为了弱化有限群数量刻画的数量条件。【方法】用第一ONC-度量ONC1(G)刻画了交错单群 An(5≤n≤13)。【结果】证明了An(n=5,6,7,10,11,13)可以由ONC1(G)唯一确定,而A8,A9,A12可由ONC1(G)和lp(G)唯一确定。【结论】结果说明交错单群 An(5≤n≤13)最多需要4个数量就可以唯一刻画。
     

Banach代数上n-上循环的Hyers-Ulam稳定性

设A是Banach代数,M是BanachA模,从An到M的n元线性映射f:An→M称为n-上循环是指任给x1,…,xn+1∈A都有x1f(x1,…,xn+1)+(-1)n+1f(x1,…,xn)xn+1+nΣi=1(-1)if(x1,…,xi-1,xixi+1,xi+2,…,xn+1)=0.证明了从An到M上的n-上循环是Hyers-Ulam稳定的.     

标准算式代数上的导子

设A是B(H)中的一个标准算子代数且n是一个固定的正整数(n 2).本文证明了以下结论:若线性映射Φ:A→B(H)满足对任意A∈A,有Φ(An)=Φ(A)An-1 AΦ(A)An-2 … An-2(A)A An-1Φ(A).则存在T∈B(H)使得对任意A∈A,有Φ(A)=AT-TA.     

关于单调集列的内、外测度

本文考虑的测度空间记做〈X,R,μ〉。下面的定理是众所周知的: 定理A 设〈An〉是R中的一个集列, (i)若〈An〉单调增大,则 (ii)若〈An〉单调减小,而且有某个μ(AR)<+∞,则 定理考虑的是可测集,对于非可测集,人们自然想到用外测制μ~*代替测度μ。首先,容易证明,只要〈An〉有一个子列〈An_k〉(?)R,即可得到与(1),(2)相应的等式:     

生成函数的应用

在函数论、组合数学、解析数论等学科的研究领域中 ,一些恒等式的证明结果及证明方法极为重要。本文以生成函数为工具 ,讨论了生成函数方法的广泛应用。设 { An} (n=0 ,1 ,2… )是一待定数列 ,若能作出一个函数 F(x) ,使得 F(x)的展开式恰好是F(x) =A0 A1 x2 Anxn … ,则称函数 F(x)是数列 { An} (n=0 ,1 ,2… )的生成函数。相应地数列 { An}称为 F(x)的生成数列。一、幂级数作为生成函数最初应用幂级数作为生成函数的是欧拉 ,其后拉拉普斯曾广泛采用此方法。该方法主要是通过多项式或幂级数相乘方程中合并同类项 ,从而得到相关的结…     

C*-代数迹极限性质的封闭性(英)

在迹极限的意义下, 特别是在单代数的条件下, 研究某些C*-代数性质的封闭性.假设A=(t₂)lim_{n -> ∞} (A_n,p_n), A_n上至少有一个迹态或A_n,具有(SP) 性质，则A也有相同的结果;假设A=(t₃)lim_{n -> ∞} (A_n,p_n),并且A是单代数,如果\TR(A_n)=0,tsr(A_n)=1和A_n具有投影消去律,则A也有相同的结果.     

简单迹极限的基本可比性

引进了简单迹极限的相关概念，简单介绍了与C^＊代数SP性质密切相关的F性质，并且得到了非基本的单的具有SP性质的C^＊代数具有F性质．在此基础上得出简单迹极限的基本可比性．其主要结果：设A为具有F性质的带单位元1的C^＊代数，且A的迹态空间T（A）为非空集，如果对每个自然数n，An具有基本可比性，则An的简单迹极限A也具有基本可比性。     

关于矩阵特征值的一种表达方式

对于k阶正定Hermite方阵A的最大特征值λ_1,文[1]用幕矩阵的迹U_(n)=tr(A~n)得到如下估计:U_(n+1)/U_n≤λ_1≤U_n~(1/u)·本文将运用幕矩阵的特征多项式推广这一结果,文中定理1和定理2叙述了对正定Hermite方阵取得的结果;定理3和定理4就更一般的情况作了论讨。     

集值Pramart诱导的集值测度

假设（X,||·||）为可分的Banach空间, X^*为其对偶空间, X*可分. 设(Ω,F ,P)为完备的概率空间, {An,n≥1}为F的上升子σ 域族, 且A_∞=∨_n≥1A_n. 在X^*可分的条件下讨论了集值Pramart的一些性质, 并研究了集值Pramart诱导的集值测度及其性质.     

交错单群和散在单群的一种特征标次数图

考虑交错单群和散在单群的一种特征标次数图,证明了:若GAn(n≥7)或G是散在单群,则对任意m∈cd(G),图Δ(G-m)至多有两个连通分支.     

一体化An／O工艺处理市政污水的中试研究

以污水厂初沉池出水作为研究对象,考察了常温(8~20℃)条件下,处理规模为5 m3/h的一体化厌氧/好氧生物反应器同步脱氮除磷的效果.试验中,系统脱氮始终存在同步硝化反硝化现象.通过低氧条件下亚硝酸盐的富集,系统进入稳定脱氮期.在稳定脱氮期,反应器出水亚硝酸盐平均累积率达82.52%,系统脱氮以亚硝酸盐型同步硝化反硝化的方式为主,实现了短程同步脱氮及磷和有机物的协同去除.TN,TP和COD平均去除率分别为77.4%,87.7%和90.4%.在该研究条件下,DO质量浓度的最佳控制范围是(0.25±0.10)mg/L.     

量子群正部分的二维表示

设U 是有限维单李代数的D rin fe ld-Jim bo量子化包络代数U的正部分,通过直接解矩阵方程证明了An型量子化包络代数U的正部分U 不存在二维不可约表示.     

A_5的一类子群的构造方法

由于有限群的L agrange定理的逆不成立,当n较大时,要确定n次交代群An的所有子群,以及对于An的任一正因数,要确定A n是否有这个阶数的子群都要较困难的,文章通过计算5-循环置换各次方幂,再把各次方幂中的第4个数字去掉,得到4个2×2置换的乘积,从而构造出A 5的6个10阶子集,并证明了每个子集是A5的子群.     

A集的局部化

本文在 A 集范畴 Ens-A 中引入局部化的概念.证明了如果 A 集 M 是内射(右投射、平坦),则其局部化后得到 S~(-1) A 集 S~(-1) M 也是内射(右投射、平坦),并由此推出如果交换幺半群 A 是完全内射(完全投射,绝对平坦)的.则半群局部化 S~(-1) A 亦分别具有上述性质.同时本文证明了对于 A 集 M 和 N,及 A 的子半群 S(S 满足条件:■_(S1,S2) ∈S,存在■ y ∈A,使得 ys_1=ys_2 ∈S)有 S~(-1) A 同构:S~(-1) (M■ N)≌S~(-1) M■S~(-1) N.     

关于变换半群的子群结构

本文主要讨论变换半群的子群的性质和结构,得到的主要结果是:定理1 设B是A的一个非空子集,H是M(B)的一个子群,则有M(A)的子群G使得G_B=H且G与G_B同构。定理2 (1)设G是M(A)的一个子群,e是G的单位元,则G是M(A)的一个极大子群当且仅当G_Ae=∑_(Ae)。(2)M(A)的任何两个不同的极大子群之交是空集。