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

自动化学报 2011年第1期37卷 11-20页

作者：韩守东赵勇陶文兵桑农华中科技大学系统工程研究所武汉430074 华中科技大学计算机科学与技术学院武汉430074 南京大学计算机软件新技术国家重点实验室南京210093 华中科技大学图像识别与人工智能研究所武汉430074

提出了一种交互式的快速图像分割方法.该方法通过使用高斯超像素来构建Graph cuts模型以实现加速.首先,利用融合了边缘置信度的快速均值漂移算法,将原始图像高效地预分割为多个具有准确边界的同质区域,并将这些区域描述为超像素,用于构... 详细信息

提出了一种交互式的快速图像分割方法.该方法通过使用高斯超像素来构建Graph cuts模型以实现加速.首先,利用融合了边缘置信度的快速均值漂移算法,将原始图像高效地预分割为多个具有准确边界的同质区域,并将这些区域描述为超像素,用于构建精简的加权图.然后,使用区域的彩色高斯统计对超像素进行特征描述,并在信息论空间中对高斯距离度量进行设计.另外,为了准确而精炼地对先验知识进行参数化学习,本文还使用了分量形式的期望最大化混合高斯(Component-wise expectation-maximization for Gaussian mixtures,CEMGM)算法对用户交互进行聚类.最后,在改进的加权图模型中应用Graph cuts方法,获得最终的分割结果.通过使用不同的彩色图像进行分割实验比较,仿真结果表明本文的方法在准确性和高效性方面都具有很好的性能.

关键词：图像分割图切分超像素高斯模型均值漂移期望最大化算法

来源：评论

学校读者我要写书评

暂无评论

结合语句执行补集的程序错误定位

引用

计算机科学与探索 2011年第6期5卷 522-533页

作者：胡从兴陈林丁晖曾奕南京大学计算机科学与技术系南京210093 上海市计算机软件评测重点实验室上海201114 南京大学计算机软件新技术国家重点实验室南京210093

基于频谱的错误定位方法一般利用覆盖信息为每条语句度量出错的可能,即可疑度,通过逐条检查按可疑度值降序排列的语句序列来确定错误语句。针对已有的方法大多只考虑覆盖信息中语句执行信息的问题,分析了语句执行补集对错误定位的积极影... 详细信息

基于频谱的错误定位方法一般利用覆盖信息为每条语句度量出错的可能,即可疑度,通过逐条检查按可疑度值降序排列的语句序列来确定错误语句。针对已有的方法大多只考虑覆盖信息中语句执行信息的问题,分析了语句执行补集对错误定位的积极影响,进一步提出了在语句执行信息基础上结合语句执行补集的错误定位方法。实验结果表明,与其他方法相比,所提方法能够减少找到错误时需要检查的语句数目,从而达到提高错误定位效果的目的。

关键词：软件测试覆盖信息错误定位调试

来源：评论

学校读者我要写书评

暂无评论

基于变异测试和OWL-S文档的Web服务测试用例生成

引用

计算机与数字工程 2011年第12期39卷 8-11页

作者：严满根许蕾南京大学计算机科学与技术系南京210093 南京大学计算机软件新技术国家重点实验室南京210093

由于缺乏必要的细节信息,针对Web服务的测试难度较大。文章的方法是将变异算子作用到OWL-S文档上,以得出不同输出为目标,从而生成测试用例。该方法避免了生成大量的变异体以及判定等价变异体,能降低测试成本。在保证其有效性的同时,还... 详细信息

由于缺乏必要的细节信息,针对Web服务的测试难度较大。文章的方法是将变异算子作用到OWL-S文档上,以得出不同输出为目标,从而生成测试用例。该方法避免了生成大量的变异体以及判定等价变异体,能降低测试成本。在保证其有效性的同时,还可以根据具体的应用来调整变异算子,保证方法的通用性和可扩展性。

关键词： Web服务变异测试 OWL-S文档测试用例生成

来源：评论

学校读者我要写书评

暂无评论

采用动作时序逻辑的Web服务组合方法

引用

计算机科学与探索 2011年第3期5卷 208-220页

作者：周宁刘慧王红兵谢俊元南京大学计算机软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093 东南大学计算机科学与工程学院南京210096

基于有限状态自动机理论,将Web服务建模成一个有限状态自动机。针对网络服务描述语言(WSDL)在服务行为描述方面的缺陷对其进行扩展,提出了从扩展的WSDL到动作时序逻辑(TLA)语言的转换算法,从而可以用TLA对服务行为进行形式化描述和规范... 详细信息

基于有限状态自动机理论,将Web服务建模成一个有限状态自动机。针对网络服务描述语言(WSDL)在服务行为描述方面的缺陷对其进行扩展,提出了从扩展的WSDL到动作时序逻辑(TLA)语言的转换算法,从而可以用TLA对服务行为进行形式化描述和规范,为描述Web服务提供了一个新的方法。讨论了在动作时序逻辑中,服务组合时各组件服务的有限状态自动机的组合方式,以及伴随着服务组合,单个服务的TLA规范如何组合以形成复合服务的TLA规范的问题,并在此基础上,提出了实现TLA规范正确组合的算法思想。

关键词：网络服务组合动作时序逻辑(TLA) 网络服务描述语言(WSDL) 有限状态自动机(FSA)

来源：评论

学校读者我要写书评

暂无评论

整数漏洞现状研究

整数漏洞现状研究

引用

2011年全国通信安全学术会议

作者：王建东曾庆凯南京大学计算机软件新技术国家重点实验室南京大学计算机科学与技术系

目前,整数漏洞问题变得日益严重。本文着重于整数漏洞,从预防和检测两个方面分析了当前整数漏洞的研究现状,并对整数漏洞预防和检测的五个层次做了探讨。尤其在检测方面,不仅归纳总结了当前流行的检测方法,而且分别对静态分析和动态分... 详细信息

目前,整数漏洞问题变得日益严重。本文着重于整数漏洞,从预防和检测两个方面分析了当前整数漏洞的研究现状,并对整数漏洞预防和检测的五个层次做了探讨。尤其在检测方面,不仅归纳总结了当前流行的检测方法,而且分别对静态分析和动态分析、静态源代码检测和二进制代码检测做了详细的对比和分析,为整数漏洞的进一步研究提供参考。

关键词：整数漏洞预防静态检测动态检测

来源：评论

学校读者我要写书评

暂无评论

细粒度可信恢复文件系统

细粒度可信恢复文件系统

引用

2011年全国通信安全学术会议

作者：李小庆曾庆凯南京大学计算机软件新技术国家重点实验室南京大学计算机科学与技术系

提出了一种基于数据流依赖关系的细粒度可信恢复文件系统——ATRF(Automatic Trusted Recovery Filesystem),ATRF根据用户自定义的安全策略检测违反安全策略的非法用户行为,借助数据流依赖关系,定位非法用户和感染用户,并恢复其对文件... 详细信息

提出了一种基于数据流依赖关系的细粒度可信恢复文件系统——ATRF(Automatic Trusted Recovery Filesystem),ATRF根据用户自定义的安全策略检测违反安全策略的非法用户行为,借助数据流依赖关系,定位非法用户和感染用户,并恢复其对文件系统所做的非法操作。试验结果给出了原型系统性能开销和存储开销。

关键词：文件系统细粒度可信恢复数据流依赖安全策略

来源：评论

学校读者我要写书评

暂无评论

一种适于普适环境的P2P流媒体系统

一种适于普适环境的P2P流媒体系统

引用

第七届和谐人机环境联合学术会议（HHME2011)、第20届全国多媒体学术会议（NCMT2011）、第7届全国人机交互学术会议（CHCI2011）、第7届全国普适计算学术会议（PCC2011）

作者：谭良良时承凯叶保留南京大学计算机软件新技术国家重点实验室南京大学计算机科学与技术系

本文对基于P2P网络的视频数据传输系统做了一定的研究,为更好地应对普适环境下P2P网络中各个节点的差异性与动态性,提出在现有的P2P网络体系结构中加入Tracker服务器机制和Gossip机制混合的拓扑结构,结合了集中式目录和分布式控制的优点... 详细信息

本文对基于P2P网络的视频数据传输系统做了一定的研究,为更好地应对普适环境下P2P网络中各个节点的差异性与动态性,提出在现有的P2P网络体系结构中加入Tracker服务器机制和Gossip机制混合的拓扑结构,结合了集中式目录和分布式控制的优点,优化了节点的分划功能,增加了系统的鲁棒性。根据现有流行的视频传输系统,本文还提出在数据传输中基于QoS参数的数据片选择策略数据源选择策略,以便在网络传输速率的限制下,最大限度满足用户播放的速率。

关键词：普适环境 P2P系统 tracker机制 Gossip机制数据调度

来源：评论

学校读者我要写书评

暂无评论

基于边界剪枝的不确定场境下偏好查询技术

引用

计算机科学与探索 2011年第5期5卷 410-425页

作者：郑吉平秦小麟戴华南京航空航天大学计算机科学与技术系南京210016 南京大学计算机软件新技术国家重点实验室南京210093

查询执行时加入场境依赖的用户偏好可以帮助人们从大量信息中发现正确答案。已经证明,不确定场境信息条件下,用户偏好的查询可能导致NP完全或者#P完全难度的推理难题。提出了一个简单通用的方法优化不确定场境信息条件下的用户偏好查询... 详细信息

查询执行时加入场境依赖的用户偏好可以帮助人们从大量信息中发现正确答案。已经证明,不确定场境信息条件下,用户偏好的查询可能导致NP完全或者#P完全难度的推理难题。提出了一个简单通用的方法优化不确定场境信息条件下的用户偏好查询,用户查询等价于搜索建立的场境偏好空间(contextual preferencesspace,CPS)。根据具体应用需求,考虑了两种搜索方案:搜索最优的元组和返回top-k(k为用户指定)个元组。采用定量的方法对用户偏好进行建模。为了提高查询处理效率,提出两种搜索剪枝策略:边界剪枝(branch and bound searching,BBS)和偏序边界剪枝(partial value branch and bound space searching,pBBS)。最后,从I/O访问次数和CPU运行时间两个角度评价所提出的方法。

关键词：场境感知偏好查询处理边界剪枝 top-k

来源：评论

学校读者我要写书评

暂无评论

基于虚拟机的JBoss中间件动态更新

基于虚拟机的JBoss中间件动态更新

引用

2011全国软件与应用学术会议(NASAC2011)

作者：姚燕顾天晓曹春马晓星南京大学计算机科学与技术系南京 210093 南京大学计算机软件新技术国家重点实验室南京 210093

软件中间件已经成为网络环境下大型复杂应用系统构建的核心基础支撑软件。软件中间件的动态更新，就是在不停止中间件及其上运行的应用程序的情况下，对中间件及上面的应用程序进行更新。尝试以一种基于虚拟机的Java程序在线更新技术来... 详细信息

软件中间件已经成为网络环境下大型复杂应用系统构建的核心基础支撑软件。软件中间件的动态更新，就是在不停止中间件及其上运行的应用程序的情况下，对中间件及上面的应用程序进行更新。尝试以一种基于虚拟机的Java程序在线更新技术来实现典型Java中间件JBoss系统的动态更新。该技术克服了既有技术不能支持内部类和自定义加栽器等缺陷，能够在微内核、构件容器以及应用程序等不同层面支持JBoss中间件及其上应用的动态更新。

关键词：软件中间件动态更新 JBoss系统 JDUS技术

来源：评论

学校读者我要写书评

暂无评论

多核处理器共享资源管理技术研究

引用

电脑知识与技术 2011年第5期7卷 3159-3161页

作者：严杰俊黄皓软件新技术国家重点实验室南京大学计算机科学与技术系江苏南京210093

现代多核处理器结构的设计使得集成在同一块芯片上的多个执行核共享各种硬件资源,如片上最后一级Cache、内存控制器、前端总线以及硬件预取单元等,而多线程的并行执行导致核与核之间共享资源的争用,造成系统整体性能的下降,如何有效地... 详细信息

现代多核处理器结构的设计使得集成在同一块芯片上的多个执行核共享各种硬件资源,如片上最后一级Cache、内存控制器、前端总线以及硬件预取单元等,而多线程的并行执行导致核与核之间共享资源的争用,造成系统整体性能的下降,如何有效地解决多核共享资源冲突来提升系统的整体性能以及应用程序的服务质量成为当今研究的热点。文章首先概要介绍当前主流的多核处理器,然后提出了多核体系结构下共享资源管理面临的挑战,接着分析了降低共享资源争用的策略方法：操作系统调度技术、资源划分技术,最后给出了多核处理器共享资源管理技术可能的发展方向。

关键词：多核共享资源争用线程调度资源划分

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：