一阶差分方程解振动的充分必要条件

得到一阶差分方程：An 1－An＋m∑i=1piAn-ki i∑j=1qjAn-lj＝0解振动的充分必要条件，这里pi∈R，ki∈Z,qj∈R,ri∈{-1,0},i＝1，2，…，m；j＝1，2，…，l。这些结果包含并推广了相关文献的定理，而且更系统化。     

一类弹性梁方程三个正解的存在性

利用Williams-Leggett定理，得到了两端固定的弹性梁方程y′′′′（x）－f（y）（x）＝0，y（0）＝y（1）＝y′（0）＝y′（1）＝0三个正确的存在性结果。     

关于“长阵方程AXB＋CYD＝E的通解”的注记

文[1]利用矩阵的加逆给出了矩阵方程AXB＋CYD＝E解的相容性，唯一性及通解，本文指出，文[1]的结果可利用矩阵的减号逆写得更一般些，而且纠正了文[1]的几处错误。     

火箭助飞鱼雷的弹道研究

对火箭助飞鱼雷的空中运动、入水运动和水下运动进行了分析，建立了各自的运动方程，指出了各弹道段上主要的弹道特性，为火箭助飞鱼雷的设计和弹道设计提供依据。     

流动电势用于角加速度传感器的研究

分析和讨论了一种新型角加速度传感器的工作原理与设计方法。该传感器是根据流动电热效应，直接将角加速度信号转换为电信号输出的。和其它形式的角加速度传感器相比，它具有结构简单、成本低、可靠性好、稳定性高等特点。     

阻尼RLW方程的周期强解

中用Galerkin方法和先验估计证明了带有阻尼项的RLW方程周期边界问题周期强解的存在唯一性，并在较弱的光滑性条件下，得到了强解的光滑性。     

模式语义链元建模及其应用

大粒度的模型转换是模型驱动软件开发场景下的重要技术需求，仅通过定义通用模型转换语言不足以满足这一需求，其中一个原因是通用模型转换语言工作在特定建模语言的元模型层次而非一般设计意图层次上．文中提出一种模式语义链(PSL)元建模方法．通过重型扩展统一建模语言(UML)元模型以直接形式化描述可表达一般设计意图的模式，并应用UML动作语义和元模型继承实现模式自动生成及转换．该方法为实现一船设计意图层次上的大粒度模型转换提供了有效支持．     

非惯性系中变质量力学系统的变分原理及应用

利用附加惯性力的方法建立了非惯性系中变质量力学系统的Gauss变分原理,由此得到了非惯性系中变质量非完整系统运动方程的各种形式,最后提出了广义惯性力的广义非惯性势的概念并进一步给出上述方程的简化形式。