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

无锡职业技术学院学报 2010年第2期9卷 48-51页

作者：许晓萍张建军王士同王骏江南大学信息工程学院江苏无锡214122 南京理工大学计算机科学与技术学院江苏南京210094 南京大学计算机软件新技术国家重点实验室江苏南京210093

图像分割技术是数字图像处理中的关键技术之一。它能将图像中有意义的特征部分提取出来,这对古建筑图像进一步进行识别、分析和理解有着非常独特的作用。通过采用基于混合距离的双指数模糊C均值算法(HDDIFCM)的图像分割技术来对无锡古... 详细信息

图像分割技术是数字图像处理中的关键技术之一。它能将图像中有意义的特征部分提取出来,这对古建筑图像进一步进行识别、分析和理解有着非常独特的作用。通过采用基于混合距离的双指数模糊C均值算法(HDDIFCM)的图像分割技术来对无锡古建筑灰度图像进行多组分割应用,以此证明这种图像分割方法的有效性。

关键词：聚类混合距离模糊C均值聚类图像分割

来源：评论

学校读者我要写书评

暂无评论

k-匿名模型中准标识符最佳值的求解问题

k-匿名模型中准标识符最佳值的求解问题

引用

NDBC2010第27届中国数据库学术会议

作者：王丹丽刘国华宋金玲李芳玲燕山大学信息科学与工程学院计算机科学与工程系东华大学计算机科学与技术学院南京大学计算机软件新技术国家重点实验室河北科技师范学院计算机系山东理工职业学院信息工程系

准标识符值是影响k-匿名表隐私保护程度和数据质量的关键因素。如何在给定各个准标识符属性泛化树的情况下求解准标识符最佳值,对匿名表在满足隐私保护要求的同时达到最高的数据质量具有重要意义。针对这一问题,证明了准标识符最佳值的... 详细信息

准标识符值是影响k-匿名表隐私保护程度和数据质量的关键因素。如何在给定各个准标识符属性泛化树的情况下求解准标识符最佳值,对匿名表在满足隐私保护要求的同时达到最高的数据质量具有重要意义。针对这一问题,证明了准标识符最佳值的求解问题是NP-完全问题,提出了准标识符最佳值的近似求解方法,并给出了准标识符最佳值的近似求解算法;最后,对算法进行了正确性证明和时间复杂度分析。

关键词： k-匿名数据质量泛化树准标识符最佳值 NP-完全

来源：评论

学校读者我要写书评

暂无评论

可信软件代码中程序标注的使用及类型验证

可信软件代码中程序标注的使用及类型验证

引用

2010年第四届中国可信计算与信息安全学术会议

作者：赵洋徐晓刚张功萱张容南京理工大学计算机科学与技术学院南京市孝陵卫200号210094 南京大学计算机软件新技术国家重点实验室南京市汉口路22号210093 南京大学计算机软件新技术国家重点实验室南京市汉口路22号210093 南京理工大学计算机科学与技术学院南京市孝陵卫200号210094

程序标注技术能够勾勒程序代码中的各种数据属性和软件行为,提出了使用许可类型系统作为沟通程序标注和程序代码的桥梁.从程序代码的角度分析和验证了程序的安全性,进而提升了整个软件系统的可靠性和可维护性.

关键词：可信软件代码程序标注程序验证

来源：评论

学校读者我要写书评

暂无评论

无锡惠山泥人图像分割方法与应用

引用

中国科技纵横 2010年第6期 56-57页

作者：许晓萍张建军王士同王骏江南大学信息工程学院江苏无锡214122 江南大学信息工程学院江苏无锡214122 南京理工南大学计算机科学与技术学院江苏无锡210094 南京大学计算机软件新技术国家重点实验室江苏南京210093

无锡惠山泥人是无锡的瑰宝,它的研究和发展对无锡的发展有着举足轻重的意义.然而随着现代化科技的飞速发展,渗透至各行各业,如果我们把图像分割技术应用到惠山泥人的制作当中,两者相结合,肯定存在广阔的发展前景.图像分割方法研究至今... 详细信息

无锡惠山泥人是无锡的瑰宝,它的研究和发展对无锡的发展有着举足轻重的意义.然而随着现代化科技的飞速发展,渗透至各行各业,如果我们把图像分割技术应用到惠山泥人的制作当中,两者相结合,肯定存在广阔的发展前景.图像分割方法研究至今有很多中,在本文中,我们主要通过分析和研究与模糊数学结合的图像分割技术,即模糊C均值聚类算法.我们还会通过多组的对比实验,以此也来证明这种图像分割方法的有效性.

关键词：泥人聚类模糊C均值聚类图像分割

来源：评论

学校读者我要写书评

暂无评论

针对源代码的隐蔽通道标识关键技术及其改进方法

引用

上海交通大学学报 2009年第1期43卷 101-105页

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

介绍了标识源代码中隐蔽通道的关键技术:数据流分析、别名分析和信息流安全性分析,并指出其存在的问题.在综合并优化各种技术的基础上,提出包括结构分析、别名分析、信息流分析和安全鉴别等过程的改进方法,通过改造开源编译器GCC,利用... 详细信息

介绍了标识源代码中隐蔽通道的关键技术:数据流分析、别名分析和信息流安全性分析,并指出其存在的问题.在综合并优化各种技术的基础上,提出包括结构分析、别名分析、信息流分析和安全鉴别等过程的改进方法,通过改造开源编译器GCC,利用其生成的抽象语法树和控制流程图,并对Linux-0.11文件系统和示例程序进行分析测试.结果表明,该方法可提高隐蔽通道标识的效率和精确性.

关键词：源代码隐蔽通道标识数据流别名信息流

来源：评论

学校读者我要写书评

暂无评论

面向基于场景规约的Web服务消息流分析与验证

引用

计算机学报 2009年第9期32卷 1759-1772页

作者：杨璐柳溪王林章陈鑫李宣东南京大学计算机软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093

采用UML顺序图构成基于场景的规约、WS-BPEL作为Web服务的描述语言,提出了一种面向基于场景规约对Web服务消息流进行分析与验证的方法:首先,对WS-BPEL消息流进行分析并将其自动抽象为基于Petri网的模型;同时,为了缩小状态空间、提高验... 详细信息

采用UML顺序图构成基于场景的规约、WS-BPEL作为Web服务的描述语言,提出了一种面向基于场景规约对Web服务消息流进行分析与验证的方法:首先,对WS-BPEL消息流进行分析并将其自动抽象为基于Petri网的模型;同时,为了缩小状态空间、提高验证效率,在不影响消息交互顺序的前提下,对WS-BPEL源码和基于Petri网的模型分别进行化简,即面向基于场景规约将与验证无关的活动和元素删除;最后,通过遍历基于Petri网的模型以验证WS-BPEL消息流与基于场景的规约之间的一致性(消息交互顺序的存在/强制一致性).文中通过一个贯穿整个分析与验证过程的实例加以说明.该方法已经实现成为一个原型工具.

关键词： Web服务基于场景的规约消息交互一致性验证

来源：评论

学校读者我要写书评

暂无评论

基于局部自适应混合模型的遥感图像去噪算法

基于局部自适应混合模型的遥感图像去噪算法

引用

第八届中国计算机图形学大会

作者：王相海李放宋传鸣辽宁师范大学计算机与信息技术学院辽宁大连 116029 南京大学计算机软件新技术国家重点实验室江苏南京 210093 辽宁师范大学计算机与信息技术学院辽宁大连 116029 辽宁师范大学计算机与信息技术学院辽宁大连 116029 南京大学计算机科学与技术系江苏南京 210093

@@遥感图像的噪声分析和去除作为经典问题一直受到关注并成为遥感图像处理的一个重要研究领域。传统的去噪方法在一定程度上可以去除图像中的噪声，但往往在去噪的同时会使图像的边缘和细节问题信息模糊化。特别是对于遥感图像，如何在... 详细信息

@@遥感图像的噪声分析和去除作为经典问题一直受到关注并成为遥感图像处理的一个重要研究领域。传统的去噪方法在一定程度上可以去除图像中的噪声，但往往在去噪的同时会使图像的边缘和细节问题信息模糊化。特别是对于遥感图像，如何在较好的完成图像去噪的同时，能够自适应的最大化保护边缘等局部信息就尤为重要。

关键词：遥感图像局部自适应混合模型去噪 P-M 模型 ROF模型算法

来源：评论

学校读者我要写书评

暂无评论

基于源代码静态分析的C++0x泛型概念抽取

引用

计算机学报 2009年第9期32卷 1792-1803页

作者：陈林徐宝文东南大学计算机科学与工程学院南京210096 南京大学计算机软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093

使用泛型概念对领域知识进行抽象是泛型程序设计方法的基础.在新的C++0x标准中泛型概念将成为一个新的语言设施,这将为设计可复用、可扩展的泛型软件提供坚实的基础.为了更好地利用C++0x的新特性,有必要识别C++遗产代码中的泛型概念,并... 详细信息

使用泛型概念对领域知识进行抽象是泛型程序设计方法的基础.在新的C++0x标准中泛型概念将成为一个新的语言设施,这将为设计可复用、可扩展的泛型软件提供坚实的基础.为了更好地利用C++0x的新特性,有必要识别C++遗产代码中的泛型概念,并通过重构得到符合C++0x标准的代码.文中提出了一种基于代码静态分析的泛型概念自动识别方法,通过对泛型程序中类型参数的使用分析,从遗产代码中提取有效表达式约束和关联类型约束,进而推导出泛型概念.将该方法应用于C++标准模板库STL,可以识别出STL算法中绝大部分潜在的泛型概念,表明该方法有助于识别遗产代码中的泛型概念.

关键词：泛型程序设计软件重构泛型概念 C++0x 约束分析

来源：评论

学校读者我要写书评

暂无评论

面向草图检索的小样本增量有偏学习算法

引用

软件学报 2009年第5期20卷 1301-1312页

作者：梁爽孙正兴南京大学计算机软件新技术国家重点实验室江苏南京210093 南京大学计算机科学与技术系江苏南京210093

为了解决草图检索相关反馈中小样本训练、数据不对称及实时性要求这3个难点问题,提出了一种小样本增量有偏学习算法.该算法将主动式学习、有偏分类和增量学习结合起来,对相关反馈过程中的小样本有偏学习问题进行建模.其中,主动式学习通... 详细信息

为了解决草图检索相关反馈中小样本训练、数据不对称及实时性要求这3个难点问题,提出了一种小样本增量有偏学习算法.该算法将主动式学习、有偏分类和增量学习结合起来,对相关反馈过程中的小样本有偏学习问题进行建模.其中,主动式学习通过不确定性采样,选择最佳的用户标注样本,实现有限训练样本条件下分类器泛化能力的最大化;有偏分类通过构造超球面区别对待正例和反例,准确挖掘用户目标类别;每次反馈循环中新加入的样本则用于分类器的增量学习,在减少分类器训练时间的同时积累样本信息,进一步缓解小样本问题.实验结果表明,该算法可以有效地改善草图检索性能,也适用于图像检索和三维模型检索等应用领域.

关键词：草图检索相关反馈小样本增量有偏学习主动式学习有偏分类增量学习

来源：评论

学校读者我要写书评

暂无评论

利用类型推理验证Ad Hoc安全路由协议

引用

软件学报 2009年第10期20卷 2822-2833页

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

提出一种基于类型推理的移动Ad-Hoc网络安全路由协议的形式化验证方法.定义了一种邻域限制通信演算NCCC(neighborhood-constrained communication calculus),包括演算的语法和基于规约的操作语义,在类型系统中描述了移动Ad-Hoc网络路由... 详细信息

提出一种基于类型推理的移动Ad-Hoc网络安全路由协议的形式化验证方法.定义了一种邻域限制通信演算NCCC(neighborhood-constrained communication calculus),包括演算的语法和基于规约的操作语义,在类型系统中描述了移动Ad-Hoc网络路由协议的安全属性,定义了近似攻击消息集用以精简Dolev-Yao攻击模型.还给出了该方法的一个协议验证实例.基于类型推理,该方法不仅能够验证协议的安全性,也可以得出针对协议的攻击手段.因为攻击集的精简,有效地缩减了推理空间.

关键词：安全协议验证 ad-hoc网络协议安全路由协议类型推理

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：