简介：本文研究了无完美服务无等待的M/G/1排队系统的指数稳定性.首先运用预解正算子理论,证得该系统主算子和系统算子均为预解正算子.然后对主算子的谱界进行估值,并得到主算子的谱界与各修复率平均值的最小值互为相反数这一结论.进而利用共尾理论证明主算子谱界等于其增长界.最后,通过分析系统算子的谱分布,得到了系统的指数稳定性.

简介：若图G的一个匹配M也是G的点导出子图，则称M是图G的一个导出匹配．我们称图G是导出匹配可扩的，若它的任何一个导出匹配可以扩充成一个完美匹配．本文我们讨论无爪图的导出匹配可扩性，得出如下结论，并同时指出这些结果是最好可能的．设图G是有2n个顶点的无爪图，1．若图G是最小度大于或等于2[n/2]+1，则图G是导出匹配可扩的．2．若图G是局部2连通的，则图G是导出匹配可扩的．3．若图G是k正则的k≥n，则图G是导出匹配可扩的．

简介：《义务教育数学课程标准（2011）》在其总体目标阐述中写道：“获得适应未来社会生活和进一步发展所必需的重要数学知识（包括数学事实、数学活动经验）以及基本的数学思想方法和必要的应用技能.”在这一目标的阐述中数学知识不仅包括客观的、事实性的知识,还包括学习过程中产生的带有鲜明个体认知特征的、属于个人的数学活动经验.教学中关注数学活动经验,是课程标准的要求,也是提高数学课堂教学有效性的策略.

简介：H_1,H_2,H_3是实希尔伯特空间,CH_1,QH_2是两个非空闭凸子集,AH_1→H_3,B：H_2→H_3是两个有界线性算子.我们的兴趣是解决下面的问题：找x∈C,y∈Q使得Ax=By.Moudafi提出了同步迭代算法（SIM）来解决分裂等式问题.为了利用同步迭代算法（SIM）,在计算步长时需要知道有界线性算子的范数,这个范数的数值计算中难以实现.本文的主要目的是介绍一种选择步长的方式使得同步迭代算法的完成不需要任何算子的范数.同时,松弛的同步迭代算法也被提出.最后,论文通过数值试验得出这种步长的选择方法使得并行迭代算法收敛更快.

简介：Kühn和Osthus证明了对每个正整数l,都存在一个整数k(l)≤216l2,使得每个k(l)-连通图G的顶点集都可以划分成两个子集S,T满足G[S],G[T]都是l-连通的,且S中的每个点在T中都有l个邻点.本文主要考虑无三圈图的划分问题,主要关注连通度k(l)的上界.通过证明每个平均度至少为8l/3的无三圈图都存在一个l-连图子图,我们证明了对无三圈图,k(l)≤216·3-3l2.

简介：一个图G的无圈边染色是一个止常的边染色使得其不产生双色圈．Alon，Sudakov和Zaks（2001）猜想：每一个简单图G是无到（△（G）＋2）-边可染的，其中△（G）是G的最大度．本文对2-外平面图族证明了该猜想成立．

简介：广义有限差分法是一种新型的无网格数值离散方法.该方法基于多元函数泰勒级数展开和加权最小二乘拟合,将控制方程中未知参量的各阶偏导数表示为相邻节点函数值的线性组合,克服了传统有限元等基于网格的方法对网格的依赖性.本文以三维位势问题为例,引入一种新的优化选点技术,克服了传统广义有限差分法在模拟三维复杂几何域问题时遇到的＂病态选点问题＂,极大地提高了该方法的计算精度与数值稳定性.

简介：给出了半无爪图（quasi-elaw-freegraph）点泛圈性方面的两个结果，作为推论，可得到D.Oberly，D．Sumner，L．Clark等人的相关结果。

简介：主要考虑移动目标的小样本定位概率方法。给定侦查机的经纬度和飞行高度随时间的变化序列、到达角信息(到达方向角/到达俯仰角)的条件下,利用雷达通信过程空间球面地面几何关系和等概率曲线理论,研究无源定位侦查目标的经纬度和高度随时间变化的关系,同时给出了算法定位误差的计算方法。由于传统平坦地面无源定位算法没有考虑地球表面的曲率,本文给出的无源定位算法充分考虑了地面曲率对定位精度的影响。理论证明,传统的无源定位算法是本文算法的一阶近似。仿真实验验证了所提算法的正确性和有效性,同时表明本文算法比传统定位算法精度高。

简介：本文对有向和无向deBruijn图上的随机游动进行了研究,得出了有向deBruijn图上简单随机游动任意两点之间平均击中时间的显式表达式,并证明了有向和无向deBruijn图上随机游动的快速收敛性.

简介：研究图的邻接矩阵的行列式主要是为了研究图的零特征值的重数，而零特征值的重数在化学分子结构图的稳定性问题中有广泛的应用．本文给出了单圈图及无交双圈图的邻接矩阵的行列式分类．

简介：在给出了可靠性生存寿命分析几类重要随机截尾分布函数的基础上，讨论了寿命分布函数参数的最佳有效无偏估计，为解决可靠性生存寿命分析以及通讯工程和电力负载预测中的最佳无偏误差估计问题提供了令人满意的可靠依据和有效算法．

简介：设G是一个阶数大于等于4的简单连通图．代4（G）和d4（G）分别表示G的第四大无符号拉普拉斯特征值和第四大度．本文证明了K4（G）≥d4（G）一2．

简介：首先通过讨论具有可选服务和无等待空间的M/G/1排队模型的主算子生成的C0-半群的本质增长界指出0是该主算子的一级极点,然后运用残数定理证明该模型的时间依赖解指数收敛于其稳态解.