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

江苏大学学报（自然科学版） 2010年第6期31卷 705-709页

作者：陈继明邹志文潘金贵翟磊江苏大学计算机科学与通信工程学院江苏镇江212013 南京大学计算机软件新技术国家重点实验室江苏南京210093

为了有效提高XML路由技术在分布式虚拟环境中的实用性,基于自动机的XML算法研究,提出了一种高效的XML路由匹配算法——DXFilter.该算法根据分布式虚拟环境特点,在结构匹配时,采用"路径模式"的方法对自动机构建索引,降低了Xpat... 详细信息

为了有效提高XML路由技术在分布式虚拟环境中的实用性,基于自动机的XML算法研究,提出了一种高效的XML路由匹配算法——DXFilter.该算法根据分布式虚拟环境特点,在结构匹配时,采用"路径模式"的方法对自动机构建索引,降低了Xpath查询匹配的复杂度;在谓词匹配时,利用不同查询之间公共谓词的相关性,构建路径模式与谓词集合间的映射关系,减少了匹配运算的比对范围.以自主开发的分布式虚拟系统AIMNET为仿真平台,对DXFilter算法进行了试验.结果表明,在虚拟对象发布信息量较大的情况下,DXFilter算法能有效地提高XML信息的路由匹配效率,加快XML路由器上数据包的转发速度,增强系统的实时性和实用性.

关键词：分布式虚拟环境 XML路由 DXFilter 路径模式自动机

来源：评论

学校读者我要写书评

暂无评论

基于动静态程序分析的整形漏洞检测工具

引用

电子学报 2010年第8期38卷 1741-1747页

作者：陈平韩浩沈晓斌殷新春茅兵谢立南京大学软件新技术国家重点实验室南京大学计算机科学与技术系江苏南京210093 扬州大学信息工程学院江苏扬州225009

近几年,针对整形漏洞的攻击数目急剧上升.整形漏洞由于隐蔽性高,成为危害巨大的软件漏洞之一.本文提出了一种自动检测整形漏洞的防御工具,它结合了静态和动态程序分析技术.在静态分析阶段,该工具反编译二进制程序,并创建可疑的指令集.... 详细信息

近几年,针对整形漏洞的攻击数目急剧上升.整形漏洞由于隐蔽性高,成为危害巨大的软件漏洞之一.本文提出了一种自动检测整形漏洞的防御工具,它结合了静态和动态程序分析技术.在静态分析阶段,该工具反编译二进制程序,并创建可疑的指令集.在动态分析阶段,该工具动态地扫描可疑集中的指令,结合可触发漏洞的输入,判断指令是否是整形漏洞.我们的工具有两个优点:首先,它提供了精确并且充足的类型信息.其次,通过基于反编译器的静态分析,工具减少了动态运行时需要检测的指令数目.实验结果表明,我们的工具可以有效地检测到实际程序中的整形漏洞,并且在我们检测的软件中,没有发现漏报,误报率也很低.

关键词：计算机安全软件安全软件漏洞整形漏洞

来源：评论

学校读者我要写书评

暂无评论

一种基于聚集系数的局部社团划分算法

引用

计算机科学 2010年第7期37卷 46-49,53页

作者：李孔文顾庆张尧陈道蓄南京大学计算机科学与技术系软件新技术国家重点实验室南京210093

社团划分算法是复杂网络研究中的一个热点问题。传统的复杂网络社团划分算法都必须获得全局网络的信息。随着网络规模不断增大,获得全局信息的难度随之增加;而在很多情况下只关心网络中某节点所在的局部社团。为了准确、快速地找到大规... 详细信息

社团划分算法是复杂网络研究中的一个热点问题。传统的复杂网络社团划分算法都必须获得全局网络的信息。随着网络规模不断增大,获得全局信息的难度随之增加;而在很多情况下只关心网络中某节点所在的局部社团。为了准确、快速地找到大规模复杂网络中的局部社团,提出了一种基于节点聚集系数性质的局部社团划分算法。该算法根据节点的连接频度,利用节点聚集系数的性质,从网络中某一待求节点开始,通过搜索邻居节点,划分该节点的社团结构。该算法只需要了解与待求节点相关的局部网络信息,在解决局部社团划分问题时其时间复杂度比传统的社团划分算法低。同时,该算法也可以应用于复杂网络全局社团结构的划分。利用该算法分别对Zachary空手道俱乐部网络和由Java开发工具包构成的软件网络图进行社团划分实验,并且分别对实验结果与对象网络的具体特征进行了对比分析。

关键词：局部社团聚集系数社团划分

来源：评论

学校读者我要写书评

暂无评论

权吸引子传播算法及其在文本聚类中的应用

引用

计算机研究与发展 2010年第10期47卷 1733-1740页

作者：管仁初裴志利时小虎杨晨梁艳春吉林大学计算机科学与技术学院长春130012 符号计算与知识工程教育部重点实验室(吉林大学) 长春130012 内蒙古民族大学计算机科学与技术学院内蒙古通辽028000 计算机软件新技术国家重点实验室(南京大学) 南京210093 吉林大学地球科学学院长春130061

吸引子传播算法(affinity propagation,AP)是一种新的高效聚类算法.由于AP算法简单易用,它已被广泛应用到数据挖掘的各个领域.在AP算法中,相似性度量具有重要作用.另一方面,传统的文本挖掘常采用向量空间模型和满足欧氏空间的相似性度量... 详细信息

吸引子传播算法(affinity propagation,AP)是一种新的高效聚类算法.由于AP算法简单易用,它已被广泛应用到数据挖掘的各个领域.在AP算法中,相似性度量具有重要作用.另一方面,传统的文本挖掘常采用向量空间模型和满足欧氏空间的相似性度量.这种方法的优点是简单且易于实现,但随着数据规模的膨胀,向量空间将变得高维稀疏并将导致计算复杂度快速增长.为解决此问题,给出了相似特征集、排斥特征集和仲裁特征集的概念,在这些概念的基础上提出了一种能够包含文本结构信息的非欧空间相似性度量方法.并提出了一种新的聚类算法,称之为权吸引子传播算法(weight affinity propagation,WAP).为检验提出算法的聚类效果,选用标准数据集Reuters-21578进行了验证.实验结果表明WAP明显优于k-means聚类算法、具备非线性特征的SOFM聚类算法和采用经典相似性度量的吸引子传播算法等3种经典聚类算法.

关键词：吸引子传播算法相似特征集排斥特征集仲裁特征集文本聚类

来源：评论

学校读者我要写书评

暂无评论

基于动态染色的内存漏洞定位技术

引用

计算机工程 2010年第7期36卷 139-141页

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

针对程序漏洞,提出利用基于二进制的程序染色和程序分析技术来检测恶意攻击并有效定位程序漏洞,采用数据依赖关系分析和动态染色的方法,记录起传播作用的写指令及目的内存地址,当检测到漏洞攻击时,通过内存地址找到恶意写指令并定位漏... 详细信息

针对程序漏洞,提出利用基于二进制的程序染色和程序分析技术来检测恶意攻击并有效定位程序漏洞,采用数据依赖关系分析和动态染色的方法,记录起传播作用的写指令及目的内存地址,当检测到漏洞攻击时,通过内存地址找到恶意写指令并定位漏洞。实验结果证明,该方法能成功定位常见内存漏洞的位置,并能定位到有漏洞的库函数的调用点。

关键词：程序漏洞攻击检测程序染色缓冲区溢出格式化字符串

来源：评论

学校读者我要写书评

暂无评论

可信软件代码中程序标注的使用及类型验证

引用

武汉大学学报（信息科学版） 2010年第5期35卷 570-573页

作者：赵洋徐晓刚张功萱张容南京理工大学计算机科学与技术学院南京市孝陵卫200号210094 南京大学计算机软件新技术国家重点实验室南京市汉口路22号210093

程序标注技术能够勾勒程序代码中的各种数据属性和软件行为,提出了使用许可类型系统作为沟通程序标注和程序代码的桥梁,从程序代码的角度分析和验证了程序的安全性,进而提升了整个软件系统的可靠性和可维护性。

关键词：可信代码程序标注程序验证

来源：评论

学校读者我要写书评

暂无评论

基于不干扰理论的信道控制策略及其自动化验证方法

引用

计算机应用 2010年第3期30卷 708-714页

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

通过研究信道与那些向其输入信息或从其获得信息的信息域之间直接或间接的干扰关系,来定义信道的语义和作用。明确描述和严格控制系统模块和进程之间的信息通道,有利于最大限度地保障模块或进程的完整性和可控性。所提出的信道控制策略... 详细信息

通过研究信道与那些向其输入信息或从其获得信息的信息域之间直接或间接的干扰关系,来定义信道的语义和作用。明确描述和严格控制系统模块和进程之间的信息通道,有利于最大限度地保障模块或进程的完整性和可控性。所提出的信道控制策略正是基于上述目的。而针对信道控制策略复杂而不便于手工验证的特点,提出了基于通信顺序进程(CSP)的系统和策略描述方法以及基于FDR2的系统信息流策略自动化验证方法。该方法能够在少量的人工参与的情况下有效地分析信道控制策略,发现大部分存储隐蔽通道。

关键词：不干扰模型信道控制信息流通信顺序进程形式化验证

来源：评论

学校读者我要写书评

暂无评论

基于混合距离学习的双指数模糊C均值算法

引用

软件学报 2010年第8期21卷 1878-1888页

作者：王骏王士同南京理工大学计算机科学与技术学院江苏南京210094 江南大学信息工程学院江苏无锡214122 南京大学计算机软件新技术国家重点实验室江苏南京210093

提出了一种基于DI-FCM(double indices fuzzy C-means)算法框架的无监督距离学习算法——基于混合距离学习的双指数模糊C均值算法HDDI-FCM(double indices fuzzy C-m eans with hybrid distance).数据集未知距离度量被表示为若干已有距... 详细信息

提出了一种基于DI-FCM(double indices fuzzy C-means)算法框架的无监督距离学习算法——基于混合距离学习的双指数模糊C均值算法HDDI-FCM(double indices fuzzy C-m eans with hybrid distance).数据集未知距离度量被表示为若干已有距离的线性组合,然后执行HDDI-FCM,在对数据集进行有效聚类的同时进行距离学习.为了保证迭代算法收敛,引入了Steffensen迭代法来改进计算簇中心点的迭代公式.讨论了算法中参数的选择.基于UCI(University of California,Irvine)数据集的实验结果表明该算法是有效的.

关键词：距离学习聚类模糊C均值算法混合距离 Steffensen迭代法

来源：评论

学校读者我要写书评

暂无评论

一个基于XCS的同质团队学习模型

引用

计算机工程与科学 2010年第5期32卷 37-40,44页

作者：陶那日苏王崇骏张雷谢俊元南京大学计算机软件新技术国家重点实验室江苏南京210093 南京大学计算机科学与技术系江苏南京210093

同质团队学习是实现多Agent协作的一种方法。但是,传统方法仅在系统运行的前后对目标Agent进行修改,系统运行过程没有直接对Agent的改进做出贡献。本文利用合作策略,在学习分类器系统XCS的基础上提出了一种同质团队学习模型,弥补了传统... 详细信息

同质团队学习是实现多Agent协作的一种方法。但是,传统方法仅在系统运行的前后对目标Agent进行修改,系统运行过程没有直接对Agent的改进做出贡献。本文利用合作策略,在学习分类器系统XCS的基础上提出了一种同质团队学习模型,弥补了传统方法的上述不足。文中还在模型的基础上实验分析了相关因素,如规则积累、通信以及发现新规则等对多Agent协作效率的影响。

关键词：多Agent学习学习分类器系统合作策略

来源：评论

学校读者我要写书评

暂无评论

基于平稳小波变换和Retinex的红外图像增强方法

引用

光学学报 2010年第10期30卷 2788-2793页

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

针对基于小波变换的红外图像增强方法视觉效果不够理想的缺点,提出了一种基于平稳小波变换和Retinex的红外图像增强方法,利用Retinex增强算法增强图像的视觉效果,并改善其亮度均匀性。首先,对红外图像经平稳小波变换后的最大尺度低频子... 详细信息

针对基于小波变换的红外图像增强方法视觉效果不够理想的缺点,提出了一种基于平稳小波变换和Retinex的红外图像增强方法,利用Retinex增强算法增强图像的视觉效果,并改善其亮度均匀性。首先,对红外图像经平稳小波变换后的最大尺度低频子带图像进行多尺度Retinex增强;然后,利用贝叶斯萎缩阈值法对高频子带图像进行阈值去噪,并根据低频子带图像的局部对比度和模糊规则计算高频子带的增益系数,从而得到增强后的高频子带图像;最后,由低频子带图像和高频子带图像重构得到增强后的图像。针对大量图像进行了实验和增强效果的定性与定量评价,并与双向直方图均衡法、二代小波变换法、Curvelet变换法和多尺度Retinex法作了比较。结果表明,所提出的方法增强了图像细节,抑制了噪声,并明显改善了图像的整体视觉效果。

关键词：红外图像处理图像增强平稳小波变换多尺度Retinex法模糊规则

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：