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

自动化学报 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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

采用动作时序逻辑的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年第5期7卷 3159-3161页

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

一种基于Paxos算法的容错机制

引用

计算机应用与软件 2011年第6期28卷 143-145,160页

作者：王利军谢立南京大学软件新技术国家重点实验室江苏南京210093 南京大学计算机科学与技术系江苏南京210093

针对在普通的硬件和网络环境下实现系统数据的高可用性的目标,设计了一个由两个松耦合的模块组成的容错机制。该机制的核心使用了高效的共识算法Paxos。描述了这一容错机制的架构和主要模块,日志层的实现算法和数据层冗余机制。给出了... 详细信息

针对在普通的硬件和网络环境下实现系统数据的高可用性的目标,设计了一个由两个松耦合的模块组成的容错机制。该机制的核心使用了高效的共识算法Paxos。描述了这一容错机制的架构和主要模块,日志层的实现算法和数据层冗余机制。给出了该机制能够处理的各种故障。实验证明系统的稳定可靠,性能良好。

关键词：高可用性一致性共识协议冗余日志

来源：评论

学校读者我要写书评

暂无评论

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

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

计算机科学与探索 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

来源：评论

学校读者我要写书评

暂无评论

安全关键系统的软件可靠性评估方法

安全关键系统的软件可靠性评估方法

引用

2011年全国理论计算机科学学术年会

作者：张德平徐宝文南京航空航天大学计算机科学与与技术学院南京210016 南京大学软件新技术国家重点实验室南京 210093 南京大学软件新技术国家重点实验室南京 210093 南京大学计算机科学与技术系南京 210093

基于统计测试的Markov使用链模型对安全关键系统的可靠性估计提出了一种有效的估计方法.该方法利用重要抽样技术在保证估计的无偏性条件下,以可靠性估计的方差最小为目的,通过Ali-Silvey距离度量两个分布之间的差异,调整各个状态之间转...

基于统计测试的Markov使用链模型对安全关键系统的可靠性估计提出了一种有效的估计方法.该方法利用重要抽样技术在保证估计的无偏性条件下,以可靠性估计的方差最小为目的,通过Ali-Silvey距离度量两个分布之间的差异,调整各个状态之间转移概率分布,修正测试剖面,增加关键操作的遍历概率.

关键词：

来源：评论

学校读者我要写书评

暂无评论

一种适用于机器翻译的汉语分词方法

一种适用于机器翻译的汉语分词方法

引用

第十一届全国计算语言学学术会议

作者：李博渊奚宁黄书剑张建兵陈家骏南京大学软件新技术国家重点实验室南京大学计算机科学与技术系

汉语分词是构建汉语到其他语言机器翻译系统的一项重要工作。基于单语的分词不一定完全适合机器翻译,一个适合于机器翻译所需要的分词方法,应该考虑到机器翻译所具有的双语特点。本文提出了一种单语和双语知识相结合的适应于统计机器翻... 详细信息

汉语分词是构建汉语到其他语言机器翻译系统的一项重要工作。基于单语的分词不一定完全适合机器翻译,一个适合于机器翻译所需要的分词方法,应该考虑到机器翻译所具有的双语特点。本文提出了一种单语和双语知识相结合的适应于统计机器翻译系统的分词方法。首先利用对齐可信度的概念从双语平行语料中抽取可信对齐集合,然后根据可信对齐集合对双语语料中的中文部分重新分词;接着将可信对齐分词的结果和单语分词工具的结果相结合,构建出一个新的分词训练语料,并用CRF分词模型训练出一个融合了单双语信息的分词工具。本文用该工具对机器翻译所需的训练语料、开发语料和测试语料进行分词并在基于短语的统计机器翻译系统上进行实验。实验结果表明,本文所提的方法提高了系统性能。

关键词：中文分词统计机器翻译对齐可信度

来源：评论

学校读者我要写书评

暂无评论

针对漏洞攻击的自恢复系统

针对漏洞攻击的自恢复系统

引用

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

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

文章针对程序漏洞攻击,提出程序运行时的自恢复和回退方法。方法首先识别程序的输入点作为程序回退点,其次在程序崩溃时识别并定位程序漏洞,最后分析漏洞输入和外部输入之间的依赖关系以识别触发程序漏洞的程序输入点,并将该输入点对应... 详细信息

文章针对程序漏洞攻击,提出程序运行时的自恢复和回退方法。方法首先识别程序的输入点作为程序回退点,其次在程序崩溃时识别并定位程序漏洞,最后分析漏洞输入和外部输入之间的依赖关系以识别触发程序漏洞的程序输入点,并将该输入点对应的程序回退点作为此次程序自恢复的回退状态点对程序进行回退,使得程序可以继续正常运行。试验结果表明,方法能成功识别对现实软件的漏洞攻击并完成程序自恢复回退。

关键词：计算机安全漏洞攻击漏洞定位程序自恢复回退

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：