刘刚

作品数：13被引量：22H指数：3
导出分析报告
供职机构：中国科学技术大学计算机科学与技术学院更多>>
发文主题：多播多播网络路由通信私人化更多>>
发文领域：自动化与计算机技术更多>>
发文期刊：《山东大学学报（工学版）》《电子学报》《小型微型计算机系统》《计算机研究与发展》更多>>
所获基金：国家自然科学基金安徽省自然科学基金华为科技基金项目广东省中国科学院全面战略合作项目更多>>
-
在结果中检索

检索结果分析

署名顺序

  • 全部
  • 第一作者
结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
利用协作通信的中继节点放置问题研究被引量：4
《小型微型计算机系统》2013年第11期2508-2512,共5页周涛 邢凯 刘刚 谷天波 黄刘生 
无线传感器网络的中继节点放置问题是在不连通的无线网络中部署最少的中继节点来满足特定连通性.而协作通信则能极大地扩大节点间的通信范围.因此,利用协作通信技术,能在无线传感网络的中继节点放置问题中减少中继节点的个数.本文首次...
关键词：协作通信 中继节点放置 无线传感器网络 
SWALLOW:一个稳定的WLAN区域定位系统被引量：1
《小型微型计算机系统》2013年第6期1237-1241,共5页易飞滔 黄刘生 刘刚 徐宏力 
国家科技重大专项项目(2011ZX0300500404)资助;国家"九七三"重点基础研究发展计划项目(2011CB302905)资助;国家自然科学基金项目(61170058)资助;广东省中国科学院全面战略合作项目(2011A090100012);苏州市工业技术专项项目(ZXG201041)资助
介绍WLAN定位系统SWALLOW的设计与实现.本系统对WLAN中携带定位卡的人员或设备实施定位,考虑到定位卡的成本与能耗,本系统采用接入点而非定位卡收集RSSI值.而各接入点对定位卡同一信号的RSSI测值往往存在缺失和不同步,因此传统的基于点...
关键词：WLAN 区域定位 生成树 最近公共祖先 
一种验证指针程序的方法被引量：1
《微型机与应用》2011年第16期9-11,共3页张志天 陈意云 刘刚 
利用形状图逻辑和形状系统来解决指针程序的分析和验证中的困难。该方法要求程序员声明各种递归结构体类型参与构建的数据结构的形状,并声明指针变量所指向的形状,以便程序分析工具能建立各程序点的形状图,并以此来支持程序验证。探讨...
关键词：HOARE逻辑 形状图逻辑 程序分析 分离逻辑 
循环不变形状图的自动推断被引量：5
《电子技术（上海）》2011年第8期4-6,共3页刘刚 陈意云 张志天 
在指针程序的分析和验证过程中,循环不变式的自动推断一直是个研究热点。文章首先介绍所提出的形状图和形状图逻辑,形状图逻辑是一种把形状图看成有关指针的断言,并在此基础上对Hoare逻辑进行扩展而得到的程序逻辑。然后在此基础之上,...
关键词：形状图逻辑 循环不变式 程序验证 形状分析 
机群系统中的高效全交换算法被引量：2
《小型微型计算机系统》2007年第5期861-866,共6页刘刚 顾乃杰 陶耀东 任开新 
国家自然科学基金项目(60533020)资助
全交换在并行计算领域中有着大量而重要的应用,例如FFT和矩阵运算等.本文在由以太网交换机分层级联而成的机群系统上,提出了高性能的全交换算法DCE和算法MCCE.这两个算法充分利用了网络中瓶颈链路的带宽,达到了通信量的理论下限,并且运...
关键词：全交换 全队全私人化通信MPI 机群 集体通信 
一种基于Omega网的多播实现方案被引量：1
《小型微型计算机系统》2007年第1期40-43,共4页刘勇 顾乃杰 任开新 刘刚 
国家自然科学基金项目(60533020)资助;中国科学院软件所计算机科学重点实验室开放课题基金项目(SYSKF0501)资助.
介绍了一种基于Omega网结构的新型FuO网络模型,并基于该网络模型提出了无阻塞实现多播的解决方案.该网络由1个Omega-1+Omega网和1个简化的Omega-1×Omega网串连构成,其开关总数达到2NlogN-N/2.本文还对FuO网络模型进一步优化,提出了一...
关键词：Omega网 多播 多源点多播 无阻塞 
多播3-Omega交换网的设计思想被引量：1
《计算机工程》2006年第17期184-185,188,共3页张联 刘刚 顾乃杰 
中国科学院软件所计算机科学重点实验室开放课题基金资助项目(SYSKF0501)
阐述了具有最佳硬件复杂度且可无阻地在输入/输出间传输任意多播信号的多播3-Omega网的设计思想,设计理念可表述为“置换-复制-置换”,组成形式为“Omega-1+Omega+Omega-1”。它具有O(nlogn)的硬件代价,存储空间和时间复杂度均为O(nlog...
关键词：Omega网 多播 扩展还原概念 
基于Omega网的新型自路由多播网络被引量：3
《山东大学学报（工学版）》2006年第4期37-43,共7页刘勇 顾乃杰 任开新 刘刚 
中国科学院软件所计算机科学重点实验室开放课题基金(No.SYSKF0501)
介绍了一种新型的基于Omega网构造的多播网络模型FiO,由1个Omega-1网和4个Omega网串连,并适当改变中间连接方式构成,其硬件代价为O(5/2NlogN).同时,本文在FiO网络模型上提出了一种对换设置找中间状态的自路由方法实现多源点多播,算法初...
关键词：Omega网 多播 多源点多播 自路由 FiO 
基于二进制寻路法和多Omega网络的自路由无阻塞多级网
《计算机应用》2005年第12期2923-2924,2937,共3页张联 顾乃杰 刘刚 
提出了一种可以无阻塞地传输其输入与输出间任意多播信号的新型自路由无阻塞多级网。该网络采用了循环重建法,以二进制扩散概念为基础。它由一个二进制扩散网络和两个二分之一大小的多播路由网络循环构建而成。多播信号由第一个Omega网...
关键词：多播 多级网 Omega网络 二进制寻路法 
高维环网上的一种可扩展的全交换算法被引量：4
《电子学报》2005年第9期1723-1728,共6页刘刚 顾乃杰 任开新 熊焰 
安徽省自然科学基金(No.03042210)
全交换在并行计算领域中有着大量而且重要的应用,例如FFT和矩阵运算等.本文提出了一种适合环网结构的全交换算法.算法中采用了新的网络划分技术及通信模式,使高维环网上全交换算法的通信量的主项达到了理论下限,这是已知的其他相关算法...
关键词：全交换 全对全私人化通信 并行算法 环网 虫蚀路由 集体通信 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部