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

兵工学报 2010年第11期31卷 1431-1437页

作者：吴一全纪守新尹丹艳南京航空航天大学信息科学与技术学院江苏南京210016 南京大学计算机软件新技术国家重点实验室江苏南京210093

针对存在背景干扰和噪声情况下的红外弱小目标检测问题,提出一种基于双树复小波变换和独立分量分析(ICA)的检测方法。对图像作预处理:利用双树复小波对原始图像进行去噪,再利用Top-hat算子抑制背景;从原始图像减去通过快速独立分量分析(... 详细信息

针对存在背景干扰和噪声情况下的红外弱小目标检测问题,提出一种基于双树复小波变换和独立分量分析(ICA)的检测方法。对图像作预处理:利用双树复小波对原始图像进行去噪,再利用Top-hat算子抑制背景;从原始图像减去通过快速独立分量分析(FastICA)分离出的背景图像,用双树复小波去噪;上述2方面得到的图像求和即为预处理图像。采用模糊Tsallis-Havrda-Charvat熵选取阈值来分割预处理图像。针对红外小目标图像进行了大量实验,并和基于快速独立分量分析的目标检测方法、基于形态滤波的目标检测方法进行了比较。结果表明,本文方法抗噪性强,具有更为优越的检测性能。

关键词：信息处理技术红外弱小目标检测双树复小波变换独立分量分析模糊Tsallis-Havrda-Charvat熵

来源：评论

学校读者我要写书评

暂无评论

基于FLS-SVM背景预测的红外弱小目标检测

引用

光学学报 2010年第10期30卷 2806-2811页

作者：吴一全尹丹艳南京航空航天大学信息科学与技术学院江苏南京210016 南京大学计算机软件新技术国家重点实验室江苏南京210093

提出了一种基于模糊最小二乘支持向量机(FLS-SVM)进行背景预测、利用模糊Tsallis-Havrda-Charvat熵实现阈值分割的红外弱小目标检测方法。首先采用FLS-SVM对训练样本进行学习得到回归函数,并以此预测红外图像中的背景;然后将原始图像与... 详细信息

提出了一种基于模糊最小二乘支持向量机(FLS-SVM)进行背景预测、利用模糊Tsallis-Havrda-Charvat熵实现阈值分割的红外弱小目标检测方法。首先采用FLS-SVM对训练样本进行学习得到回归函数,并以此预测红外图像中的背景;然后将原始图像与预测图像相减得到残差图像,并提出基于模糊Tsallis-Havrda-Charvat熵的阈值选取算法分割残差图像,将小目标和噪声从残差背景中分割出来;最后利用目标灰度的平稳性和运动轨迹的连续性进一步检测出真实的小目标。给出了实验结果及分析,并与基于最小二乘支持向量机(LS-SVM)以及基于最小二乘的背景预测方法的检测结果进行了比较。结果表明,该方法具有更高的检测概率和信噪比增益,优于上述基于背景预测的红外小目标检测方法。

关键词：图像处理红外小目标检测模糊支持向量机残差图像模糊Tsallis-Havrda-Charvat熵

来源：评论

学校读者我要写书评

暂无评论

ANODR匿名路由协议的安全性验证

引用

计算机工程 2010年第10期36卷 165-167页

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

匿名路由协议的目的是保证移动自主网中节点在通信时不会泄露参与通信的节点身份以及通信路径不被发现,其目标可分为发送匿名、接收匿名和路由匿名。将该协议分解为3个组件,分别实现3个目标。利用扩展后的Cord逻辑对实现路由匿名的组件... 详细信息

匿名路由协议的目的是保证移动自主网中节点在通信时不会泄露参与通信的节点身份以及通信路径不被发现,其目标可分为发送匿名、接收匿名和路由匿名。将该协议分解为3个组件,分别实现3个目标。利用扩展后的Cord逻辑对实现路由匿名的组件进行验证,结果证明其不能满足路由匿名规范,破坏了协议作为一个整体提供的匿名服务。

关键词：匿名路由逻辑证明安全协议

来源：评论

学校读者我要写书评

暂无评论

基于序列比对的SQL注入攻击检测方法

引用

计算机应用研究 2010年第9期27卷 3525-3528页

作者：孙义胡雨霁黄皓南京大学软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093

SQL注入攻击已经严重影响了网络应用的安全,因为它可以使攻击者不受限制地访问数据库中的敏感信息。为此,提出了一种新的基于序列比对的方法进行SQL注入攻击检测,并给出了序列比对算法的实施过程和基于该算法的检测方法;最后对该方法的... 详细信息

SQL注入攻击已经严重影响了网络应用的安全,因为它可以使攻击者不受限制地访问数据库中的敏感信息。为此,提出了一种新的基于序列比对的方法进行SQL注入攻击检测,并给出了序列比对算法的实施过程和基于该算法的检测方法;最后对该方法的正确性和性能进行了分析和测试。实验结果表明,本方法是简单有效的。

关键词： SQL注入序列比对攻击检测

来源：评论

学校读者我要写书评

暂无评论

基于访问控制的动态着色技术在攻击检测中的研究

引用

计算机科学 2010年第1期37卷 153-157页

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

内存腐烂攻击在软件安全攻击中占据着较大的比重。近来,动态着色技术得到了越来越多的关注,这种技术通过在访问内存时检测指针的完整性来抵御攻击。然而,存在一类可以绕过指针完整性检查的策略来进行攻击的实例,比如数组的越界访问攻击... 详细信息

内存腐烂攻击在软件安全攻击中占据着较大的比重。近来,动态着色技术得到了越来越多的关注,这种技术通过在访问内存时检测指针的完整性来抵御攻击。然而,存在一类可以绕过指针完整性检查的策略来进行攻击的实例,比如数组的越界访问攻击。提出了一种基于动态着色跟踪分析的方法来解决这类已有着色技术不能检测的问题。其思想是,借助于内存访问控制的思路,首先像已有的动态着色技术那样,在内存访问时对指针进行完整性检查,然后检查指针将要访问的内存区域是否处于指针合理的访问范围之内。原型系统是基于Valgrind的,并不需要源码,因此可以用于很多商业软件。初步实验验证结果表明,该方法可以有效地检测出很多类型的攻击,系统的性能损耗接近于Memcheck这种常用的内存错误检测工具。

关键词：内存腐烂攻击指针着色内存访问

来源：评论

学校读者我要写书评

暂无评论

UCON_(onA)模型的安全研究

引用

四川大学学报（工程科学版） 2010年第1期42卷 168-172页

作者：翟志刚毛宇光王建东南京航空航天大学信息科学与技术学院江苏南京210016 南京大学计算机软件新技术国家重点实验室江苏南京210093

针对使用控制模型(UCON)中安全性异常复杂的问题,通过构造形式化模型的方法得出一些使用控制模型的安全结论,完成了关于授权中使用控制模型(UCONonA)的安全分析。针对使用控制模型中使用决策的持续性和属性易变性的特点,通过定义策略、... 详细信息

针对使用控制模型(UCON)中安全性异常复杂的问题,通过构造形式化模型的方法得出一些使用控制模型的安全结论,完成了关于授权中使用控制模型(UCONonA)的安全分析。针对使用控制模型中使用决策的持续性和属性易变性的特点,通过定义策略、模式和转换状态的方法给出一个形式化UCONonA模型;通过分析得出一般的UCONonA模型的安全问题是不确定的结论;通过构造一个有限状态机模拟的方法证明对于具有有限属性域和没有创建策略的UCONonA模型在安全性上是确定的。

关键词：访问控制使用控制授权持续性易变性

来源：评论

学校读者我要写书评

暂无评论

一种基于环境约束的异常程序行为模型

引用

计算机科学 2010年第5期37卷 112-114,142页

作者：何加浪徐建张宏南京理工大学计算机科学与技术学院南京210094 南京大学计算机软件新技术国家重点实验室南京210093

在控制流模型中加入影响程序运行的环境因素,结合静态分析方法的优点,建立了程序异常行为分析模型,用以标记函数调用指令,并在动态运行时进行返回值一致性约束,从而解决了一般方法回避函数指针导致的间接调用问题。同时根据程序的局部... 详细信息

在控制流模型中加入影响程序运行的环境因素,结合静态分析方法的优点,建立了程序异常行为分析模型,用以标记函数调用指令,并在动态运行时进行返回值一致性约束,从而解决了一般方法回避函数指针导致的间接调用问题。同时根据程序的局部运行原理,将分析范围限定在函数范围内。实验结果表明模型具有较好的精确性和较低的性能影响。

关键词：控制流运行环境程序行为

来源：评论

学校读者我要写书评

暂无评论

一种基于多重分形的软件衰退分析方法

引用

计算机科学 2010年第8期37卷 178-181页

作者：徐建许满武严悍李千目南京大学计算机软件新技术国家重点实验室南京210093 南京理工大学计算机科学与技术学院南京210094

为了提高软件衰退预测的精度,采用了多重分形分析方法,以系统资源参数时间序列为研究对象,提出了一种定性和定量相结合的分析方法,用以研究其波动规律。定性分析阶段,借鉴分形理论分析影响软件性能的系统资源参数,揭示参数的波动具有分... 详细信息

为了提高软件衰退预测的精度,采用了多重分形分析方法,以系统资源参数时间序列为研究对象,提出了一种定性和定量相结合的分析方法,用以研究其波动规律。定性分析阶段,借鉴分形理论分析影响软件性能的系统资源参数,揭示参数的波动具有分形特性;且其多重分形谱特征能刻画系统运行过程中随时间变化的情况。定量预测阶段,提出了一种多维的Hlder指数计算方法,用于计算多个资源参数序列的Hlder指数,并采用自回归移动平均模型(ARMA)预测Hlder指数。最后进行了实证分析,结果表明,该方法具有较好的定性分析和定量预测能力。

关键词：软件衰退多重分形预测

来源：评论

学校读者我要写书评

暂无评论

基于PTCPN的网构软件建模与分析

引用

软件学报 2010年第6期21卷 1254-1266页

作者：周航黄志球张广泉祝义胡军南京航空航天大学信息科学与技术学院江苏南京210006 南京航空航天大学民航学院江苏南京210006 苏州大学计算机科学与技术学院江苏苏州215006 徐州师范大学计算机科学与技术学院江苏徐州221116 南京大学计算机软件新技术国家重点实验室江苏南京210093

时间Petri网能够对网构软件的性能进行分析,但是无法对网构软件的可变代价进行分析.为了进一步满足对网构软件所具有的柔性建模以及可变代价分析的需求,提出一种代价时间有色Petri网模型(price time colored Petri net,简称PTCPN).该模... 详细信息

时间Petri网能够对网构软件的性能进行分析,但是无法对网构软件的可变代价进行分析.为了进一步满足对网构软件所具有的柔性建模以及可变代价分析的需求,提出一种代价时间有色Petri网模型(price time colored Petri net,简称PTCPN).该模型对时间Petri网进行了可变代价和颜色信息的扩展,并使用代价时间变迁系统定义了PTCPN的语义;定义了PTCPN的累积代价状态类,并证明了累积代价状态类的合理性和完备性;给出了基于PTCPN的多Agent网构软件建模及分析方法.最后,通过实例分析说明应用PCTPN对网构软件进行形式化建模及分析是可行的.

关键词：网构软件 Petri网代价时间变迁系统多态性

来源：评论

学校读者我要写书评

暂无评论

DQ-MAC:一种基于区分服务的WSN信道访问机制

引用

计算机科学 2010年第12期37卷 30-34,75页

作者：何剑白光伟曹磊南京工业大学计算机科学与技术系南京210009 南京大学软件新技术国家重点实验室南京210093

针对现有无线传感器网络MAC协议不能提供数据业务优先级区分的问题,在充分分析S-MAC协议的基础上,提出了一种基于区分服务的MAC协议改进机制——DQ-MAC(Diffserv-based QoS-aware MAC)。其基本思路是让高优先级数据有更多的侦听时间,使... 详细信息

针对现有无线传感器网络MAC协议不能提供数据业务优先级区分的问题,在充分分析S-MAC协议的基础上,提出了一种基于区分服务的MAC协议改进机制——DQ-MAC(Diffserv-based QoS-aware MAC)。其基本思路是让高优先级数据有更多的侦听时间,使高优先级数据传输的机会是低优先级的两倍,达到了减少高优先级数据的传输时延的目的,从而确保了高优先级数据业务的传输性能。相关分析结果表明,该机制使高优先级数据业务拥有更高的吞吐量,并且降低了高优先级业务的平均服务时延。

关键词：无线传感器网络区分服务媒体接入控制

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：