具泛函变元的偏微分方程组的振动性定理

讨论了一类二阶偏泛函微分方程组,获得了方程组所有解振动的若干充分条件,同时也给出了实际应用例子.     

泛函微分方程解的渐近性态

研究下面一类高阶非线性泛函微分方程解的渐近性态[q(t)x(2n-1)(t)]′ p(t)f[x(σ(t))]=e(t).建立了方程解强迫振动的充分条件.这些结果扩展了文献[1]f(x)的范围.     

基于特征结构配置的输入饱和线性系统分散状态反馈控制——一种参数化方法

给出了基于特征结构配置的输入饱和线性系统分散状态反馈控制的一种参数化方法.基于Syl-vester矩阵方程的参数化解,建立了状态反馈控制矩阵和闭环特征向量矩阵的参数化形式.所提出的方法中包含了部分特征结构配置,这种参数化方法提供了所有的设计自由度.在控制系统设计中,可以利用这些自由度取得希望的系统性能.一个仿真例子显示了所给方法的有效性.     

Banach空间中的一阶积分——微分方程边值问题

研究了抽象空间中的一阶积分——微分方程的边值问题,给出了解存在的一个条件．     

多重调和方程弱解的内部正则性

考虑如下的多重调和方程{（-△）^ku=f（x）,x∈Ω,u∈H0^k（Ω）的弱解的内部正则性．其中Ω是R^N中的有界光滑区域,k是正整数,H0^k（Ω）是标准的Sobolev空间．对于一类函数f（z）,利用差分方法得到了上述方程弱解的内部正则性,其结果也适用于一些非线性的多重调和方程．     

基于凸组合技术的加速FR型共轭梯度算法

为高效求解非线性方程组问题,利用凸组合技术设计一个新型搜索方向,同时结合加速线搜索技术,提出一个新的加速FR型共轭梯度算法.在合理的假设下,新算法拥有全局收敛的良好性质.数值试验结果表明,新算法总体上优于经典FR算法和三项FR算法.新算法继承了修正FR方法的良好数值效果、充分下降性及信赖域特征,并具有计算简单和存储量小...     

布洛的心理距离说与矛盾修饰美

试图用布洛的美学审美原则——心理距离说来赏析英语中的矛盾修辞格．矛盾修辞法用两种不相协调、甚至截然相反的特征来形容同一项事物．通过运用“心理距离说”的审美原则审视矛盾修辞格,发现正是这两种对立成分的巧妙结合与读者大脑沉淀下来的逻辑产生距离,激发了读者进一步在矛盾中寻求哲理的欲望,达到奇警隽永的修辞效果．     

模板技术在量子逻辑电路优化中的应用

为了提高量子逻辑电路的优化技术,减小量子逻辑电路的代价,对现有的模板技术进行了研究与分析,发现Maslov等人的模板并不完整,体现在模板控制线的寻找不完全.通过引入模板控制线库的概念,重构了模板,重构后的模板并不实现恒等的函数功能,但通过模板生成法则,可以动态生成更多的有效模板.同时给出了利用该方法优化量子逻辑电路的算法.数值实验结果表明,应用重构后的模板优化所有的3×3可逆电路,电路门数量均值减小到6.22.该方法在利用模板优化量子逻辑电路方面具有更高的效率和匹配成功率.     

非局部条件积分方程在Banach空间中的可控性

利用Schauder不动点定理, 研究Banach空间中一类积分型微分方程的可控性. 针对Banach空间中带有非局部初值条件的积分系统, 建立了系统可控的充分条件, 并以一个具体的偏微分方程作为例子讨论了其可控性.     

时变脉冲微分方程初值问题解的存在性

首先给出了脉冲微分方程初值问题的解与相对应的常微分方程初值问题的解之间的关系,然后利用常微分方程理论讨论了一类时变脉冲微分方程初值问题,并在相对较弱的条件下建立了解的存在性定理,所得解允许和某些Sk相遇多次,推广了相关问题的已有结果.