一类高阶时滞微分方程周期解的存在性

用重合度理论研究高阶时滞微分方程x(m) a(m-1)(t)x(m-1)(t-τm-1) ... a1(t)x′(t-τ1) g(t,x(t-τ0))=0的周期解存在性,得到了该方程存在T(T＞0)周期解的充分性定理.     

大林算法在单板机上实现的精度分析

本文具体地对单板机上实现大林算法的运算误差进行分析,并导出了误差算式,它与实际系统的仿真数据完全相符。并进而对T,τ及系统其它环节的参数选择进行了讨论。     

概率度量空间的若干结果

本文给出文献[1]中定理8.15及8.25的逆定理,并证明其中的条件是最佳的.为方便计,我们将所得的逆定理与原有结果适当修正综合起来以充要条件的形式叙述.引理1 设T是左连续t-范数,且L是满足交换律、结合律的算子,并满足若u_1a+b,由于L(a,b)≤Sum(a,b)≤a+b相似文献   

一类高阶时滞微分方程的周期解

用重合度理论研究高阶时滞微分方程x(m) am-1x(m-1)(t-τm-1(t)) … a1(t)x'(t-τ1(t)) g(t,x(t-τ0)(t)))=0的周期解存在性,得到了该方程存在T(T＞0)周期解的充分性定理.     

相关于挠理论的C11模

设τ=(T,F)是遗传挠理论,提出了τ-C_(11)模的概念,它是τ-C_1模和C_(11)模的推广.讨论了τ-C_1模,τ-C_(11)模和τ-FI-extending模之间的关系,给出了τ-C_(11)模的等价条件.进而,研究了τ-C_(11)模关于直和因子,τ-稠密子模的封闭性.     

树在其自同构群下的点轨道集的特征

给定一棵有有限个顶点的无向、简单树,记作τ。把τ的自同构群,记作Autτ。a∈Vτ,定义A a={a i∈Vτ■α∈Autτ,使α(a i)=a},通过A a构造了树τ的子图τa=∪a,b∈Aa a≠bΓa,b,定义所有顶点之间的最大距离称为树τ的直径,记作diam(τ)。设diam(τa)=k≥0,k∈Z+,则■a,b∈A a,∈d(a,b)=k。并且c∈A a,有d(a,c)=k或者d(c,b)=k。     

一类二阶多时滞泛函微分方程多个周期解的存在性

研究了一类二阶泛函微分方程xn(t)+f(t,x)(t-τ1)(t),x( t-τ2)(t))(x'(t))n+[a(t)x2(t-K1T)+b(t)x(t-K2T)-p(t)]g(t-τ3(t))=0,(n≥2)利用重合度理论,获得了该方程至少存在两个周期解的结论.     

一类高阶时滞微分方程的周期解

用重合度理论研究高阶时滞微分方程x(m) am-1x(m-1)(t-τm-1(t)) … a1(t)x′(t-τ1(t)) g(t,x(t-0τ)(t)))=0的周期解存在性,得到了该方程存在T(T>0)周期解的充分性定理。     

乘积测度的表示与集的截口的测度的可测性

设T,X是完备可分的度量空间,T×X是乘积空间.设ν是T上的完备的Borel概率测度,τ是X上的预测度.从ν和τ出发,可以通过两种不同方式定义乘积空间T×X上的测度.证明在τ是σ-有限的情形下,这两种方式定义的测度都等于T×X上的乘积测度ν×τ*,其中τ*表示由τ按方法Ⅰ所构造的外测度;在τ是非σ-有限时,证明了在一定的条件下函数τ(Et)与τ*(Et)都是T上的可测函数,其中E T×X,Et={x∈X;(t,x)∈E}.     

强τ-Extending模

设τ=(T,F)是一个遗传挠理论.首先引入了强τ-Extending模的概念,研究了强τ-Extending模的性质,讨论了τ-Extending模与强τ-Extending模之间的关系,举例说明了τ-Extending模未必是强τ-Extending模.然后研究了强τ-Extending模关于直和因子以及直和的封闭性,结果表明:强τ-Extending模关于直和因子封闭,但它关于直和不封闭.进而,给出了强τ-Extending模关于直和封闭的局部条件,证明了:τ-挠自由的强τ-Extending模与τ-挠模的直和仍是强τ-Extending模.最后,对于■,给出了M是强τ-Extending模的等价刻画.     

关于广义矩阵迹的几个不等式

对于C*-代数A,C*-代数Mn(A)上矩阵迹是一个正线性映射τ:Mn(A)→A,满足τ(u*au)=τ(a)(a∈Mn(A)),u∈U(Mn(A))和τ(a2)≤(τ(a))2(a≥0)。本文讨论这种矩阵迹的某些性质,得到与Bellman问题相关的不等式。     

抛物型方程变步长显格式的步长选取

对抛物型方程已有古典显格式算法可求其数值解: u_j~k=u_j~(k-1)+r(u_(j+1)~(k-1)-2u_j~(k-1)+u_(j-1)~(k-1))+τf_j~(k-1),其中f_j~k=f(jh,kτ),u_j~k是相应点u(x,t)的近似值,h,τ分别是关于x方向和t方向的步长,r=(aτ)/h~2.     

广义矩阵迹的算术—几何平均不等式

对于C*-代数A,C*-代数Mn(A)上矩阵迹是一个正线性映射τ:Mn(A)→A,满足τ(u*au)=(τa)(a∈Mn(A)),u∈U(Mn(A))和τ(a2)≤(τ(a))2(a≥0)。在讨论这种矩阵迹的性质的基础上,得到几个算术-几何平均不等式。     

带零点二阶系统的积分评价指标和最佳阻尼比

二阶系统的积分评价指标和最佳阻尼比问题,是控制理论与系统设计中的基本问题。通常仅对简单的二阶系统1/(S~2+2ζS+1)进行研究,有它的局限性。实际的闭环二阶系统的数学模型多数带有零点,其传递函数为 G(S)=(τS+1)/(T~2S~2+2TζS+1)。因此,解决τ≠0,T≠1时的积分评价指标和最佳阻尼比,对控制理论的研究和系统设计的实践都是有用的。本文采用解析法和数值解法,求得了二阶闭环系统当τ/T 一定时的最佳阻尼比ζ以及当阻尼比ζ一定时的最佳τ/T 及其相应的积分评价指标的数值。本文得出的结果,可供控制系统设计时使用。     

强 τ-Baer 模

设τ=(T,F)表示遗传挠理论。受Asgari和Ebrahimi等人给出的Abelian Baer模和强t-Baer模等概念的启发,从遗传挠理论的角度研究了Baer模,并提出了强τ-Baer模的概念,它是强t-Baer模和τ-Baer模的有用推广。研究了强τ-Baer模的性质,给出了τ-Baer模及强τ-Baer模的等价刻画,讨论了强τ-Baer模与强τ-Rickart模之间的关系,给出了强τ-Rickart模未必是强τ-Baer模的例子,证明了强τ-Baer模关于直和因子是封闭的。进而,对于M=⊕_(i∈I)M_i,证明了M是强τ-Baer模当且仅当对任意i∈I,M_i=τ(M_i)⊕M_i~',其中M_i~'是Abelian Baer模,且对任意i≠j∈I,Hom(M_i~',M_j~')=0。     

脉冲序列调制色噪声作用下单模激光损失模型的随机共振

运用线性近似的方法计算了周期矩形脉冲序列直接调制色噪声作用下的单模激光损失模型输出信号光强的自关联函数和关联时间,并讨论了光强关联时间随系统净增益系数a0、噪声关联时间τ和调制脉冲信号周期T和宽度θ的变化关系.研究结果发现:当系统的各参数及噪声强度取一定值时,Tc—a0,Tc—τ,Tc—θ和Tc—T曲线均出现了随机共振现象,并且Tc—a0和Tc—T曲线还出现了1个抑制谷;噪声关联系数λ的绝对值越小,共振曲线的共振峰越高,系统的共振现象更加明显;脉冲信号振幅A和抽运噪声强度P对系统共振曲线的影响基本相同,取值越小,共振现象越不明显,当小于某一值时,Tc随a0单调减小,Tc—a0曲线的共振现象消失;而量子噪声的强度Q越小,Tc—a0曲线的共振现象越明显,并且当Q大于某一值时,Tc—a0共振现象消失.     

基带DτAGC算法及其在DFE均衡器中的应用

根据恒幅－窄带原理ＤτＡＧＣ（Ｉ／Ｄ）抗干扰方法,导出一种用于处理离散基带信号的ＤτＡＧＣ递推算法,并将此算法用于数字信道的ＤＦＥ自适应均衡。计算机模拟实验表明,ＤτＡＧＣ算法能有效地抑制脉冲干扰、压缩动态范围,与固定时间常数ＡＧＣ算法相比,采用ＤτＡＧＣ算法的ＤＦＥ均衡器误码率明显降低。     

挠理论局部化技巧

设R是有单位元的环,τ是左R-模范畴上的遗传挠理论,M和N是左R-模.一个从M到N的τ-态射是指一个从M的τ-稠密子模到N/Tτ(N)的左R-模同态的等价类,其中Tτ(N)是N的唯一极大的τ-挠子模.所有从M到N的τ-态射的集合homR(M,N)构成一个阿贝尔群.本文讨论了τ-态射与hom函子的一些性质.作为应用,本文用函子hom刻画了τ-单同态,τ-满同态等概念.     

芳香族铁电液晶高速电光开关的性质

研究用(+)-对烷氧基苯甲酸对′-2-甲基丁氧基苯酚酯液晶和(+)-对烷氧基苄叉对′氨基肉桂酸-2-甲基丁酯液晶制成的电光开关的微观结构,以及响应时间τ和对比度I与驱动电压V和液晶盆温度T的关系。τ随V的增加而减小,与V的倒数成正比关系;τ达10μs级;当V一定时,τ在T接近居里温度T_c处存在一极小值;I随V的增加而增加,随T的增加而减小。     

树图中进攻性联盟的顶点数上界

给出简单连通树图中进攻性联盟的顶点数α0(T(G))的上界(2τ(G))/3,强进攻性联盟的顶点数α0(T(G))的上界(5τ(G))/6,全面进攻性联盟的顶点数γ0(T(G))的上界└(2τ(G))/3┘及全面强进攻性联盟的顶点数γ0(T(G))的上界└(5τ(G))/6┘.