二阶时滞微分方程三点边值问题的多重正解

 研究了一个二阶时滞微分方程的三点边值问题,给出了其至少有2个正解的充分条件.     

变速齿轮传动系统最佳轴向结构布局智能设计的推理机制

本文通过对变速齿轮传动系统轴向结构布局设计规律的研究,提出了一种适合于该类问题的知识表达方式,将改进后的带有启发函数的最佳优先搜索方法引入到该问题的求解中,使得含有多重搜索空间以及带有一定约束的设计问题统一在同一搜索策略下。根据本文提出的方法,用PROLOG语言建造的推理机,通过对实际问题的考证,证明该方法在解决传动结构自动设计上是行之有效的,并且在推理机制上成功地体现了设计过程中反复设计与优化设计的功能特征.     

CSDS法及其在磁悬浮支承优化设计中的应用

本文介绍了一种非线性规划问题的算法、——CSDS法,给出了其数学模型和在微机上运行的FORTRAN实用于程序,通过对磁悬浮支承定子最小重量的优化设计,说明了CSDS法是一种行之有效的优化设计算法。     

差分方程非振动的充要条件

本文运用拉普拉斯变换证明了一类常系数线性差分方程有最终无界正解当且仅当相应的齐线性差分方程的特征方程有正解。     

最优吸收截面的存在性

对被真空包围的无穷平行平板，运用勒贝格控制收敛定理和Ｃａｕｃｈｙ－Ｓｃｈｗａｒｔｙ不等式，给出稳态中子迁移系统最优吸收截面的存在性。     

下层为多目标的两人两层决策问题的模型及优化方法

本文针对上层为单目标,下层为多目标的两人两层决策问题,建立了它的数学模型和决策机制,然后将其转化为单层的非凸优化问题。采用外部逼近算法求解此非凸优化问题的全局最优解,这为两层决策问题提供了一种求解的途径,同时为该类问题的决策支持系统的研究是有意义的。     

半群方法在发汗控制问题中的应用

本文研究执防护发汗冷却控制中的自由边界解的存在性、唯一性，应用算子半群方法得出了解的存在性、唯一性，所用的方法对一般非线性、抛转型偏微分方程和高维情形也适用．     

卷积型积分微分方程解的渐近稳定性

研究了一类卷积型积分微分方程，利用李雅普诺夫方法，给出了判定n维系统中卷积型积分微分方程的零解一致渐近稳定性的定理以及其Volterra方程的零解渐近稳定性的定理，推广了已有的结果。     

常系数线性中立型微分方程周期解存在唯一的充要条件

本文利用Fourier级数讨论具有常系数的任意阶中立型泛函微分方程的周期解，除一种特殊情况外，我们得到了用有限代数方程组描述的周期解存在唯一性的充要条件，对这种特例，我们也得到了若干实用结果．     

加速度观测器设计与仿真

介绍了利用状态反馈综合带加速度反馈的最优控制系统，利用系统所检测的位置量和速度量设计了加速度观测器，并对综合的最优控制系统进行仿真，包括系统幅频、相频特性及状态估计值与真实状态之间的误差，最后给出了有、无加速度观测器反馈时系统跟踪晃动误差曲线。带加速度观测器反馈系统使晃动误差减小84％，滤除噪声的效果也比较好。