一类A(α)稳定的k阶线性k步法公式

本文给出了一类与Gear方法类似的κ阶线性κ步法隐式公式.作者还求出了公式的分数形式的系数,阶数和局部截断误差主项系数,并验证了2-6步公式都具有A(α)稳定的,计算出了它们的幅角α.最后用对比数值实验验证了公式确实是稳定的,并且适合于求解刚性常微分方程.     

一类显式的k阶线性k步法基本公式

本文给出了一类比Adams-Bashforth方法的局部截断误差主项系数小和绝对稳定区间大的显式k阶线性k步法基本公式.作者求出了公式的分数形式的精确系数,阶数和局部截断误差主项系数,给出了3-9步公式的绝对稳定区间,构造了由新公式的4阶显式公式和一个同阶隐式基本公式组合而成的特殊预估-校正方法,它的绝对稳定区间大于预估公式而且等于校正公式, 比著名的Adams-Bashforth-Moulton预估校正方法的绝对稳定区间大, 最后用数值试验对结果进行了验证,适合于求解常微分方程初值问题.     

一类隐式的k+1阶线性k步法

本文首先给出了一类比Adams-Moulton方法的绝对稳定区间大的隐式k+1阶线性k步法基本公式.求出了3-9步新公式的分数形式的精确系数,阶数,局部截断误差主项系数和绝对稳定区间,然后构造了由4阶隐式新公式和同阶显式Nyström公式组合而成的预估-校正方法,比著名的Adams-Bashforth-Moulton和Nyström-Adams-Moulton预估校正方法的绝对稳定区间大,最后用对比数值试验对结果进行了验证.     

一类A(α)稳定的κ阶线性κ步法公式

本文给出了一类与Gear方法类似的κ阶线性κ步法隐式公式.作者还求出了公式的分数形式的系数,阶数和局部截断误差主项系数,并验证了2-6步公式都具有A(α)稳定的,计算出了它们的幅角α.最后用对比数值实验验证了公式确实是稳定的,并且适合于求解刚性常微分方程.     

具有A(α)-稳定的Adams-Moulton公式类型

给出了含参数的3阶3步法的A(α)-稳定的Adams-Moulton类型公式族.同时求出了公式的精确分数形式的系数,阶数和局部截断误差主项系数,计算出了它们的幅角α,最后用对比数值实验验证了公式是稳定的,并且适合于求解刚性常微分方程.     

半群P_n(k)的正则性和Green关系

设P_n是X_n={1,…,n}上的部分变换半群.对任意1≤k≤n,令P_n(k)={α∈P_n:(x∈dom(α)x≤k■xα≤k},则易验证P_n(k)是P_n的子半群.刻画了半群P_n(k)的正则元的特征,并且描述了这个半群上的Green关系.     

基于复化梯形公式的NGM(1,1,k)模型背景值优化

针对经典NGM(1,1,k)在背景值的影响下模型精度(拟合精度与预测精度)不高这一现状,结合复化求积公式中的复化梯形公式,推导了一种新的背景值优化公式.通过7类测试数据和2类实际数据的验证表明:推导的NGM(1,1,k)背景值优化公式显著地提高了NGM(1,1,k)的模型精度和实用性.     

半群OI_n(k)的秩

设OI_n是[n]上的保序严格部分一一变换半群.对任意1≤k≤n-1,研究半群OI_n(k)={α∈OI_n:(■x∈dom(α))x≤k■xα≤k}的秩,证明了半群OI_n(k)的秩为n+1.     

半群O_n(k)的秩

设O_n是有限链[n]上的保序变换半群.对任意1≤k≤n-1,研究半群O_n(k)={α∈O_n:(x∈[n]x≤k→xα≤k}的秩和幂等元秩,证明了半群O_n(k)的秩为2n-3.进一步,得到了半群O_n(k)(2≤k≤n-1)的幂等元秩为n和半群O_n(1)的幂等元秩为n-1.     

多级单步多导数方法的(k,■,■)-代数稳定性

本文根据多值多导数方法的（k，α，β）-弱代数稳定性概念，引申出多级单步多导数方法的（k，α，β）-代数稳定性概念，并给出了该方法为（k，α，β）-代数稳定的若干判据．     

n人合作博弈中k人稳定联盟的存在性

本文在以Nash谈判解为分配准则的前提下,考虑—个n人合作博弈中核心不为空的k人稳定合作联盟的存在性.首先,考察了2人联盟的情形,给出稳定2人联盟的概念并进一步证明在n人合作博弈中必然存在一个稳定2人联盟.接着分析稳定k人联盟,并给出一个稳定k人联盟存在的充分条件.进一步地,设计了一个算法,寻找与存在稳定k人联盟等价的一个匹配.另外,本文还给出了—个K人联盟中所有局中人获得的收益高于其内部子联盟的充分条件.最后给出一个算例,验证本文理论和方法的可行性.     

关于RSA的k阶不动点

本文研究了RSA密码系统一个初步的动力分析.利用M(o)bius反转公式,我们给出了RSA密码系统的k阶不动点的数目公式,从而解决了文献[8,9]中的问题.     

自然数幂方和用二项系数表示的系数公式

得到了自然数幂方和由二项系数表示的系数a_i~(k)的公式,和由排列数表示的系数b_i~(k)的公式,证明了系数存在唯一性及系数间的若干重要性质,给出了计算系数的C-语言程序.     

一类预条件AOR迭代法的比较定理(英文)

本文研究了当线性方程组的系数矩阵是严格对角占优L-矩阵时带有预条件子P1→kα的预条件AOR迭代方法.利用矩阵分裂的相关理论,获得了预条件AOR迭代法的收敛性结论以及参数α和k对收敛速度影响的比较定理.结果表明当α和k取值较大时这类预条件方法更加有效.文中的结论推广了Li等人关于预条件Gauss-Seidel迭代法的相关结论.最后,用数值例子进一步验证了这些结果.     

关于含k圈标号图的计数问题

含k个圈的标号图的计数问题是一个未解决问题.迄今仅对于k=1,2被解决,可是,所得出的计数式均较复杂.本文改进了已得到的一系列公式,并且解决了K=3的上述计数问题.     

关于∞∑k=1f(k)xk-1计算的矩阵方法

本文将幂级数∞∑k=1f(k)xk-1的计算转化为求解矩阵方程Aβ=α,使计算非常简单和有效.     

渐近A稳定的线性多步法

本文主要结果为: 1.构造了一类k步k+1阶隐式线性多步公式,它们是渐近A稳定的。 2.构造了一类k步k阶隐式线性多步公式,它们是stiff稳定且是渐近A稳定的。 3.构造了一类k步k—1阶显式线性多步公式,它们是渐近A稳定的。k为任意正整数。     

关于超立方体网络的(d,k)独立数

(d,k)独立数是分析互连网络性能的一个重要参数.对于任意给定的图G和正整数d和k,确定G的(d,k)独立数问题是一个NPC问题.因此,确定一些特殊图的(d,k)独立数显得很重要.本文确定了k维超立方体网络的(d,k)独立数等于2,如果d=k≥4或者d=k-1≥6 以及αd,k-t(Qk)=αd,k(Qk),其中0≤t≤k-2,1≤d≤k-t-1.     

k个矩阵的核子空间的和的维数

利用齐次线性方程组的解的表达式及分块矩阵的一个秩等式,得出了k个矩阵的核子空间的和的维数的一个公式,它推广了维数公式.并给出了这个公式的几个应用.     

(G~(k+1)/G~k)展开法以及KdV方程的行波解（英文）

本文中,(G(k+1)/G(k))展开法被首次提出,其中k为非负整数,并且G=G(ξ)满足k+2阶常系数齐次线性微分方程(LODE),同时给出表达式(G(k+1)/G(k))的解析公式,并由此得到非线性发展方程的双曲函数解、有理函数解及三角函数周期解,最后给出一个利用(G(k+1)/G(k))展开法求解KdV方程的实例.