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

计算机工程 2005年第12期31卷 36-38,45页

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

分析了缓冲区溢出的原理和溢出字符串,然后对几种典型的缓冲区溢出实时检测技术进行了阐述,最后提出了一种基于系统调用的缓冲区溢出检测方法。该方法通过劫持系统调用的方式为原有的系统调用函数增加了强制访问控制功能,通过监测非法... 详细信息

分析了缓冲区溢出的原理和溢出字符串,然后对几种典型的缓冲区溢出实时检测技术进行了阐述,最后提出了一种基于系统调用的缓冲区溢出检测方法。该方法通过劫持系统调用的方式为原有的系统调用函数增加了强制访问控制功能,通过监测非法系统调用的方法来检测和阻止各种获取特权的缓冲区溢出攻击。

关键词：缓冲区溢出实时检测系统调用

来源：评论

学校读者我要写书评

暂无评论

基于移动代理的动态路由算法的研究

引用

计算机学报 2005年第3期28卷 420-426页

作者：王汝传李映徐小龙张钦南京邮电学院计算机科学与技术系南京大学计算机软件新技术国家重点实验室南京210093

文章在分析了当今几种路由算法的不足和研究了移动代理优越性的基础上,提出了一种基于移动代理的动态路由协议算法的设计方案.该算法用移动代理去发现网络的短期状态,并用服务代理保存网络的长期运行状况.该文还用 JAVA和 IBM公司的Agl... 详细信息

文章在分析了当今几种路由算法的不足和研究了移动代理优越性的基础上,提出了一种基于移动代理的动态路由协议算法的设计方案.该算法用移动代理去发现网络的短期状态,并用服务代理保存网络的长期运行状况.该文还用 JAVA和 IBM公司的Aglets移动代理开发平台构造了一个简单网络模型,对此算法进行了验证,证明了它的有效性.

关键词：动态路由移动代理路由算法 JAVA Aglets

来源：评论

学校读者我要写书评

暂无评论

自动入侵响应技术研究

引用

计算机工程 2005年第18期31卷 143-145,177页

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

简述了自动入侵响应系统的一般模型和系统特性,并对当前主要的入侵响应方式进行了介绍和评估,最后从响应决策技术、协同响应技术、自适应技术和追踪反击技术4个方面阐述了自动入侵响应的发展方向。

关键词：自动入侵响应决策协同自适应追踪

来源：评论

学校读者我要写书评

暂无评论

一种新的网络故障诊断方法——FTFD

引用

计算机研究与发展 2005年第11期42卷 1928-1933页

作者：李千目许满武杨云张宏刘凤玉南京大学计算机软件新技术国家重点实验室南京210003 南京理工大学计算机科学与技术系南京210094

通过对网络状态和故障指标进行形式化分析,提出一种基于模糊事件的故障检测方法(FTFD),该方法通过建立状态检测函数,能将比较复杂、模糊性强的网络故障问题用精确的数学转换方法来解决,从而获得比较精确的结果·应用FTFD诊断网络故... 详细信息

通过对网络状态和故障指标进行形式化分析,提出一种基于模糊事件的故障检测方法(FTFD),该方法通过建立状态检测函数,能将比较复杂、模糊性强的网络故障问题用精确的数学转换方法来解决,从而获得比较精确的结果·应用FTFD诊断网络故障不仅能有效降低漏报率和误报率,而且使实时故障诊断成为可能·原型系统证实了该方法的可行性,获得了在实时环境中网络故障诊断的技术效果·

关键词：网络故障诊断模糊事件实时检测

来源：评论

学校读者我要写书评

暂无评论

一种基于误差控制的网格多分辨模型生成算法

引用

计算机学报 2005年第9期28卷 1534-1540页

作者：唐杰张福炎南京大学软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093

提出一种网格多分辨模型生成算法.该算法以最大误差L∞控制的网格简化算法为基础,通过删除边和拆分点操作进行向下和向上采样,将网格模型表示为由一个低分辨率的网格和一系列修改操作组成的多分辨模型.同其它算法相比,该算法在初始向下... 详细信息

提出一种网格多分辨模型生成算法.该算法以最大误差L∞控制的网格简化算法为基础,通过删除边和拆分点操作进行向下和向上采样,将网格模型表示为由一个低分辨率的网格和一系列修改操作组成的多分辨模型.同其它算法相比,该算法在初始向下采样时,重点考虑了简化误差对模型精度的影响.在生成网格多分辨模型时,该算法将细化操作分解为对网格模型的几何修改信息和各细化操作之间的关系信息,确保了多分辨模型的健壮性.该算法可通过三角片数和简化误差两种方法来调整网格模型分辨率,实验结果证明了本算法的有效性.

关键词：三角网格网格简化多分辨模型层次细节模型几何造型

来源：评论

学校读者我要写书评

暂无评论

网格环境下清空型调度策略应用研究

引用

计算机工程 2005年第21期31卷 28-30页

作者：刘奇志张剡毛奇正南京大学软件新技术国家重点实验室南京大学计算机科学与技术系南京210093

在网格计算中,资源的调度优化特别是请求的调度优化是一个关键技术问题,引入离散事件动态系统中的水箱型混合动态系统模型,对网格上的资源和请求进行一体化建模。清空型调度策略是混合动态系统中一类重要的调度策略,研究了它在网格环境... 详细信息

在网格计算中,资源的调度优化特别是请求的调度优化是一个关键技术问题,引入离散事件动态系统中的水箱型混合动态系统模型,对网格上的资源和请求进行一体化建模。清空型调度策略是混合动态系统中一类重要的调度策略,研究了它在网格环境下的应用性能,提出一种推广形式。重点研究系统模型的建立和调度策略的稳定性分析,给出稳定性证明的理论推导过程和仿真实验结果。为下一代网络中的数据管理提供了一种新思路。

关键词：网格计算水箱型HDS CAF型调度策略

来源：评论

学校读者我要写书评

暂无评论

全局L_∞误差可控的网格模型鲁棒水印算法

引用

计算机辅助设计与图形学学报 2005年第10期17卷 2174-2178页

作者：邹飞唐杰张福炎南京大学软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093

针对CAD等工程应用的需要,提出一种具有全局L∞误差控制特性的三角网格模型数字水印算法.在建立多分辨网格的同时在网格顶点坐标上嵌入水印信息,通过局部几何特征进行误差控制.由于水印被冗余地嵌入在模型的整个频带上,该算法可有效地... 详细信息

针对CAD等工程应用的需要,提出一种具有全局L∞误差控制特性的三角网格模型数字水印算法.在建立多分辨网格的同时在网格顶点坐标上嵌入水印信息,通过局部几何特征进行误差控制.由于水印被冗余地嵌入在模型的整个频带上,该算法可有效地抵抗多种攻击.实验结果表明:文中算法可将水印产生的误差控制在指定的阈值内,且能够抵抗多种水印攻击,具有较好的鲁棒性.

关键词：数字水印多分辨网格 Hausdorff距离

来源：评论

学校读者我要写书评

暂无评论

一种面向多协议网络通讯的模式语言

引用

南京大学学报（自然科学版） 2005年第z1期41卷 333-339页

作者：金浩王守芳樊闻斌潘金贵南京大学计算机软件新技术国家重点实验室南京大学计算机科学与技术系南京210093 南京大学计算机软件新技术国家重点实验室南京大学计算机科学与技术系南京210093 南京大学计算机软件新技术国家重点实验室南京大学计算机科学与技术系南京210093 南京大学计算机软件新技术国家重点实验室南京大学计算机科学与技术系南京210093

近年来,软件设计模式得到了广泛的关注,作为高级别的概念模型,成为软件体系结构相关的重要理论.作为在软件体系结构级别支持复用的通用方法,传统设计模式在性能和灵活性之间偏重后者.在当前资源有限的移动设备和嵌入式环境下主要面临了... 详细信息

近年来,软件设计模式得到了广泛的关注,作为高级别的概念模型,成为软件体系结构相关的重要理论.作为在软件体系结构级别支持复用的通用方法,传统设计模式在性能和灵活性之间偏重后者.在当前资源有限的移动设备和嵌入式环境下主要面临了三个方面的限制:计算能力、存储能力以及电源供应能力.针对移动设备的通讯特点,为移动设备定制的网络软件必须高效、可靠、灵活.主要介绍在EMXE(Extensible Multifunctional XML Engineer)中,我们设计的一种面向多协议网络通讯的模式语言,并展示了这个模式系统如何产生适合移动设备网络通讯的体系结构模型.

关键词：多协议设计模式模式语言面向对象网络通讯复用

来源：评论

学校读者我要写书评

暂无评论

行动推理中循环因果关系的研究

引用

计算机学报 2005年第5期28卷 829-837页

作者：骆斌戈也挺朱朝晖陈世福南京大学计算机软件新技术国家重点实验室南京210093 南京航空航天大学计算机科学与工程系南京210016

近年来行动推理的研究成为人工智能领域的热门问题,而结果问题是目前行动推理研究的核心问题之一.该文针对许多行动推理系统不能处理循环因果关系的问题,提出了解决方法.基于适当修改后的McCain和Turner的因果理论,该文提出了一种能处... 详细信息

近年来行动推理的研究成为人工智能领域的热门问题,而结果问题是目前行动推理研究的核心问题之一.该文针对许多行动推理系统不能处理循环因果关系的问题,提出了解决方法.基于适当修改后的McCain和Turner的因果理论,该文提出了一种能处理循环依赖的理论转化方法.转化后的因果理论消除了循环依赖,而且可以采用单调推理方法.基于因果闭包语义,证明了转化前后的因果理论具有相同的模型.当因果关系不存在循环依赖时,该文方法得到与McCain,Turner方法(1997)相同的结果.

关键词：因果关系结果问题行动推理非单调推理规划因果理论

来源：评论

学校读者我要写书评

暂无评论

嵌入式软件建模、实现与验证:研究与进展

引用

计算机科学 2005年第12期32卷 16-23页

作者：胡军张岩于笑丰王林章李宣东郑国梁南京大学计算机软件新技术国家重点实验室计算机科学与技术系南京210093

随着计算机硬件设备计算能力的迅速提高,嵌入式系统中软件的规模和复杂度的急剧增大,软件可靠性在嵌入式系统中的重要性占据了统治地位。本文首先概要介绍了嵌入式软件不同于传统商业软件、科学计算软件的物理性、实时性、领域性等重要... 详细信息

随着计算机硬件设备计算能力的迅速提高,嵌入式系统中软件的规模和复杂度的急剧增大,软件可靠性在嵌入式系统中的重要性占据了统治地位。本文首先概要介绍了嵌入式软件不同于传统商业软件、科学计算软件的物理性、实时性、领域性等重要特征,以及由此带来的困难和挑战。然后重点介绍目前在解决嵌入式软件系统开发过程中的问题时所采取的建模思想、实现技术和验证方法。最后对嵌入式软件及其相关技术的发展进行了展望。

关键词：嵌入式软件嵌入式系统嵌入式建模实时软件

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：