三值函数在固定极性下的综合及三值重I2L电路

本文用模代数和Kronecker乘积对多值函数的展开进行了讨论.提出了相应于各种极性展开系数的变换算法及它们的最小化程序.最后考虑了用集成注入逻辑(I²L)技术实现三值函数。     

D′(Rn)广义函数作为调和函数的边界值

本文证明了每个D''(Rⁿ)广义函数都是R₊ⁿ⁺¹上某调和函数的边界值,这个调和函数可以延拓到Rⁿ⁺¹上,其奇异部分恰为suppT。此外,对某些S''(Rⁿ))广义函数给出了相应调和函数的计算公式。特别给出了以多项式为边值的调和函数的解析表达式。     

矩阵分解与Chrestenson谱的计算

本文研究离散Fourier变换的一类变型-整数模合数m剩余类环上n元函数的Chrestenson谱的快速计算,基于稀疏矩阵分解,给出了两种复杂度为O(mⁿn∑^r_i=1p_i)的计算Chrestenson谱的快速算法,其中p₁p₂…p_r是m的素因子分解.     

超高速二进位多位加法硬件算法的逻辑论推及可能的应用

二进制多位加法运算,以经典的半和与进位公式为起点,已经构造成有多种用途的加法器.达到颇高的速度.本文不采用这一经典的途径,利用作者之一提出的一种直接逻辑判断论设,经过逻辑的形式变换,不仅从理论上展示出多位加法逻辑速度的上限,显示出加法计算复杂性的一个标志,从5×2ⁿ⁺¹(n为位数)下降至n²以至2n log₂(2n)的急剧变化,并且在工程上推导出了具有可实现性和经济性的四级逻辑和三级逻辑,适用于64位和16位的超高逻辑速度加法器方案.     

关于L2(En+1+,(dxdy)/(yn+1)中的柱面函数空间的正交直和分解

本文利用小波变换给出了L²(E_n+1⁺,(dxdy)/(yⁿ⁺¹)中的柱面函数空间的一种正交直和分解.在这种分解下定义了Toeplitz-Hankel型算子,得到了类似的Schatten-Von Neumann性质.     

关于Fermat 型函数方程的亚纯解

本文研究了三项Fermat 型函数方程亚纯解的存在性问题, 证明了: 如果(1/n) + (1/m) + (1/k) < (25/72) ; 则不存在非常数亚纯函数f, g, h 满足函数方程fⁿ + g^m + h^k ≡ 1:     

关于k阶记录时间与k阶记录值的联合分布

设独立同分布随机变量序列{x_nj n≥1}的分布函数F(x)=p(x₁(k)(n);n≥1},{X^(k)(n);n≥1} 分别为{x_nj n≥1}的K阶记录时间序列和k阶记录值序列.本文我们用直接方法求出了{U^(k)(i),X^(k)(i);1≤i≤n}的联合分布，从而证明了k阶记录时间序列及k阶记录值序列的马氏性，并导出了它们之间的一     

RD-空间上Hardy空间的极大函数特征及其应用

令χ为RD-空间, 即Coifman和Weiss意义下的齐型空间且满足逆双倍条件. 设$\cx$具有“维数”n. 对α∈(0,∞), 分别记$H_\az^p(\cx)$, $H_{\rm d}^p(\cx)$和$H^{\ast,\, p}(\cx)$为$\cx$上相应于非切向极大函数, 二进极大函数和主极大函数的Hardy空间. 利用一个新建立的Calderón再生公式, 证明了当p∈ (1,∞]时这些Hardy空间等价于L^p(χ)及当p∈(n/(n+1), 1]时这些Hardy空间彼此等价. 对 p∈(n/(n+1), 1], 建立了H^*,p}(χ) 的原子特征刻画; 进一步, 当p∈(n/(n+1), 1]时, 证明了H^*,p(χ)与Coifman和Weiss意义下的原子Hardy空间等价. 此外, 证明了一个次线性算子T可以唯一延拓为H^p(χ)到某拟Banach空间B的有界算子当且仅当$T$将所有的(p, q)-原子, q∈(p, ∞)∩[1, ∞], 或者连续的(p,∞)-原子映为B中的一致有界集.     

涉及正规族与分担值的Hayman 问题

设n, k (n ≥ k + 3) 是两个正整数, a (≠0), b 是两个有穷复数, F 是区域D 内的一族亚纯函数,其中族中每个函数的零点都至少是k 重. 若对于F 中的任意两个函数f, g, f^(k)-afⁿ 与g^(k)-agⁿ 在D 内分担b, 则F 在D 内正规. 两个例子说明函数族中的每个函数的零点都至少是k 重以及n ≥ k+3是最佳的.     

U-统计量对数律的精确渐近性

设{X_n, n ≥1}是独立同分布随机变量序列, U_n 是以对称函数(x, y) 为核函数的U -统计量. 记U_n =2/n(n-1)∑_{1≤i h(Xi, Xj), h1(x) =Eh(x, X2). 在一定条件下, 建立了∑n=2^∞(logn)^δ-1EUn²I {I U n |≥n ^1/2√lognε}及∑n=3^∞(loglognε)^δ-1/logn EUn² I {|U n|≥n^1/2√log lognε} 的精确收敛速度.}     

一些与Dyck路有关的数的恒等式

本文通过Cauchy留数定理和算子方法导出了一些形如∑_i=0ⁿ (-1)^n-i(n i)U_{m+k+i, k+i} =f(n) 和∑_i=0²ⁿ(-1 )ⁱ(2n i) U_{m+k+i, k+i} = g(n)的差分恒等式,这里U_{n, κ}表示Dyck路在不同条件下的计数公式,f(n),g(n)与m(n)只和n有关的函数.     

关于图的减控制与符号控制

给定一个图G=(V,E),一个函数f:V→{-1,0,1}被称为G的减控制函数,如果对任意v∈V(G)均有∑_μ∈N[v]f(μ)≥1。G的减控制数定义为γ^-(G)=min{∑_v∈Vf(v)|f是G的减控制函数}。图G的符号控制函数的正如减控制函数,差别是广{-1,0,1}换成{-1,1}。符号控制数γ_s(G)是类似的。本文获得γ^-G)和γ_s(G)的一些下界。同时也证明并推广了 Jean Dunbar等提出的一个猜想,即对任意 n阶 2部图 G,均有γ^-(G)≥ 4(n+1^1/2-1)-n成立。     

高维单形上Bernstein多项式的凸性定理的逆定理

设f是m维单形D上的连续函数,Bⁿ(f;x)是f的n次Bernstein多项式。本文证明:对于D的内点Q,如果恒有Bⁿ(f,Q)≥Bⁿ⁺¹(f,Q),则Q不可能是f的非平凡极大值点。由此推出,若f在D上是逐块线性函数,则Bⁿ(f,x)≥Bⁿ⁺¹(f,x)(对一切正整数n和任一x∈D)蕴含f是D上的凸函数。     

关于矩阵乘法的一个算法的时间复杂度

两个n阶非负整数方阵相乘,常规算法的时间复杂度为O(n³),文献[1]提出一个“运算次数”为O(n²)的“最佳”算法,本文根据算法分析理论得出此算法的时间复杂度不低于O(n³log₂ⁿ),因而比常规算法的运算量还大.     

Duffing型方程解的有界性

证明了下列Duffing型方程的所有解的有界性 :d2x / dt2 +x²ⁿ⁺¹+Σ²ⁿ_j=0 x^jp^j(t) =0 ,n≥1,其中,p1,p2 ,… ,p2n是 1周期的有Lipschitz连续性的函数,p_n+1,… ,p2n是Zygmund连续的 .这表明Duffing型方程的解的有界性不必要求pj(t)的光滑性.     

Rn中单位球上的加权Plancherel公式

设ƒ是实n维单位球上的函数v∈C,SO₀(1,n)在ƒ上的作用T^v定义为T_g^vƒ(x)=ƒ(g·x)(det g＇(x))^v/2(n+1).导出了相应于T^v的不变Laplacian,并找到它的一簇特征函数,建立了相应的反演公式与Plancherel公式.     

广义函数的解析和调和表示

刘尚平证明了任意广义函数T∈(Rⁿ)存在调和表示.本文中,我们证明了T的任意两个调和表示之差必是在Rⁿ上为0的Rⁿ⁺¹上的调和函数,证明了对一维广义函数而言,调和表示和解析表示的一致性,同时解决了一维广义函数的解析表示理论中未解决的问题:同一广义函数的任意两个解析表示之差必为整函数.给出了用广义收敛描述的多复变函数的一个解析延拓定理.对于Rⁿ×R₊上的调和函数,给出了是(Rⁿ)中某元素的调和表示的充要条件。     

三角域上Bernstein多项式的Lipschitz常数

设T是平面上以T₁,T₂,T₃为顶点的三角形,f(p)为定义在T上的函数,称Bⁿ(f,P):=(?)f(i/n,j/n,k/n)B_i,j,kⁿ(P),为f的n次Bernstein多项式,这儿B_i,j,kⁿ(P):(n!)/(i!j!k!)uⁱv^jω^k是Bernstein基函数,(u,v,w)是P关于T的重心坐标。 B.M.Brown等人对单变量的Bernstein多项式证明了如果f∈Lip_Aλ,0<λ≤1,则对所有的n,都有B^α(f,x)∈Lip_Aλ。本文的目的是对定义在三角域T:{(x,y):x≥0,y≥0,x+y≤1}上的Bernstein多项式证明了类似的结果: 设f(P)∈Lip_Aλ,0<λ≤1,则对所有的n,Bⁿ(f,P)∈Lip_(2^1/2λA)λ,并且,在一定意义上,常数2^1/2λA是最好的。 上述结果对于任意的锐角或直角三角形T,也是成立的。 最后还指出,当T可为钝角三角形时,则不存在同一常数C,使对所有的n和任意三角形T,有Bⁿ(f,P)∈Lip_cλ。     

解在QK 型及Dirichlet 型空间中的线性微分方程

对于单位圆盘上系数函数是解析函数的复微分方程
f⁽ⁿ⁾+A_n-1(z)f^(n-1)+…+A₁(z)f''+A₀(z)f=0,
给出了方程的系数函数和解函数之间的关系, 即当系数函数A_j 满足给定的条件时, 方程的所有解属于Q_K型空间和Dirichlet 型空间.     

对称群表示的既约分解

S_n是n个文字的对称群,T^d为C[x₁,x₂,…,x_n]中d次齐式所成的子空间.T^d做为S_n模所确定的S_n的表示记为ρ^d.π(α)为与分析α相对应的既约表示.记N^d_α为,π(α)进入ρ^d的重数,做为文献[1]的继续,本文简化了幂级数所满足的递推公式,并具体求出了母函数的表达式。