一类用内积表达的函数凸性

本文研究用内积表达的某些函数,分析它们的凸性,其主要的结论如下:由一个实的半正定矩阵 An×n 及属于 n 维欧氏空间的向量 a,x 构成[x,Ax]+[a,x]+b(b 为常量)型关于向量 x 的一类内积函数,则此类函数为n 维欧氏空间上的凸函数。A,B 均为 n×n 阶实矩阵、a,x 均属于 n 维欧氏空间向量,那么由 Bx+a,A(Bx+a)构成关于 x 的内积函数,该函数在 n 维欧氏空间上凸的充分条件是 B为任意,A 为半正定的。     

关于第四类超Cartan域上的Bloch函数

给出了第四类超Cartan域上的Bloch函数的充分条件以及必要条件。     

船舶自动化电站系统仿真

应用系统建模技术和计算机系统仿真技术，在研究了某大型船舶电力系统的基础上，运用MATLAB软件，结合船舶柴油机发电机组和异步电动机的特性，完成了船舶自动化电站系统的建模。实现的船舶自动化电站仿真器系统特性与实际系统特性接近。该系统对船舶轮机员技术培训和船舶电力系统的故障分析具有很高的价值。     

一阶零点邻域反函数存在定理

证明了实变函数与解析函数在一阶零点邻域内反函数存在定理     

基于Microsoft Visio 2002构建仿真图形化建模环境

通过分析图形化建模系统的一般要求，提出了基于Microsoft Visio 2002进行仿真图形化建模系统开发的方案。讨论了基于Visio进行仿真图形化建模系统开发的几个主要问题，对于其中的难点给出具体的解决办法。实践证明，该方案是可行的，并且比传统开发方法具有一定优势。     

基于框图建模的表现模型研究

讨论了表现模型的概念和构成，以及它与可视化模型和仿真模型的关系。在此基础上，以交战级仿真应用为背景，设计和实现了基于框图建模方法的表现模块库。用户可以根据需要，通过选取相应的功能模块，订购相应的仿真模型数据，建立表现模块之间的输入输出关系，和设置表现模块的功能参数来快速构建三维表现模型。该表现模型将仿真模型和仿真表现分离，在仿真演示上具有灵活、通用的特点。     

倾斜导轨上二级倒立摆的控制

本文在已有的倾斜导轨上二级倒立摆数学模型的基础上,采用极点配置方法和线性二次型最优控制器对导轨倾斜45o时的二级倒立摆进行了控制,并用MATLAB进行了控制结果仿真,仿真结果表明,控制效果较好。     

周期摄动保守系统的存在性定理

本文利用全局反函数定理讨论了一类非线性边值问题解的存在性与唯一性.     

带有非局部源项的发展方程全局解的不存在性

通过试验函数法,本文讨论了具有形如‖u‖p或‖ Du‖p的非局部源项的发展方程全局解的不存在性.     

Lyapunov稳定性逆定理的另一种证明

Lyapunov方法是研究非线性控制问题的重要手段,而Lyapunov稳定性逆定理又是应用此方法的主要定理,但其证明却非常烦琐.利用直接取指数函数的方法,简化了Lyapunov稳定性逆定理中关键函数G的构造,给出了Lyapunov稳定性逆定理的另一种简单的证明方法.