Java字节代码程序的部分计值

为了有效地构造一个Java部分计值器，并且形式化地描述计值规则，提出了Java字节代码程序的静态语义，在此基础上构造了一个online的Java部分计值器，为今后能够建立一个完善而且实用的计值器提供了基础。     

外力J(t)作用下一维谐振子的传播子计算

用路径积方法计算了外力J(t) =f0 t( f0 为常量 )作用下谐振子的传播子 ,并由此求得能量本征函数与本征值     

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

得到一阶差分方程：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方程周期边界问题周期强解的存在唯一性，并在较弱的光滑性条件下，得到了强解的光滑性。     

SQL多表外连接查询

介绍了外连接查询的意义、外连接查询的实现步骤和方法，着重指出：SQL对一父多子的多个表进行外连接查询时，要特别注意FROM子句中连接对象和连接条件的先后位置。当子表中符合连接条件的记录有多条时，不要在SQL—SELECT语句中用SUMO函数和GROUP BY子句实现分组汇总，应汇总后再连接。否则，会导致汇总数据的错误，并且执行时间也大大增加。需对结果中值为NUIL的字段进行数学运算时。要对其进行替换处理。