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

南京大学学报（自然科学版） 2010年第2期46卷 122-130页

作者：吴涛王崇骏谢俊元计算机软件新技术国家重点实验室南京大学计算机科学与技术系南京210093

作为一种主动的信息安全保障措施,入侵检测已经成为计算机安全特别是网络安全领域的研究热点,出于对入侵检测的回避,入侵行为也逐渐表现为智能化、分布式的特点.将人工智能技术、机器学习技术引入入侵检测以增强入侵检测系统的能力已经... 详细信息

作为一种主动的信息安全保障措施,入侵检测已经成为计算机安全特别是网络安全领域的研究热点,出于对入侵检测的回避,入侵行为也逐渐表现为智能化、分布式的特点.将人工智能技术、机器学习技术引入入侵检测以增强入侵检测系统的能力已经成为工业界和学术界关注的课题.本文将入侵和入侵检测建模为利益对立的2个多Agent系统,认为入侵行为是按照既定的目标制定攻击计划,在此场景下,入侵检测的核心就应该是根据对手的攻击行为预测出其攻击意图,这是个典型的意图识别问题,这意味着应该将对手思维建模技术和计划识别思想引入入侵检测中来.考虑到对手在实际的动作过程中会根据实际情况随时调整自己的战略部署,因此不能将此问题直接建模为传统的KEY-HOLE观察问题.本文从入侵者的角度出发,引入部分可观测马尔可夫决策过程作为在环境状态和行动效果都不确定的条件下,通过一系列决策达到最优目标的数学模型,从而达到入侵意图识别的目的.最后,本文在DARPA测试数据集上的实验结果证明了方法的有效性.

关键词：复合攻击攻击模式场景构建攻击路径图

来源：评论

学校读者我要写书评

暂无评论

小世界体系的多对多核联想记忆模型及其应用

引用

软件学报 2006年第2期17卷 223-231页

作者：陈蕾陈松灿张道强南京航空航天大学计算机科学与工程系南京邮电大学计算机科学与技术系江苏南京210003 计算机软件新技术国家重点实验室(南京大学) 江苏南京210093

运用机器学习中新颖的核方法和社会网络中广泛存在的小世界现象,对Hattori等人提出的多模块多对多联想记忆模型(multi-moduleassociativememoryformany-to-manyassociations,简称(MMA)2)进行了改进,构建出了一个基于小世界体系的多对多... 详细信息

运用机器学习中新颖的核方法和社会网络中广泛存在的小世界现象,对Hattori等人提出的多模块多对多联想记忆模型(multi-moduleassociativememoryformany-to-manyassociations,简称(MMA)2)进行了改进,构建出了一个基于小世界体系的多对多核联想记忆模型框架(smallworldstructureinspiredmanytomanykernelassociativememorymodels,简称SWSI-M2KAMs).该框架不仅克服了原模型不能联机提交训练样本且迭代次数过多的缺陷,而且拓展了原模型的智能信息处理范围.更重要的是,通过核函数的选取,该模型框架可以衍生出更多新的多对多联想记忆模型,而且,由于小世界结构的引入,在一定程度上简化了模型的结构复杂度.最后的计算机模拟,证实了新的模型具有良好的多对多联想记忆功能.

关键词：神经网络多对多联想记忆核方法小世界理论智能信息处理

来源：评论

学校读者我要写书评

暂无评论

一阶反合一研究

引用

软件学报 1999年第7期10卷 766-771页

作者：许满武潘光睿周荣国宋晓梁刘东升南京大学计算机科学与技术系南京210093 南京大学计算机软件新技术国家重点实验室南京210093

文章讨论一阶反合一问题以及求反合一子完备集的算法．在合一问题中，有多种求解合一问题的方法，其中研究得较为彻底的是用转换规则进行求解的方法．在研究反合一问题的过程中，人们也陆续提出了许多转换规则，这样做的结果是最终给出... 详细信息

文章讨论一阶反合一问题以及求反合一子完备集的算法．在合一问题中，有多种求解合一问题的方法，其中研究得较为彻底的是用转换规则进行求解的方法．在研究反合一问题的过程中，人们也陆续提出了许多转换规则，这样做的结果是最终给出的是已解出形．该文在已解出形的基础上讨论一种方法，以给出具体解的完备集（反合一子完备集）．通过引入Ｇθ和Ｚ函数，使求解更为方便、直观．

关键词：反合一反合一子计算机科学算法

来源：评论

学校读者我要写书评

暂无评论

轻量级开放式移动Agent系统:原理与实现

引用

计算机科学 2006年第7期33卷 5-10页

作者：余萍马晓星曹春吕建南京大学计算机软件新技术国家重点实验室计算机科学与技术系南京210093

移动agent计算模式是一种灵活的基于Internet的分布式计算模式,但是“黑盒”式的设计和“单体”结构使得既有移动agent系统过于冗余,且不能随着用户需求和计算环境的变化动态修改系统的结构和行为。因此提出利用反射技术将移动agent系... 详细信息

移动agent计算模式是一种灵活的基于Internet的分布式计算模式,但是“黑盒”式的设计和“单体”结构使得既有移动agent系统过于冗余,且不能随着用户需求和计算环境的变化动态修改系统的结构和行为。因此提出利用反射技术将移动agent系统“构件化”使其能够支持系统的“可定制”或“可裁剪”,并采用开放式的实现为移动agent系统的使用者提供扩展系统的能力。反射架构下的移动agent系统能够在运行时刻无需关闭系统动态加载或卸载特定模块;通过移动agent和底层平台的反射特性能自然地实现agent和agent平台的自适应。遵循这个途径开发了具有反射特性的Artemis-Mogent原型系统,并通过试验示范了新系统应用反射后的效果。

关键词：移动agent 轻量级开放式反射自适应

来源：评论

学校读者我要写书评

暂无评论

电信系统可靠性评估方法案例研究

引用

计算机科学 2009年第1期36卷 273-278页

作者：史栋杰顾庆冯光成陈道蓄南京大学计算机科学与技术系计算机软件新技术国家重点实验室南京210093

为了保证一个系统的质量,有必要对其可靠性进行评估。使用平均值方法、定数截尾试验、定时截尾试验、曲线拟合回归分析等常用的可靠性评估方法对目标系统进行可靠性评估,并比较几种可靠性评估方法的准确程度。最后提出使用曲线拟合改进... 详细信息

为了保证一个系统的质量,有必要对其可靠性进行评估。使用平均值方法、定数截尾试验、定时截尾试验、曲线拟合回归分析等常用的可靠性评估方法对目标系统进行可靠性评估,并比较几种可靠性评估方法的准确程度。最后提出使用曲线拟合改进的评估方法,使得可靠性评估结果更加准确。目标系统是4个电信运营中重要的系统设备,使用残差分析R2检验来比较评估结果的优劣。

关键词：可靠性定数截尾试验定时截尾试验曲线拟合 R^2检验电信系统

来源：评论

学校读者我要写书评

暂无评论

一种基于优先级的迭代划分测试方法

引用

计算机学报 2016年第11期39卷 2307-2323页

作者：章晓芳章宗长谢晓园周谊成苏州大学计算机科学与技术学院江苏苏州215006 南京大学计算机软件新技术国家重点实验室南京210023 武汉大学软件工程国家重点实验室武汉430072

随机测试和划分测试是两种重要的测试方法,关于两者在失效检测能力和效率方面的比较一直是软件测试领域的研究热点之一.适应性随机测试是对随机测试的一种增强,通过实现测试用例在输入域上的均匀分布,提高了随机测试的失效检测能力.该... 详细信息

随机测试和划分测试是两种重要的测试方法,关于两者在失效检测能力和效率方面的比较一直是软件测试领域的研究热点之一.适应性随机测试是对随机测试的一种增强,通过实现测试用例在输入域上的均匀分布,提高了随机测试的失效检测能力.该文从划分测试出发,借鉴了均匀分布的思想,提出了一种基于优先级的迭代划分测试方法(Iterative Partition Testing based on Priority Sampling,IPT-PS).首先迭代划分输入域并选取划分后子域的中心点作为待执行的测试用例,随后采取优先级策略,将待执行的测试用例分为3种不同优先等级并依次执行.迭代划分和中心采样仅需要已知输入域的空间信息,优先级执行则考虑了测试用例的不同空间特性,上述3种操作均仅需要很少的时间开销并力求实现测试用例在输入域上的均匀分布,以提高失效检测能力.该文通过理论分析给出了IPT-PS检测出对应失效所需测试用例数量的上界,并通过一系列实验结果表明:IPT-PS在仅使用接近随机测试时间开销的情况下,可以获得与适应性随机测试相近甚至更好的失效检测能力,是一种高效的测试方法.

关键词：软件测试划分测试随机测试适应性随机测试测试用例生成失效率 F-度量

来源：评论

学校读者我要写书评

暂无评论

中间件技术的研究

引用

计算机科学 2004年第2期31卷 155-159,180页

作者：郭胜许平王颖陆桑璐陈道蓄谢立南京大学计算机科学与技术系计算机软件新技术国家重点实验室南京210093

计算机以及网络通信技术的发展使得中间件技术取得了长足的进步,出现了许多有关中间件的软件开发理论、标准协议以及各种商业软件产品。随着信息系统越来越以网络为中心进行开发和演化,中间件技术将扮演更加重要的角色。本文介绍了中间... 详细信息

计算机以及网络通信技术的发展使得中间件技术取得了长足的进步,出现了许多有关中间件的软件开发理论、标准协议以及各种商业软件产品。随着信息系统越来越以网络为中心进行开发和演化,中间件技术将扮演更加重要的角色。本文介绍了中间件领域的发展现状,主要分析了当前中间件领域中主流的DOC技术和正在兴起的WebServices、Grid/OGSA技术,并且我们根据未来分布式系统的多种需求,探讨了中间件领域将面临的挑战。

关键词：中间件软件体系分布式对象计算面向对象 Internet 防火墙

来源：评论

学校读者我要写书评

暂无评论

Android应用测试输入自动生成技术

引用

中国科学：信息科学 2019年第10期49卷 1234-1266页

作者：王珏蒋炎岩许畅马晓星吕建计算机软件新技术国家重点实验室(南京大学) 南京210023 南京大学计算机科学与技术系南京210023

软件自动化是提高软件生产率的根本途径.由于Android应用快速迭代的开发模式,其对于自动化协助应用开发,尤其是自动化测试,有很高的需求.在自动化测试中,测试输入自动生成是最为关键和资源消耗最大的步骤之一,极大地影响自动化测试的有... 详细信息

软件自动化是提高软件生产率的根本途径.由于Android应用快速迭代的开发模式,其对于自动化协助应用开发,尤其是自动化测试,有很高的需求.在自动化测试中,测试输入自动生成是最为关键和资源消耗最大的步骤之一,极大地影响自动化测试的有效性.由于Android应用独有的特性,自动为其生成测试输入存在独特的挑战.为了应对这一挑战,已有许多Android应用测试输入自动生成技术被提出.本文提出Android应用测试输入自动生成技术的描述框架,包括测试输入自动生成技术的3个维度(分别为搜索空间的表示、候选输入的生成、候选输入的评估),并讨论了测试输入自动生成技术在这3个维度采用策略的两个评价指标(即充分性与高效性).借助这一全新描述框架,本文对已有技术进行分析和总结,讨论现有技术的长处和不足,并对未来可能的研究方向给予展望.

关键词： Android 自动测试输入生成技术描述智能手机

来源：评论

学校读者我要写书评

暂无评论

一组基于三级度量模型的面向对象度量准则

引用

计算机科学 2001年第2期28卷 25-29,43页

作者：李茜凌辉许晓春徐永森徐家福南京大学计算机科学与技术系计算机软件新技术国家重点实验室南京210093

1 引言软件是信息技术的核心,软件的质量则是人们最关心的因素.软件度量作为刻画、评估和预示软件质量的一个必要和重要的方面,在70年代就开始被研究作者所关注.从传统的结构化设计到面向对象理论的产生,一方面不断出现新的软件度量指标... 详细信息

1 引言软件是信息技术的核心,软件的质量则是人们最关心的因素.软件度量作为刻画、评估和预示软件质量的一个必要和重要的方面,在70年代就开始被研究作者所关注.从传统的结构化设计到面向对象理论的产生,一方面不断出现新的软件度量指标,如著名的C&k度量体系,MOOD度量体系;另一方面,对度量指标本身的评价也提出了相应的理论,包括应满足的性质、形式化评估软件度量性质的准则等.随着面向对象技术的广泛应用,传统的度量不再适用于面向对象的某些概念,如类、继承、封装和消息传递,需要有新的度量方法学、度量指标,以更好地刻画、评估和预示面向对象系统的质量.

关键词：面向对象软件度量准则三级度量模型软件工程软件开发

来源：评论

学校读者我要写书评

暂无评论

一种结合Tile Coding的平均奖赏强化学习算法

引用

模式识别与人工智能 2008年第4期21卷 446-452页

作者：王巍巍陈兴国高阳南京大学计算机科学与技术系计算机软件新技术国家重点实验室南京210093

平均奖赏强化学习是强化学习中的一类重要的非折扣最优性框架,目前大多工作都主要是在离散域进行.本文尝试将平均奖赏强化学习算法和函数估计结合来解决连续状态空间的问题,并根据状态域的改变,相应修改 R-learning 和 G-learning 中参... 详细信息

平均奖赏强化学习是强化学习中的一类重要的非折扣最优性框架,目前大多工作都主要是在离散域进行.本文尝试将平均奖赏强化学习算法和函数估计结合来解决连续状态空间的问题,并根据状态域的改变,相应修改 R-learning 和 G-learning 中参数的更新条件.此外对结合函数估计的 G-learning 算法的性能表现及其对各种参数的敏感程度进行针对性研究.最后给出实验结果及分析.实验结果证明 R-learning 和 G-learning 在ε较小的情况下解容易发散,同时也说明特征抽取方法 Tile coding 的有效性,且可作为其它特征抽取方法的参考标准.

关键词：强化学习马尔可夫决策过程(MDP) R-学习 G-学习平均奖赏

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：