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

一种新的目标检测方法：Latent Dirichlet classification

南京大学学报（自然科学版） 2012年第2期48卷 214-220页

作者：丁轶郭乔进李宁南京大学计算机软件新技术国家重点实验室南京大学计算机科学与技术系南京210093

图像目标检测的任务是通过对图像分块或者分区域提取特征,进行学习和分类,从而检测出目标在图像中的位置.基于潜在迪利克雷分布模型,提出一种应用于目标检测的主题模型latentDirichlet classification(LDC),结合图像连续值局部特征和共... 详细信息

图像目标检测的任务是通过对图像分块或者分区域提取特征,进行学习和分类,从而检测出目标在图像中的位置.基于潜在迪利克雷分布模型,提出一种应用于目标检测的主题模型latentDirichlet classification(LDC),结合图像连续值局部特征和共生关系来进行目标检测.LDC模型将latentDirichlet allocation(LDA)生成的主题信息作为权重赋予样本,生成多份样本,然后利用多份样本训练多个分类器进行集成分类.实验结果表明利用LDC模型能有效提高检测精度.

关键词：潜在迪利克雷分布目标检测变分推理主题模型

来源：评论

学校读者我要写书评

暂无评论

基于动态基本块的测试用例约简

引用

中国科技论文 2012年第1期7卷 33-41页

作者：马倩陈林卢红敏丁晖南京大学计算机科学与技术系计算机软件新技术国家重点实验室南京210046

缺陷定位技术利用测试用例动态执行的覆盖信息来计算程序中各条语句的可疑度,有效地减少了开发人员排错的工作量。但检查大量的测试输出正确与否是非常困难而且耗时的,因此对测试用例集进行约简成为必要。传统的约简方法大多使用语句覆... 详细信息

缺陷定位技术利用测试用例动态执行的覆盖信息来计算程序中各条语句的可疑度,有效地减少了开发人员排错的工作量。但检查大量的测试输出正确与否是非常困难而且耗时的,因此对测试用例集进行约简成为必要。传统的约简方法大多使用语句覆盖标准,本文提出以动态基本块为覆盖标准,并在此基础上提出2种约简策略来减小测试输入的规模。实验结果证明,新方法可以有效地减少测试输入,并且约简后的错误定位效果几乎不下降。

关键词：测试用例约简缺陷定位动态基本块调试

来源：评论

学校读者我要写书评

暂无评论

HybridHP:一种轻型的内核完整性监控方案及其形式化验证

引用

计算机学报 2012年第7期35卷 1462-1474页

作者：钱振江刘苇黄皓南京大学软件新技术国家重点实验室南京210046 南京大学计算机科学与技术系南京210046 常熟理工学院计算机科学与工程学院江苏常熟215500

虽然传统的虚拟化监控方法可以在一定程度上保障操作系统安全.然而,虚拟监控器VMM中管理域Domain0的存在以及操作系统级的切换所带来的性能损失是很多具有大型应用的操作系统所不能接受的.注重硬件虚拟化技术的监控能力而摒弃其不必要... 详细信息

虽然传统的虚拟化监控方法可以在一定程度上保障操作系统安全.然而,虚拟监控器VMM中管理域Domain0的存在以及操作系统级的切换所带来的性能损失是很多具有大型应用的操作系统所不能接受的.注重硬件虚拟化技术的监控能力而摒弃其不必要的虚拟化能力,提出了一个新型的通用的虚拟化监控框架HybridHP,并实现其原型.HybridHP将管理域和虚拟机监控机制两者整合到被监控操作系统的地址空间,具有很好的获取被监控系统操作语义的能力.利用Isabelle/HOL形式化辅助证明工具验证HybridHP的隔离性、安全性和监控能力.最后对HybridHP进行了攻击实验和性能评估,结果显示HybridHP提供了和传统的虚拟化监控方案相同的安全保障,并具有很好的系统性能.

关键词：硬件虚拟化内核完整性安全监控安全攻击 Isabelle形式化验证

来源：评论

学校读者我要写书评

暂无评论

一种基于VFD多核系统的硬实时任务节能调度算法

引用

计算机研究与发展 2012年第5期49卷 1018-1027页

作者：吴小东韩建军王天江服务计算技术与系统教育部重点实验室(华中科技大学) 武汉430074 华中科技大学计算机科学与技术学院武汉430074 计算机软件新技术国家重点实验室(南京大学) 南京210093

由于芯片功耗不断增加,节能已成为一个亟待解决的重要问题.基于全局异步局域同步(GALS)及电压频率域(VFD)技术的多核处理器计算平台,提出周期性硬实时任务节能调度算法.首先将给定任务集中的实时任务按最差匹配递减(WFD)策略映射到各个... 详细信息

由于芯片功耗不断增加,节能已成为一个亟待解决的重要问题.基于全局异步局域同步(GALS)及电压频率域(VFD)技术的多核处理器计算平台,提出周期性硬实时任务节能调度算法.首先将给定任务集中的实时任务按最差匹配递减(WFD)策略映射到各个计算核上,使各计算核的利用率相对更加均衡,然后利用静态电压?频率调整策略,将每一个VFD内各计算核的共享运行频率降至此VFD中负载最重的计算核的利用率以回收并利用空闲时间节能.在静态策略的基础上提出空闲时间重分配(SR)策略,在保证实时任务可调度的前提下,通过进行任务迁移来平衡VFD内各计算核上的空闲时间分布,以进一步降低VFD的共享运行频率,从而降低能耗.实验表明提出的节能算法可取得较好的节能效果.

关键词：实时系统实时调度节能调度多核系统动态电压/频率调节低能耗

来源：评论

学校读者我要写书评

暂无评论

基于攻击特征签名的自动生成

引用

计算机科学 2012年第3期39卷 118-123页

作者：王国栋陈平茅兵谢立南京大学计算机科学与技术系软件新技术国家重点实验室南京210093

签名可以基于攻击特征的相关信息生成。在栈上针对控制流攻击中对函数调用返回值和函数调用指针的攻击以及非控制流中对与判断相关联的数据的攻击,结合动态分析技术生成二进制签名。首先,识别出漏洞相关指令;然后,用虚拟机监控运行上述... 详细信息

签名可以基于攻击特征的相关信息生成。在栈上针对控制流攻击中对函数调用返回值和函数调用指针的攻击以及非控制流中对与判断相关联的数据的攻击,结合动态分析技术生成二进制签名。首先,识别出漏洞相关指令;然后,用虚拟机监控运行上述指令;最后,修改虚拟机以在监控到恶意写行为时报警并生成签名。同时生成的补丁文件记录恶意写指令以便后继执行时跳过。签名可迅速分发给其他主机,在轻量级虚拟机上监测程序运行。实验表明,二进制签名具有准确、精简的优点,可以防御多态攻击,同时具有较低漏报率,结合使用轻量级虚拟机可使签名生成和后继检测都快速高效。

关键词：计算机安全软件安全软件漏洞二进制程序签名二进制补丁

来源：评论

学校读者我要写书评

暂无评论

覆盖表生成的粒子群算法:参数优化和自适应算法

引用

小型微型计算机系统 2012年第10期33卷 2259-2267页

作者：吴化尧聂长海南京大学计算机科学与技术系软件新技术国家重点实验室南京210093

组合测试是一种能有效检测由参数间相互作用所引发错误的软件测试方法,覆盖表的生成是该研究领域的一个重要问题.目前,很多方法已被应用于覆盖表生成,基于演化搜索的粒子群算法尽管能得到较优的解,但其性能容易受到配置参数的影响.本文... 详细信息

组合测试是一种能有效检测由参数间相互作用所引发错误的软件测试方法,覆盖表的生成是该研究领域的一个重要问题.目前,很多方法已被应用于覆盖表生成,基于演化搜索的粒子群算法尽管能得到较优的解,但其性能容易受到配置参数的影响.本文首先使用试验设计的方法,对不同覆盖表生成的算法参数进行优化,系统分析了参数对算法性能的影响.同时,考虑到对不同的覆盖表,最优的算法参数往往不同,因此进一步提出了一种适用于覆盖表生成的自适应粒子群算法.实验结果表明,在一定的参数取值范围内粒子群算法都能获得较好的结果,且不存在一组对任意覆盖表都能有最优性能的算法参数.通过参数调优,能使粒子群算法获得比已有结果规模更小的覆盖表,同时,与经过参数调优后的算法相比,自适应粒子群算法在大部分情况下有更好的性能.

关键词：组合测试覆盖表生成粒子群算法参数调优自适应算法

来源：评论

学校读者我要写书评

暂无评论

双精英协同进化遗传算法

引用

软件学报 2012年第4期23卷 765-775页

作者：刘全王晓燕傅启明张永刚章晓芳苏州大学计算机科学与技术学院江苏苏州215006 符号计算与知识工程教育部重点实验室(吉林大学) 吉林长春130012 计算机软件新技术国家重点实验室(南京大学) 江苏南京210093

针对传统遗传算法早熟收敛和收敛速度慢的问题,提出一种双精英协同进化遗传算法(double elitecoevolutionary genetic algorithm,简称DECGA).该算法借鉴了精英策略和协同进化的思想,选择两个相异的、高适应度的个体(精英个体)作为进化... 详细信息

针对传统遗传算法早熟收敛和收敛速度慢的问题,提出一种双精英协同进化遗传算法(double elitecoevolutionary genetic algorithm,简称DECGA).该算法借鉴了精英策略和协同进化的思想,选择两个相异的、高适应度的个体(精英个体)作为进化操作的核心,两个精英个体分别按照不同的评价函数来选择个体,组成各自的进化子种群.两个子种群分别采用不同的进化策略,以平衡算法的勘探和搜索能力.理论分析证明,该算法具有全局收敛性.通过对测试函数的实验,其结果表明,该算法能搜索到几乎所有测试函数的最优解,同时能够有效地保持种群的多样性.与已有算法相比,该算法在收敛速度和搜索全局最优解上都有了较大的改进和提高.

关键词：遗传算法进化算法精英策略协同进化种群多样性

来源：评论

学校读者我要写书评

暂无评论

HDS-LEACH:一种基于散列链的动态密钥管理多跳安全路由协议

引用

小型微型计算机系统 2012年第11期33卷 2446-2452页

作者：缪成蓓白光伟顾跃跃南京工业大学计算机科学与技术系南京210009 计算机软件新技术国家重点实验室(南京大学) 南京210093

主要研究传感器网络安全的能量高效的层簇式路由协议机制.在深入分析现有LEACH协议所面临的安全威胁的基础上,提出一种动态的,基于散列链的分区自治式的层簇式安全路由协议HDS-LEACH.其核心思想是,在层簇式路由协议中引入分区,建立多跳... 详细信息

主要研究传感器网络安全的能量高效的层簇式路由协议机制.在深入分析现有LEACH协议所面临的安全威胁的基础上,提出一种动态的,基于散列链的分区自治式的层簇式安全路由协议HDS-LEACH.其核心思想是,在层簇式路由协议中引入分区,建立多跳路径;在每轮簇首选举之后为每个簇头节点随机从散列链组成的密钥池中选取q个链密钥,其它节点根据链密钥用单向哈希函数和伪随机函数派生出相互间通信的密钥,同时在多跳路由中融入动态密钥管理,使协议适应无线传感器网络动态变化的拓扑结构,增强了协议的可扩展性,另一方面,分区自治的多跳路由,避免了远离基站的节点直接与汇聚节点通信,均衡节点能耗.仿真实验表明,改进的路由协议HDS-LEACH大大减少了因网络攻击而造成的数据流失,增强了抗攻击能力,显著降低了网络能耗,延长了网络生存时间.

关键词：传感器网络安全路由协议分区自治散列链动态密钥管理均衡能耗

来源：评论

学校读者我要写书评

暂无评论

基于BT的断点续传技术的研究与实现

基于BT的断点续传技术的研究与实现

引用

2013全国高性能计算学术年会

作者：祝明发秦静超王智尧徐春杰秦广军阮利谭东宇李明泉北京航空航天大学计算机科学与技术系北京100191 软件开发国家重点实验室北京100191 航天恒星有限公司北京卫星信息工程研究所北京100191

文件分享是互联网的传统应用.P2P技术已表明可以用来提供大规模的网络服务,BT是互联网最为流行的P2P内容分享应用之一.但标准的BT协议以段为单位传输,在传输过程中,远程结点的离开,本地结点会重传与离开的远程结点未传输完成的段,这就... 详细信息

文件分享是互联网的传统应用.P2P技术已表明可以用来提供大规模的网络服务,BT是互联网最为流行的P2P内容分享应用之一.但标准的BT协议以段为单位传输,在传输过程中,远程结点的离开,本地结点会重传与离开的远程结点未传输完成的段,这就导致了已传输的不完整的数据段失效,增加了传输开销.本文主要研究如何通过改进BT协议,使其不仅能支持文件分享,更能针对远程结点离开,对已传输的不完整的数据进行续传,进一步提高传输效率,提高网络性能.本文着重分析了BT目前所使用的传输方式以及其缺陷,本文主要做了以下工作:1)通过分析BT协议工作原理和关键算法,结合BT的传输特点,修改BT的段的传输方式,使其能支持段的续传,续传时,只续传未接受完整的段的余下子分片,从而降低网络重传开销,提高了网络整体性能.2)通过网络仿真实验初步验证了研究成果的正确性.最后,通过仿真实现,本文得出如下结论:远程结点离开的概率越高,本文所提供的方法对BT传输带来的性能越好.

关键词：互联网系统断点续传技术数据传输比特流协议

来源：评论

学校读者我要写书评

暂无评论

面向适航认证的模型驱动机载软件构件的安全性验证

引用

航空学报 2012年第5期33卷 796-808页

作者：徐丙凤黄志球胡军于笑丰南京航空航天大学计算机科学与技术学院江苏南京210016 南京大学计算机软件新技术国家重点实验室江苏南京210093 南京大学商学院江苏南京210093

在软件开发的过程中为适航认证提供证据,已成为机载软件开发的研究热点。现代复杂机载软件多为构件化分布式架构,如何有效验证构件之间安全性依赖关系与适航认证标准当中规定目标的一致性,是机载软件设计阶段的一个重要问题。首先,使用... 详细信息

在软件开发的过程中为适航认证提供证据,已成为机载软件开发的研究热点。现代复杂机载软件多为构件化分布式架构,如何有效验证构件之间安全性依赖关系与适航认证标准当中规定目标的一致性,是机载软件设计阶段的一个重要问题。首先,使用系统建模语言(SysML)块图建立带有安全性特征的系统静态结构模型,将其转换为块依赖图以便进行精确的形式化描述。在此基础上给出形式验证方法,检验系统静态结构模型中的安全性依赖关系与适航认证标准中所规定目标之间是否一致。最后,通过一个飞机导航系统的例子说明如何将该方法应用于机载软件开发的过程中。利用这种方法对系统静态结构模型的安全性依赖关系进行验证,能够提高系统整体的安全性,并为适航认证提供证据。

关键词：适航认证安全性验证机载软件模型驱动形式化方法 SysML

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：