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

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

二进制程序的动态符号化污点分析

引用

计算机科学 2016年第2期43卷 155-158,187页

作者：朱正欣曾凡平黄心依中国科学技术大学计算机科学与技术学院合肥230026 安徽省计算与通讯软件重点实验室合肥230026

污点分析技术常用于跟踪二进制程序的信息流及检测安全漏洞,通过程序的动态执行来检测程序中由测试用例触发的漏洞。它的误报率很低,但是漏报率较高。针对污点分析的这一问题,动态符号化污点分析方法对污点分析进行了改进,通过将污点分... 详细信息

污点分析技术常用于跟踪二进制程序的信息流及检测安全漏洞,通过程序的动态执行来检测程序中由测试用例触发的漏洞。它的误报率很低,但是漏报率较高。针对污点分析的这一问题,动态符号化污点分析方法对污点分析进行了改进,通过将污点分析符号化来降低漏报率。根据基于指令的污点传播来获得相关污点数据的信息,同时制定符号化的风险分析规则,通过检测污点信息是否违反风险规则来发现存在的风险。实验结果表明,该方法不仅具有污点分析低误报率的优点,而且克服了污点分析高漏报率的缺点。在污点分析过程中产生的漏洞、风险及相关污点信息还可用于指导测试用例的生成,提高测试效率并降低测试用例的冗余。

关键词：污点分析符号化漏洞检测测试用例数据跟踪

来源：评论

学校读者我要写书评

暂无评论

混合式无线mesh网络中信道分配算法研究

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

一种规则集快速压缩算法

引用

小型微型计算机系统 2012年第8期33卷 1787-1790页

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

实际应用中的规则集表现出很强的聚集特性,针对这一特性提出一种规则集快速压缩算法.快速压缩算法是一个由粗到细的先分类再合并压缩的过程,首先通过使用Hash函数将提取的规则信息散列并以散列值作为查找关键字构建二叉查找树实现粗略分... 详细信息

实际应用中的规则集表现出很强的聚集特性,针对这一特性提出一种规则集快速压缩算法.快速压缩算法是一个由粗到细的先分类再合并压缩的过程,首先通过使用Hash函数将提取的规则信息散列并以散列值作为查找关键字构建二叉查找树实现粗略分类,然后在树结点对应的Hash函数冲突列表中逐条比较完成精确分类,最后合并冲突列表中的规则实现压缩.实验结果表明,与逐条规则逐个域比较的简单压缩方法相比,快速压缩算法在保持较高压缩率的前提下,能够将压缩时间平均减少90%以上.

关键词：规则集快速压缩 Hash函数二叉查找树

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

基于静态分析的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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

基于EAI的银行卡跨行交易系统的设计与实现

引用

电子技术应用 2006年第7期32卷 16-18页

作者：艾飞曹先彬叶静中国科学技术大学计算机科学技术系安徽合肥230027 安徽省计算与通讯软件重点实验室安徽合肥230027 交通部物流工程研究中心北京100088

通过分析EAI的原理、结合实际情况和发展趋势,基于中间件协同处理架构设计了一种符合国际标准的银行卡跨行交易核心系统架构。介绍了交易系统的设计原理和框架,针对系统实现的不同层次,详细论述了完整的银行卡跨行交易的设计和实现。该... 详细信息

通过分析EAI的原理、结合实际情况和发展趋势,基于中间件协同处理架构设计了一种符合国际标准的银行卡跨行交易核心系统架构。介绍了交易系统的设计原理和框架,针对系统实现的不同层次,详细论述了完整的银行卡跨行交易的设计和实现。该支付系统可以实现系统要求的高可用性和高效率,在交易中实施多等级保密性和完整性安全政策,同时还考虑了基于该框架的交易系统的扩展性和实用性。

关键词：企业应用集成中间件消息中间件交易中间件联机事务处理

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：