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

计算机学报 2020年第2期43卷 206-232页

作者：王兴亚姜淑娟高鹏飞陆凯薄莉莉鞠小林张艳梅中国矿业大学计算机科学与技术学院矿山数字化教育部工程研究中心江苏徐州221116 南京大学计算机软件新技术国家重点实验室南京210023 南通大学计算科学与技术学院江苏南通226019 桂林电子科技大学广西可信软件重点实验室广西桂林541004

缺陷间的相互干扰会使程序的频谱信息和运行结果发生变化,进而影响基于频谱信息的缺陷定位方法(SBFL)的有效性.本文对缺陷干扰现象进行了研究,通过分析单缺陷程序与多缺陷程序在缺陷运行、感染和传播过程及程序运行结果间的差异定义了... 详细信息

缺陷间的相互干扰会使程序的频谱信息和运行结果发生变化,进而影响基于频谱信息的缺陷定位方法(SBFL)的有效性.本文对缺陷干扰现象进行了研究,通过分析单缺陷程序与多缺陷程序在缺陷运行、感染和传播过程及程序运行结果间的差异定义了两类缺陷干扰,并根据干扰前后缺陷在互斥子集中的分布变化分析了缺陷干扰对SBFL方法有效性的影响.研究结果表明:与特定缺陷无关的失败测试用例是降低SBFL方法缺陷定位有效性的主要原因.在此基础上,本文提出了一种基于模糊C均值聚类的多缺陷定位方法FCMFL:首先,通过模糊C均值聚类分析失败测试用例与不同缺陷间的隶属关系,得到每个缺陷相关的失败测试信息;其次,基于隶属度矩阵加权计算每条语句的可疑度,并通过互斥子集优先级分析确定不同语句集合的检查顺序,最终生成一个语句检查序列指导开发人员进行程序调试.实验结果表明:(1)缺陷干扰会对SBFL方法产生影响,降低SBFL方法的缺陷定位有效性;(2)FCMFL方法可以降低多缺陷对SBFL方法的影响,提高SBFL方法的缺陷定位有效性.

关键词：程序调试缺陷定位程序切片缺陷干扰模糊聚类

来源：评论

学校读者我要写书评

暂无评论

机器辅助下的形式化规格说明求精技术

引用

计算机科学 1998年第6期25卷 19-23页

作者：袁晓东郑国梁电力部电力自动化研究院仿真室南京210003 南京大学计算机软件新技术国家重点实验室计算机科学与技术系南京210093

形式化规格说明为我们提供一个简洁、精确且能被很好理解的系统描述。但我们还需要从规格说明得到其合适的代码实现,这一开发过程称为形式化规格说明的求精[lj。规格说明的求精技术已经有比较深入的研究,一般要通过数据求精和操作求精... 详细信息

形式化规格说明为我们提供一个简洁、精确且能被很好理解的系统描述。但我们还需要从规格说明得到其合适的代码实现,这一开发过程称为形式化规格说明的求精[lj。规格说明的求精技术已经有比较深入的研究,一般要通过数据求精和操作求精逐步精化的过程,逐步降低抽象级,最终得到规格说明的程序实现代码。但现有的精化理论较少考虑机器辅助技术的应用。

关键词：形式化规格说明机器辅助求精技术形式语言

来源：评论

学校读者我要写书评

暂无评论

融合前景信息的背景模板优化显著性检测算法

引用

计算机工程 2019年第1期45卷 221-225,232页

作者：陈威李决龙邢建春杨启亮周启臻陆军工程大学国防工程学院南京210007 海军海防工程研究中心北京100841 南京大学计算机软件新技术国家重点实验室南京210093

当显著目标位于图像边界时,已有显著性检测模型往往将显著性区域误检为背景模板,导致检测效果不佳。为此,提出一种背景模板优化的显著性检测算法。设计一种选择策略移除图像边界区域的显著超像素模块,建立改进的背景模板后计算基于背景... 详细信息

当显著目标位于图像边界时,已有显著性检测模型往往将显著性区域误检为背景模板,导致检测效果不佳。为此,提出一种背景模板优化的显著性检测算法。设计一种选择策略移除图像边界区域的显著超像素模块,建立改进的背景模板后计算基于背景的显著图,从该显著图中得到紧凑的前景区域,描述显著目标的外观和位置后计算基于前景的显著图。在此基础上,将2个显著图进行融合,通过一种能量函数对其进行改善,得到最终平滑和精确的显著图。实验结果表明,相对SEG、CA等算法,该算法能提高目标检测的精确率与召回率。

关键词：显著性检测背景模板选择策略显著图前景信息

来源：评论

学校读者我要写书评

暂无评论

Cbase查询优化的重写机制及其实现

引用

计算机工程与应用 2002年第22期38卷 192-194,238页

作者：邓支益毛宇光江国华南京航空航天大学计算机科学研究所南京210016 南京大学软件新技术国家重点实验室南京210093

Cbase是南京大学计算机系与南大谷元石油软件研究所有限公司研制的新一代商用关系数据库管理系统。为了提高查询效率,作者开发了Cbase数据库的查询优化器。文章详细论述了Cbase查询优化器中重写模块的设计思想与实现技术,并讨论了基于... 详细信息

Cbase是南京大学计算机系与南大谷元石油软件研究所有限公司研制的新一代商用关系数据库管理系统。为了提高查询效率,作者开发了Cbase数据库的查询优化器。文章详细论述了Cbase查询优化器中重写模块的设计思想与实现技术,并讨论了基于执行引擎特点引入的一组基于等价谓词的简单语句的重写规则。测试结果表明,所设计的重写器能够显著提高系统的查询效率。

关键词：关系数据库管理系统 Cbase 查询优化器重写模块等价谓词查询图

来源：评论

学校读者我要写书评

暂无评论

面向网络的全文检索中索引文件的组织

引用

计算机应用研究 2002年第11期19卷 124-126,146页

作者：颜维龙盖杰武港山袁春风软件技术研究所国家重点实验室南京大学计算机科学与技术系江苏南京210093

为了提高网络中全文检索的效率 ,需要对Web页面中内容进行分析、建立全文索引 ,并对索引的结构进行高效率的组织。讨论了索引的组织结构及其实现方法 ,并分析了不同的组织方法的性能。

关键词：全文检索字表正排表倒排表索引

来源：评论

学校读者我要写书评

暂无评论

基于模糊免疫PID的多媒体流自调整算法研究

引用

电子与信息学报 2005年第10期27卷 1651-1656页

作者：孙雁飞张顺颐饶翔石进南京邮电学院江苏省通信与网络技术工程研究中心南京210003 南京大学计算机软件新技术国家重点实验室南京210093

提出了一种基于模糊免疫PID的多媒体流自调整算法(MFIPID),实现对多媒体流的在线自调节和多媒体流资源有效管理。分析多媒体流自适应节模型,实现IP网络可用带宽的预估计,采用全论域范围内带有自调整因子的模糊规则自调整方法进行免疫抑... 详细信息

提出了一种基于模糊免疫PID的多媒体流自调整算法(MFIPID),实现对多媒体流的在线自调节和多媒体流资源有效管理。分析多媒体流自适应节模型,实现IP网络可用带宽的预估计,采用全论域范围内带有自调整因子的模糊规则自调整方法进行免疫抑制量的模糊非线性逼近,并与免疫反馈机理相结合,多媒体流传输过程中自适应整定PID参数以改进传统PID算法。仿真验证了MFIPID算法的有效性。

关键词：多媒体流传输资源管理模糊逼近免疫反馈 PID自调节

来源：评论

学校读者我要写书评

暂无评论

基于特征融合时序分割网络的行为识别研究

引用

计算机研究与发展 2020年第1期57卷 145-158页

作者：李洪均丁宇鹏李超波张士兵南通大学信息科学技术学院江苏南通226019 计算机软件新技术国家重点实验室(南京大学) 南京210023 南通智能信息技术联合研究中心江苏南通226019 通科微电子学院江苏南通226019

行为识别是当今计算机视觉领域的一个研究热点,是一项具有挑战性的任务.行为识别分析与其网络输入数据类型、网络结构、特征融合环节具有密切联系.目前,主流的行为识别网络输入数据为RGB图像和光流图像,网络结构主要以双流和3D卷积为主... 详细信息

行为识别是当今计算机视觉领域的一个研究热点,是一项具有挑战性的任务.行为识别分析与其网络输入数据类型、网络结构、特征融合环节具有密切联系.目前,主流的行为识别网络输入数据为RGB图像和光流图像,网络结构主要以双流和3D卷积为主;而特征选择直接影响到识别的效率,多层次的特征融合工作还有很多问题有待解决.针对主流的双流卷积网络输入数据为RGB图像和光流图像的局限,利用低秩空间中稀疏特征能够有效捕捉视频中运动物体信息的特点,对网络输入数据进行补充.同时,针对网络中缺乏信息交互的特点,将深度网络中高层语义信息和低层细节信息结合起来共同识别行为动作,使时序分割网络性能更具优势.在行为识别数据集UCF101和HMDB51上取得了97.1%和76.7%的识别效果,较目前主流算法有了较大的提升.实验结果表明,该方法能够有效地提高行为识别的识别率.

关键词：行为识别稀疏特征时序分割网络双流卷积网络特征融合

来源：评论

学校读者我要写书评

暂无评论

基于双语平行语料的中文缩略语提取方法

引用

中文信息学报 2012年第2期26卷 69-74页

作者：刘友强李斌奚宁陈家骏南京大学计算机软件新技术国家重点实验室江苏南京210093 南京师范大学语言信息科技研究中心江苏南京210097

汉语缩略语在现代汉语中被广泛使用,其研究对于中文信息处理有着重要地意义。该文提出了一种从英汉平行语料库中自动提取汉语缩略语的方法。首先对双语语料进行词对齐,再抽取出与词对齐信息一致的双语短语对,然后用SVM分类器提取出质量... 详细信息

汉语缩略语在现代汉语中被广泛使用,其研究对于中文信息处理有着重要地意义。该文提出了一种从英汉平行语料库中自动提取汉语缩略语的方法。首先对双语语料进行词对齐,再抽取出与词对齐信息一致的双语短语对,然后用SVM分类器提取出质量高的双语短语对,最后再从质量高的短语对集合中利用相同英文及少量汉语缩略—全称对应规则提取出汉语缩略语及全称语对。实验结果表明,利用平行语料的双语对译信息,自动提取出的缩略语具有较高地准确率,可以作为一种自动获取缩略语词典的有效方法。

关键词：缩略语平行语料库短语抽取分类

来源：评论

学校读者我要写书评

暂无评论

普适计算环境中隐私保护的研究与进展

普适计算环境中隐私保护的研究与进展

引用

第二届和谐人机环境联合学术会议(HHME2006)——第2届中国普适计算学术会议(PCC'06)

作者：陆闻天陶先平吕建南京大学计算机软件新技术国家重点实验室南京大学计算机软件研究所南京大学计算机软件新技术国家重点实验室南京大学计算机软件研究所南京大学计算机软件新技术国家重点实验室南京大学计算机软件研究所

普适计算环境的最大特点在于能够自动的感知环境调整自身的行为。但是这种能力所带来的隐私泄露问题引起了用户的担心,阻碍了普适环境的大规模部署。本文对普适计算环境中隐私保护问题进行了综述,分析了隐私泄露的途径,介绍了各种解决... 详细信息

普适计算环境的最大特点在于能够自动的感知环境调整自身的行为。但是这种能力所带来的隐私泄露问题引起了用户的担心,阻碍了普适环境的大规模部署。本文对普适计算环境中隐私保护问题进行了综述,分析了隐私泄露的途径,介绍了各种解决方案以及我们的一个隐私保护中间件,最后提出了有待进一步解决的问题。

关键词：普适计算隐私保护

来源：评论

学校读者我要写书评

暂无评论

区块链数据形成与隐私威胁

引用

计算机工程 2023年第8期49卷 1-12页

作者：王群李馥娟倪雪莉夏玲玲梁广俊江苏警官学院计算机信息与网络安全系南京210031 江苏省电子数据取证分析工程研究中心南京210031 计算机软件新技术国家重点实验室(南京大学) 南京210093

区块链借助于密码学、共识算法、激励机制、点对点网络、分布式账本、智能合约等关键技术,在没有第三方权威机构参与的互不信任网络环境中,实现了对事务记录的分布式一致性、不可篡改性、可溯源性等功能特性,构成了一种崭新的可信、安... 详细信息

区块链借助于密码学、共识算法、激励机制、点对点网络、分布式账本、智能合约等关键技术,在没有第三方权威机构参与的互不信任网络环境中,实现了对事务记录的分布式一致性、不可篡改性、可溯源性等功能特性,构成了一种崭新的可信、安全、可编程的网络生态。与此同时,支撑区块链自身功能实现的相关技术及机制也带来了隐私安全问题。将隐私作为个人数据的一个子集进行研究,从而将区块链数据划分为事务数据和区块数据等2种类型,并通过对区块链数据的解构以及对所得信息的关联,分析隐藏在数据中的隐私信息。从数据传输方式和数据结构方面介绍区块链数据构成;在分析区块链数据特点的基础上,综合对隐私的理解、度量、泄露途径等因素,给出区块链隐私的定义,并从身份隐私、数据隐私、网络隐私等方面进行分析;通过对网络安全、密码学安全、跨链操作、共识算法等方面带来的隐私泄露风险的分析,指出区块链隐私威胁存在的挑战和未来研究方向。

关键词：区块链隐私威胁身份隐私数据隐私网络隐私

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：