着色理论论文-高卫斌,党锐锐,杨李杰

着色理论论文-高卫斌,党锐锐,杨李杰

导读:本文包含了着色理论论文开题报告文献综述及选题提纲参考文献,主要关键词:图着色理论,阵列校正,平面相控阵,幅度相位误差

着色理论论文文献综述

高卫斌,党锐锐,杨李杰[1](2019)在《基于图着色理论的阵列天线校正方法》一文中研究指出由于受环境变化影响,大规模平面相控阵天线收发通道的幅相一致性会发生偏移,常常需要标校才能保证其正常工作,但目前阵列天线收发通道数量较多,校正过程复杂,而且费时费力。基于图着色理论提出一种阵列天线快速校正方法,将校正时隙分配转化为图论中的着色问题,通过最小化时隙着色提高每个校正时隙的复用率,以降低阵列通道校准次数,达到缩短全阵列校正时间目的。仿真表明,对正六边形、正方形和正叁角形平面阵列,分别最多仅需要8个、9个和16个时隙就可完成全阵列校正。(本文来源于《遥测遥控》期刊2019年03期)

李昕怡,苏振华[2](2018)在《基于边着色理论的排课问题的应用》一文中研究指出高校排课问题是数学和计算机领域的一个经典问题.本文在教师、班级、时间段叁者的约束限制下,利用图论中边着色理论进行算法设计,从而得到一种简单实用的高校排课系统的可行实施方案.(本文来源于《怀化学院学报》期刊2018年05期)

马瑞洁[3](2018)在《基于着色Petri网的安全协议形式化分析理论与技术研究》一文中研究指出随着无线传感网领域和工业控制领域的不断发展,网络空间中的新兴领域不断产生,网络通信机制也日益复杂。安全协议作为保障各类新兴领域数据与服务资源的关键技术之一,近年来得到普遍关注。安全协议数量的激增,协议运行环境的差异,协议复杂度的提高,与设计分析人员主观联系密切等特点,导致安全协议的设计与分析成为极具挑战性的课题。安全协议的形式化分析方法近年来取得了巨大进步,在模态逻辑、定理证明以及模型检测等几大分支都具有颇具影响力的代表方法。与之相对应,基于计算模型的计算复杂性方法也在同步发展。该方法具有严谨的数学理论作为支撑,使用结构复杂,对研究人员要求极高;此外,由于研究人员对协议的不同理解,在分析同种协议时,可能得到不同结果。与计算复杂性方法相比,基于符号模型的形式化分析方法由于自身的符号性和离散性,具有更简单清晰的结构,在与分布式计算机工程领域相结合方面,具备天生优势。并且,随着业界安全协议数量的规模化,协议的自动化分析势必成为协议安全性分析领域的重要趋势。着色Petri网作为分布式异步并发系统分析中的最重要工具之一,具有二元性、图形化以及代数表示性的特点,既有清晰的结构又有严谨的数学基础;着色Petri网的辅助建模工具同时集成了自动化状态空间分析的功能,通过补充修改,即可用于分析安全协议。本文正是利用其在分布式系统建模领域的优势,结合时态逻辑语句的状态空间判决以及Dolev-Yao模型下的协议运行环境,提出一种基于着色Petri网的安全协议分析方法。该方法从攻击者模型构造出发,引入消息推理规则,形成了Dolev-Yao模型下使用着色Petri网建模分析协议安全性的理论。最后,本文以CPN Tools形式化建模工具为基础,结合上述理论方法,实现了一套基于着色Petri网的安全协议分析原型系统。通过与业界主流安全协议自动化分析工具AVISPA的对比,结果表明,本文所提方法具有较强的可行性;并且攻击者能力模型扩展后,能够用于分析多数安全协议。(本文来源于《西安电子科技大学》期刊2018-04-01)

朱国晖,杨晶晶,郭嘉,苏珂嫄,刘涛[4](2018)在《基于图着色理论的全双工D2D分簇资源分配方案》一文中研究指出全双工通信允许用户同时同频收发信号,将其应用在D2D(device-to-device)通信中虽然可以提高系统吞吐量,但是也带来了更加复杂的干扰关系。为了降低干扰,提升系统吞吐量,提出了以簇为单位的资源分配方案。方案首先引入图着色理论为全双工D2D用户进行合理的分簇,采用匈牙利算法进行链路资源的分配,从而优化蜂窝系统的性能。仿真结果表明,方案在提高频谱利用率的同时提升了整个蜂窝网络的系统容量。(本文来源于《计算机应用研究》期刊2018年11期)

许进[5](2016)在《极大平面图的结构与着色理论 (3)纯树着色与唯一4-色极大平面图猜想》一文中研究指出一个极大平面图若是从K_4出发,不断地在叁角面上嵌入3度顶点得到的,则称此极大平面图为递归极大平面图。唯一4-色极大平面图猜想是指:一个平面图是唯一4-可着色的当且仅当它是递归极大平面图。此猜想已有43年历史,是图着色理论中继四色猜想之后另一个着名的未解猜想。为此,该文相继深入研究了哑铃极大平面图与递归极大平面图的结构与特性,结合该系列文章(2)的扩缩运算,给出了证明唯一4-色极大平面图猜想的一种思路。(本文来源于《电子与信息学报》期刊2016年06期)

许进[6](2016)在《极大平面图的结构与着色理论 (2)多米诺构形与扩缩运算》一文中研究指出业已证明四色猜想的数学证明可归结为刻画4-色漏斗型伪唯一4-色极大平面图的特征。为刻画此类极大平面图的结构特征,本文提出一种构造极大平面图的方法——扩缩运算。研究发现:此方法的关键问题是需要清楚一种构形,称为多米诺构形。文中构造性地给出了多米诺构形的充要条件;在此基础上提出并建立了一个图的祖先图与子孙图理论与构造方法。特别证明了:任一最小度≥4的n(≥9)-阶极大平面图必含(n-2)-阶或(n-3)-阶祖先图;给出极大平面图的递推构造法,并用此方法构造出6~12-阶所有最小度≥4的极大平面图。扩缩运算是本系列文章的基石。(本文来源于《电子与信息学报》期刊2016年06期)

段瑞杰,姚富强,李永贵,牛英滔,齐扬阳[7](2016)在《基于图着色理论的短波无线接入网动态频谱分配方法》一文中研究指出针对现有短波无线接入网频谱分配采用固定式分配方法,难以满足使用智能跳频技术新要求的问题,分析智能跳频短波无线接入网的频谱需求,将短波无线接入网用户频谱分配问题转化为基于图着色理论的短波无线接入网动态频谱分配模型,并提出可用于智能跳频短波无线接入网的动态频谱分配算法。将使用此算法的智能跳频与使用固定式频谱分配方法的定频通信相比,仿真结果表明,该算法明显提高了短波无线接入网的子网可通性及网络吞吐量,并能降低互扰率,有效支撑智能跳频技术在短波无线接入网中的应用,同时快速、高效、准确地完成对可用频谱的分配。(本文来源于《计算机工程》期刊2016年04期)

许进[8](2016)在《极大平面图的结构与着色理论 (1)色多项式递推公式与四色猜想》一文中研究指出该文给出了极大平面图G的色多项式递推计算公式:若d(G)=4,Wv4是G中轮心为v,轮圈为v1 v 2v 3v 4v 1的4-轮,则f(G,4)=f(G1,4)+f(G2,4),其中G1=(G-v)?{v1,v3},G 2=(G-v)?{v2,v4};若d(G)=5,Wv5是G中v为轮心,以v1 v 2v 3v 4v 5v 1为轮圈的5-轮,则f(G,4)=[f(G1,4)-f(G1?{v1 v 4,v1 v 3},4)]+[f(G2,4)-f(G 2?{v 3v 1,v 3v 5},4)]+[f(G3,4)-f(G 3?{v1 v 4},4)],其中G1=(G-v)?{v 2,v 5},G 2=(G-v)?{v 2,v4},G 3=(G-v)?{v3,v5},"?"表示收缩运算;进而讨论了使用公式证明四色猜想的应用:将四色猜想转化成研究一种特殊图类:4-色漏斗型伪唯一4-色极大平面图。(本文来源于《电子与信息学报》期刊2016年04期)

许进[9](2016)在《极大平面图的结构与着色理论(4)σ-运算与Kempe等价类》一文中研究指出设G是一个k-色图,若G的所有k-着色是Kempe等价的,则称G为Kempe图。表征色数33的Kempe图特征是一尚待解决难题。该文对极大平面图的Kempe等价性进行了研究,其主要贡献是:(1)发现导致两个4-着色是Kempe等价的关键子图为2-色耳,故对2-色耳的特征进行了深入研究;(2)引入σ-特征图,清晰地刻画了一个图中所有4-着色之间的关联关系,并深入研究了σ-特征图的性质;(3)揭示了4-色非Kempe极大平面图的Kempe等价类可分为树型,圈型和循环圈型,并指出这3种类型可同时存在于一个极大平面图的4-着色集中;(4)研究了Kempe极大平面图特征,给出了该类图的多米诺递推构造法,以及两个Kempe极大平面图猜想。(本文来源于《电子与信息学报》期刊2016年07期)

何朵奇,王斌,季文君,王文鼐[10](2015)在《LTE网络下基于图着色理论的D2D分簇资源分配方案》一文中研究指出D2D(Device-to-Device)通信是一种受LTE蜂窝网络的控制但无需基站的中继即可实现移动终端间直接通信的新型通信技术。文中采用了D2D簇的概念,即同一个簇中的多个D2D用户对可共享相同资源。簇的引入可进一步提高频谱利用率,但也带来了更为复杂的干扰问题。为了解决该问题,提出了一种新的资源分配方案——基于图着色理论的D2D分簇资源分配方案。该方案分为两个阶段:首先只考虑D2D用户对之间的干扰情况,利用图着色理论为D2D用户对分簇;然后兼顾蜂窝用户和D2D的Qo S,为每个D2D簇分配资源。仿真分析可以看出,文中提出的方案将有效提高D2D的被服务率,并提升整个蜂窝网络的系统容量。(本文来源于《南京邮电大学学报(自然科学版)》期刊2015年06期)

着色理论论文开题报告

(1)论文研究背景及目的

此处内容要求:

首先简单简介论文所研究问题的基本概念和背景,再而简单明了地指出论文所要研究解决的具体问题,并提出你的论文准备的观点或解决方法。

写法范例:

高校排课问题是数学和计算机领域的一个经典问题.本文在教师、班级、时间段叁者的约束限制下,利用图论中边着色理论进行算法设计,从而得到一种简单实用的高校排课系统的可行实施方案.

(2)本文研究方法

调查法:该方法是有目的、有系统的搜集有关研究对象的具体信息。

观察法:用自己的感官和辅助工具直接观察研究对象从而得到有关信息。

实验法:通过主支变革、控制研究对象来发现与确认事物间的因果关系。

文献研究法:通过调查文献来获得资料,从而全面的、正确的了解掌握研究方法。

实证研究法:依据现有的科学理论和实践的需要提出设计。

定性分析法:对研究对象进行“质”的方面的研究,这个方法需要计算的数据较少。

定量分析法:通过具体的数字,使人们对研究对象的认识进一步精确化。

跨学科研究法:运用多学科的理论、方法和成果从整体上对某一课题进行研究。

功能分析法:这是社会科学用来分析社会现象的一种方法,从某一功能出发研究多个方面的影响。

模拟法:通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。

着色理论论文参考文献

[1].高卫斌,党锐锐,杨李杰.基于图着色理论的阵列天线校正方法[J].遥测遥控.2019

[2].李昕怡,苏振华.基于边着色理论的排课问题的应用[J].怀化学院学报.2018

[3].马瑞洁.基于着色Petri网的安全协议形式化分析理论与技术研究[D].西安电子科技大学.2018

[4].朱国晖,杨晶晶,郭嘉,苏珂嫄,刘涛.基于图着色理论的全双工D2D分簇资源分配方案[J].计算机应用研究.2018

[5].许进.极大平面图的结构与着色理论(3)纯树着色与唯一4-色极大平面图猜想[J].电子与信息学报.2016

[6].许进.极大平面图的结构与着色理论(2)多米诺构形与扩缩运算[J].电子与信息学报.2016

[7].段瑞杰,姚富强,李永贵,牛英滔,齐扬阳.基于图着色理论的短波无线接入网动态频谱分配方法[J].计算机工程.2016

[8].许进.极大平面图的结构与着色理论(1)色多项式递推公式与四色猜想[J].电子与信息学报.2016

[9].许进.极大平面图的结构与着色理论(4)σ-运算与Kempe等价类[J].电子与信息学报.2016

[10].何朵奇,王斌,季文君,王文鼐.LTE网络下基于图着色理论的D2D分簇资源分配方案[J].南京邮电大学学报(自然科学版).2015

标签:;  ;  ;  ;  

着色理论论文-高卫斌,党锐锐,杨李杰
下载Doc文档

猜你喜欢