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

计算机工程 2020年第1期46卷 196-200,207页

作者：殷康麒吴鸣王鹏程徐云中国科学技术大学计算机科学与技术学院合肥230027 中国科学技术大学安徽省高性能计算重点实验室合肥230027

在软件编程中,通过代码补全提示可以提高编码效率,但目前缺乏有效的工具和手段从规模差异较大的相似代码中找到合适的候选代码。针对该问题,基于差异性代码克隆技术设计一种新的代码块补全提示方法。通过改进基于滑动窗口和带误匹配索... 详细信息

在软件编程中,通过代码补全提示可以提高编码效率,但目前缺乏有效的工具和手段从规模差异较大的相似代码中找到合适的候选代码。针对该问题,基于差异性代码克隆技术设计一种新的代码块补全提示方法。通过改进基于滑动窗口和带误匹配索引的匹配算法,寻找与待补全代码块相似的候选代码块,并对其进行特征提取、聚类和相关性排名,以此获得候选代码块的提示顺序。实验结果表明,与HILL等人提出的代码块补全提示方法相比,该方法提示准确率较高,并且适用于更多代码块补全场景。

关键词：代码补全提示代码克隆特征提取聚类编码集成开发环境

来源：评论

学校读者我要写书评

暂无评论

基于关联分析的文本分类特征选择算法

引用

计算机工程 2010年第22期36卷 184-186页

作者：张彪刘贵全中国科学技术大学计算机科学与技术学院合肥230027 安徽省计算与通讯软件重点实验室合肥230027

提出一种在选取特征时考虑特征与特征之间联系的算法。对特征词之间的关联关系进行挖掘,找出那些对类别有重要影响的特征词组,而这些特征词组中的每个单词在传统单独打分策略的特征选择算法中很可能会因分值过低而被丢弃。在Ruters21578... 详细信息

提出一种在选取特征时考虑特征与特征之间联系的算法。对特征词之间的关联关系进行挖掘,找出那些对类别有重要影响的特征词组,而这些特征词组中的每个单词在传统单独打分策略的特征选择算法中很可能会因分值过低而被丢弃。在Ruters21578、20Newsgroup文本数据集上进行实验,将算法与广泛应用的特征选择算法(信息增益、CHI等)进行对比、分析。实验结果表明该方法是一种有特点、有效的特征选择方法。

关键词：特征选择交叉熵文本分类关联挖掘

来源：评论

学校读者我要写书评

暂无评论

基于污点跟踪的黑盒fuzzing测试

引用

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

作者：朱贯淼曾凡平袁园武飞中国科学技术大学计算机科学与技术学院合肥230026 安徽省计算与通讯软件重点实验室合肥230026

针对传统fuzzing测试中的低效率问题,提出一种基于污点跟踪的黑盒fuzzing测试方法.通过将合法输入标记为污染源,并记录污点在应用程序中的传播过程,提取关键的污点信息,用以指导新的测试用例的生成.这样生成的测试用例,具有更好的针对性... 详细信息

针对传统fuzzing测试中的低效率问题,提出一种基于污点跟踪的黑盒fuzzing测试方法.通过将合法输入标记为污染源,并记录污点在应用程序中的传播过程,提取关键的污点信息,用以指导新的测试用例的生成.这样生成的测试用例,具有更好的针对性,以及能够达到较深的代码深度,有良好的代码覆盖率,能更好的挖掘出潜在的漏洞和安全脆弱点.采用这种方法对几款图形处理软件和图形库进行了测试,发现了一个漏洞,并提交SecurityFocus通过.

关键词： fuzzing 污点跟踪黑盒漏洞挖掘

来源：评论

学校读者我要写书评

暂无评论

基于PEBI网格的水平井井底压力计算

引用

中国科学技术大学学报 2010年第6期40卷 646-650页

作者：查文舒李道伦杨景海卢德唐中国科学技术大学近代力学系安徽合肥230027 中国科学技术大学安徽省计算与通讯软件重点实验室安徽合肥230027 中国石油大庆油田公司测试技术服务分公司黑龙江大庆163412

针对PEBI非结构网格,研究了水平井的数值试井网格划分方法,推导出定流量下的耦合井筒储集系数与表皮因子的无限传导与均匀流量井产量计算公式;通过将水平井看作内边界,提出了水平井内边界模型,避免Peaceman水平井模型因井所在网格尺度... 详细信息

针对PEBI非结构网格,研究了水平井的数值试井网格划分方法,推导出定流量下的耦合井筒储集系数与表皮因子的无限传导与均匀流量井产量计算公式;通过将水平井看作内边界,提出了水平井内边界模型,避免Peaceman水平井模型因井所在网格尺度变化对早期计算精度影响.根据提出的模型进行实例计算,并将计算结果与Eclipse公司的Weltest软件结果进行对比,对比表明,水平井内边界无限传导模型计算结果介于解析解与Peaceman模型结果之间,比Peaceman模型的更为精确,并且与解析解吻合更好;而在中后期水平井内边界均匀流量模型计算结果与解析解吻合很好.

关键词：水平井井模型 PEBI网格混合网格数值试井有限体积法

来源：评论

学校读者我要写书评

暂无评论

脑电波的定性复杂度研究

引用

计算机仿真 2011年第12期28卷 172-174,179页

作者：周颢邵晨曦中国科学技术大学计算机科学技术学院安徽合肥230027 安徽省计算与通讯软件重点实验室安徽合肥230027

研究脑电波信号分析处理问题,由于不确定的信息较多,传统方法不能有效地从复杂的脑电波信号中获取应用于医学临床诊断的正确信息。分析异常脑电波信号特征,根据定性仿真理论对脑电波信号进行定性化处理,然后进行数据离散化,并根据Lemple... 详细信息

研究脑电波信号分析处理问题,由于不确定的信息较多,传统方法不能有效地从复杂的脑电波信号中获取应用于医学临床诊断的正确信息。分析异常脑电波信号特征,根据定性仿真理论对脑电波信号进行定性化处理,然后进行数据离散化,并根据Lemple-Ziv复杂度度量方法得到脑电波的定性复杂度。利用上述方法对实验数据进行了分析仿真,结果表明定性复杂度不仅可以用来区分脑癫痫波形和正常波形,而且还能很好地刻画癫痫发病过程中的不同阶段,为脑疾病患者的临床诊断提供了新途径。

关键词：定性仿真脑电波信号定性复杂度

来源：评论

学校读者我要写书评

暂无评论

利用Java即时编译器自动外提循环中的同步操作

引用

小型微型计算机系统 2009年第12期30卷 2414-2419页

作者：张昱史成荣中国科学技术大学计算机科学与技术学院安徽合肥230027 安徽省计算与通信软件重点实验室安徽合肥230027

同步开销是影响并行程序性能的一个重要方面,如果同步操作出现在循环中,将会使这种影响进一步扩大.为了降低循环中同步操作的开销,本文提出一种利用即时编译器外提Java程序中循环内同步操作的优化算法,并在实际的Java虚拟机中实现.该算... 详细信息

同步开销是影响并行程序性能的一个重要方面,如果同步操作出现在循环中,将会使这种影响进一步扩大.为了降低循环中同步操作的开销,本文提出一种利用即时编译器外提Java程序中循环内同步操作的优化算法,并在实际的Java虚拟机中实现.该算法在保证程序语义不变的前提下,大量减少运行时实际执行的同步操作数量,降低同步开销,并能保证外提变换后同步代码块不会太大而降低程序的并发度.实验结果表明该算法能提高程序的整体性能,并且不降低程序的可扩放性.

关键词：即时编译器同步优化循环代码外提

来源：评论

学校读者我要写书评

暂无评论

收益与代价相结合的漏洞修复模型

引用

小型微型计算机系统 2009年第11期30卷 2163-2168页

作者：汪志亮顾乃杰李凯中国科学技术大学计算机科学与技术学院安徽合肥230027 安徽省计算与通信软件重点实验室安徽合肥230027

漏洞修复是增强网络安全性的重要方法,选择性地修复网络中漏洞具有现实意义.提出一种收益与代价相结合的漏洞修复模型BCVRM.漏洞修复收益评价算法基于简化的攻击图生成算法,对比漏洞修复前后网络整体及相关各类型主机安全状态的提升,给... 详细信息

漏洞修复是增强网络安全性的重要方法,选择性地修复网络中漏洞具有现实意义.提出一种收益与代价相结合的漏洞修复模型BCVRM.漏洞修复收益评价算法基于简化的攻击图生成算法,对比漏洞修复前后网络整体及相关各类型主机安全状态的提升,给出漏洞修复的总收益.漏洞修复代价评分系统基于CVSS对漏洞属性信息的描述,给出单个漏洞修复代价的评分规则,然后结合漏洞所属主机类型及漏洞分布情况给出网络漏洞修复代价.实例网络分析表明,该模型能够为网络管理人员提供一个切实可行的网络漏洞修复策略.

关键词：漏洞修复攻击图 CVSS 收益代价

来源：评论

学校读者我要写书评

暂无评论

静态博弈模型下的无线传感器网络MAC地址分配算法

引用

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

作者：涂锟顾乃杰任开新中国科学技术大学计算机科学与技术系安徽合肥230027 安徽省计算与通信软件重点实验室安徽合肥230027

针对传感器网络地址分配过程中为了避免地址冲突而导致通信能耗较大的问题,提出了一种基于静态博弈模型的MAC地址分配算法MAAS.该算法将传感器节点看作博弈模型中的决策者,通过使模型达到纳什平衡来解决节点的MAC地址分配问题.在进行地... 详细信息

针对传感器网络地址分配过程中为了避免地址冲突而导致通信能耗较大的问题,提出了一种基于静态博弈模型的MAC地址分配算法MAAS.该算法将传感器节点看作博弈模型中的决策者,通过使模型达到纳什平衡来解决节点的MAC地址分配问题.在进行地址分配时,MAAS利用博弈模型中每个决策者可根据其邻居节点信息独立进行决策的性质,避免了节点在地址分配过程中发送大量的交互信息.实验结果表明,MAAS在保证较低冲突率的同时降低了地址分配过程中的通信消耗.

关键词： MAC地址分配静态博弈无线传感器网络纳什平衡

来源：评论

学校读者我要写书评

暂无评论

一种时延受限的多播路由算法

引用

计算机工程 2007年第20期33卷 113-115+118页

作者：张锁太顾乃杰刘刚刘小虎中国科学技术大学计算机科学与技术系安徽省计算与通信软件重点实验室中国科学技术大学计算机科学与技术系合肥230027

很多实时多媒体应用要求通信网络提供多播服务支持,而且往往需要传输的信息满足源端到目的端的时延约束。该文对时延约束的多播路由问题进行了研究,基于原有的从源端到目的端的时延受限路径构造算法,提出了一种时延受限多播路由算法。... 详细信息

很多实时多媒体应用要求通信网络提供多播服务支持,而且往往需要传输的信息满足源端到目的端的时延约束。该文对时延约束的多播路由问题进行了研究,基于原有的从源端到目的端的时延受限路径构造算法,提出了一种时延受限多播路由算法。该算法能够快速构建满足时延约束的多播树。理论分析表明,该算法的时间复杂度和CDKS算法相同。仿真实验结果表明,该算法所构建的多播树代价低于CDKS算法。

关键词：多播路由时延约束受限的Steiner树

来源：评论

学校读者我要写书评

暂无评论

程序断言与切片技术在检测程序非崩溃错误中的应用

引用

小型微型计算机系统 2014年第8期35卷 1699-1704页

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

针对程序非崩溃错误难以被发现的问题,提出一种基于程序断言与切片技术的程序执行监测方法:根据程序执行过程中断言是否被违反来检测程序异常,并根据断言违反信息对反馈的程序异常进行自动分类;在程序切片技术的帮助下,对分类后的程序... 详细信息

针对程序非崩溃错误难以被发现的问题,提出一种基于程序断言与切片技术的程序执行监测方法:根据程序执行过程中断言是否被违反来检测程序异常,并根据断言违反信息对反馈的程序异常进行自动分类;在程序切片技术的帮助下,对分类后的程序异常进行分析,判断程序是否真的出错并找到程序错误来源.实验结果表明,该方法可以有效地发现程序执行过程中发生的非崩溃错误,对程序异常进行合理的分类,约简程序代码和不变量,并将程序错误来源定位到具体的汇编指令,从而帮助程序员快速方便地找到错误来源.

关键词：断言切片程序执行监测非崩溃错误

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：