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

中文信息学报 2022年第4期36卷 146-155页

作者：魏思沈双宏黄振亚刘淇陈恩红苏喻王士进认知智能国家重点实验室(科大讯飞) 安徽合肥230088 中国科学技术大学计算机科学与技术学院大数据分析与应用安徽省重点实验室安徽合肥230027 中国科学技术大学大数据学院安徽合肥230027

知识追踪是一项评估学生学习过程中知识状态演变情况的任务。现有大多数方法都致力于探索不同的知识状态评估方法。然而,答题过程中更为基础的题目表征受到的关注相对较少。因此,该文提出了一种融合通用题目表征学习的神经知识追踪框架... 详细信息

知识追踪是一项评估学生学习过程中知识状态演变情况的任务。现有大多数方法都致力于探索不同的知识状态评估方法。然而,答题过程中更为基础的题目表征受到的关注相对较少。因此,该文提出了一种融合通用题目表征学习的神经知识追踪框架。具体地,该文首先设计了一种通用的题目表征方法,通过知识点、难度和题目独有特征来区分题目。然后,采用现有知识追踪方法同时捕捉知识状态演变并学习题目表征。最后,利用知识状态和待回答题目表征的内积来模拟回答过程。在三个真实数据集上的实验结果表明,该文方法可以在知识追踪过程中学习精确有效的题目表征,并且显著提升了基线知识追踪方法的性能,使其能够超过现有最优方法。

关键词：题目表征知识追踪深度学习数据挖掘

来源：评论

学校读者我要写书评

暂无评论

龙芯3B的SIMD编译优化及分析

引用

小型微型计算机系统 2012年第12期33卷 2733-2737页

作者：彭飞顾乃杰高翔孙明明中国科学技术大学计算机科学与技术学院合肥230027 安徽省计算与通信软件重点实验室合肥230027 中国科学技术大学-中国科学院沈阳计算所网络与通信联合实验室合肥230027 中国科学院计算技术研究所微处理器研究中心北京100080

根据龙芯3B处理器特有的SIMD运算部件和指令集,在GCC编译器中实现了SIMD访存和SIMD运算的自动向量化.针对SIMD访存,给出了现有的访存方法,并详细介绍了适合龙芯3B的SIMD访存方法.对于不能自动向量化的其他SIMD运算,在GCC编译器中增加了B... 详细信息

根据龙芯3B处理器特有的SIMD运算部件和指令集,在GCC编译器中实现了SIMD访存和SIMD运算的自动向量化.针对SIMD访存,给出了现有的访存方法,并详细介绍了适合龙芯3B的SIMD访存方法.对于不能自动向量化的其他SIMD运算,在GCC编译器中增加了Builtin函数的支持,用户可以根据标准函数接口调用SIMD运算函数,完成向量操作.通过对SPEC-CPU2000、DSPstone等大量benchmark的测试和分析,给出了龙芯3B SIMD运算的各项性能指数.对于性能表现不同的测试函数,均给出了详细分析数据和结论.测试表明,龙芯3B的SIMD运算在实际应用中有着良好的性能表现.

关键词：编译优化 SIMD 自动向量化 Builtin 龙芯3B

来源：评论

学校读者我要写书评

暂无评论

一种多倍数据供应的编译优化方法

引用

小型微型计算机系统 2011年第11期32卷 2280-2284页

作者：彭飞顾乃杰高翔孙明明中国科学技术大学计算机科学与技术学院合肥230027 安徽省计算与通信软件重点实验室合肥230027 中国科学技术大学与中国科学院沈阳计算所网络与通信联合实验室合肥230027 中国科学院计算技术研究所微处理器研究中心北京100080

数据的快速及时供应对访存密集型程序的性能有着直接的影响.提出一种多倍数据供应MDS(Multiple Data Supply)的编译优化方法,在不增加处理器设计复杂度的前提下,利用现有处理器的高带宽,一次对内存进行多个数据的读写,减少访存次数,提... 详细信息

数据的快速及时供应对访存密集型程序的性能有着直接的影响.提出一种多倍数据供应MDS(Multiple Data Supply)的编译优化方法,在不增加处理器设计复杂度的前提下,利用现有处理器的高带宽,一次对内存进行多个数据的读写,减少访存次数,提高应用程序效率.在编译优化阶段,利用自动向量化技术,生成向量形式的树结构,增加一条新的扩展路径来处理从向量化的树结构到底层结构的扩展.针对向量化后树结构的多样性问题,设计新的优化遍以及RAC(Register Assignment Chain)替换算法进行专门处理.在龙芯3A处理器平台上,对SPEC-CPU2000的测试,CINT程序平均性能提升11.6%,CFP程序平均性能提升14.4%.

关键词：编译优化 MDS多倍数据供应自动向量化 RAC替换算法龙芯3A

来源：评论

学校读者我要写书评

暂无评论

推测执行技术在HPMR系统通信优化中的应用

引用

中国科学技术大学学报 2010年第11期40卷 1191-1196页

作者：王昊王向前郑启龙中国电子科技集团公司第三十八研究所安徽合肥230088 中国科学技术大学计算机科学与技术学院安徽合肥230027 安徽省高性能计算重点实验室安徽合肥230026

HPMR(high performance MapReduce)系统是一个采用MapReduce模型的高性能计算软件支撑平台.在进行高性能计算时,HPMR往往需要很多轮Map-Reduce过程,中间的通信过程由KV路由和KV传输组成.KV传输依照KV路由阶段产生的KV路由表进行.HPMR程... 详细信息

HPMR(high performance MapReduce)系统是一个采用MapReduce模型的高性能计算软件支撑平台.在进行高性能计算时,HPMR往往需要很多轮Map-Reduce过程,中间的通信过程由KV路由和KV传输组成.KV传输依照KV路由阶段产生的KV路由表进行.HPMR程序的典型通信特征是每一轮的KV传输以高概率使用上一轮的KV路由表.根据这一特点,提出在HPMR的通信模型中引入推测执行技术,由此减少了KV路由的次数,使得HPMR的通信性能得到大大地提升.

关键词： MapReduce HPMR 推测执行 KV路由 KV传输

来源：评论

学校读者我要写书评

暂无评论

基于龙芯3B的循环规约算法向量化研究

引用

计算机工程 2013年第2期39卷 293-298页

作者：吴淅黄章进顾乃杰中国科学技术大学计算机科学与技术学院合肥230027 安徽省计算与通讯软件重点实验室合肥230027 中国科学技术大学与中国科学院沈阳计算技术研究所网络与通信联合实验室合肥230027

研究国产CPU龙芯3B的体系结构,分析三对角线性方程组求解中的循环规约算法,并结合算法特性,提出循环规约算法的优化方案。采用向量化级数,利用龙芯3B处理器提供的向量扩展指令对该算法在龙芯3B上进行实现和优化。实验结果表明,与非向量... 详细信息

研究国产CPU龙芯3B的体系结构,分析三对角线性方程组求解中的循环规约算法,并结合算法特性,提出循环规约算法的优化方案。采用向量化级数,利用龙芯3B处理器提供的向量扩展指令对该算法在龙芯3B上进行实现和优化。实验结果表明,与非向量化算法相比,向量化算法的性能提升较大。

关键词：龙芯3B 三对角线性方程循环规约算法向量化泊松方程离散化

来源：评论

学校读者我要写书评

暂无评论

基于插桩和布尔逻辑的运行时程序验证框架

引用

计算机工程 2013年第1期39卷 29-34,40页

作者：李业华顾乃杰张颖楠彭飞中国科学技术大学计算机科学与技术学院合肥230027 安徽省计算与通讯软件重点实验室合肥230027 中国科学技术大学中国科学院沈阳计算技术研究所网络与通信联合实验室合肥230027

针对软件测试和静态程序验证中存在的连续性程序执行验证和推理问题,提出一个基于程序插桩和布尔逻辑的运行时程序验证框架——RPA。定义一种用于描述运行时程序性质和规范的动态逻辑语言RPAL,实现自动化插桩以收集运行时程序状态信息,... 详细信息

针对软件测试和静态程序验证中存在的连续性程序执行验证和推理问题,提出一个基于程序插桩和布尔逻辑的运行时程序验证框架——RPA。定义一种用于描述运行时程序性质和规范的动态逻辑语言RPAL,实现自动化插桩以收集运行时程序状态信息,设计一个支持高效验证的句子调度算法。实验结果表明,结合合适的谓词扩展,RPA可以有效地验证和分析软件逻辑,发现潜在的软件错误。

关键词： RPA框架 RPAL语言运行时程序验证程序插桩布尔逻辑事实推理

来源：评论

学校读者我要写书评

暂无评论

主流视频编解码软件的硬件性能分析与设计

引用

计算机工程 2014年第6期40卷 300-305页

作者：汤旭龙安虹范东睿中国科学技术大学计算机科学与技术学院合肥230027 中国科学院计算技术研究所体系结构国家重点实验室北京100190

网络视频会议以及高清视频点播等应用的广泛流行,对视频编解码的编码质量以及编码速度提出了更高的要求。为帮助硬件设计人员设计更强大的专用处理器去适应视频编解码应用的发展趋势,并评估处理器设计的合理性和正确性,对视频编解码进... 详细信息

网络视频会议以及高清视频点播等应用的广泛流行,对视频编解码的编码质量以及编码速度提出了更高的要求。为帮助硬件设计人员设计更强大的专用处理器去适应视频编解码应用的发展趋势,并评估处理器设计的合理性和正确性,对视频编解码进行分析和测试,提出一套基准测试程序。采用自顶向下的分析方法,以流行性、编解码效率、压缩质量和开源性为标准,选取主流的视频编解码软件,进行热点函数分析。抽取变换、量化以及滤波过程中的热点函数,使之成为视频编解码测试程序,为其构造典型输入集。通过分析真实硬件平台上这些测试程序的计算和访存特性,给出处理器设计的建议。结果证明,该基准测试程序使用10%的代码量即可反映视频编解码过程的主要特征,对处理器设计具有指导意义。

关键词：视频编解码体系结构热点函数性能分析变换量化滤波

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

一种基于智能手机传感器数据的地图轮廓生成方法

引用

计算机研究与发展 2020年第7期57卷 1490-1507页

作者：陶涛孙玉娥陈冬梅杨文建黄河罗永龙苏州大学计算机科学与技术学院江苏苏州215006 苏州大学轨道交通学院江苏苏州215131 中国科学技术大学苏州研究院江苏苏州215123 安徽师范大学计算机与信息学院安徽芜湖241002 网络与信息安全安徽省重点实验室(安徽师范大学) 安徽芜湖241002

近年来,随着社会经济的不断发展,许多商业服务以及旅游出行活动对环境地图的依赖越来越大.传统的地图生成方法主要基于车辆驱动型的GPS设备进行数据的采集和路网的构建.然而该类方法存在精度低、时效性差等缺点,并且该类方法对于一些采... 详细信息

近年来,随着社会经济的不断发展,许多商业服务以及旅游出行活动对环境地图的依赖越来越大.传统的地图生成方法主要基于车辆驱动型的GPS设备进行数据的采集和路网的构建.然而该类方法存在精度低、时效性差等缺点,并且该类方法对于一些采集设备难以到达或者GPS信号弱的地带无法进行地图的构建.为了解决上述问题,提出了通过挖掘广泛普及的智能手机内部传感器数据进行地图构建的思想,并基于该思想提出了一种数据融合算法.该算法基于智能手机采集的行人步行数据,利用机器学习分类算法与信号处理技术进行行进状态的识别,采用分段机制结合动态时间规整算法进行转向情况的处理,通过融合有效状态下行进的距离数据和方向数据,最终生成局部地图轮廓.将所提算法在真实路网采集的数据上进行实验,实验结果证明了所提方法对局部地图轮廓构建的有效性以及深入挖掘传感器数据的可行性.

关键词：机器学习状态识别地图生成数据挖掘智能手机

来源：评论

学校读者我要写书评

暂无评论

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：