线性约束优化问题的一类变尺度方向的内点算法

基于内点算法思想，利用投影技术，给出了求解线性约束优化问题的一类变尺度方向内点算法．改善了算法的收敛速度．同时，在去掉目标函数的凸性及Ｌｉｐｓｃｈｉｔｚ性假设之下，同样给出了算法的收敛性定理     

一个修正的长步长投影尺度算法

对ｋａｒｍａｒｋａｒ形式的线性规划给出了一个带修正方向的投影内点算法，该内点算法具有下列性质：长步长迭代性、多项式时间复杂性和单调性．     

求解一类互补问题的不可行内点法与其计算复杂性

给出了求解一类非单调线性互补问题的不可行行内点法的基本步骤,证明了该算法的收敛性,讨论了算法的计算复杂性,给出了进求解单调性互补问题的不可行内点法的推广。     

运动估计算法及其DSP优化

介绍了运动图像编码过程中运动估计算法的基本原理，以及TI最新的数字媒体处理器TMS320DM642的片内存储器和EDMA结构，从提高存储器访问效率的角度，给出了运动估计算法的一个优化方案，并对Cache一致性问题进行了探讨。     

一个求解线性约束的非线性规划的变尺度方向广义投影内点算法

基于内点算法的思想，利用广义投影技术构造了一求解线性约束的非线性规划问题的变尺度方向内点算法，并给出了其收敛性证明。     

用主导极点定域设计法对二次型最优调节器讲行设计

基于主导极点定域设计法的基本原理，通过限制闭环主导极点在复平面左半面的双曲线域内，来选择二次型指标中的加权阵Q，并给出了ρ→∞时闭环系统极点与控制加权阵R选择的无关性。根据这一特点，给出了确定Riccati方程迭代法起始矩阵的方法，并以此为基础给出了二次型最优调节器的设计算法和计算机辅助设计的程序框图，为二次型最优调节器的设计提供了理论基础和算法依据。     

凸二次规划的不可行内点算法

给出了一个求解凸二次规划的不可行点内点算法，算法的初始迭代点为非负不可行内 ，证明了算法的全局收敛性。该算 法可以看作是Ｋｏｊｉｍａ算人关于线性规划算法的推广，也可以看作是Ｍｏｎｔｅｉｒｏ等人关于可行内点算法的推广。     

无解的模糊关系方程的最优近似解

对无解的模糊关系方程给出了最优近似解的定义，证明了最优近似解的存在性，给出了求最优近似解的算法。     

RDSA算法最优的随机方向

给出了RDSA算法的渐近正态性，讨论了在两个标准下此算法的最优的随机方向。     

基于某些常见蕴涵算子的反向三Ⅰ算法

讨论了FMP，FMT问题的反向三Ⅰ支持算法解的存在性和惟一性条件，分别给出了几个常见蕴涵算子的FMP问题与FMT问题的反向三I解的计算公式．进而将问题一般化，给出了FMP与FMT问题的α-反向三Ⅰ支持算法解的存在惟一性条件，并得到了基于这些蕴涵算子的α-反向三Ⅰ支持算法相应的计算公式．     

关于Gosper算法的一些注记

Gosper算法是求解有限和无限序列的封闭和问题计算机化的重要算法．我们给出了Gosper算法的两点补充：一是直接证明了Gosper恒等式和Gosper方程的等价性，并给出它的一些应用；二是利用多项式的基本性质，给出了它的一种简短证明．     

平面内任意一组简单多边形的可见性

给定平面内任意一组简单多边形,讨论其相对于平面内某点的可见性,对多边形可见边的分析,利用平面扫描技术,给出了求其可见边的算法。     

带有小波函数积分的外推加速算法

提出了小波函数和普通函数内积数值计算的外推加速算法，给出了外推加速算法的可行性保障定理。结果表明，表明此算法的收敛速度较好，得到的近似值的逼近效果较好。     

求解P~*(τ)阵线性互补问题的宽邻域路径跟踪算法

针对p*(τ)阵线性互补问题,提出一种新的内点算法—宽邻域路径跟踪算法.该算法基于精典线性规划路径跟踪算法思想,把宽邻域路径跟踪算法推广到p*(τ)阵非单调线性互补问题,给出算法的具体步骤,讨论算法的迭代复杂性,并给出数值实验.     

精化Arnoldi算法的截断版本

给出了精化Ａｒｎｏｌｄｉ算法的截断版本－精化不完全正交化方法，并分析了该算法敛性。分析结果表明：分析结果表明：如果不完全正交化过程得到的基向量线性无关性较强，则截断算法具有计算量，存储量少，且收敛快的优点。     

经济批量问题中上界常数的存在性定理和算法

给出了ＥＬＳＰ的一个有用的上界常数的存在性定理及证明，并以此为基础给出了一个求解ＥＬＳＰ的算法，还用例子表明：用这个算法可很快找到最优解。     

AHP中增加多组元素的强保序性条件

讨论了某些算法的完全协调性，并给出了这些算法在单一准则下增加多组元素的强保序性条件。     

关于主动数据库属性依赖及公理系统的研究

在主动数据库的理论与应用研究中，更新传播算法的应用，保证了系统在属性依赖方面的相容性。本文基于不变式方式和PATH路径公理系统，给出了一种更新传播算法，对该算法的正确性、可终止性进行了论证，并进行了时间复杂度分析。     

一个矩阵问世的判定算法

本为非负方阵不可约性和非周期性的判定给出了实现算法，作为非构造性的求解算法，这是个典型的例子。     

叠压缩型不动点迭代算法的收敛速度

本文给出了叠压缩型照不动点迭代算法的三种收敛速度，作为应用，给出了多元非线性方程解的存在性定理的一个推广。