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

计算机研究与发展 2001年第2期38卷 187-193页

作者：王继成萧嵘孙正兴张福炎南京大学计算机科学与技术系南京210093 南京大学软件新技术国家重点实验室南京210093

Web上大量、分布、动态的信息造成了“信息过载”,如何在传统信息检索技术的基础上开展针对 Web的检索工作已经成为一项重要的研究课题 .但是 ,繁多的 Web信息检索系统和各种模糊的概念给用户的选择和研究人员的讨论带来了不便 .同时 ,... 详细信息

Web上大量、分布、动态的信息造成了“信息过载”,如何在传统信息检索技术的基础上开展针对 Web的检索工作已经成为一项重要的研究课题 .但是 ,繁多的 Web信息检索系统和各种模糊的概念给用户的选择和研究人员的讨论带来了不便 .同时 ,有关 Web信息检索最新技术的比较完整的分析又十分缺乏 .在此 ,对 Web信息检索技术进行了综述 ,从 Web信息检索系统的层次化分类 (搜索引擎与目录、元搜索引擎、信息检索 agent)、一般机制和关键新技术 (基于超链的相关度排序、检索结果的联机聚类、基于概念的检索、相关度反馈 )等方面加以阐述。

关键词： WeB 信息检索搜索引擎元搜索引擎 Internet 目

来源：评论

学校读者我要写书评

暂无评论

面向意外处理的工作流系统建模与执行

引用

计算机学报 2003年第9期26卷 1094-1103页

作者：窦万春席晓鹏许列飞蔡士杰南京大学软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093

产生于工作流系统的执行阶段、未在系统建模阶段进行描述和定义的突发事件 ,称为工作流意外事件 .对应意外事件的处理过程 ,称为意外处理 .该文针对意外事件 ,从系统建模与模型执行两个方面对工作流意外处理进行了探讨 .在系统建模阶段 ... 详细信息

产生于工作流系统的执行阶段、未在系统建模阶段进行描述和定义的突发事件 ,称为工作流意外事件 .对应意外事件的处理过程 ,称为意外处理 .该文针对意外事件 ,从系统建模与模型执行两个方面对工作流意外处理进行了探讨 .在系统建模阶段 ,通过拓展Petri网中的基本概念 ,提出并构造了组成工作流的过程单元 ,在将工作流内在的逻辑关系分解为控制流与数据流的基础上 ,讨论了一个面向意外处理的工作流系统复合建模方法 .对应工作流的模型执行 ,定义了两类意外处理 ,用矩阵形式分别表示或标识控制流、数据流和意外事件 ,经过矩阵分析与变换 ,对意外事件的影响区域进行范围界定 .最后。

关键词：工作流系统建模 Petri网意外处理数据流控制流 CSCW

来源：评论

学校读者我要写书评

暂无评论

一种目标制导的混合执行测试方法

引用

计算机学报 2011年第6期34卷 953-964页

作者：崔展齐王林章李宣东南京大学软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093

混合执行测试(concolic testing)是一种将具体执行与符号执行相结合的自动化测试方法.由于混合执行测试从程序本身出发,未将目标缺陷的先验知识作为指导,会导致生成和执行大量不能发现缺陷的测试输入,从发现缺陷的角度看浪费了时间和计... 详细信息

混合执行测试(concolic testing)是一种将具体执行与符号执行相结合的自动化测试方法.由于混合执行测试从程序本身出发,未将目标缺陷的先验知识作为指导,会导致生成和执行大量不能发现缺陷的测试输入,从发现缺陷的角度看浪费了时间和计算资源开销.这个问题在具有时间、成本及资源约束的实际测试任务中更加突出.为解决这一问题,文中提出了一种结合静态分析和混合执行测试技术的目标制导的混合执行测试方法:使用静态分析工具分析待测程序中可能含有缺陷的可疑语句及其缺陷类型,并将静态分析所报告的可疑语句作为目标指导测试.目标制导的混合执行测试技术分为3个步骤:首先,计算从程序各分支到待检测缺陷语句的可达性;其次,对待测试程序进行插装以支持混合执行测试;第三,使用静态分析的结果和可达性信息作为指导,只生成和执行可能会覆盖待检测缺陷语句的测试输入,以避免生成和执行不能发现缺陷的测试输入.基于此方法,作者实现了一个测试缓冲区溢出缺陷的原型工具:TARGET,并在一组C语言基准程序上进行了对比实验.实验结果表明与原有的混合执行测试技术相比较,TARGET能在更短的时间内发现程序中更多的缺陷.

关键词：目标制导测试缺陷触发静态分析混合执行测试

来源：评论

学校读者我要写书评

暂无评论

人脸识别技术的研究

引用

计算机研究与发展 2004年第7期41卷 1074-1080页

作者：刘向东陈兆乾南京大学计算机软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093

对人脸识别的几个关键技术进行了深入研究 ,提出了一种快速的基于眼睛像素特征的人脸检测方法 :一种有效的基于SVD分解的特征提取方法和一种基于特征差别的SVM人脸识别方法改进的基于SVD分解的特征提取方法能在一定程度上削弱光照和... 详细信息

对人脸识别的几个关键技术进行了深入研究 ,提出了一种快速的基于眼睛像素特征的人脸检测方法 :一种有效的基于SVD分解的特征提取方法和一种基于特征差别的SVM人脸识别方法改进的基于SVD分解的特征提取方法能在一定程度上削弱光照和表情的影响 ,从而更好地抽取人脸的差别特征基于特征差别的SVM方法将人脸识别这一典型的多分类问题构造成适合SVM处理的二分类问题 ,克服了传统SVM方法在解决多分类问题上的缺陷实验表明该人脸检测方法有较高的正确检测率 ,提出的特征提取方法能有效地减弱光照和表情对人脸特征的负面影响 ,使得识别率有较大提高。

关键词：人脸检测特征提取支持向量机人脸识别

来源：评论

学校读者我要写书评

暂无评论

Internet视频流中的自适应拥塞控制技术研究

引用

计算机学报 2001年第8期24卷 796-801页

作者：黄伟红孙正兴张福炎南京大学软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093

在当前 Internet的尽力而为服务模式下 ,网络拥塞和分组丢失不可避免 ,视频流应用必须使用有效的拥塞控制和差错控制机制来改善性能 .文中给出一个自适应拥塞控制与 RS编码差错修复机制相结合的端到端单播视频流体系结构 .所设计的自适... 详细信息

在当前 Internet的尽力而为服务模式下 ,网络拥塞和分组丢失不可避免 ,视频流应用必须使用有效的拥塞控制和差错控制机制来改善性能 .文中给出一个自适应拥塞控制与 RS编码差错修复机制相结合的端到端单播视频流体系结构 .所设计的自适应视频流协议 AVSP以一个参数可调的加权移动平均速率调整策略为核心实现拥塞控制 ,并使用 Gilbert模型进行分组丢失率估计用于决策 .仿真结果表明 ,AVSP具有对网络可用带宽波动的自适应能力和 Internet共享环境下的 TCP友好性 .

关键词： Internet 视频流自适应拥塞控制数据传输

来源：评论

学校读者我要写书评

暂无评论

语义图像检索研究进展

引用

计算机研究与发展 2002年第5期39卷 513-523页

作者：王惠锋孙正兴王箭南京大学计算机软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093

语义图像检索已成为解决图像简单视觉特征和用户检索丰富语义之间存在的“语义鸿沟”问题的关键 .从图像语义描述方式、图像语义抽取方法和语义检索系统设计 3个方面对语义图像检索的研究状况进行了分析和研究 ;讨论了面向对象的图像内... 详细信息

语义图像检索已成为解决图像简单视觉特征和用户检索丰富语义之间存在的“语义鸿沟”问题的关键 .从图像语义描述方式、图像语义抽取方法和语义检索系统设计 3个方面对语义图像检索的研究状况进行了分析和研究 ;讨论了面向对象的图像内容模型和图像语义表示问题 ;对利用系统知识的提取、根据用户交互的提取和利用外部信息源的语义生成等具有代表性的语义处理方法进行了阐述 ;介绍了系统设计中用户界面和语义处理的不同方式 ,最后从对象识别、语义抽取规则、用户检索模型和图像检索性能评价标准 4个方面剖析了实现图像语义处理所面临的困难 ,并提出了一些初步解决思路 .

关键词：语义图像检索语义模型知识表示数字图像处理计算机视觉

来源：评论

学校读者我要写书评

暂无评论

策略灵活安全系统的设计与实现

引用

计算机研究与发展 2004年第2期41卷 299-305页

作者：訾小超茅兵曾庆凯谢立南京大学计算机软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093

安全需求多样化对操作系统提出策略灵活性要求 ,传统操作系统把对安全策略的支持分散到系统相关功能模块中 ,如文件系统及进程通信等 ,难以满足这种需求该文通过对操作系统中策略相关功能部件的分析 ,提出了一种策略灵活的安全体系结... 详细信息

安全需求多样化对操作系统提出策略灵活性要求 ,传统操作系统把对安全策略的支持分散到系统相关功能模块中 ,如文件系统及进程通信等 ,难以满足这种需求该文通过对操作系统中策略相关功能部件的分析 ,提出了一种策略灵活的安全体系结构 ,并在Linux基础上实现该结构同以往研究相比 ,该结构通过对安全属性的统一维护简化了策略冲突协调的复杂性 ,既方便用户灵活配置已有安全策略。

关键词：信息安全策略灵活多安全策略安全操作系统

来源：评论

学校读者我要写书评

暂无评论

基于多目标优化算法NSGA-II推荐相似缺陷报告

引用

计算机学报 2019年第10期42卷 2175-2189页

作者：樊田田许蕾陈林南京大学计算机科学与技术系南京210023 南京大学计算机软件新技术国家重点实验室南京210023

在软件开发过程中,开发人员会收到用户提交的大量缺陷报告.若修复缺陷报告中问题涉及到的相同源代码文件数目超过一半,则称这些缺陷报告为相似缺陷报告.给开发人员推荐相似缺陷报告能够有效节约开发人员修复缺陷的时间.该文提出一种基... 详细信息

在软件开发过程中,开发人员会收到用户提交的大量缺陷报告.若修复缺陷报告中问题涉及到的相同源代码文件数目超过一半,则称这些缺陷报告为相似缺陷报告.给开发人员推荐相似缺陷报告能够有效节约开发人员修复缺陷的时间.该文提出一种基于多目标优化算法NSGA-Ⅱ推荐相似缺陷报告的方法,即在推荐尽可能少的相似缺陷报告情况下,使得缺陷报告间的相似度尽可能大.为此,利用缺陷报告的摘要和描述信息,该文采用TFIDF和Word Embedding两种方法,从历史缺陷报告中找出相似的缺陷报告,并采用基于搜索的多目标优化算法NSGA-Ⅱ来保证推荐的相似缺陷报告数目尽可能少.实验数据集是6个开源项目(AspectJ、Birt、Eclipse UI、JDT、SWT和Tomcat).与采用单目标算法相比,该文方法在推荐相似缺陷报告的准确率、平均准确率均值、平均序位倒数均值都有提高,其中,在Top@1准确率、平均准确率均值、平均序位倒数均值上分别比Yang方法提高125.5%、67.7%和62.75%.

关键词：相似缺陷报告推荐多目标优化空间向量模型词嵌入模型 NSGA-Ⅱ算法软件工程

来源：评论

学校读者我要写书评

暂无评论

扩展不干扰模型(ENISM)及基于CSP的描述和验证方法

引用

计算机学报 2010年第5期33卷 877-889页

作者：崔隽黄皓高晓春南京大学软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093

在不干扰理论的基础上,提出扩展不干扰模型ENISM及其验证方法,用以描述和分析操作系统中的信息流策略.工作包括:(1)依据系统功能模块定义多个执行域,以即将执行的可能动作序列集合与可读取的数据存储值集合一同作为ENISM定义执行域安全... 详细信息

在不干扰理论的基础上,提出扩展不干扰模型ENISM及其验证方法,用以描述和分析操作系统中的信息流策略.工作包括:(1)依据系统功能模块定义多个执行域,以即将执行的可能动作序列集合与可读取的数据存储值集合一同作为ENISM定义执行域安全状态的基础;(2)给出判定系统中不存在违反策略的执行轨迹和数据流动的条件ENISM-CC;(3)基于通信顺序进程给出ENISM-CC的语义及操作系统模块设计的形式化描述和验证方法.

关键词：不干扰模型通信顺序进程形式化描述形式化验证完整性

来源：评论

学校读者我要写书评

暂无评论

一种基于网络感知的虚拟机再调度算法

引用

计算机学报 2015年第5期38卷 932-943页

作者：罗刚毅钱柱中陆桑璐南京大学计算机软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093

有效的虚拟机调度策略能够提高数据中心的资源利用率,降低运行时能耗.现有调度算法综合考虑了虚拟机在CPU、内存和网络方面的需求,通过合理部署虚拟机,以期最小化计算、存储与网络的代价.然而,在线的虚拟机部署策略较少考虑由于虚拟机... 详细信息

有效的虚拟机调度策略能够提高数据中心的资源利用率,降低运行时能耗.现有调度算法综合考虑了虚拟机在CPU、内存和网络方面的需求,通过合理部署虚拟机,以期最小化计算、存储与网络的代价.然而,在线的虚拟机部署策略较少考虑由于虚拟机退出所造成的资源利用率下降与网络延迟上升的问题.为此,文中深入研究面向网络感知的周期性资源重配置问题,提出了面向网络感知的虚拟机再调度算法,通过适当的虚拟机迁移,提高部署在虚拟机上任务的性能以及数据中心整体的网络通信效率.算法通过尽可能低代价的虚拟机迁移来提高虚拟机之间的网络通信能力,以提升虚拟机组的整体运行效率,并保持物理机占用但不显著提高.作者通过两个测试平台在真实环境中验证了算法的有效性;通过真实的数据集和模拟实验,在多种虚拟机部署算法下,对比了应用虚拟机再调度算法前后虚拟机的部署效果,验证了该算法能够以较小的代价使得高网络通信代价的任务数明显减少,虚拟机组的网络通信能力显著提高.

关键词：云计算数据中心网络感知虚拟机再调度

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：