单位超球B″上的（p,q）格林形式

设ｇ（ｚ）是单位超球Ｂ″包含Ｃ″上具紧支集的可数（ｐ,ｑ）形式,构造了满足方程□Ｎ＝ｋ的（ｐ,ｑ）格林形式Ｎ（ｚ,ｗ）的显示表达式,其中□＝αα＋αα,α＝＊α＊,＊是Ｂ″上关于内蕴度量的Ｈｏｄｇｅ对偶算子,这有助于求出单位超球Ｂ″上关于内蕴度量的α方程的解。     

一类非线性边值问题在Holder空间中解的存在唯一性

在非线性Hilbert-Riemamn边值问题Holder空间中解的存在唯一性问题基础上,讨论了该边值问题在广义Holder空间中的解的存在唯一性。并给出了此问题解存在唯一的一个充分条件。     

Cr~(4+)∶YAG在Nd∶YAG激光器中的被动调Q

在考虑Ｃｒ４＋ ∶ＹＡＧ激发态吸收的情况下,给出调Ｑ 速率方程组,并且利用计算机对该方程组进行数值求解． 从而,描绘出调Ｑ过程中相关粒子数的变化情况,得到脉冲宽度、脉冲能量、峰值光功率的理论值． 采用Ｃｒ４＋ ∶ＹＡＧ 晶体作为可饱和吸收体,在脉冲式Ｎｄ∶ＹＡＧ 中实现了１．０６ μｍ 激光的调Ｑ运转． 实验结果与理论结果相符合．     

一类具正负系数含时滞差分方程解的振动性

本讨论一类具正负系数含时滞差分方程△u(n) p(n)u(n-m)-q(n)u(n-k)=0解的振动性。在一定条件下,获得了其解具有振动性的充分条件,对现有结果进行了一定的推广和有益的补充。     

一类拟线性双曲型方程的初边值问题和Cauchy问题

首先讨论方程ｕｕ－ｕｘｘ－Ｍ（∫＾＋ｌ－１ｕ＾２ｘｄｘ）ｕｕｘｘ＝ｆ（ｘ,ｔ）的初边值问题,用Ｇａｌｅｒｋｉｎ方法和紧性方法得到了其整体广义解和整体古典解的存在惟一性,然后用构造初边值问题序列并取极限的方法证明了方程。     

非保守Duffing方程周期解的存在唯一定理

讨论非保守的 Ｄｕｆｆｉｎｇ 方程 ｘ″（ ｔ） ＋ ｃｘ′（ ｔ） ＋ ｇ（ ｔ ,ｘ） ＝ ｅ（ ｔ） 的２π周期解,利用 Ｐｏｉｎｃａｒｅ 扰动方法,在渐近非一致条件γ（ｔ） ≤ｇｘ（ ｔ,ｘ） ≤Γ（ ｔ） ,γ,Γ∈ Ｌ１（０ ,２ π） ,γ,Γ满足可跨０ 特征值,得到所讨论方程２π周期解存在唯一的一个定理     

一类常微分方程的积分解

本文给出以下形式的微分方程的积分解：Ｐｎ（Ｄ）＝Π（ｋ,ｓ＝１）（Ｄ＾２－２α３Ｄ＋α＾２ｓ＋β＾２ｓ）．Π（ｎ－２ｋ,ｊ＝１）（Ｄ－λｊ）。其中Ｄ＝ｄ．ｄｘ．λｊ,αｓ,βｓ为实数,│αｓ│〉０,ｓ＝１,２,３,…,ｋｊ,ｊ＝１,２×,ｎ－２ｋ,λ＝ｍａｘ １≤ｓ≤ｋ,１≤ｊ≤ｎ－２ｋ｛│αｓ│,│λｊ│α,ｙ（ｘ）为（－∞,＋∞）上的有界函数,则方程Ｐｎ（Ｄ）ｆ（ｘ）＝ｙ（ｘ）,ａ．ｅ．,且满     

构件依赖性的显式表达

构件依赖关系的显式表达对于基于构件的软件开发是十分重要的．通过对构件生产的领域分析,提取了一个特殊的依赖表达构件,进而给出了一种新的构件依赖关系的显式表达方法。     

一类带简支梁条件的半正超线性梁方程的非平凡解

在关于线性算子相应主特征值的一些条件下,用拓扑度方法和不动点理论证明带简支梁边界条件的半正Euler-Bernoulli梁方程边值问题■非平凡解与正解的存在性,其中参数λ>0,f:[0,1]×?→?连续.     

低分辨率ADC下MIMO-OFDM系统中的广义Turbo信号检测

针对高分辨率模数转换器(analog-to-digital converter,ADC)接收机给大规模多输入多输出(multiple input multiple output,MIMO)系统带来的硬件成本昂贵和高功耗问题,研究了低分辨率ADC在毫米波MIMO正交频分复用(orthogonal frequency di...