一类发展方程解的正则性与近似惯性流形

对一类发展方程证明了了其解的时间解析性与Ｇｅｖｒｅｙ正则性，并构造了该方程的一个近似惯性流形，它吸引方程的每一个解到其指数薄的邻域之内。     

多项式隐函数在一点邻域里的近似显式算法

利用隐函定理和Ｗｕ－Ｒｉｔｔ方法给出了多项式隐函数在一点邻域内的一种近似显式算法，并给出了根据要求精度计算邻域半径和迭代次数的关系式，使得这种算法的误差具有可控性，计算量小，容易上机实现，在理想的近似参数化及近似定理证明中有进一步的应用。     

二值神经网络的推理和矛盾分析

由节点和约束组成的约束满足网络(Constraint satisfaction networks,简称CSNs)能够描述许多问题,在AI中具有十分重要的地位.神经网络(Neural networks,简称NNs)能够被看作CSNs,而且被认为是适合于求解约束满足问题,因此NNs中必然有一个相应的逻辑理论.本文通过对比CSNs提出了弱推理理论和矛盾分析法,以研究二值神经网络的定性逻辑行为.文中用神经元(称为判决元)表示判决,连接表示判决元之间的柔性约束并执行     

无穷维最优控制系统的N阶近似

讨论一类用无穷维系统方程描述的最优控制问题，把它看作为Ｈｉｌｂｅｒｔ空间上求算子方程的最小均方解的问题．在无穷维算子近似理论的基础上，用无穷矩阵奇异值分解方法得到无穷维最优控制问题解的形式，并研究这个解的有限维近似形式，建立一个有限的Ｎ阶最优控制系统，使得它的控制律与无穷维系统的控制之间误差最小     

低温冷害气象预报专家系统的实现

低温冷害气象预报是气象预报人员经验、知识和推理思维的创造性应用。通过讨论低温冷害气象预报专家系统的结构、功能、推理机制、可信度计算方法以及气象知识表达和数据库技术 ,指出专家系统在气象领域有着广阔的应用前景     

广义强非线性拟变分不等式和拟补问题解的扰动算法

本文进一步研究了由第一作者引入和研究的一类广义强非线性拟变分不等式和拟补问题．在另一类假设条件下证明了解的存在性，提出了一类新的求近似解的迭代算法——扰动算法，证明了扰动近似解序列强收敛于精确解     

多锥结合壳流固耦合稳态动力响应分析

针对二维弹性波的反演问题，给出了一个同时重建三个弹性常数的层析成像方法，通过选择不同入射方向和偏振态的入射平面波，实现了三个参数的解耦，得到了相应的加权滤波反投影公式，并对一简单算例进行了数值反演模拟．     

不确定性在推理过程中传播的行为特征

在布尔算子模糊逻辑中，证明了前提的不确定性在推理过程向结论传播时，恒真水平呈递增趋势，而恒假水平保持不变的特性，从而在定性的意义上说明了随着推理过程的深入，结论的不确定性将会越来越分明，但其可靠性不可能有根本性的提高。     

像素点的邻域分形近似及其分形编码

提出了一种新的图像块的分形近似方法，该方法借助于像素点的邻近点以达到对图像块的最小均方分形近似．这实际上是寻找仿射变换Ｔ，使图像块各像素点的邻近点压缩到自身时，均方差最小．量化后的仿射变换Ｔ构成了图像块的分形块编码．对每一图像块，仅仅解二阶线性方程组．用该分形块编码对图像编码，可获得高压缩比且具有实时性     

非线性目标规划的近似规划法及其改进

首先简介了目标规划的原理和特点，非线性目标规划模型及其Ｐ＆Ｓ近似规划法，然后重点从转换实约束为最高级目标约束，把决策变量保留在达成向量函数中和引入偏差变量的偏差变量以及提出以逆积法为基础的多阶段算法等三个方面对非线性目标规划模型和近似规划法进行了有儿的改进