检索结果-内蒙古大学图书馆

小型微型计算机系统 2009年第5期30卷 812-816页

作者：毕坤顾乃杰任开新董万利中国科学技术大学计算机科学技术系安徽合肥230027 安徽省计算与通信软件重点实验室安徽合肥230027 西南科技大学计算机科学与技术学院四川绵阳621010

目前混合式信道分配算法未考虑节点数据传输量差异,从而导致信道负载不均,针对该问题,提出了负载平衡的分布式信道分配算法——LBCA.该算法通过分布式构建节点冲突图,使同一冲突域中数据量较大的接口卡优先选择负载较小的信道,从而较好... 详细信息

目前混合式信道分配算法未考虑节点数据传输量差异,从而导致信道负载不均,针对该问题,提出了负载平衡的分布式信道分配算法——LBCA.该算法通过分布式构建节点冲突图,使同一冲突域中数据量较大的接口卡优先选择负载较小的信道,从而较好平衡了信道负载.理论分析表明,LBCA算法以趋近1的概率在O(logn)轮内结束,n为网络固定接口卡数目;模拟实验表明,在网络负载达到80%以上时,对信道数目不大于6的网络,LBCA算法的网络吞吐率与目前同类算法相比提升10%以上.

关键词：无线mesh网络混合式信道分配负载平衡冲突图

来源：评论

学校读者我要写书评

暂无评论

面向龙芯3A体系结构的BLAS库优化

引用

小型微型计算机系统 2012年第3期33卷 571-575页

作者：何颂颂顾乃杰朱海涛刘燕君中国科学技术大学计算机科学与技术学院合肥230027 安徽省计算与通讯软件重点实验室合肥230027 中国科学院计算技术研究所北京100190 安徽大学计算机科学与技术学院合肥230039

双精度普通矩阵乘法DGEMM是BLAS库中最核心的函数之一,大部分三级BLAS库函数的核心计算都是通过调用DGEM M来实现的.该文针对龙芯3A具有128位访存指令的特点,通过理论分析,找到了最佳的循环展开方式;针对龙芯3A的Cache替换策略(随机替... 详细信息

双精度普通矩阵乘法DGEMM是BLAS库中最核心的函数之一,大部分三级BLAS库函数的核心计算都是通过调用DGEM M来实现的.该文针对龙芯3A具有128位访存指令的特点,通过理论分析,找到了最佳的循环展开方式;针对龙芯3A的Cache替换策略(随机替换),通过使用地址交错技术,减少了Cache的冲突失效;针对龙芯3A访存带宽有限的问题,通过使用共享数据的任务划分方式,减少了数据访存量.优化后的DGEMM单核和多核运算速度均是性能最高的开源BLAS库(Goto-BLAS)的2倍多.

关键词：矩阵乘法 BLAS 任务划分 Linpack

来源：评论

学校读者我要写书评

暂无评论

基于BMW无线局域网MAC层多播纠错协议的改进

引用

电子技术应用 2010年第11期36卷 145-148页

作者：陈荣强周颢赵保华中国科学技术大学计算机科学与技术系安徽合肥230027 网络与交换技术国家重点实验室北京100876 安徽省计算与通讯软件重点实验室安徽合肥230027

基于BMW协议,提出了无线局域网MAC层多播纠错的改进协议MMW。MMW对BMW中的成员列表进行改进,并且加入了重传请求控制帧,使得丢失数据帧能够被即时重传。仿真实验验证了MMW既保持了BMW的可靠性,又减少了延时。

关键词：无线局域网多播纠错 MMW

来源：评论

学校读者我要写书评

暂无评论

基于码片标识的WMN多播纠错协议

引用

计算机工程 2012年第4期38卷 104-107页

作者：强鹂周颢赵保华中国科学技术大学计算机科学与技术系合肥230027 中国科学技术大学安徽省计算与通讯软件重点实验室合肥230027 中国科学技术大学网络与交换技术国家重点实验室北京100876

在无线Mesh网络(WMN)媒体访问控制(MAC)层上,分层信标帧驱动协议(Layer-BLBP)存在高延迟、多次重传以及无法适应较大规模拓扑结构的问题。为此,提出一种基于码片标识的WMN MAC层多播纠错协议。该协议为每个节点指派一个全网唯一且相互... 详细信息

在无线Mesh网络(WMN)媒体访问控制(MAC)层上,分层信标帧驱动协议(Layer-BLBP)存在高延迟、多次重传以及无法适应较大规模拓扑结构的问题。为此,提出一种基于码片标识的WMN MAC层多播纠错协议。该协议为每个节点指派一个全网唯一且相互正交的码片序列,利用码片对数据包进行加密,从而实现全网的信道共享。仿真结果表明,该协议在网络规模大、错误率高的环境下,仍能保证多播过程具有较低延迟和较少重传次数。

关键词：无线Mesh网络码片媒体访问控制层传输延迟多播纠错协议

来源：评论

学校读者我要写书评

暂无评论

基于前缀的片上网络容错源路由算法

引用

计算机应用与软件 2013年第2期30卷 18-21,25页

作者：许耿纯任开新顾乃杰中国科学技术大学计算机科学与技术学院安徽合肥230027 安徽省计算与通讯软件重点实验室安徽合肥230027 中国科学技术大学中科院沈阳计算所网络与通信联合实验室安徽合肥230027

为克服片上网络链路永久性错误带来的路由问题,提出一种基于前缀的片上网络容错源路由算法PFTSR。该算法适用于二维mesh片上网络,采用预测路径并根据反馈信息调整路径的方法进行路由探测。在仿真平台NIRGAM上进行仿真,实验结果表明,与... 详细信息

为克服片上网络链路永久性错误带来的路由问题,提出一种基于前缀的片上网络容错源路由算法PFTSR。该算法适用于二维mesh片上网络,采用预测路径并根据反馈信息调整路径的方法进行路由探测。在仿真平台NIRGAM上进行仿真,实验结果表明,与传统片上网络容错源路由算法SRN相比,PFTSR极大降低了片上系统的功耗,并且在大多数情况下能减少探测到第一条路径的时间。

关键词：片上网络路由算法容错源路由

来源：评论

学校读者我要写书评

暂无评论

基于静态分析的Android GUI遍历方法

引用

计算机应用 2016年第10期36卷 2811-2815页

作者：汤杨曾凡平王健康黄心依中国科学技术大学计算机科学与技术学院合肥230026 计算机科学国家重点实验室(中国科学院软件研究所) 北京100190 安徽省计算与通讯软件重点实验室合肥230026

针对传统软件安全测试方法（例如：符号执行、模糊测试、污点分析等）无法获得较高的Android程序图形用户界面（GUI）覆盖率的问题,提出动态和静态相结合的Android程序测试方法。该方法在静态分析Android应用程序数据流的基础之上,构建... 详细信息

针对传统软件安全测试方法（例如：符号执行、模糊测试、污点分析等）无法获得较高的Android程序图形用户界面（GUI）覆盖率的问题,提出动态和静态相结合的Android程序测试方法。该方法在静态分析Android应用程序数据流的基础之上,构建程序活动转换图和函数调用图,解析程序GUI元素,进而编写测试脚本动态遍历应用程序GUI元素。将该方法应用于订票日历、WiFi万能钥匙和360天气应用的实际测试,结果表明：Activity的平均覆盖率达到76%,明显高于人工测试的平均值30.08%和基于控件树遍历的42.05%~61.29%,该方法能够有效遍历Android应用程序GUI元素。

关键词：静态分析动态测试事件模拟活动调用图函数调用图图形用户界面遍历

来源：评论

学校读者我要写书评

暂无评论

传感器数据中事件样本与错误样本的系统化区分框架

引用

西安交通大学学报 2010年第10期44卷 30-35页

作者：崔筱宁赵保华李青周颢中国科学技术大学计算机科学与技术学院合肥230027 北京邮电大学网络与交换技术国家重点实验室北京100876 安徽省计算与通讯软件重点实验室合肥230027 中科大-香港城大联合研究中心互联网服务实验室江苏苏州215123 香港城市大学电脑科学系

针对传感器网络中对事件/异常检测的研究在一定程度上忽略了区分数据样本的重要性问题,依据传感器数据的不确定性分析了事件样本和错误样本的相似点和不同点,设计了系统化区分框架,通过节点级时域处理、邻居级空间处理、聚簇级权重排序... 详细信息

针对传感器网络中对事件/异常检测的研究在一定程度上忽略了区分数据样本的重要性问题,依据传感器数据的不确定性分析了事件样本和错误样本的相似点和不同点,设计了系统化区分框架,通过节点级时域处理、邻居级空间处理、聚簇级权重排序和网络级决策融合的方法逐层过滤,将原始样本集划分为正常样本集、错误样本集和事件样本集.真实数据集的实验结果显示,所提框架在不同网络质量下对样本的辨识率均在97%以上,可将误报率降低到传统事件/异常检测方法的1/10,且漏报率不超过传统方法.

关键词：传感器数据事件错误系统化区分框架

来源：评论

学校读者我要写书评

暂无评论

程序不变量到断言的自动转换方法研究及其应用

引用

计算机应用与软件 2012年第11期29卷 177-180,189页

作者：邓超强曾凡平武飞熊能董齐兴中国科学技术大学计算机科学与技术学院安徽合肥230026 中国科学院软件研究所计算机科学国家重点实验室北京100190 安徽省计算与通讯软件重点实验室安徽合肥230026

程序不变量可以揭示程序的内部属性和动态执行情况,已经成功应用于软件测试用例的生成与约简。然而,每新增一个用例都要在整个测试用例集合上重新提取程序不变量,时间开销较大。提出一种基于正则表达式的将程序不变量自动转换为对应断... 详细信息

程序不变量可以揭示程序的内部属性和动态执行情况,已经成功应用于软件测试用例的生成与约简。然而,每新增一个用例都要在整个测试用例集合上重新提取程序不变量,时间开销较大。提出一种基于正则表达式的将程序不变量自动转换为对应断言的方法,并利用断言判断新用例是否冗余,仅当新用例非冗余时才提取程序不变量,从而大幅度减小时间开销。将这种基于断言的测试方法应用于回归测试,可以有效约简测试用例集合,识别程序改动所影响的元素,进而发现潜在的程序错误。实验结果表明,与其它测试用例选择方法相比,该方法时间消耗小、测试用例集合约简率高、揭错能力强。

关键词：程序不变量断言回归测试错误识别测试用例集合约简

来源：评论

学校读者我要写书评

暂无评论

改进动态符号执行中的非线性约束求解过程

引用

小型微型计算机系统 2014年第11期35卷 2396-2401页

作者：董齐兴曾凡平严俊张辉彭凌中国科学技术大学计算机科学与技术学院合肥230026 中国科学院软件研究所计算机科学国家重点实验室北京100190 安徽省计算与通讯软件重点实验室合肥230026 中国科学院软件研究所软件工程技术研究开发中心北京100190

动态符号执行用程序变量的具体值替换动态数据结构及复杂表达式中的符号变量以便简化路径条件.这种简化路径条件的方法虽然简单,但不精确,会导致路径条件无法约束求解或者求解结果不正确.为此,提出一种改进动态符号执行中非线性算术约... 详细信息

动态符号执行用程序变量的具体值替换动态数据结构及复杂表达式中的符号变量以便简化路径条件.这种简化路径条件的方法虽然简单,但不精确,会导致路径条件无法约束求解或者求解结果不正确.为此,提出一种改进动态符号执行中非线性算术约束求解过程的方法.该方法利用连续求解的路径条件约束具有相似性这一特征,在进行非线性算术约束求解时充分利用上次约束求解的输出信息.它用具体值依次试探替换符号变量;若所有符号变量都被试探替换而仍未求解成功,则枚举涉及非线性算术约束的变量的取值情况,将非线性算术约束转化为线性算术约束并进行求解.实验结果表明,与传统的动态符号执行工具相比,本文方法对非线性算术约束具有更快的求解速度.

关键词：软件测试动态符号执行非线性算术约束约束相似性

来源：评论

学校读者我要写书评

暂无评论

安全组播中的密钥树最优结构

引用

小型微型计算机系统 2006年第12期27卷 2272-2275页

作者：刘小虎顾乃杰陆余良毕坤任开新中国科学技术大学计算机科学与技术系安徽省计算与通信软件重点实验室安徽合肥230027 解放军电子工程学院网络工程教研室

组播常用来对一组用户发送数据.为了保障安全性,安全组播使用组内共享的加密密钥对组内通信进行加密.因为组成员关系的动态性,有效进行组密钥管理成为安全组播通信性能的关键.本文研究了组密钥管理的密钥树结构,并提出了一种新的基于组... 详细信息

组播常用来对一组用户发送数据.为了保障安全性,安全组播使用组内共享的加密密钥对组内通信进行加密.因为组成员关系的动态性,有效进行组密钥管理成为安全组播通信性能的关键.本文研究了组密钥管理的密钥树结构,并提出了一种新的基于组成员更新概率的最优密钥树结构.这种结构能够进一步减少系统开销.实验结果表明这种密钥树结构要优于其它基于组成员更新概率的密钥树结构,同时理论分析给出了这种结构的平均更新代价的取值范围.

关键词：安全组播密钥树重发密钥

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：