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

软件学报 2000年第8期11卷 1035-1040页

作者：顾庆陈道蓄于勐谢立孙钟秀南京大学计算机软件新技术国家重点实验室南京210093

由于并发的存在和不确定性 ,在以规约为基础来测试分布式程序的正确性时 ,必须考虑程序执行时的内部状态 .这些内部状态通过端口显示为事件序列 ,程序规约需要对序列中各事件间的依赖关系作约定 ,即定义事件约束集 .该文提出了 E- CSPE(... 详细信息

由于并发的存在和不确定性 ,在以规约为基础来测试分布式程序的正确性时 ,必须考虑程序执行时的内部状态 .这些内部状态通过端口显示为事件序列 ,程序规约需要对序列中各事件间的依赖关系作约定 ,即定义事件约束集 .该文提出了 E- CSPE(extended- constraints on succeeding and preceding events) ,以形式化描述这类事件约束 ,它由 3个基本描述规则组成 ,分别对应于 3种不同类型的事件约束 .通过判断程序执行时所产生的事件序列集同这些事件约束集的一致性以及对约束集覆盖程度可以检测被测程序的正确性 .

关键词：分布式程序测试自动机模型事件约束

来源：评论

学校读者我要写书评

暂无评论

自动驾驶系统中视觉感知模块的安全测试

引用

计算机研究与发展 2022年第5期59卷 1133-1147页

作者：吴昊王浩苏醒李明昊许封元仲盛计算机软件新技术国家重点实验室(南京大学) 南京210023

近年来,基于深度学习的视觉感知技术的发展极大地促进了车联网领域中自动驾驶的繁荣,然而自动驾驶系统的安全问题频出引发了人们对自动驾驶未来的担忧.由于深度学习系统的行为缺乏可解释性,测试基于深度学习的自动驾驶系统的安全性极具... 详细信息

近年来,基于深度学习的视觉感知技术的发展极大地促进了车联网领域中自动驾驶的繁荣,然而自动驾驶系统的安全问题频出引发了人们对自动驾驶未来的担忧.由于深度学习系统的行为缺乏可解释性,测试基于深度学习的自动驾驶系统的安全性极具挑战.目前,已有针对自动驾驶场景的安全性测试工作被提出,但这些方法在测试场景生成、安全问题检测和安全问题解释等方面仍存在不足之处.针对基于视觉感知的自动驾驶系统,设计开发了一种场景驱动的、可解释性强的、运行高效的安全性测试系统.提出了一种能够平衡真实性与丰富度的场景描述方法,并利用实时渲染引擎生成可以用于驾驶系统安全性测试的场景;设计了一种高效的针对非线性系统的场景搜索算法,其可以针对不同的待测试系统动态调整搜索方案;同时,还设计了一个故障分析器,自动化分析定位待测试系统的安全性缺陷成因.复现了现有基于实时渲染引擎的动态自动驾驶测试系统,并同时使用本系统和复现系统对CILRS系统和CIL系统进行安全测试,实验结果表明相同时间下该工作的安全问题发现率是复现的场景驱动的动态测试方法的1.4倍.进一步的实验表明:可以分别为具有代表性的深度学习自动驾驶系统CIL和CILRS,从旷野、乡村与城市的3类环境中动态生成的共3000个场景中,搜索到1939个和1671个造成故障的场景,并且每个故障场景的搜索时间平均为16.86 s.分析器从统计的角度判断出CILRS系统容易导致故障的区域在道路两侧,雨天和红色或黄色物体更易导致该自动驾驶系统发生故障.

关键词：车联网视觉感知模块深度学习安全性黑盒测试场景搜索

来源：评论

学校读者我要写书评

暂无评论

水面无人艇智能化技术的发展现状和趋势

引用

中国造船 2020年第S01期61卷 211-220页

作者：侯瑞超唐智诚王博颜秉卿任桐炜武港山南京大学计算机软件新技术国家重点实验室南京210023

随着人工智能技术的快速发展,水面无人艇在海上巡逻安防、反水雷作战以及反潜作战等领域中扮演日益重要的角色。其中,智能化技术作为水面无人艇的核心技术之一,受到广泛关注。论文对国外水面无人艇的发展现状进行调研,分析智能化技术对... 详细信息

随着人工智能技术的快速发展,水面无人艇在海上巡逻安防、反水雷作战以及反潜作战等领域中扮演日益重要的角色。其中,智能化技术作为水面无人艇的核心技术之一,受到广泛关注。论文对国外水面无人艇的发展现状进行调研,分析智能化技术对无人艇发展的影响。阐述水面无人艇智能化的关键技术,包括智能环境感知、智能目标分析、智能路径规划、智能编队控制等,并对智能化水面无人艇的作战应用进行展望。

关键词：水面无人艇智能化关键技术作战应用

来源：评论

学校读者我要写书评

暂无评论

基于深度特征的无监督图像检索研究综述

引用

计算机研究与发展 2018年第9期55卷 1829-1842页

作者：张皓吴建鑫计算机软件新技术国家重点实验室(南京大学) 南京210023

基于内容的图像检索(content-based image retrieval,CBIR)是一项极具挑战的计算机视觉任务.其目标是从数据库图像中找到和查询图像包含相同实例的图像.一个典型的图像检索流程包括2步:设法从图像中提取一个合适的图像的表示向量和对这... 详细信息

基于内容的图像检索(content-based image retrieval,CBIR)是一项极具挑战的计算机视觉任务.其目标是从数据库图像中找到和查询图像包含相同实例的图像.一个典型的图像检索流程包括2步:设法从图像中提取一个合适的图像的表示向量和对这些表示向量进行最近邻搜索以找到相似的图像.其中,决定图像检索算法性能的关键在于其提取的图像表示的好坏.图像检索中使用的图像表示经历了基于手工特征和基于深度特征两大时期,每个时期又有全局特征和局部特征2个阶段.由于手工特征的表示能力有限,近年来图像检索的研究主要集中在如何利用深度特征.将以提取图像表示的不同思路为线索,回顾无监督图像检索领域的发展历程,介绍该领域的一些代表性算法,并比较这些算法在常用数据集上的性能表现,最后探讨未来的研究方向.

关键词：图像检索深度学习卷积神经网络计算机视觉无监督学习

来源：评论

学校读者我要写书评

暂无评论

基于误差截尾假设的时序预测可学习性理论与算法

引用

计算机学报 2022年第11期45卷 2279-2289页

作者：张绍群张钊钰姜远周志华南京大学计算机软件新技术国家重点实验室南京210023

在收集和处理时间序列数据的过程中,难免会产生误差,而在很多现实情形中误差是自相关非独立的.已有的预测理论在分析误差自相关的时序数据时,往往需要知道预测算法所输出假设空间的显式表达,而对于一些假设空间不明确的模型,比如神经网... 详细信息

在收集和处理时间序列数据的过程中,难免会产生误差,而在很多现实情形中误差是自相关非独立的.已有的预测理论在分析误差自相关的时序数据时,往往需要知道预测算法所输出假设空间的显式表达,而对于一些假设空间不明确的模型,比如神经网络,尚未有系统的求解方法和理论保障来分析其在非平稳且误差自相关时序数据上的预测能力.本文基于误差截尾的假设,提出了时间序列的预测PAC可学习理论,并给出了数据依赖情形下的泛化误差界.该界限包含一个时序复杂度度量和一个差异度量,前者描述了序列数据的非平稳性,后者可在适当情形下从数据中估计得到.因此,该误差界并不依赖于假设空间的显式表达,具有较强的普适性.根据上述理论,本文提出了一种基于自回归模型的交替优化算法用于预测非平稳的时间序列数据.我们在真实数据集上进行实验,验证了本文提出算法的有效性.

关键词：机器学习时间序列分析自相关误差预测PAC可学习性差异估计交替优化

来源：评论

学校读者我要写书评

暂无评论

工程图对象识别规则自动获取方法的研究

引用

计算机学报 2003年第10期26卷 1234-1240页

作者：杨若瑜胡笳蔡士杰南京大学计算机软件新技术国家重点实验室南京210093

分析了工程图中工程对象的构图特点 ,设计了适用于识别的对象特征组结构 .提出了通过抽取对象特征组、由特征组自动生成识别规则的方法 .提出了在识别系统中加入对象特征抽取以及识别规则自动生成与调整功能使识别系统能方便地适应新图... 详细信息

分析了工程图中工程对象的构图特点 ,设计了适用于识别的对象特征组结构 .提出了通过抽取对象特征组、由特征组自动生成识别规则的方法 .提出了在识别系统中加入对象特征抽取以及识别规则自动生成与调整功能使识别系统能方便地适应新图例从而提高适应能力的方法 .该方法已应用于一个建筑工程图自动分析软件并取得了较好的效果 .

关键词：建筑工程图计算机辅助设计工程图对象识别规则自动识别自动获取

来源：评论

学校读者我要写书评

暂无评论

一种基于多示例学习的图像检索方法

引用

模式识别与人工智能 2006年第2期19卷 179-185页

作者：戴宏斌张敏灵周志华南京大学计算机软件新技术国家重点实验室南京210093

由于多示例学习能够有效处理图像的歧义性,因此被应用于基于内容的图像检索(CBIR).本文提出一种基于多示例学习的CBIR方法.该方法将图像作为多示例包,使用基于自组织特征映射网络聚类的方法分割图像,并将由颜色和纹理特征描述的图像区... 详细信息

由于多示例学习能够有效处理图像的歧义性,因此被应用于基于内容的图像检索(CBIR).本文提出一种基于多示例学习的CBIR方法.该方法将图像作为多示例包,使用基于自组织特征映射网络聚类的方法分割图像,并将由颜色和纹理特征描述的图像区域作为包中示例.根据用户选择的实例图像生成正包和反包,使用多示例学习算法进行学习,实现图像检索和相关反馈.实验结果表明这种方法与已有方法检索效果相当,但检索效率更高.

关键词：机器学习多示例学习基于内容的图像检索(CBIR)

来源：评论

学校读者我要写书评

暂无评论

基于博弈理论的动态入侵响应

引用

计算机研究与发展 2008年第5期45卷 747-757页

作者：石进陆音谢立计算机软件新技术国家重点实验室(南京大学) 南京210093

随着计算机网络的飞速发展,人们对互联网技术的依赖程度越来越高,因此确保网络系统的安全性也变得越来越重要.近年来,由于网络攻击事件的增多,入侵检测和响应技术越来越成为目前的研究热点之一.不过与其他安全技术得到广泛应用并取得良... 详细信息

随着计算机网络的飞速发展,人们对互联网技术的依赖程度越来越高,因此确保网络系统的安全性也变得越来越重要.近年来,由于网络攻击事件的增多,入侵检测和响应技术越来越成为目前的研究热点之一.不过与其他安全技术得到广泛应用并取得良好的效果相比,入侵检测与响应的发展是滞后的.这一方面是由于入侵检测自身检测技术的限制,另一方面是由于目前的报警响应研究未能处理好系统的收益及攻击者策略变化等问题.针对上述第2个问题,提出了一种基于博弈理论的动态入侵响应DIRBGT模型.该模型一方面对攻击者和系统双方收益计算得比较全面,因此系统在报警响应后的收益得到了保证;另一方面还将攻击者可能的策略变化纳入模型当中,与单从系统一方推理最优响应的不稳定性相比,其最优解是稳定、可靠的.实验结果表明,DIRBGT模型有效提高了报警响应的准确性和效果.

关键词：网络安全入侵响应攻击场景博弈理论动态响应

来源：评论

学校读者我要写书评

暂无评论

神经网络规则抽取

引用

计算机研究与发展 2002年第4期39卷 398-405页

作者：周志华陈世福南京大学计算机软件新技术国家重点实验室南京210093

神经网络是一种黑箱模型，其学习到的知识蕴涵在大量连接权中，不仅影响了用户对利用神经计算技术构建智能系统的信心，还阻碍了神经网络技术在数据挖掘领域的应用．由于对神经网络规则抽取进行研究有助于解决上述问题，因此该领域已成... 详细信息

神经网络是一种黑箱模型，其学习到的知识蕴涵在大量连接权中，不仅影响了用户对利用神经计算技术构建智能系统的信心，还阻碍了神经网络技术在数据挖掘领域的应用．由于对神经网络规则抽取进行研究有助于解决上述问题，因此该领域已成为机器学习和神经计算界的研究热点．介绍了神经网络规则抽取研究的历史，综述了国际研究现状，对关于这方面研究的不同看法进行了讨论，并指出该领域中一些值得进一步研究的内容．

关键词：神经网络机器学习规则抽取知识获取数据挖掘

来源：评论

学校读者我要写书评

暂无评论

三方众包市场中的发包方-平台博弈机制设计

引用

计算机研究与发展 2022年第11期59卷 2507-2519页

作者：何雨橙丁尧相周志华计算机软件新技术国家重点实验室(南京大学) 南京210023

众包(crowdsourcing)通常涉及到目标各不相同的多个参与者.设计有效的众包机制,使得各个参与者在竞争中实现共赢,是众包理论研究中的基本问题之一.当前,众包机制设计通常基于发包方标注者直接进行交互的两方博弈模型.而现实应用中,发包... 详细信息

众包(crowdsourcing)通常涉及到目标各不相同的多个参与者.设计有效的众包机制,使得各个参与者在竞争中实现共赢,是众包理论研究中的基本问题之一.当前,众包机制设计通常基于发包方标注者直接进行交互的两方博弈模型.而现实应用中,发包方与标注者之间往往通过平台进行交互,从而构成三方博弈下的众包市场.其中的发包方平台博弈机制设计是过往众包研究中未曾涉及的全新问题.将三方众包市场建模为不完全信息博弈,并证明该博弈问题的Nash均衡可通过在线学习来最小化发包方和平台的累计遗憾而达到.在单发包方情形下,证明经典的EXP3算法对于发包方的最优性,并基于反事实遗憾最小化技术为平台设计了有效策略.同时,将单发包方情形下发包方和平台策略拓展到多发包方情形下并给出理论分析.合成及真实数据集上的实验验证了该方法的有效性.

关键词：众包博弈理论机制设计在线学习反事实遗憾最小化

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：