一种内向量选取下求解常微分方程组初值问题二步混合方法的代数稳定性

同一混合方法，在内向量的不同选取下，定义了不同的一般线性方法，因而它的代数稳定性是与内向量选取有关的。本文在把外向量定义成与函数ｆ（ｙ）有关的向量情况下，讨论了二步混合方法的代数稳定性，证明了任一二步四阶零稳定混合方法都不是代数稳定的。最后，作为例子，讨论了一步方法中的几个特殊方法。     

解常微分方程组初值问题一步混合方法的代数稳定性

本文在各种合理的内向量不同选取下，讨论了一步混合方法的代数稳定性，导出了一步混合方法代数稳定的充要条件。据此，得到了一系列结论。最后，给出了若干一步二阶、三阶代数稳定的混合方法公式。     

一类求解stiff 常微分方程组非线性显式及隐式单步法

本文构造了一类适于求解stiff 和振荡问题具A-稳定的非线性显式单步法及L-稳定的隐式单步法.这些方法与一些文献的同阶方法相比,具有相同的数值稳定性和较少的计算量.本文构造的L-稳定的数值积分公式对于特征值接近或位于虚轴的stiff 问题也是有效的.文末的数值例子表明,本文所构造的方法对某些类型的stiff 问题是有效的.     

对d''Alembert 型函数方程组的研究

将d’Alembert型函数方f(xy) f(xy^-1)=f(x)g(y) h(y）在满足条件f(xyz)=f(xzy)下的一般解推广到在群上d’A1embert型函数方程组的情形，证明了求解定理并确定出一般解．主要方法是引入新函数，把函数方程组分解成独立的已解决的上述方程的形式进行求解，同时还使用新的符号，把多重解组直接地表示出来．     

常微分方程初值问题解的存在唯一性

利用卷积逼近和Bihari不等式等工具, 在函数f(t,y)满足关于y连续、 弱单调、 具有一般增长, f(t,0)在［0,T］上绝对可积且T<+∞或T=+∞的条件下, 证明了常微分方程初值问题解的存在唯一性.     

用ω-Turing机计算实数函数

实数的可计算函数是一个非常重要的概念,定义可计算实数函数有两个途径,第一个途径是先定义可计算实数的指标.一个可计算实数的指标是一个计算该实数的Turing机的Godel数.一个定义在全体可计算实数上的函数y=f(x)是可计算的,当且仅当存在一个在全体可计算实数的指标上的(部分)递归函数将x的指标对应到y的指标,这样对实数函数的研究依赖于自然函数的性质.第二个定义可计算实数的途径是基于逼近.一个实数函数是可计算的,当且仅当它既是序列可计算的也是有效地一致连续的,这个条件太强使得很多非常有用的实数函数不能成为可计算函数.根据这个定义"<"和"="都是不可计算的,因为它们的特征函数是不连续的.在这篇文章里我们讨论ω-Turing机的稳定性并且定义了在一个有限字母表的全体无限序列上的ω-可计算函数,我们也证明了ω-可计算函数的复合函数也是ω-可计算的.我们的定义没有用到Godel数或者递归函数.根据我们的定义很多常用函数特别是一些有用的不连续函数是ω-可计算函数.一个函数是否ω-可计算的验证较为容易,根据我们的定义普通Turing机的停机命题是ω-可计算的.     

多目标博弈加权纳什平衡点集的通用稳定性

在多目标博弈加权纳什平衡理论基础下，讨论多目标博弈在向量值支付函数伪连续条件下加权纳什平衡点的存在性结果；构建伪连续向量值支付函数的博弈空间，给出加权纳什平衡点的定义，同时定义多目标博弈的集值映射，并证明集值映射是非空的、凸的、usco映射；应用Fan-Glicksberg不动点定理、Fort定理以及本质平衡点的定义，讨论权向量和支付函数及策略集三者同时扰动下加权纳什平衡点的通有稳定性情况，得出在Baire分类意义下，构造的问题是本质的，也即是多目标博弈的加权纳什平衡点具有通有稳定性。     

一类不确定离散系统的混杂状态反馈二次稳定保成本控制

针对一类不确定离散系统,对二次稳定保成本控制问题进行了研究.假设存在有限个备选的控制增益已知的控制器,利用公共Lyapunov函数技术,得到了在任意切换下混杂状态反馈二次稳定保成本控制的充分条件.基于单Lyapunov函数的方法,通过在这有限个控制器之间切换给出了混杂状态反馈二次稳定保成本控制的充分条件及切换律的设计方案.最后用仿真验证了这一方法的有效性.     

上图像拓扑下向量优化问题弱有效解的通有稳定性

用函数的上图象之间的Hausdorff距离定义向量值函数间的距离，在此弱拓扑下研究了定义在紧距离空间上的一类具有普遍意义的n维向量值函数弱有效解的稳定性，指出在Baire分类意义下，大多数这类向量值函数的弱有效解是稳定的，且任一n维向量值函数都可以用所谓的本质函数来逼近。     

解常微分方程的稳定的显式单步法

应用函数P(x)=1A+Bx+C来近似初值问题dydx=f(x,y),y(x0)=y烅烄烆0的解,应用积分,得到了一个0烆0求解微分方程的一个新方法,它是求解常微分方程的一个显式方法,是一个单步法,最重要的是它dydx=λy,y(0)=y0,(λ<0)是稳定的,数值试验表明该方法简单有效。