关于部分标号图的重构

本文讨论部分标号图等邻集之间的邻接情况,证明了有n个点v_1,v_2,…,v_n未标出的р阶图G,当n=5或6时,可由主子图G_(i1),G_(i2),…,G_(in)(i_1,i_2,…,i_(n-1)相似文献   

等邻集概念及其在部分标号图重构问题上的应用

在本文中,我们建立了等邻集概念,并推出了关于主子图的等邻集可标定定理(定理1)及等邻集的标定与邻接方阵的关系定理(定理2)。应用定理1及定理2证明了:由P阶图G的五个主子图G_1,G_2,G_3,G_4,G_5,(其中V_6,V_7,……,V_p己标号,其他V_i未标号)可重构G的结果(定理4)。这一结果比F.Harary和B.Manvel的结果更强。     

关于主子图中有若干部分标号图的重构猜想

文献[1]提出如下猜想:“给出p阶图G的p个主子图G_1,G_2,…,G_p,若对某个n,2≤n≤p,其中G_1…,G_(n-1)中点V_(n 1),V_(n 2),…,v_1已标正,V_1,…,V_n未标定;G_n,…,G_p中的点全不标号,则G可由这组G_1,…,G_(n-1),G_n,…,G_p(在同构意义下)唯一地重构。“当n=p时,这就是著名的Ulam重构猜想。”对2≤n相似文献   

标号图的结构方阵与重构猜想及有关问题

§1—§5中,在P.Kelly定理的基础上,从n点图G的所有n-2阶导出子图在G中出现的结构形式来对重构猜想作一般的探讨。使用标号图的结构方阵等概念,建立重构猜想的一些等价命题。从结构方阵的形式划分出一些重构唯一的图类(其中包括P.Z.Chinn[12]的结果),并分析一般情形的根本难点。§6中讨论部分标号图的重构与图的着色唯一性问题。§7中把P.Kelly定理推广于超图。文中各节所提出的一些问题与猜想,希望对于重构猜想提供一些新的思考途径,有些猜想在图论中有它的独立意义。     

标号图的一个参量与排序问题

提出最小序图概念，得出几类特殊图的最小序图。     

某些树的标号图及优美标号

本文引入标号图的概念,并用标号图方便地写出了一些树类的优美标号。     

关于几类DNA标号图和DNA图的结果

在分子生物学中,DNA链的杂交测序的计算和重构阶段可用DNA图作为数学模型,因此,DNA图得到广泛的研究^[1.2]．为了读取DNA序列,Blazewicz等人提出了可（α,k）-标号有向图的概念,并称有向图D是DNA图,如果D是可（4,k）-标号的．2008年,原军等证明了可（α,k）-标号的有向路和有向圈的充要条件．本文证明了有向路和有向圈可（α,k）-标号的一个性质,并利用有向线图的理论证明了本文所指的伪二部单向完全图D0（A,B）、k部广义路P（V0,V1,…,VK-1）、k部广义圈C（V0,V1,…,Vk-1）以及k部广义树T（V0,V1,…,Vk-1）均是DNA标号图．进而给出并证明了二部单向完全图D（V1,V2）和k部广义路P（V0,V1,…,Vk-1）为DNA图的充要条件．     

基于小波的信号部分重构与插值

通过分析信号重构理论，提出了信号部分重构的概念，即已知原信号的部分信息，通过增加一些新信息可以重构原信号更进一步的逼近，而且信号部分重构过程的迭代将达到信号的完全重构。基于小波变换理论，研究了一类信号部分重构问题，得到了一种信号部分重构公式。从信号部分重构的观点出发，提出了一种能够消除假频并扩展频宽的地震信号空间插值办法，实验结果证实了方法的有效性。     

支持动态部分重构特性的异构多核体系结构

嵌入式应用固有的多样性、多变性等特点,及其对系统计算性能的苛刻要求,使嵌入式系统结构面临着严峻的挑战.通过在软硬件协同流程、底层通信接口、并行编程模型及运行环境等方面提供对动态部分重构特性的支持,将动态部分重构技术引入面向服务的异构多核(SOMP)系统,从而在不损失系统计算性能的前提下,有效地提高系统的灵活性,使系统满足更多嵌入式应用的要求.SOMP原型系统已在基于Xilinx Virtex-5FPGA芯片的开发板上实现.此外,支持动态部分重构特性的SOMP体系结构的正确性及其带来的灵活性优势通过实验得以验证.     

给定次数小于3的点数的P阶标号图的计数

本文采用[2]的方法,得出规定孤立点数,一次点数,二次点数的P阶标号图的递归计数式及规定一次点数,二次点数的P阶标号图的递归计数式,并通过电子计算机获得若干初值结果.     

着色图的重构问题

本文得到了以下结果: 1.p阶n色图,当n=p和n=p-1时,可由它的任何三个主子图重构;当n=p-2和n=p-3时,可由它的n色主子图重构。2.p阶n色图(n≤p-2),当每种颜色至多着上两个点时,可由它的n色主子图重构。     

基于FPGA的动态部分可重构高性能计算实现

针对大规模集群系统中的加速计算阵列或工作组内加速计算节点资源共享模式,提出了一个通用处理节点通过网络互联动态部分可重构计算节点的高性能计算体系架构,设计实现了一种基于FPGA的动态部分可重构计算节点,该动态部分可重构计算节点具备动态部分重构能力,可以根据应用需求动态加载不同的计算功能单元.基于Avnet的Virtex-4开发板,实现了基本硬件结构和动态部分可重构计算节点硬件原型,在此基础上生成全局配置数据文件及计算功能单元对应的部分配置数据文件,实现了动态部分可重构计算节点上的软件系统及远程访问接口库.实验结果表明,该设计以较小的资源实现了较多的功能,动态部分可重构计算节点可以很好的完成计算任务,并能有效地提高系统性能.     

一种适于动态部分可重构的NoC结构

提出了一种适用于动态部分可重构系统的NoC结构,它的主要优点是通信效率高和可扩展性好.为适应动态部分重构,NoC不仅传输普通数据,而且传输配置位流数据.NoC将每个资源节点作为一个配置区域,在网络数据包中加入类型域以区分普通数据与配置数据,并相应地将网络接口分为普通接口与配置接口.采用ModelSim对随机均匀分布模式进行了仿真测试,得出所设计网络的最高吞吐率为0.40 flit·cycle-1·Ip-1.为了验证系统的有效性,通过在Xilinx Virtex4 xc4vsx35-10芯片上构建原型系统进行实验.结果表明,系统能在50 MHz上正常工作.     

部分可重构系统布局的一种新算法

针对动态部分可重构系统的瓶颈,即布局算法必须在保证运行速度的基础上,尽可能增加可重构芯片利用率的问题,提出了一种布局算法KVIT(keeping the vertexes information of tasks).其核心思想是尝试将新到达的硬件任务放置在已布局硬件任务的顶点处,并通过对可重构芯片内部计算单元进行编码迅速判断新任务是否可放置在该顶点.该算法的时间复杂度为O(N),N是可重构系统中当前运行的硬件任务的数目.仿真实验结果表明,KVIT算法的布局质量与现有的O(N2)时间复杂度布局算法基本一致,而其执行速度则明显高于已有算法.     

具有2K个奇度点的p阶标号图的计数

本文研究具有2k个奇度点的P阶标号简单图的计数问题.考察了下列情况:i/具有2k个奇度点的P阶标号简单图;ii/具有2k个奇度点的P阶标号连通简单图;iii/具有2k个奇度点的标号(P,q)图;iv/具有2k个奇度点的标号(P,q)连通图.对每一种情况,给出了它们的递归计数式和通过电子计算机获得的若干结果.     

基于混合式两阶段的动态部分重构FPGA软硬件划分算法

动态部分重构的特性大大提高了硬件设计的灵活性,但传统的软硬件划分算法不再适用于针对这类硬件的系统设计。部分研究考虑了动态部分重构的特性,并建立了混合整数线性规划(MILP)模型进行求解。但是由于MILP自身的限制,求解时间特别长,只能处理规模较小的问题。为了能够处理规模较大的问题,并且缩短求解时间,该文对MILP方法进行了详细的分析,并且通过启发式算法确定部分关键任务的状态,从而减小MILP的规模,加快求解速度。实验结果表明:与传统的数学规划方法相比,在求解质量不变的情况下,该算法可以得到最高约200倍的速度提升。     

重构混凝土导热系数的反问题

混凝土的绝热温升过程可用一个非线性热传导方程描述.它在自然科学和工程技术的很多领域都有重要应用.该问题的困难有两点:其一是右端的源项是一个非线性函数;其二为所需反演的导热系数是二阶抛物方程的主项系数.在终端观测值给定的情形下,研究重构该方程的导热系数的反问题.基于最优控制框架,建立了控制泛函极小值的存在性、唯一性和稳定性.     

软错误缓解动态部分可重构的抗单粒子方案

随着基于静态随机存储器(static random-access memory,SRAM)型现场可编程门阵列(field programmable gate array,FPGA)广泛应用于航空航天领域,太空辐照环境下FPGA产生单粒子翻转(single event upset, SEU)问题的概率日益提高,从而导致FPGA出现单粒子闩锁现象引起功能紊乱。针对该问题,基于SRAM型FPGA的架构诱发SEU机理分析,对传统三模冗余(triple module redundancy, TMR)的方案进行改进,设计一种逻辑上采用TMR进行备份、系统上采用软错误算法缓解执行,同时采用局部纠错和动态可重构的方法进行抑制的方案。皮秒激光注入试验结果显示,采用所提供方案的FPGA较传统方案试验电流平稳,验证了该方案可以有效对SEU进行抑制。     

关于无理函数的部分分式问题

利用复变函数的留数定理(公式和Mittag-Leffler展开定理,刘维尔定理),得到由指数函数、三角函数、双曲函数等组成的无理分式函数化成部分分式.