一组多输入非线性系统的同时镇定(英文)

考虑设计一个控制器同时镇定一组多输入非线性系统的问题.利用李雅普诺夫函数方法, 给出了时不变同时镇定状态反馈控制器存在地充分条件,然后给出构造同时镇定一组系统的连续控制器的统一公式. 该结果是对文献[1]中讨论的单输入系统的结论的推广.     

一类具有混合边界条件的三阶奇摄动非线性边值问题

研究了一类具有混合边界条件的奇摄动三阶非线性边值问题。在构造形式渐近解的基础上,用微分不等式理论证明了解的存在性,并得出了解的任意阶的一致有效展开式。     

一类三阶非线性中立型微分方程的振动性

研究三阶非线性中立型微分方程0[a(t)(b(t)(x(t)p(t)x((t))))]q(t)f(x((t)))0,t≥t0,的振动性,其中是两个正奇数的商.利用泰勒中值定理和函数的单调性,进一步完善和补充了已有的结果 .     

一类三阶非线性中立型差分方程的振动性

本文给出了一类三阶非线性中立型差分方程振动的充分条件。     

具有吸引作用的量子非线性Schrodinger模型的反散射变换(英文)

本文构造出具有吸引作用的量子非线性Schrodinger模型完备的Gelfane Levitan方程组。我们避免了在方程中引进过去文献中所用的依赖坐标参量的算子或病态定义的算子。从而所得的非线性Schrodinger模型的Heisenberg场算子完全由良好定义的散射数据算子确定。     

一类非线性奇异三阶三点边值问题正解的存在性

文章考虑了下述非线性奇异三阶常微分方程三点边值问题u″′(t)+a(t)(u(t))=0,t∈(0,1),u(0)=u″(0)=0,u’(1)=αu(η)=00,正解的存在性,通过运用迭代技巧,不仅得到其正解的存在性,还给出两个迭代序列,并且迭代序列的初值是简单的零函数或一次函数,这从计算的角度来说是非常有用和可行的。     

为π演算建立具有安全级别的简单类型系统(英文)

为π演算建立具有安全级别的简单类型系统,并证明该类型系统在规约语义下的类型可靠性.此类型系统使得π演算成为安全系统、安全协议分析与规范的普适形式化工具.     

非线性控制系统的一般形式及其稳定性(英文)

给出了SISO非线控制系统的点相对阶的概念,以此得出一般Brrnes-Isidori标准形式.并对于具有最小相位非线性系统,给出了渐近稳定的充分条件;对于具有非最小相位系统,通过设计控制器来构建中心流形的方法,给出了其渐近稳定性的证明.     

激励介质的非线性波型动力学(英文)

以刻划著名的Belousov Zhabotinsky化学反应的俄勒冈振子为数学模型,研究解决了激励介质中一些悬而未决的理论问题 (如波的存在性和稳定性等),进一步完善了激励介质的非线性波型动力学的理论体系.通过Painlev啨分析,B¨acklund变换和奇异摄动方法,分析地给出了一些常见的波型解 (如行波,螺旋波,靶型波,V 型波,涡卷波等).在波前的邻域内,通过引进新的运动坐标系,获得了波在直角坐标下的运动方程.特别是定量地给出了刻划小幅波的组织中心沿轴向和径向运动的规律,并由此可判定波的组织中心何时沿径向呈现膨胀或收缩,何时沿轴向有正向或反向漂移.这一结果很好地与实验和数值模拟结果相吻合.此外,研究了耦合的俄勒冈振子,解决了Tyson于 1 979年提出的一个猜想 (即对耦合的俄勒冈振子,稳定的回声波可以和稳定的正定态共存),提出了一套解决类似问题的一般方法.     

具有强迫项的广义Lotka-Volterra竞争系统的正周期解(英文)

对于具有周期性强迫项的Lotka Volterra型种群竞争周期系统,我们证明了 :如果强迫项为负,则系统至少有两个正周期解     

一类不确定时延非线性大系统的分散控制

本文研究了一类具有关联延迟和系统参数不确定的非线性大系统的分散控制问题,系统的匹配/非匹配不确定参数范数有界。首先基于状态观测器设计时延独立的动态输出反馈控制律,并根据 稳定性理论推导并证明了在该控制律作用下系统稳定的充分条件。最后给出一个数值例子来说明本文结果的可行性,仿真结果表明设计出的控制器不仅使得闭环系统稳定而且保证系统不受参数不确定和时延的影响。     

非线性不确定系统的模糊自适应 输出反馈跟踪

本文研究了非仿射非线性系统的模糊自适应 输出反馈跟踪。在非仿射非线性模型存在不确定的情况下,使用模糊自适应控制器对系统进行控制,并基于Lyapunov稳定性定理得出自适应律。通过解一个代数Riccati方程实现了 跟踪性能。估计状态通过引入高增益观测器得到,实现了系统的输出反馈控制。最后,通过对一个数值例子的仿真验证了算法的有效性。     

加工中心刀柄系统

本文介绍了加工中心刀柄系统的一些知识即各种刀柄的类型、工作原理以及刀柄的选用。     

一类非线性发展方程的显式精确解

对文献[8]提出的基于Hopf—Cole变换和试探函数的方法进行了一些扩展,获得了一类非线性发展方程的大量显式精确解,其中包括行波解、孤波解和奇异行波解等显式精确解。     

一类离散系统的迭代学习控制算法

通过对一类离散系统的迭代学习控制问题的讨论提出了一种新的迭代学习控制算法,证明了新算法的收敛性。该算法与目前的算法具有完全不同的形式,可通过调节参数提高算法的收敛速度。     

一类二阶奇异脉冲微分方程的正解

本文考察了一类二阶奇异脉冲微分方程边值问题正解的存在性.将此问题转化为积分算子的正不动点问题,构造适当的有界闭凸集F,并利用格林函数的特点给出合适的条件,利用锥上的Monch不动点定理得出此边值问题具有正解的结论.     

四芘取代自由卟啉的三阶非线性光学性质研究

合成了一种芘取代的自由卟啉,配制了其浓度为10-4mol/L的三氯甲烷溶液.采用Z-扫描技术测试了该样品溶液在波长为1064 nm,脉宽为20 ps条件下的非线性光学特性.结果表明,与单体芘和卟啉相比,芘取代的自由卟啉在皮秒光强下既存在非线性折射,又存在非线性吸收.其中非线性吸收性质表现出双光子吸收,吸收系数为7.377×10-13 m/W.结果表明,该共轭体系在1064 nm的三阶非线性性质明显优于普通卟啉和芘的单体,这为开发和探索新型非线性光学材料及研究卟啉的功能提供一条新的参考途径.