关于常微分方程初值问题数值解误差的探讨

引用B样条插值函数讨论了一阶常微分方程初值问题的数值解 ,给出一个隐式近似求解公式 ,并得到此公式的局部截断误差为O(h5) ,整体截断误差为O(h4 ) .在此基础上又给出了一个校正显式求解公式 ,其局部截断误差为O(h4 ) .     

具有Neumann边界及临界Sobolev指数的半线性抛物方程

主要运用能量方法及稳定集和不稳定集的观点,研究一类半线性抛物方程的整体解和局部解的存在性及爆破问题.这里Ω是RN(N≥3)上的光滑有界区域,2 是临界Sobolev指数.     

拟线性双曲方程组带有一般形式的边值问题的整体经典解

证明了拟线性双曲方程组带有一般形式的边值问题的整体经典解的存在惟一性。     

拟线性双曲方程组带有一般形式的自由边值问题的整体经典解

证明了拟线性双曲方程组带有一般形式的自由边值问题的整体经典解的存在惟一性。     

一类基于非线性状态反馈的机器人操作手的鲁棒控制

考查了一类具有非匹配不确定性的非线性系统的全局稳定性及其在机器人鲁棒控制中的应用,针对机器人系统存在参数不确定性以及外界干扰的情况，利用非线性鲁棒控制理论给出了连续状态反馈控制器．考虑不确定性存在情况下跟踪误差的渐近收敛性．最后给出了两连杆刚性机器人的仿真例子，验证了其控制效果．     

单调线性互补问题的非精确不可行内点算法

对单调线性互补问题提出了一种非精确不可行内点算法．该算法的迭代方向仅需要达到一个相对的精度．在初始点位于中心线的某邻域内的假设下，证明了算法的全局收敛性．     

5S技术与测绘的结合

介绍了全球定位系统(GPS)、数字摄影测量系统(DPS)、遥感技术(RS)、地理信息系统(GIS)和专家系统(ES)5大现代技术(简称5S)的内容及特点，简述了5S技术的相互结合给遥感到给学科带来的技术革命及发展前景。     

集群系统的单一系统映像研究

提出了一种集群网络服务器单一系统映像的结构，即Glosim系统．该系统在操作系统内核层通过修改与IPC对象、进程信号相关的系统调用，提供全局系统映像服务，支持全局IPC对象，包括消息队列、信号量及共享内存，同时引入全局工作进程概念，透明地提供SSI服务，并与LVS和SIOS配合，实现了集群系统的高性能单一系统映像．     

具时滞的细胞神经网络的全局稳定性的新定理

提出了判定具有时滞的细胞神经网络渐近稳定性的一条新定理，可以证明，该定理的结论使得直到目前为止的所有全局渐近稳定性定理或推论均为其特例，并且证明简单，条件判定也较容易实现。     

半导体中的多维流体力学模型在球的外部区域上的整体光滑解的渐进行为

研究半导体中的多维流体力学模型在球的外部区域上的整体光滑的渐进行为，证明了其依指数形式收敛到稳态解的特性。