一类高阶线性混合型方程的定解问题

本文讨论了一类高阶线性混合型方程,并且证明了两个边值问题解的存在唯一性。     

高阶半线性抛物-双曲型方程的定解问题

本文对高阶半线性抛物-双曲型方程(1)提出了两个定解问题.并且证明了其解的存在唯一性.在证明中。首先把方程(1)的右端函数f中的未知函数视为已知的,从而作为线性问题求出其形式解——微分-积分方程;其次,用这个微分-积分方程定义一个算子.从而应用Laray-shauder不动点定理证明这个算子存在唯一的不动点.     

高阶半线性混合型方程的定解问题

把高阶线性混合型方程的两个定解问题推广到高阶半线性混合型方程的两个相应的定解问题,利用Laray-Schauder不动点定理证明了解的存在唯一性.     

拟线性抛物型方程的第一边值问题

<正> §1问题的提出,关于拟线性抛物型方程的第一边值问题的解的存在定理,在[1—Ⅳ]中已被建立。本文的目的是在较弱的条件下用“切片法”建立问题(1)、(2)解的存在定理。     

三阶拟线性抛物-双曲型方程的定解问题

对三阶拟线性抛物-双曲型方程提出两个定解问题,并且证明了这两个定解问题解的存在唯一性。在证明过程中,首先把原来的定解问题用特征坐标表示出来,并用特征坐标把问题化为与之等价的微分-积分方程;其次,用这个微分-积分方程定义一个算子,并且证明了这个算子在一个小区域上存在唯一的不动点即解;最后,把这个解延拓到原来的求解区域。     

一只黑鹳得救了

去年七月中旬,新疆第五建设兵团十二连职工刘智乐从副连长张士成手中抱回一只奄奄一息的黑鹳(国家一级保护动物)。据张士成介绍,这只黑鹳在稻田觅食时,被不法之人下的夹子夹住了左腿,造成脱臼,鲜血淋沥,左爪严重受伤。刘智乐平时喜爱小动物,了解一些鸟类的生活规律,张副连长放心地把黑鹳交给了刘智乐。     

基于构件的多移动机器人软件系统设计

为了适应多机器人系统中机器人异构性和任务复杂性,本文提出了一个基于构件的多移动机器人软件体系结构。针对不同结构机器人和不同功能需求,集成合适的感知、执行机构、信息融合、通信、决策等构件组成不同的智能体,协作完成一个任务。构件用XML实现自我描述,可热插拔和在线配置。该体系结构具有很强的可复用性和伸缩性,成功应用于华南足球机器人系统,参加Robocup中型组足球比赛。