热方程的边界能控性

研究热方程:u'=△u.通过构造对偶观察系统并利用对偶观察系统的边界能观性证明了只须在边界任意子域上施加控制即可实现整体近似能控与有限维精确能控.     

变系数耦合抛物方程边界能控性的必要条件

研究了非标量变系数线性抛物型方程的边界能控性.通过在边界处施加一个控制,建立具有相同时间依赖性系数的两方程系统的边界能控性的一个必要条件.并基于方程的可观测不等式,证明了该必要条件.     

具有无限时滞微分积分系统的能控性

应用抽象发展方程能控性方法研究了一类具有无限时滞的微分积分系统x'(t)=Ax(t) ∫t-∞E(t,s,x(s))ds u(t)的控制问题,证明了所讨论的微分积分系统的能控性.     

热方程的边界能控性

研究热方程：u‘=Δu．通过构造对偶观察系统并利用对偶观察系统的边界能观性证明了只须在边界任意子域上施加控制即可实现整体近似能控与有限维精确能控。     

时变区域上一维波动方程的精确能控性

文章主要研究时变区域上带有混合边界的一维波动方程的精确能控性,方程描述了一端固定,另一端移动的弦的运动,控制是加在移动端的。当对偶系统能量衰减时,通过Hilbert唯一性方法可建立原系统的精确能控性。     

一类热方程扰动系统的能控性

研究了一类热方程扰动系统的能控性问题.首先得到了系统的逼近能控性;然后采用变分方法对系统线性化,再结合解映射的性质,应用推广的隐函数定理,证明系统的局部零能控性;最后给出系统零能控的结论.     

基于Udwadia-Kalaba方法的全向移动机器人轨迹跟踪控制

针对三轮全向移动机器人的轨迹跟踪控制问题,文章提出一种基于Udwadia-Kalaba(U-K)方程的约束跟踪控制方法.根据牛顿力学构建无轨迹约束时的移动机器人动力学模型;基于U-K理论,将期望运动轨迹抽象为一种虚拟约束施加在系统上,并将该约束转化为Pfaffian标准形式,再通过U-K基本方程获得满足期望轨迹要求的控...     

一类二阶常微分方程的利普希茨控制问题研究

研究了一类由二阶常微分方程所支配的具有状态约束的控制问题.通过状态方程的外部函数来实现系统的控制.在适当的假设条件下,证明了状态方程解的存在惟一性,并证明了当控制函数在利普希茨连续函数类中时,最优控制的存在性.在光滑最优控制情形下,导出了一个最优化必要条件.     

《东北石大学报(自然科学版)》第39卷度1-4期2007年总目次

年龄相关的时变种群系统的边界能控性付军，陈任昭(1)1具有约束控制热方程系统的能控性李玲飞，高夯(1)7超线性条件下奇异二阶三点边值问题正解的存在性沈文国(1)13具有HollingⅢ型功能反应的捕食与被捕食收获模型的分支与极限环程荣福，李辉(1)17三维Minkowski空间中非类光曲线的从切可展曲面的奇点分类姜杨，裴东河(1)22一般化凸空间上变分不等式解的存存定理朴勇杰，金光植(1)28一类热方程扰动系统的能控性周中成，李玲飞，崔立芝，王东升(2)1具有连续分布时滞的非线性中立型双曲微分方程解的振动性朱刚，任洪善，俞元洪(2)6二阶离散周…     

一维耦合线性系统的零能控性

作者主要研究了一维耦合线性系统在波部分的边界的零能控性问题,证明了当时间T足够大时该系统是零能控的.该证明主要包括了波部分的逐点能量估计和热部分的Carle-man估计.     

一类稳态不可压非牛顿Boussinesq方程组解的存在唯一性

在三维光滑有界区域Ω中, 考虑一类稳态不可压非牛顿Boussinesq方程组的第一边值问题. 在外力项某一范数适当小的条件下, 用迭代方法证明当指数p∈(1,2)时方程组正则解的存在唯一性.     

一类稳态不可压非牛顿Boussinesq方程组解的存在唯一性

在三维光滑有界区域Ω中, 考虑一类稳态不可压非牛顿Boussinesq方程组的第一边值问题. 在外力项某一范数适当小的条件下, 用迭代方法证明当指数p∈(1,2)时方程组正则解的存在唯一性.     

非线性边界条件下反应扩散方程组全局吸引子的存在性

考虑在非线性边界条件下反应-扩散方程组解的渐近行为,当非线性项f,g满足一定的条件时,得到反应-扩散方程组存在有界吸收集.利用反应-扩散方程组解的正则性,证明了在强耗散和弱耗散条件下全局吸引子的存在性.     

二维有界区域内具Lions边值的magneto-micropolar系统解的存在性

在二维有界区域上研究u,h具Lions边值条件,m具齐次边值条件的magneto-micropolar方程,用Galerkin方法证明了其弱解和强解的存在唯一性.     

有界完全Domain及其相关性质

介绍了有界完全Domain的相关性质,用函数空间的研究方法证明了以ScottDS连续映射为态射,以有界完全Domain为对象的范畴的笛卡儿闭性;同时指出它是一个FS Domain,而FS Domain及其之间的ScottDS连续映射构成的范畴是笛卡儿闭的,从而有界完全Domain范畴BC Domain是FS Domain范畴的笛卡儿闭的满子范畴.     

一类部分观察随机系统的最优控制

对于由观察和控制二者的联合概率分布所组成的充许控制集,本文证明了:在关于状态方程的某些正则性,以及其他的一些凸性假设下,当观察系数与其一阶偏导数均为本性有界时,最优控制仍存在。     

功能反应函数为x~(0.5)的食饵-捕食系统的渐进性

研究了功能反应为 x 的食饵-捕食系统的渐进性.通过构造该系统的最终有界域和利用Lyapunov 函数方法,证明了在适当的条件下,该系统是持续生存的,并且若该系统为周期系统,则存在惟一渐进稳定的正周期解.     

Banach空间上有界线性算子的广义谱分析

在文献[1]的基础上,进一步在Banach空间上讨论了有界线性算子T的广义谱集σG(T),证明了当λ∈σR(T)∪σP(T)时R(Tλ)闭,则σG(T)即为经典谱分类中的T的连续谱集σC(T).     

函数空间［X→L］上若干拓扑之间的关系

作者讨论在函数空间上Isbell拓扑和Scott拓扑何时一致的问题,给出了以下主要定理:设L 是带有性质m的含最小元的连续domain,则函数空间[X→ L]上Scott拓扑与Isbell拓扑对于所有核紧空间X一致当且仅当连续domain L是有界完备domain.     

一维可压缩量子Navier Stokes方程组解的爆破

通过对加权动量进行估计, 在一维有界区域上证明当与初始动量有关的加权泛函充分大时, 可压缩量子Navier Stokes方程组的解将在有限时刻爆破. 结果表明, 当初始动量充分大时, 该方程组不存在这种整体时间解.