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

2010年全国模式识别学术会议(CCPR2010)

作者：薛睿尤鸣宇李国正同济大学控制科学与工程系上海 201804 同济大学控制科学与工程系上海 201804 南京大学计算机软件新技术国家重点实验室南京 210093

社保机构在发放养老保险的过程中，为了防止出现养老金冒领的情况，常常会采用人脸认证系统对人员进行认证。以往的人脸认证方法只是单纯地将测试人脸与数据库里指定身份下的训练样本进行比对，计算两者的相似度，并没有考虑相似度在整... 详细信息

社保机构在发放养老保险的过程中，为了防止出现养老金冒领的情况，常常会采用人脸认证系统对人员进行认证。以往的人脸认证方法只是单纯地将测试人脸与数据库里指定身份下的训练样本进行比对，计算两者的相似度，并没有考虑相似度在整个训练样本集上的分布情况。本文将稀疏表征(Sparse Representation)的方法应用到人脸认证系统中来，提出了稀疏表征的相似度准则SRS。结合Randomfaces、Eigenfaces、Fisherfaces和Laplacianfaces四种特征抽取的方法在YaleA、ExtendedYak B、AR等6个人脸数据集上进行实验，与夹角余弦方法在认证精度上进行了比较。实验结果表明样本类别数多的情况下，稀疏表征的人脸认证方法有更高的认证精度。

关键词：稀疏表征人脸认证人脸识别

来源：评论

学校读者我要写书评

暂无评论

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

引用

计算机科学与探索 2010年第11期4卷 1010-1018页

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

面向基于场景规约的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服务基于场景的规约消息交互一致性验证

来源：评论

学校读者我要写书评

暂无评论

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

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

引用

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

软件学报 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网络协议安全路由协议类型推理

来源：评论

学校读者我要写书评

暂无评论

基于分离逻辑的程序验证技术

引用

软件学报 2009年第8期20卷 2051-2061页

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

介绍了分离逻辑的验证原理和特点及其在程序验证方面的应用实例,分析了为支持程序验证的若干分离逻辑研究进展,包括分离逻辑的自身属性、与其他逻辑的关系、对程序语言和设计模式的支持以及定理证明器等内容.指出了分离逻辑进一步深入... 详细信息

介绍了分离逻辑的验证原理和特点及其在程序验证方面的应用实例,分析了为支持程序验证的若干分离逻辑研究进展,包括分离逻辑的自身属性、与其他逻辑的关系、对程序语言和设计模式的支持以及定理证明器等内容.指出了分离逻辑进一步深入应用所面临的问题和解决方向.

关键词：可信软件程序验证霍尔逻辑分离逻辑定理证明

来源：评论

学校读者我要写书评

暂无评论

基于源代码静态分析的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年第1期43卷 101-105页

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：