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

软件学报 2009年第3期20卷 713-723页

作者：卢威曾定浩潘金贵计算机软件与新技术国家重点实验室(南京大学) 江苏南京210093

对已有的三维网格简化技术进行分析,利用半边折叠操作对QEM(quadric error metric)算法进行改进,提出了一种基于二次误差测度(QEM)的网格简化算法,解决了非连续外观属性在简化过程中的畸变问题.通过分析顶点与非连续外观接缝的关系,得... 详细信息

对已有的三维网格简化技术进行分析,利用半边折叠操作对QEM(quadric error metric)算法进行改进,提出了一种基于二次误差测度(QEM)的网格简化算法,解决了非连续外观属性在简化过程中的畸变问题.通过分析顶点与非连续外观接缝的关系,得出了一个新的边折叠代价公式,使得外观畸变在简化过程中尽可能地推迟;并且在执行半边折叠时给受影响的三角形找到了合适的替换wedge,避免外观畸变的发生.实验结果表明,该算法保持了QEM算法的高效性,同时在几何属性和外观属性上都取得了令人满意的简化效果.

关键词：网格简化半边折叠累进网格二次误差测度外观属性保持

来源：评论

学校读者我要写书评

暂无评论

任务间的次并行性

引用

软件学报 1998年第12期9卷 917-921页

作者：杜建成徐融陈道蓄谢立南京大学计算机科学与技术系南京大学计算机软件新技术国家重点实验室

首先给出了任务间次并行性存在的条件，讨论了两个任务之间的通讯、通讯等待开销的计算和任务间次并行性发掘的一般过程．此外，还就代码移动和任务合并对增强并行性、消减不必要的通讯等待开销的影响作了说明．

关键词：数据并行性任务并行性程序自动并行化

来源：评论

学校读者我要写书评

暂无评论

强化学习可解释性基础问题探索和方法综述

引用

软件学报 2023年第5期34卷 2300-2316页

作者：刘潇刘书洋庄韫恺高阳计算机软件新技术国家重点实验室(南京大学) 江苏南京210023

强化学习是一种从试错过程中发现最优行为策略的技术,已经成为解决环境交互问题的通用方法.然而,作为一类机器学习算法,强化学习也面临着机器学习领域的公共难题,即难以被人理解.缺乏可解释性限制了强化学习在安全敏感领域中的应用,如... 详细信息

强化学习是一种从试错过程中发现最优行为策略的技术,已经成为解决环境交互问题的通用方法.然而,作为一类机器学习算法,强化学习也面临着机器学习领域的公共难题,即难以被人理解.缺乏可解释性限制了强化学习在安全敏感领域中的应用,如医疗、驾驶等,并导致强化学习在环境仿真、任务泛化等问题中缺乏普遍适用的解决方案.为了克服强化学习的这一弱点,涌现了大量强化学习可解释性(explainable reinforcement learning,XRL)的研究.然而,学术界对XRL尚缺乏一致认识.因此,探索XRL的基础性问题,并对现有工作进行综述.具体而言,首先探讨父问题——人工智能可解释性,对人工智能可解释性的已有定义进行了汇总;其次,构建一套可解释性领域的理论体系,从而描述XRL与人工智能可解释性的共同问题,包括界定智能算法和机械算法、定义解释的含义、讨论影响可解释性的因素、划分解释的直观性;然后,根据强化学习本身的特征,定义XRL的3个独有问题,即环境解释、任务解释、策略解释;之后,对现有方法进行系统地归类,并对XRL的最新进展进行综述;最后,展望XRL领域的潜在研究方向.

关键词：强化学习可解释性(XRL) 人工智能可解释性(XAI) 机器学习(ML) 人工智能(AI)

来源：评论

学校读者我要写书评

暂无评论

嵌入一致图语法的依赖图(英文)

引用

软件学报 2004年第7期15卷 956-968页

作者：李国东张德富南京大学计算机软件新技术国家重点实验室江苏南京210093

图语法将字符串上的形式文法扩充为图上的形式文法,提供一种能够使用精确的数学方法来模拟图变换的机制.提出了几种新的基于一致图语法的方法来表示控制流图、数据流图、控制数据流图、二分图和超图,并说明如何通过图重写来自动生成依... 详细信息

图语法将字符串上的形式文法扩充为图上的形式文法,提供一种能够使用精确的数学方法来模拟图变换的机制.提出了几种新的基于一致图语法的方法来表示控制流图、数据流图、控制数据流图、二分图和超图,并说明如何通过图重写来自动生成依赖图并挖掘并行性,从而协助并行编译器和并行语言的设计和实现.

关键词：框架图语法图重写依赖图超图编译

来源：评论

学校读者我要写书评

暂无评论

基于混合投影函数的眼睛定位

引用

软件学报 2003年第8期14卷 1394-1400页

作者：耿新周志华陈世福南京大学计算机软件新技术国家重点实验室江苏南京210093

介绍一种精确定位眼睛的方法,眼睛定位是很多人脸检测算法的关键步骤,在获得眼睛窗口之后,可以利用投影方法来定位眼睛。提出一种混合投影函数,该函数结合了积分投影函数和方差投影函数,能够反映出图像在某个方向上灰度均值和方差的综... 详细信息

介绍一种精确定位眼睛的方法,眼睛定位是很多人脸检测算法的关键步骤,在获得眼睛窗口之后,可以利用投影方法来定位眼睛。提出一种混合投影函数,该函数结合了积分投影函数和方差投影函数,能够反映出图像在某个方向上灰度均值和方差的综合变化情况。实验结果表明,利用混合投影函数可以相当精确地确定眼睛中心的位置。

关键词：人脸检测人脸识别眼睛定位投影函数

来源：评论

学校读者我要写书评

暂无评论

利用蚁群算法生成覆盖表:探索与挖掘

引用

软件学报 2016年第4期27卷 855-878页

作者：曾梦凡陈思洋张文茜聂长海计算机软件新技术国家重点实验室(南京大学) 江苏南京210093

覆盖表生成问题是组合测试的重要研究内容之一,目前已有许多数学方法、贪心算法、搜索算法用于求解这一问题.蚁群算法作为一种能够有效求解组合优化问题的演化搜索算法,已被应用到求解覆盖表生成问题中.已有的研究工作表明:蚁群算法适... 详细信息

覆盖表生成问题是组合测试的重要研究内容之一,目前已有许多数学方法、贪心算法、搜索算法用于求解这一问题.蚁群算法作为一种能够有效求解组合优化问题的演化搜索算法,已被应用到求解覆盖表生成问题中.已有的研究工作表明:蚁群算法适于求解一般覆盖表、变力度覆盖表生成以及覆盖表排序等问题,但算法结果与其他覆盖表生成方法相比并不具有优势.为了进一步探索与挖掘蚁群算法生成覆盖表的潜力,进行了如下4个层次的改进工作:(1)算法变种集成;(2)算法参数配置优化;(3)演化对象结构调整及演化策略改进;(4)利用并行计算优化算法时间开销.实验结果表明:通过以上4个层次的改进,蚁群算法生成覆盖表的性能有了显著提升.

关键词：覆盖表蚁群算法演化搜索算法并行计算组合测试软件测试

来源：评论

学校读者我要写书评

暂无评论

通过抽象程序证明复杂具体程序

引用

软件学报 2017年第4期28卷 786-803页

作者：李彬汤震浩翟娟赵建华计算机软件新技术国家重点实验室(南京大学) 江苏南京210023

描述了证明抽象程序和具体程序满足一致性关系的方法.抽象程序使用抽象数据结构(ADTs),如set,list,map及其上的操作.具体程序使用类C语言中的类型.抽象程序和具体程序一致性证明需要用户给出抽象变量和具体变量的关系、抽象程序程序点... 详细信息

描述了证明抽象程序和具体程序满足一致性关系的方法.抽象程序使用抽象数据结构(ADTs),如set,list,map及其上的操作.具体程序使用类C语言中的类型.抽象程序和具体程序一致性证明需要用户给出抽象变量和具体变量的关系、抽象程序程序点和具体程序程序点的对应关系.基于对应关系,抽象程序和具体程序一致性证明可以分解,从而容易并可能自动证明.

关键词：程序证明一致性抽象程序精化分解

来源：评论

学校读者我要写书评

暂无评论

通过单向队列自动机对适应性移动计算系统中组合事件的分析(英文)

引用

软件学报 2002年第8期13卷 1402-1411页

作者：李国东张德富南京大学计算机软件新技术国家重点实验室江苏南京210093

近年来,移动计算吸引着越来越多的注意力.适应性移动计算系统要求大范围的事件组合,这些事件包括逻辑事件、时间事件和暂时事件等.致力于组合事件和组合反应的设计和实现,考虑了事件流、时间事件和不同操作符等情况.组合事件的检测由一... 详细信息

近年来,移动计算吸引着越来越多的注意力.适应性移动计算系统要求大范围的事件组合,这些事件包括逻辑事件、时间事件和暂时事件等.致力于组合事件和组合反应的设计和实现,考虑了事件流、时间事件和不同操作符等情况.组合事件的检测由一种新的扩展自动机单向队列自动机来有效地支持,详细定义和讨论了单向队列自动机,并具体描述了使用它来检测组合事件的机制和所使用的数据结构.

关键词：单向队列自动机适应性移动计算系统组合事件扩展自动机

来源：评论

学校读者我要写书评

暂无评论

一种满足差分隐私的图赌博机算法

引用

软件学报 2022年第9期33卷 3223-3235页

作者：卢世银王广辉邱梓豪张利军计算机软件新技术国家重点实验室(南京大学) 江苏南京210023

图赌博机是一种重要的不确定性环境下的序列决策模型,在社交网络、电子商务和推荐系统等领域都得到了广泛的应用.目前,针对图赌博机的工作都只关注如何快速识别最优摇臂从而最小化累积遗憾,而忽略了在很多应用场景中存在的隐私保护问题... 详细信息

图赌博机是一种重要的不确定性环境下的序列决策模型,在社交网络、电子商务和推荐系统等领域都得到了广泛的应用.目前,针对图赌博机的工作都只关注如何快速识别最优摇臂从而最小化累积遗憾,而忽略了在很多应用场景中存在的隐私保护问题.为了克服现有图赌博机算法的缺陷,提出了一种满足差分隐私的图赌博机算法GAP(图反馈下的差分隐私摇臂消除策略).一方面,GAP算法阶段性地根据摇臂的经验平均奖赏更新摇臂选取策略,并在计算摇臂的经验平均奖赏时引入拉普拉斯噪声,从而确保恶意攻击者难以根据算法输出推算摇臂奖赏数据,保护了隐私.另一方面,GAP算法在每个阶段根据精心构造的反馈图的独立集探索摇臂集合,有效地利用了图形式的反馈信息.证明了GAP算法满足差分隐私性质,具有与理论下界相匹配的遗憾界.在仿真数据集上的实验结果表明:GAP算法在有效保护隐私的同时取得了与现有无隐私保护的图赌博机算法相当的累积遗憾.

关键词：图赌博机差分隐私不确定性环境下的序列决策独立集拉普拉斯噪声

来源：评论

学校读者我要写书评

暂无评论

C程序内存泄漏智能化检测方法

引用

软件学报 2019年第5期30卷 1330-1341页

作者：朱亚伟左志强王林章李宣东计算机软件新技术国家重点实验室(南京大学) 江苏南京210023

内存泄漏在采用显式内存管理机制的C语言中是一种常见的代码缺陷,内存泄漏的检测方法目前主要是静态分析与动态检测.动态检测开销大,且高度依赖测试用例;静态分析目前被学术界和工业界广泛应用,但是存在大量误报,需要人工对检测结果进... 详细信息

内存泄漏在采用显式内存管理机制的C语言中是一种常见的代码缺陷,内存泄漏的检测方法目前主要是静态分析与动态检测.动态检测开销大,且高度依赖测试用例;静态分析目前被学术界和工业界广泛应用,但是存在大量误报,需要人工对检测结果进行确认.内存泄漏静态分析的误报通常是由于对指针、分支语句和全局变量分析的不准确性导致的.提出了一种内存泄漏的智能化检测方法,通过使用机器学习算法学习程序特征与内存泄漏之间的相关性,构建机器学习分类器,并应用机器学习分类器进一步提高内存泄漏静态分析的准确性.首先构建机器学习分类器,然后通过静态分析方法构建从内存分配点开始的SparseValueFlowGraph(SVFG),并从中提取内存泄漏相关特征,再使用规则和机器学习分类器进行内存泄漏的检测.实验结果显示,该方法在分析指针、分支语句和全局变量时是有效的,能够提高内存泄漏检测的准确性,降低内存泄漏检测结果的误报.最后,对未来研究的可行性以及面临的挑战进行了展望.

关键词：内存泄漏内存泄漏检测静态分析机器学习特征提取

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：