关于强增生型变分包含问题解的Mann型迭代法

研究P-一致光滑的实Banach空间（1〈P≤2）中一类强增生型变分包含问题解的Mann型迭代逼近问题．在仅假设强增生映象的连续性下，利用徐宗本教授等人（1991年）给出的对偶映象L的HSlder连续性，证明了具误差的Mann迭代法强收敛到这类变分包含的唯一解．     

非线性抛物型方程时间周期解的有限差分方法(英)

建立了一个用于求解非线性抛物型方程时间周期解的有限差分方法，在空间和时间方向上该方法分别具有四阶和两阶精度. 为了证明解的存在唯一性，建立了一个单调迭代算法，该算法也给出了一个求解算法. 同时讨论了数值解的收敛性. 数值结果显示了该方法的优越性.     

具有扩散的自助模型的有限差分解(英)

研究具有扩散的自助模型的有限差分解.首先建立一个单调迭代格式用于求解有限差分方程组;然后讨论非负解的存在唯一性,对不同的参数,证明方程组有四种不同类型的非负解,且这些非负解可以通过选择合适的初始迭代由迭代格式计算而得到;最后给出一些数值结果.     

我国商事登记程序立法现状及其制度缺陷

商事登记程序是整个商事登记制度的核心,从某种程度上讲,商事登记程序的好坏直接决定了商事登记制度的优劣。我国商事登记制度历经几十年的发展,虽然取得了一定的进步,但其现存问题也是不容忽视的,商事登记程序立法问题尤为突出。缺乏统一的商事登记程序立法、采用折中审查主义、前置审批设置繁多、适用三级审批机制、公示方法以公告为主,这些都是我国商事登记程序立法现状的具体表现。而登记依据及其程序不统一、公开性透明度较差、审查原则明显不当、登记行为的法律责任不明确等问题更是严重制约了商事登记程序应有作用的发挥,阻碍了商事登记制度设立目的的实现。     

用基于矩阵正常分裂的迭代法求解长方或奇异线性方程组

本文证明了对于长方或奇异的线性方程组Ax=b,可以基于系数阵A的适当的正常分裂A=M-N,构造收敛的迭代矩阵MT,S^（1,2） N,使得迭代xj＋1=MT,S^（1,2） Nxj＋MT,S^（1,2） b对任何x0均收敛到Ax=b的一个解x∞≡limxj j→∞=（I-MT,S^（1,2） N）-1MT,S^（1,2） b=AT,S^（1,2）b.     

全路径Logit交通分配模型的求解方法

分析了求解Logit模型的现有算法的不足,根据路网的连通特征提出了一种新的求解全路径Logit分配模型的迭代算法.给出了算法和Logit模型的等价性证明,并和经典的Dial算法进行了比较.     

连续时间Markov控制过程的平均代价最优鲁棒控制策略

在Markov性能势基础上 ,研究了一类转移速率不确定但受紧集约束的遍历连续时间Markov控制过程 (CTMCP)的鲁棒控制问题 .根据系统的遍历性 ,平均代价Poisson方程的解可被看作是性能势的一种定义 .在平均代价准则下 ,优化控制的目标是选择一个平稳策略使得系统在参数最坏取值下能获得最小无穷水平平均代价 ,据此论文给出了求解最优鲁棒控制策略的策略迭代 (PI)算法 ,并详细讨论了算法的收敛性 .     

完备凸度量空间中Ishikawa迭代序列强收敛到两个映射的公共不动点定理

在完备凸度量空间(X,ρ)中,设S、T是满足条件(A)或(B)的闭凸子集上的两个自映射,从两方面研究了映射S、T的公共不动点问题:1.如果映射S、T生成的Ishikawa迭代序列强收敛,则收敛点为S、T的公共不动点;2.如果S、T的公共不动点非空,则映射S、T生成的Ishikawa迭代序列强收敛到S、T的公共不动点.结论改善并推广了部分作者的相关结果[1~5],[7~8].     

用VB实现反求渐开线函数方程的根

为了解决在进行渐开线齿轮和渐开线花键计算时,由于反渐开线函数是一个超越方程,而无法求得其精确解的问题.采用数值分析中的牛顿迭代法求反渐开线函数的根,并给出了符合精度要求的解算反渐开线函数的简单公式(包括原始初值公式和近似值精化公式),具有迭代收敛速度快、简单易记的优点,它们适用于[0,π/2]的全区段,免除了分段计算的烦恼,并运用VB编写计算机程序,从而实现反渐开线函数快速求根的目的.     

舰载机出动离场调度优化算法

出动离场调度是舰载机起降作业中关键一环, 可抽象为NP(non-deterministic pdynoial)难问题的混合车间调度问题。首先，在传统数学规划模型基础上, 引入逻辑约束及间隔变量, 建立了约束规划模型。然后，通过调度分解技术构建多机调度转化为单机调度的启发式规则, 并提出了单机约束引导启发式搜索与约束规划二分法迭代算法, 给出了问题的求解流程。算例仿真表明, 约束规划可有效解决不同规模下的离场调度, 并快速收敛到阈值内; 在中小规模出动时, 所提算法效率比传统智能方法提升约2个数量级, 具有较强实时规划能力, 但随着实验规模增大算法收敛时间呈线性变化趋势, 而在本文研究范围内仍优于传统智能算法, 具有良好实用价值。最后，用起飞位数量对出动效率进行灵敏度分析, 发现C2起飞位对出动效能贡献最大。