火箭绕流问题与解析函数边值问题

用解析函数边值问题，解决火箭尾翼剖面绕流的复势，复速度，升为及力矩等问题．     

EIS环境下的问题求解技术与方法的研究

研究了适用于ＥＩＳ环境下的问题求解技术和问题求解方法．提出了在传统的问题求解方法的基础上，通过增加控制和反馈机制以加强人在决策过程中的中心地位和主导作用，进而更有效地支持管理者的决策活动     

0／1背包问题的动态状态树的回溯算法

本文给出了一个以动态状态空间树为基础的０／１背包问题的回溯算法．动态树方法对求解线性规划问题等是非常有用的，该算法所用时间比静态状态空间树方法要少．文中给出的Ｓｐａｒｋｓ算法经用Ｃ语言写成程序上机验证，思路正确     

求解Neumann外问题有限元与边界积分方法的逼近分析

本文用有限元与边界积分方法，给出Neumann外问题的一种新的数值方法，获得了此法的变分方程并证明其适定性,导出逼近解的渐近误差估计．     

广义解析函数的RDR复合边值问题

研究了广义解析函数边界条件中含有斜微商的ＲＤＲ复合边值问题，并把它化为等价的向量形式的广义Ｒｉｅｍａｎｎ边值问题，给出了可解性条件     

两点边值问题的一种高精度差分方法

基于经典中心差分公式，诉诸差分余项反向修正，本文提出了一种求解两点边值问题的高精度差分方法。该方法仅涉及相邻网格点，具有四阶段精度。数值算例表明，本文格式较以往的格式具有更高的精度。     

广义特征值摄动问题的逐步逼近法

以子空间缩聚及正交分解为基础，根据实矩阵的奇异值分解定理，对广义特征值摄动问题，提出了一种能同时有效地处理孤立特征值、相重特征值及相近特征值三种不同情况的逐步逼近法．计算实例表明，该方法合理可靠、精度高     

IDA^＊算法的程序实现和实验分析

首行提出一些算法性能的新度量，然后在ＩＤＡ＾＊和Ａ＾＊算法程序实现的基础上，基于８数码和１５数码难题进行了实验分析，其结果有利于进一步从事搜索算法的研究。     

一类代数上的逻辑学（Ⅱ）

Ｚａｄｅｈ的复合命题演算方法（简称ＣＲＩ方法）虽然已被广泛采纳并在应用上取得了很大成功，然而ＣＲＩ方法至今尚未有严格的理论基础．本文在一类模糊公式代数Ｆ（Ｓ）上通过特殊的赋值方法为模糊取式（ＦｕｚｙＭｏｄｕｓＰｏｎｅｎｓ）与模糊拒取式（ＦｕｚｙＭｏｄｕｓＴｏｌｅｎｓ）建立了严格的逻辑基础．其中关于ＦＭＰ的一个结果不只是Ｚａｄｅｈ的ＣＲＩ方法相应结果的改进，而且也是首次把ＣＲＩ方法纳入了模糊逻辑的框架之中，沿此途径，进一步提出并研究了前提与结论之间的支持度与相似度的理论．     

新型大地坐标系中的大地主题解算

基于地球椭球面上所构建的新型大地坐标系，推导出用新大地纵横坐标表述的大地主题解算公式，并研制了相应的正反解算法．与基于大地经纬度的大地主题解算公式相比，更为简捷明了．由实际计算数据表明，在南北向最大跨距达400km、东西向则不受限制的范围内，对于50km以下的距离解算，它亦能达到相当高的精度．因此，这种以新大地坐标表述点位的新型大地坐标系，不仅可用于简化地球椭球面上的计算，更可用于三维GIS建模．