互补问题中Gauss-Newton方法全局收敛性的推广(英文)

研究了由Subramamian为求解互补问题提出的阻尼Gauss-Newton方法的收敛性质，在较弱的条件下，给出了一个全局收敛效果，这个结果是Subramanian PK (1993)和（1997）中相应结果的一个推广。     

对推理规则在非经典逻辑中失效的分析

论文认为强化前件规则对虚拟条件句确实足失效的，但传递原则、逆换原则和析取前件消去规则并没有像希尔皮南所说失效了。如果对同一性替换规则加上条件对一个命题的某个部分实施替换，要求所利用的同一性在该命题的模态下也成立，则同一性替换规则可以运用于模态语境。奎因对存在概括规则在模态语境中失效的分析并不完全准确。     

一种最短路径的演示算法

根据最短径问题的理论 ,编制了一个最短路径问题的演示算法 ,文中给出了合理的存储结构及主要算法 ,本算法与教材中的算法不同 ,更好地体现了迪杰斯特拉思想     

重大件货物装卸中船舶稳性的计算及调整

基于船舶静力学理论，推导了重大件货物装卸过程中船上重吊在任意位置时船舶稳心高度及横倾角的计算方法，分析了影响船舶稳性及横倾的基本要素，并给出了调整船舶横倾的具体方法，为船方掌握重大件货物作业中船舶稳性及横倾的变化规律并采取恰当的安全措施提供了理论依据。     

非结合环的交换性条件

研究了一些非结合环的交换性。利用这些环的任意元与该环中心的关系．给出了一些充分条件，使该环成为可交换的．     

常系数线性中立型微分方程周期解存在唯一的充要条件

本文利用Fourier级数讨论具有常系数的任意阶中立型泛函微分方程的周期解，除一种特殊情况外，我们得到了用有限代数方程组描述的周期解存在唯一性的充要条件，对这种特例，我们也得到了若干实用结果．     

利用二次贝齐尔函数的一维优化算法

本文利用贝齐尔函数良好的保型性质,将它作为拟合函数,构造了一个一维优化算法。数值实验表明,对于高度非线性的目标函数,新算法具有很强的适应性,比同类算法更有效。