与算术几何平均不等式有关的几个问题

算术几何平均不等式是最基本的不等式.本文对该不等式进行了推广,给出了它的连续等价推广和可数等价推广.同时给出了它的一般形式.并且对它们之间的等价性给予了详细的证明.在本文的后半部分又给出了与该不等式有关的两个结果.为了叙述方便,本文借用了概率论中的几个概念.     

基于干扰观测器的移动机器人轨迹跟踪控制

针对移动机器人的轨迹跟踪问题,设计了基于干扰观测器的积分滑模控制器.考虑侧滑与干扰的影响,建立了移动机器人的运动学和动力学模型.基于终端滑模理论设计了自适应滑模干扰观测器,实现了对复合干扰的有限时间逼近.在此基础上设计了基于运动学模型的轨迹跟踪控制器,保证了位置跟踪误差的渐近收敛和角度误差的有界收敛.结合干扰观测器和积分滑模方法,设计了基于动力学模型的速度跟踪控制器.通过仿真验证了所设计控制算法的有效性.     

基于ARM9的嵌入式Linux系统分析与移植

结合S3C2440处理器和Mini2440实验平台,进行了嵌入式Linux的移植.实施了U-Boot 移植,解决了U-Boot中关于Nand-Flash启动问题.分析了Linux的内核结构,从而实现了内核移植.测试结果证明该方法是可行的.     

出口行业相对评价模型及应用

本文建立了出口行业评价的指标体系,讨论了DEA方法的应用步骤.并运用DEA方法建立了一个出口行业相对评价模型.运用实际工作中取得了较好的结论.最后指出了该模型进一步发展的方向.     

基于图象分割子集法的人工神经网络在两相流层析成象仿真中的应用研究

提出了基于图象分割子集的神经网络对管道内两相流进行电容层析成象的方法.解决了神经网络的输出单元数与重建图象精度之间的矛盾.研究了成象的分割网络模型及其实现步骤.给出了系统误差E和图象仿真结果.结果表明该方法能够更精确和快速地重建出两相流体的断层图象.     

特征描述子在目标伪装效果评价中的应用

为了实现目标伪装效果评价的客观化和定量化,基于表征人眼视觉注意机制的特征描述子建立了特征相似度模型.人眼视觉注意机制模型量化了视觉注意焦点的转移过程.基于特征尺度值,提取了注意焦点的特征描述子.建立了基于特征描述子的特征相似度模型,实现了目标与背景在亮度、颜色和空间分布等方面融合程度的定量评价.拟合了特征相似度与目标发现概率的关系式.实际应用结果表明,该模型具有可操作性强、量化准确等优点.     

稳定自由维数

引入了环和模的稳定自由维数.得到了稳定自由维数≤l的环的一些结构性质.利用环的稳定自由维数对环进行了分类.此外,还讨论了换环下的稳定自由维数.     

钢梁CAD绘图系统

基于Auto CAD平台.利用Ant LISP语言,进行了钢梁CAD绘图系统设计.介绍了系统设计方案及系统的特点.     

一类变分包含组解的强收敛定理

研究了Banach空间中一类变分包含组解问题.构造了一类非扩张映射,并讨论了它们的性质.把变分包含组问题转化为映射不动点问题.利用定义的非扩张映射,引入新的迭代算法.研究了由迭代算法生成的序列的收敛性,得到这类变分包含组问题解的强收敛定理.     

毛蕨属三种植物配子体发育的比较观察

首次记录了金星蕨科Thelypteridaceae毛蕨属Cyclosorus Link.具代表性的3个种,即毛蕨Cyclosorus interruptus (Will.) H. Ito、顶育毛蕨C. terminana (Hook.) Ching和缩羽毛蕨C. abbreviatus Ching et shing ex shing et. J. F. Cheng的配子体发育全过程,附特征性结构照片65幅.为毛蕨属的研究积累了配子体发育方面的详实资料,并据此讨论了相关类群的分类地位和系统关系.     

函数概念及函数公理

本文提出了函数关系的上定义域(Codomain)的概念,并详细论述了这一概念在函数定义中的作用。文中还提出了函数公理,同时证明了我们给出的改善了的函数定义符合函数公理。     

PC空间上泛函微分方程解的存在唯一性及应用

研究某类不连续初始函数空间上有限时滞泛函微分方程解的存在唯一性，并应用它来讨论脉冲泛函数微分方程的某些局部理论。     

基于Monad的非确定性进程网描述方法

非确定性进程网是纯函数式操作系统中的一个重要的问题，但是纯函数式语言缺乏处理非确定性的功能，本文给出了一个非确定性Monad，用此Monad在纯函数式语言中描述了非确定性进程网．     

组合电路中延迟故障的功能测试生成

提出一种用于测试组合电路中延迟故障的新功能邦联模型,讨论该模型的功能测试生成。实验表明,这种功能测试集具有实现低路径延迟故障覆盖范围的功能。     

函数式语言中的数组更新(I)

为了能够较好地处理函数式程序设计语言中的I／O问题，通过采用Monad方法将I／O加入到函数式程序设计语言中，来保持函数式程序设计语言的优点。本文探讨了在函数式I／O系统中数组操作的问题和数组更新的指称语义。     

有限维赋拟范线性空间中向量函数的导数

本文研究了在有限维赋拟范线性空间上连续线性泛函的存在性和该空间中向量函数的导数。     

中立型泛函微分方程的概周期解的存在性

利用李雅普诺夫泛函研究中立型泛函微分方程的概周期解的存在性，其中李雅若夫泛函不是正定的。另外，批们批是出，如果李 雅普诺夫泛函是正定的，则有界解的存在性便是一种附带结果。我们这里所得结果改进了Ｊ．Ｋ．Ｈａｌｅ、Ｔ．Ｙｏｓｈｉｚａｗａ和Ｙ．Ｒｏｎｇ中的结果。     

泛函微分方程概周期解的存在性和唯一性

概周期理论是微分方程理论的一个重要分支.综合利用Lyapunov泛函的方法及泛函分析的方法,研究了具有有限时滞泛函微分方程概周期解的存在性、唯一性问题.当方程右端泛函满足局部Lipschitz条件时,证明了方程渐近概周期解的存在性,得到了便于应用的概周期解的存在性、唯一性判据和相应的模包含关系.     

关于含有未知输入的广义时滞系统的函数观测器设计(英文)

针对含有不确定输入的广义时滞系统,研究输出函数观测器的设计方法。首先给出系统存在输出函数观测器的充分条件,其次通过线性矩阵不等式的方法求解观测器的各个参数,最后得出输出函数观测器设计的具体步骤。两个数值例子可以说明该方法的简单、有效性。     

平稳河道水波模型的最优控制

研究平稳静态河道水波模型的最优控制问题.应用分布式参数系统最优控制理论和相关的泛函Sobolve空间知识,选择轨迹型的性能指标和特殊的Banach空间,证明平稳模型方程在Dirichlet边界条件下最优解的存在性.通过引入Lagrangian乘子将等式约束和轨迹型性能指标转化为Lagrangian项和罚函数项,并用非线性泛函中的Frechet导数和变分不等式研究了最优解存在的一阶必要和二阶充分最优条件.此条件是研究浅水波模型最优控制可计算性理论和实际应用的基础.