整函数与亚纯函数的级与型

研究了当整函数或亚纯函数f1(z)与f2(z)具有相同增长级和不同型时,f1+f2,f1f2,f2/f1的增长级与型,得到了一些结果,完善了原有的一些结果。     

迭代级整函数复合的正则增长性

研究了两个迭代级整函数f(z),g(z)复合以后的增长性,主要包括复合函数f(g(z))的迭代下级,增长指标,并且在内外函数满足一定条件下研究了复合函数f(g(z))的正则增长性。更多还原     

关于一个亚纯函数唯一性定理的改进

为了以下论述的方便,用f(z)与g(z)表示开平面上非常数的亚纯函数,a_1(z),…,a_m(z)为m个判别的亚纯函数.设S={a_1(z)),…,a_m(z)},令f~(-1)(S)=(?){z|f(z)-a~i(z)=0}这里n重零点在f~(-1)(S)中计算n次。 若f~(-1)(S)(?)g~(-1)(S),则记作f(z)∈S→g(z)∈S,因此f(z)∈S(?)g(z)∈S表示f~(-1)(S)=g~(-1)(S). 当a为一有穷复数时,显然f(z)∈{a}(?)g(z)∈{a}表示f(z)—a与g(z)—a的零点相同且每个零点的重级也相同,类似地f(z)∈{∞}(?)g(z)∈{∞}表示f(z)与g(z)的极点相同且每个极点的重级也相同。     

一类函数型复微分方程的整函数解

研究函数型微分方程f（z1+z2）=f（z1）f（z2）-f′（z1）f′（z2）的亚纯函数解,得到此方程的亚纯函数解f（z）必为整函数,且必为下列形式之一:■是常数,（ⅳ）f4（z）=C1eλ1z+C2eλ2z,其中λ1,λ2为λ2-Cλ+1=0的两个根,C1（1-λ■）=1,C2（1-λ■）=1,C为任意常数。     

关于Fermat型微分差分方程的整函数解

利用亚纯函数值分布理论,研究了形如f′（z）2+f（z）2=p（z）,f（z）2+f（z+c）2=p（z）及f′（z）2+f（z+c）2=p（z）的Fermat型微分差分方程,获得了方程所有整函数解的存在形式,并用例子来说明我们的结果。     

一类高阶线性微分方程解的增长性

运用整函数的相关理论和亚纯函数的Nevanlinna值分布的理论和方法,研究整函数系数高阶线性微分方程解的增长性。在假设了高阶微分方程的某个系数As(z)为方程f″+P(z)f=0(其中P(z)为z的n次多项式)的一个非零解以及其它某些条件下,证明了高阶方程f(k)+Ak-1f(k-1)+…+A1f′+A0f=0的非零解均具有无穷级。更多还原     

一类q-差分方程亚纯解的性质

利用亚纯函数的Nevanlinna值分布理论的q-差分模拟,研究非线性q-差分方程,fn(z)+q(z)f(q1z)…f(qkz)=p(z)其中n,k是正整数,p(z),q(z)是多项式,qi(i=1,…,k)是非零复常数。证明了当时,该方程不存在零级超越整函数解。 更多还原     

多复变量亚纯函数的唯一性像集的两个结果

利用Cm上亚纯函数的性质(包括值分布理论),研究Cm上亚纯函数唯一性像集有关问题,并证明以下定理:令S={z∈Cm:zn-1=0},a为非零复数,且a2■S,k≥2为整数。f,g为Cm上级小于1的非常数亚纯函数,sum from b∈S(μ~bf,k)=sum from b∈S(μbg,k),且SuppDaf=SuppDag,则若n>(4+3/k+2/(k+1))(1+ε),得f=g。     

关于差分Riccati方程解的存在性

研究差分Riccati方程■,其中A、B、C、D为亚纯函数,得到解簇为■,这里Q（z）为任意的满足Q（z）=Q（qz+c）的亚纯函数,且f0（z）、f1（z）、f2（z）为方程的3个互异的亚纯函数解。推广了Chen与Shon的最近结果。     

关于Bank-Laine猜想的复振荡结果

设g(z)是个整函数,如果g(z)=∑cvznv (*)其中nv是一列非负递增整数且满足间断条件v→nv0(v→∞) (**)则称g(z)为Fabry间断级数.证明了:设A是有穷级超越整函数且满足条件(*)和(**),则对于方程f″+ A(z) f=0的任意两个线性无关的解,有max{λ(f1),λ(f2)}=∞.这个结果证实了著名的Bank-Laine猜想当A是Fabry间断级数的情形.     

线性函数和部分线性函数的图形检测方法

线性函数是布尔代数中常用的特殊函数之一,本文根据线性函数、部分线性函数的定义与性质,提出了检测线性函数与部分线性函数六个定理．在此基础上,给出了基于K图与bj图的线性函数与部分线性函数的图形检测方法,并举例说明具体检测过程．     

检测逻辑函数中线性变量的代数方法

根据线性变量、线性函数的定义和性质,提出了5个定理及3个推论．在此基础上给出了检测基于与-或展开的、基于或-与展开的、RM型的、基于或-符合展开的逻辑函数中线性变量的代数方法,并举例说明了具体检测过程．本文的工作对于完善数字电子CAD设计中的逻辑综合理论具有实际意义．另一方面,相对于其它特殊逻辑函数而言,线性函数还缺乏系统的研究,本文的工作对于补充和完善线性函数的理论具有重要意义。     

基于D触发器的物理不可克隆函数

物理不可克隆函数（PUF）是指利用半导体制造工艺中不可避免的固有偏差，产生具有独特性和稳定性的响应结果，使集成电路芯片具有不可克隆的特性。提出了一种新型的基于D触发器的物理不可克隆函数。利用D触发器建立的时间随机分布函数产生PUF激励输出响应，并通过D触发器对的差分结构提高输出结果的准确性。实验结果显示，此PUF的性能近乎理想。与主流PUF相比，基于D触发器的PUF明显增强了设计的唯一性。     

一类平方函数的加幂权有界性

本文讨论平方函数 gJ (f ) 和幂权 Lp 有界性 ,其中 J(x ) = K(x′ )g(| x| ) ,K∈ H1 (Sn- 1 ),且 g(| x| ) 满足一定的条件.作为推论 ,本文得到了 Marcinkiewicz积分 _K( f ) 加幂权的 Lp 有界性.     

Müntz有理函数的加权L~p逼近

考察了加Jacobi权w(x)=x~α(1-x)~α(α≥0)的L~p空间中Müntz有理函数的逼近问题.利用K-泛函与加权光滑模的等价性给出了逼近阶的估计以及Ditzian-Totik型定理.所得结果将已有文献中的相应结论推广到了加权情形.     

双曲有界平均振动函数的一些性质

本文研究双曲有界平均振动解析函数的一些性质. 证明了双曲有界平均振动解析函数的双曲 g-函数与双曲 S-函数都是有界平均振动函数.     

布尔函数的c导数及其在组合电路故障检测中的应用

提出了布尔函数c导数的定义和性质,并给出了部分性质的证明. 在此基础上,提出了求解“或”搭接及“与”搭接故障测试矢量的2个定理. 通过实例讨论了布尔函数c导数在组合逻辑电路故障检测中的应用.所提出的c导数是对布尔函数的布尔导数和e导数研究的补充与完善.     

基于RTD可编程逻辑门的n变量函数实现算法

共振隧穿二极管（RTD）可编程逻辑门是一种由单双稳态转换逻辑单元（MOBILE）及正、负输入分支组成的阈值逻辑电路。基于二进制神经元模型中的三层网络结构,提出了基于RTD可编程逻辑门的n变量函数实现算法。按照汉明距离由大到小的顺序,搜索最优输入向量,用定理1或定理2方法产生隐层函数,通过变换次数,确定输入向量的真假及隐层函数的权重。由于定义了最优输入向量及变换次数,提高了算法的准确性;又由于采用了定理2方法,令设计的电路更简单。     

检测线性函数与线性变量的表格方法

讨论了线性函数、部分线性函数和线性变量的定义、性质和定理,提出了检测基于最小项展开的逻辑函数的线性变量与线性函数的表格方法.提出了直接从RM型逻辑函数的Reed-Muller展开出发以及直接从OC型OC展开出发检测RM型逻辑函数和OC型逻辑函数的线性变量及线性函数的表格方法.文中提出的表格方法具有简单、方便和易于计算机编程操作等优点.     

关于伴随周期拟对称函数的一些估计

如果h(x)=x+σ(x)是M-拟对称函数,x∈R,且σ以a>0为周期的函数,则称h(x)为伴随周期的拟对称函数.本文将对这类函数中的σ在满足σ(0)=σ(1)=0,a=1的情形下的范数的L1,L2进行一些估计。作为应用,我们将改进Partyka.D的一个相关结果。