江苏省自然科学基金(BK2008154)
- 作品数：14 被引量：30H指数：4
- 相关作者：樊建席张书奎李硕王仁喜王成更多>>
- 相关机构：苏州大学江苏省现代企业信息化应用支撑软件工程技术研究开发中心徐州师范大学更多>>
- 发文基金：江苏省自然科学基金国家自然科学基金江苏省高校自然科学研究项目更多>>
- 相关领域：自动化与计算机技术更多>>
- 基于伸展树的无线传感器网络事件区域检测被引量：1
- 2010年
- 本文提出一种基于伸展树的事件区域容错检测算法,该算法在构成的分布式融合树上实施,由多元回归方程对事件发生的可能性进行评估,利用被检测事件的时空相关性,使得在缺少传感节点的区域,Sink节点也可以获得事件发生的状态信息.理论分析及仿真结果表明,即使节点发生故障的概率较高,提出的检测算法也能获得较高的精度和较小的误判率,表明在事件区域容错检测中应用该方法是可行的.
- 张书奎崔志明樊建席张文哲
- 关键词：无线传感器网络
- 一种支持实时软件时间建模的形式化方法被引量：1
- 2010年
- 随着实时系统非功能性质研究的深入,为了分析软件对系统执行时间的影响并对其进行定量分析,提出了一种支持实时软件时间建模的形式化方法。通过扩展时间通信顺序进程的时间语义,将实时系统指令执行的时间映射成为时间通信顺序进程的时间,利用时间通信顺序进程对实时软件时间建模并进行量化分析。提出的时间最优调度算法可以判断时间通信顺序进程的可达性并计算时间最优路径。通过实例验证表明,该方法可以从很大程度上提高实时系统执行时间计算的准确性,计算结果有助于实时系统执行时间的量化分析与优化设计。
- 祝义黄志球张广泉周航
- 基于延迟时间的实时降载策略
- 2010年
- 降载可以有效地解决数据流流速的突变所引发的系统的过载问题。为此,分析现有降载策略在实时性方面的不足,不仅考虑系统的处理能力,同时结合数据的处理延迟,提出基于延迟时间的降载策略(DSP)。实验结果表明,DSP可以有效地解决系统的过载,同时具有较高的实时性。
- 季震宇赵雷
- 关键词：数据流数据流管理系统
- Cross-cube在PMC诊断模型下的可诊断性被引量：6
- 2011年
- 可诊断性度是衡量一个互连网络可靠性的重要指标。Cross-cube是超立方体的一种重要变型,与超立方体相比有许多好的性质。PMC模型是并行计算系统中的一种经典的诊断模型,在该模型下有两个著名的诊断策略:精确策略和悲观策略。证明了n维Cross-cube在精确策略下的可诊断性度是n+1(n≥4),在悲观策略下的可诊断性度是2n-2(n≥4)。证明了Cross-cube在精确策略下的可诊断性度大于超立方体的可诊断性度,在悲观策略下的可诊断性度与超立方体的可诊断性度相同。
- 闫少华樊建席
- 关键词：并行计算系统互连网络可诊断性
- 基于2D-Mesh的容错路由算法被引量：3
- 2012年
- 提出一种基于2D-Mesh只使用2条虚通道的容错路由算法,少于需要4条虚通道的Boppana算法,以及需要3条虚通道的Duan算法。算法基于块故障模型,故障块可以是f-ring,也可以是f-chain。无故障时算法用最短路径路由消息,当消息被故障块阻塞时使用绕道策略进行路由。在不重叠和重叠故障区情况下分别给出算法无死锁性的证明过程。
- 胥大成樊建席张书奎
- 关键词：MESH容错路由虚通道片上网络
- 超级局部扭立方体互连网络及其性质
- 2012年
- 局部扭立方体是近年来提出的超立方体的一个变型,由于它的许多优越性质(如低直径),在并行处理领域越来越受到人们的重视.然而,像超立方体一样,它也有一个缺点,即要使局部扭立方体升级,就必须成倍地增加其顶点个数.为了解决这一问题,文中将顶点个数为2的次幂的局部扭立方体推广到具有任意个顶点的互连网络,提出了超级局部扭立方体(SLTC)的定义,并证明它保持了局部扭立方体的最高连通度、对数级的直径和顶点度数、Hamilton性质等方面的优良性质,从而证明了超级局部扭立方体是既保持了局部扭立方体的多种优越性质又易于升级的互连网络.
- 王喜樊建席韩月娟周吴军张书奎
- 关键词：互连网络连通度HAMILTON性质直径
- 一种新型无线传感器网络数据收集生成树被引量：3
- 2012年
- 针对无线传感器网络精确数据收集,提出一种分布式生成树算法MLT.算法以一颗最小功率生成树为基础,在收集数据过程中不断统计节点剩余能量大小,找出瓶颈节点并与sink中存储的阈值比较,若低于阈值则转移瓶颈节点负担,优化树结构.研究表明随着阈值的增加网络生命周期先不断增大然后不断减小,阈值取值的合理性有效避免了因过于频繁变更树结构导致的额外能量消耗,使得所有节点能量较为均衡并延长了网络的生命周期,仿真实验验证了算法的有效性.
- 李硕樊建席王成王仁喜张书奎
- 关键词：无线传感器网络生成树
- LHL-立方体互连网络及其性质
- 2010年
- 并行计算系统一直是计算机科学中的重要研究领域,其互连网络的拓扑性质对整个网络的性能起着非常重要的作用。目前已经提出多种互连网络,其中超立方体具有对数级的直径、高连通度、对称性等很好的性质,故被用作多种并行机的处理器连接的拓扑结构。然而,超立方体并非所有性质都是最优的互连网络,且超立方体的许多变型结构具有许多比超立方体更好的性质,其中已经证明了局部扭立方体在直径、Hamilton连通性等方面都优于超立方体。给出在超立方体与局部扭立方体的顶点间的一种连接方式——超连接,从而得到一种称为LHL-立方体的新型网络,并对这种网络的以下性质进行了研究:顶点连通度、边连通度、Hamilton连通性、直径。研究结果表明,一个n维LHL-立方体是一个具有2n个顶点和n2n-1条边的n-正则图,n维LHL-立方体的顶点连通度和边连通度均为n,且是Hamilton连通的,直径上界为[n/2]+3。
- 李勇樊建席王喜周吴军
- 关键词：超立方体互连网络连通度HAMILTON性质直径
- 一种改进的计算控制依赖的算法被引量：1
- 2010年
- 控制依赖是分析程序和程序并行化的基础。针对现有的计算控制依赖方法的不足,提出了一种改进的算法。该改进算法通过引入函数调用和返回引起的控制转移来计算函数间的控制依赖关系。最后通过实例验证了该改进算法比原算法更能准确地计算程序的控制依赖关系,比传统的内联方法更易于理解。
- 姚辉萍赵雷李蓥杨季文
- 关键词：控制流图
- 基于PMC模型的高效人工免疫诊断算法被引量：5
- 2012年
- 诊断算法是系统级故障诊断的一个重要研究课题。文献[10]提出PMC模型下的人工免疫诊断算法,但是没有充分利用PMC模型的特点,并在计算亲和度的时候给出一个假设。对此首先利用PMC模型的特点优化初始种群的质量,其次定义优化后的亲和度函数,最后提出新的算法流程,并证明算法的正确性和收敛性。模拟实验显示在CPU时间和迭代次数上都优于原算法。
- 闫少华樊建席
- 关键词：并行计算系统系统级故障诊断人工免疫算法
