学科分类
/ 1
13 个结果
  • 简介:本文研究了无完美服务等待的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是导出匹配可扩的.

  • 标签: 无爪图 导出匹配可扩性 顶点 局部2连通图 完美匹配
  • 简介: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),在计算步长时需要知道有界线性算子的范数,这个范数的数值计算中难以实现.本文的主要目的是介绍一种选择步长的方式使得同步迭代算法的完成不需要任何算子的范数.同时,松弛的同步迭代算法也被提出.最后,论文通过数值试验得出这种步长的选择方法使得并行迭代算法收敛更快.

  • 标签: 分裂等式问题 同步迭代算法 步长 firmly非扩张
  • 简介: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-外平面图族证明了该猜想成立.

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

  • 标签: 无网格法 广义有限差分法 三维位势问题 优化选点
  • 简介:给出了半爪图(quasi-elaw-freegraph)点泛圈性方面的两个结果,作为推论,可得到D.Oberly,D.Sumner,L.Clark等人的相关结果。

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

  • 标签: 小样本 单侦查站 三维无源定位 球面地面 移动目标侦查
  • 简介:本文对有向和向deBruijn图上的随机游动进行了研究,得出了有向deBruijn图上简单随机游动任意两点之间平均击中时间的显式表达式,并证明了有向和向deBruijn图上随机游动的快速收敛性.

  • 标签: 随机游动 平均击中时间 快速收敛
  • 简介:研究图的邻接矩阵的行列式主要是为了研究图的零特征值的重数,而零特征值的重数在化学分子结构图的稳定性问题中有广泛的应用.本文给出了单圈图及交双圈图的邻接矩阵的行列式分类.

  • 标签: 单圈图 无交双圈图 完美匹配 邻接矩阵 行列式
  • 简介:设G是一个阶数大于等于4的简单连通图.代4(G)和d4(G)分别表示G的第四大符号拉普拉斯特征值和第四大度.本文证明了K4(G)≥d4(G)一2.

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

  • 标签: 时间依赖解 C0-半群 投影算子 本质增长界