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

小型微型计算机系统 2009年第8期30卷 1565-1570页

作者：崔璨陆桑璐南京大学计算机软件新技术国家重点实验室江苏南京210093 南京大学计算机科学与技术系江苏南京210093

随着互联网的发展,Web2.0和Mash-up逐渐成为Web环境中的主要应用形式.针对现有远程对象交换机制的局限性,本文以Atom文档格式与Atom发布协议为基础建立了一种更易被Web2.0和Mash-up应用的远程对象交换机制.在兼顾半结构化数据与强类型... 详细信息

随着互联网的发展,Web2.0和Mash-up逐渐成为Web环境中的主要应用形式.针对现有远程对象交换机制的局限性,本文以Atom文档格式与Atom发布协议为基础建立了一种更易被Web2.0和Mash-up应用的远程对象交换机制.在兼顾半结构化数据与强类型语言结构化要求的条件下,利用Atom文档格式解决了远程对象的封装问题;利用Atom发布协议解决了远程对象的操作问题.在此基础上,通过性能评估和综合比较,说明该机制具有实现简单、适应半结构化数据、在少量易变数据时性能好等优点.

关键词： atom REST 对象交换半结构化数据 Web2.0 mash—up

来源：评论

学校读者我要写书评

暂无评论

基于相关分析的多数据流聚类(英文)

引用

软件学报 2009年第7期20卷 1756-1767页

作者：屠莉陈崚邹凌君南京航空航天大学信息科学与技术学院江苏南京210093 扬州大学计算机科学与工程系江苏扬州225009 南京大学计算机软件新技术国家重点实验室江苏南京210093

提出基于相关分析的多数据流聚类算法.该算法将多数据流的原始数据快速压缩成一个统计概要.根据这些统计概要,可以增量式地计算相关系数来衡量数据间的相似度.提出了一种改进的k-平均算法来生成聚类结果.改进的k-平均算法可以动态、实... 详细信息

提出基于相关分析的多数据流聚类算法.该算法将多数据流的原始数据快速压缩成一个统计概要.根据这些统计概要,可以增量式地计算相关系数来衡量数据间的相似度.提出了一种改进的k-平均算法来生成聚类结果.改进的k-平均算法可以动态、实时地调整聚类数目,并及时检测数据流的发展变化.还将算法应用到按照用户要求的聚类问题(COD),使得用户可以在任意的时间区间上查询聚类结果.提出了一种合理的时间片断划分机制,使得用户指定的任意时间区间都可以由这些时间片断组合而成.在模拟和真实数据上的实验结果都表明,该算法比其他方法具有更好的聚类质量、速度和稳定性,能够实时地反映数据流的变化.

关键词：聚类数据流相关分析

来源：评论

学校读者我要写书评

暂无评论

一种新的基于线性四叉树的图像分割算法

引用

系统仿真学报 2009年第S1期21卷 54-56,60页

作者：过洁潘金贵南京大学计算机软件新技术国家重点实验室南京大学计算机科学与技术系南京200093

图像分割是进行图像分析的一个关键步骤,其分割效果直接决定图像分析的好坏。提出了一种新的基于线性四叉树的图像分割算法,这是一种基于区域增长的图像分割技术,具有比较理想的分割效果,同时利用一种具有常数时间复杂度邻域查询的线性... 详细信息

图像分割是进行图像分析的一个关键步骤,其分割效果直接决定图像分析的好坏。提出了一种新的基于线性四叉树的图像分割算法,这是一种基于区域增长的图像分割技术,具有比较理想的分割效果,同时利用一种具有常数时间复杂度邻域查询的线性四叉树加快其区域增长过程。

关键词：图像分割线性四叉树邻域查询区域增长

来源：评论

学校读者我要写书评

暂无评论

知性Cord逻辑:验证Ad Hoc网络匿名路由协议

引用

计算机应用 2009年第9期29卷 2432-2434页

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

为形式化验证移动自主网的匿名路由协议,提出了基于知性Cord逻辑的模块化验证方法。首先将协议分解为针对不同子安全功能的组件,然后分别利用知性Cord逻辑证明是否满足安全属性的规范。在这个框架下路径匿名的安全属性得到了规范。

关键词：匿名移动自主网知性Cord逻辑模块化形式化方法

来源：评论

学校读者我要写书评

暂无评论

新加密文件系统的研究与实现

引用

计算机工程与设计 2009年第14期30卷 3272-3277页

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

为了解决Windows系统中文件加密存储的难题,分析了Windows EFS系统的不足,深入研究了过滤驱动开发过程中对IRP的处理、文件状态跟踪、避免重入等关键技术,使用文件过滤驱动技术,设计并实现了一个新的加密文件系统。该系统对用户完全透明... 详细信息

为了解决Windows系统中文件加密存储的难题,分析了Windows EFS系统的不足,深入研究了过滤驱动开发过程中对IRP的处理、文件状态跟踪、避免重入等关键技术,使用文件过滤驱动技术,设计并实现了一个新的加密文件系统。该系统对用户完全透明,可以根据用户的策略对指定文件、文件夹或者某一类型文件进行加密存储,支持NTFS、FAT等多种文件系统,加密算法可以更改。实验结果表明,该系统性能良好且在功能和应用上都扩充了Windows EFS。

关键词： Windows 加密文件系统文件过滤驱动实现输入输出请求包

来源：评论

学校读者我要写书评

暂无评论

一种基于形式化描述的测试案例生成方法

引用

解放军理工大学学报（自然科学版） 2009年第4期10卷 318-323页

作者：丁洪达王伟光曾庆凯南京大学计算机软件新技术国家重点实验室江苏南京210093 南京大学计算机科学与技术系江苏南京210093

基于形式化描述的验证测试是高安全系统的有效评估方法,而如何生成测试案例是基于形式化测试中的关键问题。针对形式化方法生成测试案例的不足,在分析形式化描述语言Z结构特点的基础上,提出了一种基于形式化描述的测试案例生成方法。从... 详细信息

基于形式化描述的验证测试是高安全系统的有效评估方法,而如何生成测试案例是基于形式化测试中的关键问题。针对形式化方法生成测试案例的不足,在分析形式化描述语言Z结构特点的基础上,提出了一种基于形式化描述的测试案例生成方法。从分析Z语言描述的输入空间、前置条件和后置条件出发,对前置条件适当重写,然后根据前置条件利用更改的判定条件覆盖准则来生成测试案例集,该方法引入了控制流覆盖准则,克服了经验方法输入空间划分不完整的缺点,降低了形式化描述的难度,并可以使测试案例生成过程自动化。

关键词：安全评估安全测试形式化方法测试案例生成覆盖准则

来源：评论

学校读者我要写书评

暂无评论

基于语义抽象的内存访问错误检测

引用

解放军理工大学学报（自然科学版） 2009年第3期10卷 262-268页

作者：蒋剑琴黄达明曾庆凯南京大学计算机软件新技术国家重点实验室江苏南京210093 南京大学计算机科学与技术系江苏南京210093

为了检测内存访问错误,提出了一种基于语义抽象的内存访问错误检测方法,通过对程序具体语义的完备近似抽象,对相关约束变量操作的精确检验,以及控制流图遍历中的函数信息收集,能够在过程间完备地静态检测C程序源代码中的内存访问边界错... 详细信息

为了检测内存访问错误,提出了一种基于语义抽象的内存访问错误检测方法,通过对程序具体语义的完备近似抽象,对相关约束变量操作的精确检验,以及控制流图遍历中的函数信息收集,能够在过程间完备地静态检测C程序源代码中的内存访问边界错误。通过将程序分析和程序验证相结合,提高内存检查的自动化和准确性。原型实现表明了方法的有效性。

关键词：软件安全程序静态分析语义抽象内存访问错误

来源：评论

学校读者我要写书评

暂无评论

自治网络中信任信誉模型的安全现状研究

引用

计算机科学 2009年第4期36卷 5-11页

作者：孙玉星黄松华黄皓谢立南京大学计算机科学与技术系计算机软件新技术国家重点实验室南京210093 南京审计学院信息科学学院南京211815

随着P2P网络、Ad hoc、无线传感器网络的深入研究,信任和信誉成为保障这类自治网络安全的一个重要手段。虽然信任信誉系统在自治网络中起到了重要的作用,但其采用了间接推荐等技术,给信任信誉带来很多安全问题。介绍了信任信誉模型的相... 详细信息

随着P2P网络、Ad hoc、无线传感器网络的深入研究,信任和信誉成为保障这类自治网络安全的一个重要手段。虽然信任信誉系统在自治网络中起到了重要的作用,但其采用了间接推荐等技术,给信任信誉带来很多安全问题。介绍了信任信誉模型的相关概念,总结了目前对信任信誉模型的新攻击手段,并针对这些攻击,比较分析了在自治网络环境中具备一定防御能力的典型信任信誉模型的各自防御方法、防御效果以及性能情况。最后,在分析了现有研究存在的主要问题的基础上,展望了今后提高信任信誉模型安全性研究的主要方向。

关键词：自治网络信任模型信誉模型网络安全

来源：评论

学校读者我要写书评

暂无评论

Windows消息钩子的拦截和清除

引用

计算机工程与设计 2009年第18期30卷 4201-4203,4206页

作者：郭津之龙海黄皓南京大学软件新技术国家重点实验室江苏南京210093 南京大学计算机科学与技术系江苏南京210093

为了防止恶意程序通过消息钩子的方式将恶意代码插入到其它进程中去,分析了Windows操作系统中系统服务的调用机制以及消息钩子机制,提出了一种在操作系统内核模式下拦截消息钩子和直接对消息钩子内核对象进行清除的方法。与现有方法相... 详细信息

为了防止恶意程序通过消息钩子的方式将恶意代码插入到其它进程中去,分析了Windows操作系统中系统服务的调用机制以及消息钩子机制,提出了一种在操作系统内核模式下拦截消息钩子和直接对消息钩子内核对象进行清除的方法。与现有方法相比能够有效的在操作系统内核模式下拦截和清除消息钩子,防止被恶意程序绕过,从而有效地阻止了恶意代码的插入。实验结果表明,该方法能够有效的阻止进程中被注入恶意代码。

关键词：消息钩子钩子链表系统服务拦截清除

来源：评论

学校读者我要写书评

暂无评论

一种大规模离散空间中的高斯强化学习方法

引用

计算机科学 2009年第8期36卷 247-249,275页

作者：周文云刘全李志涛苏州大学计算机科学与技术学院苏州215006 南京大学软件新技术国家重点实验室南京210093

针对大规模离散空间中强化学习的"维数灾"问题,即状态空间的大小随着特征的增加而发生指数级的增长,提出了一种基于高斯过程的强化学习方法。在本方法中,高斯过程模型有表示函数分布的能力,使用该模型之后,可以得到的不只是... 详细信息

针对大规模离散空间中强化学习的"维数灾"问题,即状态空间的大小随着特征的增加而发生指数级的增长,提出了一种基于高斯过程的强化学习方法。在本方法中,高斯过程模型有表示函数分布的能力,使用该模型之后,可以得到的不只是一个所需的估计值,而是关于该值的一个分布。实验结果表明,结合了高斯过程的强化学习方法在各方面性能,如收敛速度以及最终实验效果等都有所提高。使用高斯方法的回归模型可以在一定程度上解决大规模离散空间上的"维数灾"问题。

关键词：强化学习维数灾高斯过程回归函数分布

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：