公共文化服务平台

基于伸展树的无线传感器网络事件区域检测被引量：1: 2010年; 本文提出一种基于伸展树的事件区域容错检测算法,该算法在构成的分布式融合树上实施,由多元回归方程对事件发生的可能性进行评估,利用被检测事件的时空相关性,使得在缺少传感节点的区域,Sink节点也可以获得事件发生的状态信息.理论分析及仿真结果表明,即使节点发生故障的概率较高,提出的检测算法也能获得较高的精度和较小的误判率,表明在事件区域容错检测中应用该方法是可行的.; 张书奎崔志明樊建席张文哲; 关键词：无线传感器网络

一种改进的计算控制依赖的算法被引量：1: 2010年; 控制依赖是分析程序和程序并行化的基础。针对现有的计算控制依赖方法的不足,提出了一种改进的算法。该改进算法通过引入函数调用和返回引起的控制转移来计算函数间的控制依赖关系。最后通过实例验证了该改进算法比原算法更能准确地计算程序的控制依赖关系,比传统的内联方法更易于理解。; 姚辉萍赵雷李蓥杨季文; 关键词：控制流图

基于延迟时间的实时降载策略: 2010年; 降载可以有效地解决数据流流速的突变所引发的系统的过载问题。为此,分析现有降载策略在实时性方面的不足,不仅考虑系统的处理能力,同时结合数据的处理延迟,提出基于延迟时间的降载策略(DSP)。实验结果表明,DSP可以有效地解决系统的过载,同时具有较高的实时性。; 季震宇赵雷; 关键词：数据流数据流管理系统

一种支持实时软件时间建模的形式化方法被引量：1: 2010年; 随着实时系统非功能性质研究的深入,为了分析软件对系统执行时间的影响并对其进行定量分析,提出了一种支持实时软件时间建模的形式化方法。通过扩展时间通信顺序进程的时间语义,将实时系统指令执行的时间映射成为时间通信顺序进程的时间,利用时间通信顺序进程对实时软件时间建模并进行量化分析。提出的时间最优调度算法可以判断时间通信顺序进程的可达性并计算时间最优路径。通过实例验证表明,该方法可以从很大程度上提高实时系统执行时间计算的准确性,计算结果有助于实时系统执行时间的量化分析与优化设计。; 祝义黄志球张广泉周航

超级扭立方体互连网络及其性质被引量：1: 2011年; 扭立方体是超立方体的一类变体,它具有比超立方体更好的性质。但是,同超立方体一样,它也是具有2n个顶点的n-正则图,故要使一个扭立方体的维数(即顶点度数)增加1(称为升级),就必须成倍地增加扭立方体中的顶点个数。为了解决这一问题,将具有2n个顶点的扭立方体的拓扑结构加以改变,得到了包含任意多个顶点的互连网络——超级扭立方体(STN)。证明了超级扭立方体保持了扭立方体的最高连通度、对数级的直径和顶点度数、Hamilton性质、连通度级的tp-可诊断度等方面的优良性质,更进一步地,由于它包含了任意多个顶点,所以对它的升级只需增加任意多个顶点,从而克服了扭立方体的升级必须成倍增加其顶点个数的缺点。; 王喜樊建席; 关键词：连通度可诊断性 HAMILTON性质直径

LHL-立方体互连网络及其性质: 2010年; 并行计算系统一直是计算机科学中的重要研究领域,其互连网络的拓扑性质对整个网络的性能起着非常重要的作用。目前已经提出多种互连网络,其中超立方体具有对数级的直径、高连通度、对称性等很好的性质,故被用作多种并行机的处理器连接的拓扑结构。然而,超立方体并非所有性质都是最优的互连网络,且超立方体的许多变型结构具有许多比超立方体更好的性质,其中已经证明了局部扭立方体在直径、Hamilton连通性等方面都优于超立方体。给出在超立方体与局部扭立方体的顶点间的一种连接方式——超连接,从而得到一种称为LHL-立方体的新型网络,并对这种网络的以下性质进行了研究:顶点连通度、边连通度、Hamilton连通性、直径。研究结果表明,一个n维LHL-立方体是一个具有2n个顶点和n2n-1条边的n-正则图,n维LHL-立方体的顶点连通度和边连通度均为n,且是Hamilton连通的,直径上界为[n/2]+3。; 李勇樊建席王喜周吴军; 关键词：超立方体互连网络连通度 HAMILTON性质直径

一种层次化的联合识别模型被引量：1: 2015年; 目标检测与姿态估计在当前视觉研究中分属不同的任务,但两者在研究方法和现实应用上具有较强的互补性.提出了一种混合的层次树模型,该模型包含3类结点,分别描述整体目标、判别部件和组件(即语义部件).中间层的判别部件兼顾承上(目标)与启下(组件)的功能,一方面刻画整体目标的局部特征,另一方面隐含多组件的共现信息.相比当前最新的联合模型,层次树模型能够并行化处理检测与估计,避免串联化联合引发的错误传播.采用基于隐变量的结构化支持向量机训练模型,同时提出了一种新的部件学习方法以自动地初始化和优化判别部件.实验设计了多任务识别和单任务识别2种评估场景,对比了本文模型与当前主流的联合识别模型,实验结果说明层次化模型具有更强的识别性能以及更高的时效性.; 陈耀东李仁发; 关键词：目标检测

基于主流云计算技术的集群三元空间提取方法: 2010年; 本文对目前代表性的云计算技术进行了回顾,选择其中的HDFS提取主要组成元素分析整理,抽象出若干对象集和关系集,进而提出集群三元空间。从抽象层面回归到具体实现,HDFS对集群三元空间的实现采用了集中式结构,形成了系统性能的瓶颈以及集群扩展的滞点。集群三元空间从抽象层面,剔除具体实现因素之后,给出了系统分析与问题定义的背景。; 许春玲张广泉; 关键词：HDFS GFS

H.264去块滤波的流水线结构硬件设计与优化: 2011年; 针对H.264去块滤波器实现过程中间数据量大、处理速度不够快的问题,设计了一种优化的基于流水结构的去块滤波结构。该设计中,对去块滤波器的处理顺序和数据通路进行了优化设计,中间数据得到及时处理,减少了存储中间数据的FPGA硬件资源,流水结构也减少了去块滤波的时钟周期,提高了处理速度。硬件逻辑实现的实验结果表明,设计的去块滤波器能够很好地减少视频的块效应,加速处理,节约硬件资源,满足了高清视频的要求。; 谭利民李仁发陈志; 关键词：FPGA H.264 流水线

基于PMC模型的高效人工免疫诊断算法被引量：5: 2012年; 诊断算法是系统级故障诊断的一个重要研究课题。文献[10]提出PMC模型下的人工免疫诊断算法,但是没有充分利用PMC模型的特点,并在计算亲和度的时候给出一个假设。对此首先利用PMC模型的特点优化初始种群的质量,其次定义优化后的亲和度函数,最后提出新的算法流程,并证明算法的正确性和收敛性。模拟实验显示在CPU时间和迭代次数上都优于原算法。; 闫少华樊建席; 关键词：并行计算系统系统级故障诊断人工免疫算法

渝B2-20050021-1　渝公网安备 50019002500403号　违法和不良信息举报中心　互联网出版许可证　新出网证(渝)字10号

国家自然科学基金(60873047)