飞机空中加油问题的探讨

通过计算、综合、证明等步骤,得出飞机空中加油问题的递推公式,并以调和级数等相应的数学理论为基础来解决.通过对相关性质的分析,综合出一般的递推公式,最终通过编程得出结果.同时应用极限及无穷级数展开等相关理论求出极值.

求解非线性互补问题的一个不动点迭代法(英文)

建立了非线性互补问题与一类非光滑方程组的等价关系,基于这种等价性提出了求解非线性互补问题的一个不动点迭代方法.在适当的条件下证明了这一方法的收敛性定理.数值结果表明这一方法是有效的.

循环ALCN-Tbox的模型构造

从语法和语义的角度分析了描述逻辑ALCN的Tbox中循环定义理论框架的缺陷和困难,然后主要讨论了没有、、出现的,关系R的深度均为1的循环ALCN-Tbox的模型构造方法。