刘刚
- 作品数：13 被引量：27H指数：4
- 供职机构：中国科学技术大学计算机科学与技术学院更多>>
- 发文基金：国家自然科学基金安徽省自然科学基金华为科技基金项目更多>>
- 相关领域：自动化与计算机技术更多>>
- 通过改变开关状态实现多源点多播被引量：1
- 2003年
- 在并行和分布式环境中 ,多个结点之间的通讯一直是研究工作的焦点问题 ,这些通讯主要包括置换、多播(Multicast)及多源点多播 (Multiple Multicast) .L ai提出了适用于一类与带缓存的 Cube网相互拓扑等价的网络的置换算法 ,硬件代价为 O(N log N ) ,算法的时间复杂度为 O(N ) .Feng提出的 inside- out算法实现了 Omega- 1 × Omega网上的置换 ,总的路由时间复杂度为 O(N log N) ,硬件代价为 O(N log N) .支持严格无阻塞置换的三级 Clos网的总的交叉点数为O(N32 ) .支持严格无阻塞的多播的三级 Clos网为 O(N32 logrloglogr) .Yang提出了一种新的多播网络 ,硬件复杂度为 O(N log2 N ) .为了支持多源点多播 ,多级互联网硬件代价往往大幅上升 .本文借鉴了 L ai提出的规则改变开关状态的方法 ,并把这种算法推广到了多源点多播的情况 .提出了一种新的多源点多播路由算法 ,此算法也同样适用于这一类相互拓扑等价的多级互联网 ,包括 Baseline、Om ega、Cube等 .在此算法中 ,每个数据流被划分为固定大小的数据包 ,在网络中独立传送 ,网络中的每个开关的状态按照固定的状态每个时步规则变化 ,每个数据包两次经过网络后到达目标结点 .此类的网络的硬件代价为 O(Nlog N ) ,此多源点多播路由算法的时间复杂度为 O(N )
- 顾乃杰李栋潘伟刘刚
- 关键词：开关状态时间复杂度计算机网络多播网络
- 一种验证指针程序的方法被引量：1
- 2011年
- 利用形状图逻辑和形状系统来解决指针程序的分析和验证中的困难。该方法要求程序员声明各种递归结构体类型参与构建的数据结构的形状,并声明指针变量所指向的形状,以便程序分析工具能建立各程序点的形状图,并以此来支持程序验证。探讨了在指针相等关系静态可确定的情况下,避免在Hoare逻辑上做复杂扩展的指针程序验证方法。
- 张志天陈意云刘刚
- 关键词：HOARE逻辑
- 循环不变形状图的自动推断被引量：5
- 2011年
- 在指针程序的分析和验证过程中,循环不变式的自动推断一直是个研究热点。文章首先介绍所提出的形状图和形状图逻辑,形状图逻辑是一种把形状图看成有关指针的断言,并在此基础上对Hoare逻辑进行扩展而得到的程序逻辑。然后在此基础之上,设计了一种基于形状图逻辑的形状分析方法,并提出了一种基于形状图逻辑的循环不变形状图的推断方法。
- 刘刚陈意云陈意云
- 关键词：循环不变式
- 一种新型的可重排多播网络被引量：5
- 2003年
- 在并行分布式系统中 ,多播操作 (包括一对多播送和多源点多播 )是一种常见的操作 .关于多播操作 (尤其是多源点多播 )的研究是一个有一定难度 ,但又具有重要应用价值的问题 ,也是目前多级互连网络研究领域中的一个热门课题 .已有的关于多播的成果大多只针对现有的多级网络〔1〕 ,并且一般只能实现单个多播〔2〕 .Yang在〔3〕中针对多源点多播的并发 ,提出了一种新的多播网络 ,硬件复杂度为 O( N log2 N ) .本文提出了一种基于 Omega网的多播网络 ( 5 - Omega网 ) ,通过重排各级开关的状态 ,可以并发的实现任意的多源点多播 ,所需开关元件总数为 52 N log N .与 Yang提出的多播网络相比 ,硬件代价小得多 .同时 ,5 - Om ega网上的多播路由时间复杂度能达到 O( N log N) ,在相关的成果中 〔1〕也算是最优的 .并且由于 Omega网的结构较为简单 ,这种网的硬件集成也非常容易 ,因此更具有实用价值 .在这种网络的构造基础上 ,还提出了一种新的多播网络模型 。
- 顾乃杰潘伟李栋刘刚陈静
- 关键词：计算机网络
- 基于二进制寻路法和多Omega网络的自路由无阻塞多级网
- 2005年
- 提出了一种可以无阻塞地传输其输入与输出间任意多播信号的新型自路由无阻塞多级网。该网络采用了循环重建法,以二进制扩散概念为基础。它由一个二进制扩散网络和两个二分之一大小的多播路由网络循环构建而成。多播信号由第一个Omega网复制并二分扩散到输出端口,进入N×N的Omega×Omega-1网络,再进入紧随其后的N/2×N/2的Omega×Omega-1网络……。每个Omega×Omega-1网络负责依照目的地址的有效标志位将输入置换到输出的上半部分和下半部分,再分别进入上下两个子Omega×Omega-1网络中做同样的处理,如此类推,直到全部地址有效位处理完毕,从而完成自路由无阻塞的多播传输。由于各大小不等的Omega×Omega-1网络皆可并行设置和并行路由,故此种新型多Omega网络的设置时间为O(NlogN),路由时间为O(log2N),硬件代价则为O(Nlog2N)。它比现行已知的多播网络设计具有较优的代价。
- 张联顾乃杰刘刚
- 关键词：多播
- 多播3-Omega交换网的设计思想被引量：1
- 2006年
- 阐述了具有最佳硬件复杂度且可无阻地在输入/输出间传输任意多播信号的多播3-Omega网的设计思想,设计理念可表述为“置换-复制-置换”,组成形式为“Omega-1+Omega+Omega-1”。它具有O(nlogn)的硬件代价,存储空间和时间复杂度均为O(nlogn),连接建立时间为(logn),传输延迟O(logn),符合Shannon的硬件代价极限标准,具有良好的可实现性。
- 张联刘刚顾乃杰
- 关键词：多播
- 无阻塞Clos-Type网上的多源点多播被引量：4
- 2002年
- 在并行和分布式环境中 ,提供无阻塞的多对多通信是至关重要的 .Clos- Type网络能很好地满足这些要求 ,因此得到广泛的应用 .但是目前对于这类网中的多源点多播 ,通常的办法是通过对输入端的请求逐个进行一到多播送的方式来实现 ,这样的方式算法效率较低 ,在 N× N的网络中时间复杂度达到Θ (N3/2 ) ,其中 N为网络输入端的总数 .文章主要研究的是 Clos- Type网上进行多源点多播的充分条件 ,并且通过引入分组、竞争互斥等机制 ,在中间级开关数目数量级不变的情况下使路由算法的时间复杂度降低至 :Θ N log Nloglog N2 log N ,从而在
- 顾乃杰李栋熊焰潘伟刘刚
- 关键词：路由策略并行路由算法
- 基于Omega网的新型自路由多播网络被引量：3
- 2006年
- 介绍了一种新型的基于Omega网构造的多播网络模型FiO,由1个Omega-1网和4个Omega网串连,并适当改变中间连接方式构成,其硬件代价为O(5/2NlogN).同时,本文在FiO网络模型上提出了一种对换设置找中间状态的自路由方法实现多源点多播,算法初始设置时间为O(N),通信时间达到O(logN).由于Omega网本身的构造简单,所以该网络有利于硬件集成,同时在处理多播能力上较以前的网络模型也有显著提高,所以该网络有较好的实用价值和发展潜力.
- 刘勇顾乃杰任开新刘刚
- 关键词：多播
- 利用协作通信的中继节点放置问题研究被引量：4
- 2013年
- 无线传感器网络的中继节点放置问题是在不连通的无线网络中部署最少的中继节点来满足特定连通性.而协作通信则能极大地扩大节点间的通信范围.因此,利用协作通信技术,能在无线传感网络的中继节点放置问题中减少中继节点的个数.本文首次提出了利用协作通信来解决无线多跳网络环境下的中继节点放置问题:放置最少的中继节点使传感器网络中的任何两个节点之间都能相互通信.我们证明这个问题是NP难的,为此提出了一个启发式的算法来高效地解决该问题.这个算法能有效地减少中继节点的个数.针对先前算法的研究,我们提出了一项对单跳范围内的中继节点放置问题的改进.最后我们通过仿真验证算法的性能.
- 周涛邢凯刘刚谷天波谷天波
- 关键词：协作通信无线传感器网络
- SWALLOW:一个稳定的WLAN区域定位系统被引量：1
- 2013年
- 介绍WLAN定位系统SWALLOW的设计与实现.本系统对WLAN中携带定位卡的人员或设备实施定位,考虑到定位卡的成本与能耗,本系统采用接入点而非定位卡收集RSSI值.而各接入点对定位卡同一信号的RSSI测值往往存在缺失和不同步,因此传统的基于点的RSSI特征比对算法稳定性不好.本系统使用了一个新的基于区域的定位算法,该算法在最小信号距离比对的初步结果上,通过在生成树上寻找最近公共祖先的方法实现平滑.分析和实验表明,该算法能将静止定位稳定度从50%提高到95%,并保持90%以上的移动定位准确度和10s以下的延时.目前,SWALLOW系统已应用到资产管理系统中.
- 易飞滔黄刘生刘刚徐宏力
- 关键词：WLAN生成树
