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

计算机应用 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元素。

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

概念设计中机械行为方案的定性推理

引用

系统仿真学报 2011年第5期23卷 872-876,880页

作者：邵晨曦邵振中陶涛邵景远王子才哈尔滨工业大学控制与仿真中心哈尔滨150001 中国科学技术大学计算机科学技术学院合肥230026 安徽省计算与通讯软件实验室合肥230027 安徽省江淮汽车股份有限公司合肥230022

定性推理是定性仿真的关键步骤之一,采用定性符号构成的矩阵来表示机械基础单元(BMU)的功能转化,用定性向量表示输入及输出状态,并通过定性状态功能矩阵的组合、推理和仿真从而帮助设计师完成机械概念设计的构思及创新工作。在此方案中... 详细信息

定性推理是定性仿真的关键步骤之一,采用定性符号构成的矩阵来表示机械基础单元(BMU)的功能转化,用定性向量表示输入及输出状态,并通过定性状态功能矩阵的组合、推理和仿真从而帮助设计师完成机械概念设计的构思及创新工作。在此方案中把基础单元作为一个研究对象,通过定性代数、逻辑组合、分形法和定性状态推导法从而全面掌握和预测复杂机械的组成结构,并选出符合设计要求的合理方案,最后通过对缝纫机刺布机构概念设计的推导实例验证了方案的合理性和可行性。

关键词：概念设计定性仿真定性推理定性单元功能矩阵

来源：评论

学校读者我要写书评

暂无评论

X再生码:一类适用于云存储的准确修复编码

引用

计算机应用与软件 2014年第8期31卷 241-244,248页

作者：李小兵许胤龙林一施项利萍中国科学技术大学计算机科学与技术学院安徽合肥230027 安徽省高性能计算重点实验室安徽合肥230027

通过将(n,k)-RS编码和X编码结合,为云存储系统设计一类新的准确修复编码——X再生码。它具有容忍n-k个节点故障的可靠性,并且当系统中单个或者两个节点出现故障时,仅需从少量的节点下载数据块,使用简单的异或运算即可修复。对X再生码的... 详细信息

通过将(n,k)-RS编码和X编码结合,为云存储系统设计一类新的准确修复编码——X再生码。它具有容忍n-k个节点故障的可靠性,并且当系统中单个或者两个节点出现故障时,仅需从少量的节点下载数据块,使用简单的异或运算即可修复。对X再生码的存储代价、修复带宽、修复局部性(修复过程中需要连接的节点数)和编码率进行分析,并与RS编码、SRC以及LRC进行对比。结果显示,X再生码在一个或者两个节点故障时,修复局部性以及修复带宽上都具有显著的优势,并能达到任意高的编码率。

关键词：云存储 RS编码 X编码修复局部性

来源：评论

学校读者我要写书评

暂无评论

基于ARM架构的滤波函数优化

引用

计算机应用与软件 2018年第9期35卷 138-143页

作者：陈思润顾乃杰苏俊杰贺爱香中国科学技术大学计算机科学技术学院安徽合肥230027 中国科学技术大学安徽省计算与通信软件重点实验室安徽合肥230027 中国科学技术大学先进技术研究院安徽合肥230027 安徽新华学院信息工程学院安徽合肥230088

随着人们对移动设备图像视觉的追求日益提高,Android设备的图像处理速度难以满足移动客户端海量应用的性能需求。分析并研究ARM架构硬件特性,使用Cortex-A系列支持的SIMD数据级并行计算技术NEON对OpenCV函数库中的滤波函数进行优化。具... 详细信息

随着人们对移动设备图像视觉的追求日益提高,Android设备的图像处理速度难以满足移动客户端海量应用的性能需求。分析并研究ARM架构硬件特性,使用Cortex-A系列支持的SIMD数据级并行计算技术NEON对OpenCV函数库中的滤波函数进行优化。具体介绍中值滤波的优化过程,且在Cortex-A72开发板上进行充分的测试。实验结果表明,中值滤波函数优化效果显著,对比OpenCV源码性能提升了17倍,图像处理模块中的其他滤波函数均有较大的性能提升。

关键词： ARM Cortex—A NEON SIMD OpenCV 中值滤波

来源：评论

学校读者我要写书评

暂无评论

基于RAID6编码的校验盘故障修复算法

引用

计算机应用与软件 2014年第6期31卷 248-251,302页

作者：高玲玲许胤龙王英子朱云锋项利萍李小兵吴思中国科学技术大学计算机科学与技术学院安徽合肥230027 安徽省高性能计算重点实验室安徽合肥230027

针对基于RAID6编码的分布式存储系统中校验盘故障修复问题,提出一种快速修复算法。通过对RDP和EVENODD编码的理论分析,利用节点的计算编码能力,传输经过编码的数据块来修复校验盘,减少修复过程中的数据传输量,缩短修复时间。理论分析表... 详细信息

针对基于RAID6编码的分布式存储系统中校验盘故障修复问题,提出一种快速修复算法。通过对RDP和EVENODD编码的理论分析,利用节点的计算编码能力,传输经过编码的数据块来修复校验盘,减少修复过程中的数据传输量,缩短修复时间。理论分析表明,相比于传统修复算法,该算法可显著减少校验盘故障修复过程中耗费的带宽资源,提高修复效率。

关键词：分布式存储系统 RDP码 EVENODD码校验盘故障修复修复带宽

来源：评论

学校读者我要写书评

暂无评论

电商商品嵌入表示分类方法

引用

山东大学学报（工学版） 2018年第3期48卷 17-24,33页

作者：龙柏曾宪宇李徵刘淇中国科学技术大学计算机科学与技术学院大数据分析与应用安徽省重点实验室安徽合肥230000 中国科学技术大学软件学院安徽合肥230000

借鉴近些年来在自然语言处理领域卓有成效的一种词嵌入模型word2vec,提出两种商品嵌入表示模型item2vec和w-item2vec。提出的两种模型通过对用户在每次购买时对商品的比较和选择行为进行建模,将商品表示为一个低维空间的向量,该向量可... 详细信息

借鉴近些年来在自然语言处理领域卓有成效的一种词嵌入模型word2vec,提出两种商品嵌入表示模型item2vec和w-item2vec。提出的两种模型通过对用户在每次购买时对商品的比较和选择行为进行建模,将商品表示为一个低维空间的向量,该向量可以有效地对不同商品之间的关系和性质进行度量。应用这一性质,使用item2vec和w-item2vec得到的向量对商品进行分类,试验结果表明:在仅使用10%数据训练的基础上,w-item2vec对商品分类的准确率可以接近50%。两种模型分类准确性均显著优于其他模型。

关键词：电子商务商品分类商品嵌入词嵌入行为建模

来源：评论

学校读者我要写书评

暂无评论

多CPU+多GPU协同计算的三维泊松方程求解

引用

小型微型计算机系统 2017年第4期38卷 901-905页

作者：张明顾乃杰陈露中国科学技术大学计算机科学技术学院合肥230027 中国科学技术大学安徽省计算与通信软件重点实验室合肥230027 中国科学技术大学先进技术研究院合肥230088

三维泊松方程求解算法被广泛应用在电磁、流体、地质等领域,有着极其重要的现实意义.但现有实现方法无法满足高精度网格下的性能需求,针对该问题,提出一种基于多GPU加速的三维泊松方程求解算法(MGPES).MPGES通过分析泊松方程求解过程中... 详细信息

三维泊松方程求解算法被广泛应用在电磁、流体、地质等领域,有着极其重要的现实意义.但现有实现方法无法满足高精度网格下的性能需求,针对该问题,提出一种基于多GPU加速的三维泊松方程求解算法(MGPES).MPGES通过分析泊松方程求解过程中的计算和访存特征,发掘可并行的热点函数,将计算任务均分给多个同构GPU.根据CPU和GPU下的计算速度和访存性能,提出一种基于CPU/GPU协同计算下的负载均衡模型.在该模型的基础上,充分利用空闲CPU的计算能力,提出一种基于多CPU+GPU协同异构平台的三维泊松方程求解算法(COPES).实验结果表明,在8GPU平台下,MGPES最高并行加速比能达到7.72,COPES的最高并行加速比能达到7.81.两种算法均可以达到线性加速比,拥有良好的可扩展性.

关键词：泊松方程并行计算 CUDA 性能优化

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：