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

软件学报 2008年第10期19卷 2539-2549页

作者：陈鑫李宣东南京大学计算机科学与技术系江苏南京210093 计算机软件新技术国家重点实验室(南京大学) 江苏南京210093

提出一种形式化用例分析建模框架,引入类图、用例顺序图、用例状态图、功能规约函数和系统不变式从多个角度为需求建模.通过定义这些视图的形式化语义,为需求的各个方面定义了准确的形式化描述.利用该框架,可以从方法的交互行为规约和... 详细信息

提出一种形式化用例分析建模框架,引入类图、用例顺序图、用例状态图、功能规约函数和系统不变式从多个角度为需求建模.通过定义这些视图的形式化语义,为需求的各个方面定义了准确的形式化描述.利用该框架,可以从方法的交互行为规约和功能规约合成描述方法全部行为的全规约;也可以定义用例模型的性质,并通过设计演算中的证明来分析验证这些性质.作为应用,研究了检查用例模型一致性的规则.给出一个实例说明建模框架的可行性.

关键词：用例模型语义多视图一致性检验最弱前提条件

来源：评论

学校读者我要写书评

暂无评论

多处理器环境中基于节能及容错的实时动态调度算法

引用

计算机研究与发展 2008年第4期45卷 706-715页

作者：韩建军甘露阮幼林李庆华 Abbas A.Essa 华中科技大学计算机科学与技术学院武汉430074 南京大学计算机软件新技术国家重点实验室南京大学电子科学与工程系南京210093

当前处理器由于较高的能量消耗,导致处理器热量散发的提高及系统可靠性的降低,同时任务实际运行中的错误也降低了系统的可靠性.因此同时满足节能性及容错性已经成为目前计算机领域较为关心的问题.提出的调度算法针对实时多处理器计算环... 详细信息

当前处理器由于较高的能量消耗,导致处理器热量散发的提高及系统可靠性的降低,同时任务实际运行中的错误也降低了系统的可靠性.因此同时满足节能性及容错性已经成为目前计算机领域较为关心的问题.提出的调度算法针对实时多处理器计算环境,以执行时间最短的任务优先调度为基础,结合其他有效技术(共享空闲时间回收及检查点技术),使得实时任务在其截止期内完成的同时,能够动态地降低整个系统的能量消耗及动态容错.针对独立任务集及具有依赖关系的任务集,提出两种算法:STFBA1及STFBA2(shortest taskfirst based algorithm)..通过实验与目前所知的有效算法相比,算法具有更好的性能(调度长度及能量消耗)及较低的通信时间复杂度.

关键词：实时系统多处理器系统调度算法能量消耗容错

来源：评论

学校读者我要写书评

暂无评论

基于TAG的电力网格分布式资源管理的研究与实现

引用

计算机科学 2008年第10期35卷 115-121页

作者：严涛吕琦司春锋陆桑璐陈道蓄南京大学计算机软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093

电力系统对全网范围内分布、异构、海量数据全面共享和集成的需要催生了网格技术和传统电力调度监控技术的结合---电力网格。电力网格通过统一的软件平台连结电力调度中心,整合分布的软硬件资源,提供信息和计算的共享。对电力网格平台... 详细信息

电力系统对全网范围内分布、异构、海量数据全面共享和集成的需要催生了网格技术和传统电力调度监控技术的结合---电力网格。电力网格通过统一的软件平台连结电力调度中心,整合分布的软硬件资源,提供信息和计算的共享。对电力网格平台的资源管理机制进行了研究,提出了一种基于TAG(标签)的信息分类模式,克服了传统树型分类的缺点;设计实现了一套由多台RSS Server(资源监控服务器)协同完成的分布式资源存储与检索机制。并在此基础上,分析了TAG分类模式和分布式检索策略的优点。性能比较和系统运行表明该方案是有效和可行的。

关键词：电力网格 TAG 资源管理分布式检索

来源：评论

学校读者我要写书评

暂无评论

基于信息熵的相对离群点的检测方法：ENBROD

引用

南京大学学报（自然科学版） 2008年第2期44卷 212-218页

作者：于绍越商琳南京大学计算机软件新技术国家重点实验室南京大学计算机科学与技术系南京210093

提出一种检测离散属性数据集中相对离群点的算法.目前已有的关于离群点的检测方法大多关注连续属性的数据集,由于离散属性值之间并没有类似于连续属性值之间那样固有的距离度量关系,故不能简单的把用于连续属性数据集的检测算法应用到... 详细信息

提出一种检测离散属性数据集中相对离群点的算法.目前已有的关于离群点的检测方法大多关注连续属性的数据集,由于离散属性值之间并没有类似于连续属性值之间那样固有的距离度量关系,故不能简单的把用于连续属性数据集的检测算法应用到离散属性数据集中来.本文首先引入了一种新的信息熵增量的概念——去一划分信息熵增量,通过形式化分析得到了其性质.然后,在去一划分信息熵增量的基础上,给出了每个对象所对应的相对离点群因子(ROF)的定义.每个对象的ROF是相对的,因为其只取决于这一对象的邻域.接着,提出了ENBROD算法来实现对ROF的计算.最后,通过实验说明当邻域大小较小时,ENBROD算法可以找到已存在的方法所找不到的相对离群点;而当邻域的大小足够大时,ENBROD算法寻找全局离群点的能力也与其他的一些离群点检测算法的能力相近.

关键词：离群点离散属性信息熵

来源：评论

学校读者我要写书评

暂无评论

可变精度粗糙集β值的增量计算

引用

计算机科学 2008年第3期35卷 228-230,266页

作者：吉阳生商琳南京大学计算机软件新技术国家重点实验室南京大学计算机科学与技术系南京210093

目前对于可变精度粗糙集中变精度参数β计算的研究,主要集中在非增量方面。当处理大量数据时,需要能够动态计算的方法,本文提出了一种增量计算β值的方法ICObeta。该方法以分类质量作为确定性度量的标准,以最大确定性度量为目标,来选取... 详细信息

目前对于可变精度粗糙集中变精度参数β计算的研究,主要集中在非增量方面。当处理大量数据时,需要能够动态计算的方法,本文提出了一种增量计算β值的方法ICObeta。该方法以分类质量作为确定性度量的标准,以最大确定性度量为目标,来选取合适的β值。ICObeta相比于非增量的方法,具有动态增量和计算开销显著降低的优点,并通过实验证实了增量计算的优点。

关键词：可变精度粗糙集分类质量属性模式增量计算

来源：评论

学校读者我要写书评

暂无评论

一种用于不平衡数据分类的改进AdaBoost算法

引用

计算机工程与应用 2008年第21期44卷 217-221页

作者：郭乔进李立斌李宁南京大学计算机软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093

真实世界中存在大量的类别不平衡分类问题,传统的机器学习算法如AdaBoost算法,关注的是分类器的整体性能,而没有给予小类更多的关注。因此针对类别不平衡学习算法的研究是机器学习的一个重要方向。AsymBoost作为AdaBoost的一种改进算法... 详细信息

真实世界中存在大量的类别不平衡分类问题,传统的机器学习算法如AdaBoost算法,关注的是分类器的整体性能,而没有给予小类更多的关注。因此针对类别不平衡学习算法的研究是机器学习的一个重要方向。AsymBoost作为AdaBoost的一种改进算法,用于类别不平衡学习时,牺牲大类样本的识别精度来提高小类样本的分类性能。AsymBoost算法依然可能遭遇样本权重过大造成的过适应问题。据此提出了一种新型的AdaBoost改进算法。该方法通过对大类中分类困难样本的权重和标签进行处理,使分类器能够同时获得较好的查准率和查全率。实验结果表明,该方法可以有效提高在不平衡数据集上的分类性能。

关键词：不平衡数据类别不平衡学习 AdaBoost AsymBoost 阈值

来源：评论

学校读者我要写书评

暂无评论

基于混合模型的交集型歧义消歧策略

引用

计算机工程与应用 2008年第21期44卷 5-8页

作者：李天侠戴新宇陈家骏南京大学计算机软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093

针对交集型歧义这一汉语分词中的难点问题,提出了一种规则和统计相结合的交集型歧义消歧模型。首先,根据标注语料库,通过基于错误驱动的学习思想,获取交集型歧义消歧规则库,同时,利用统计工具,构建N-Gram统计语言模型;然后,采用正向/逆... 详细信息

针对交集型歧义这一汉语分词中的难点问题,提出了一种规则和统计相结合的交集型歧义消歧模型。首先,根据标注语料库,通过基于错误驱动的学习思想,获取交集型歧义消歧规则库,同时,利用统计工具,构建N-Gram统计语言模型;然后,采用正向/逆向最大匹配方法和消歧规则库探测发现交集型歧义字段;最后,通过消歧规则库和评分函数进行交集型歧义的消歧处理。这种基于混合模型的方法可以探测到更多的交集型歧义字段,并且结合了规则方法和统计方法在处理交集型歧义上的优势。实验表明,这种方法提高了交集型歧义处理的精度,为解决交集型歧义提供了一种新的思路。

关键词：交集型歧义消歧规则统计语言模型评分函数全切分

来源：评论

学校读者我要写书评

暂无评论

组合服务自动合成技术

引用

计算机科学 2008年第1期35卷 135-139页

作者：钱海波钱柱中陆桑璐陈道蓄南京大学计算机软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093

Web服务凭借其良好的平台无关性得到了广泛的关注和运用,但单个Web服务功能单一,不能满足当今日益复杂多变的服务请求。为了能够快速、低成本地满足复杂的用户需求,Web服务组合应运而生。本文首先介绍了各类Web服务的描述模型,然后基于... 详细信息

Web服务凭借其良好的平台无关性得到了广泛的关注和运用,但单个Web服务功能单一,不能满足当今日益复杂多变的服务请求。为了能够快速、低成本地满足复杂的用户需求,Web服务组合应运而生。本文首先介绍了各类Web服务的描述模型,然后基于不同的描述方法,结合近年来Web服务组合研究的成果,介绍了Web服务自动合成技术,最后对Web服务组合的未来发展和研究方向做出了展望。

关键词： Web服务 Web服务组合语义网络智能规划自动机 Petri网

来源：评论

学校读者我要写书评

暂无评论

基于威胁度的动态报警管理研究

引用

计算机科学 2008年第1期35卷 94-96,111页

作者：石进陆音谢立南京大学计算机软件新技术国家重点实验室南京210093 南京大学计算机科学与技术系南京210093

IDS目前的主要问题之一是过高的误报率,这一方面给管理员增加了繁重的工作负担,从而使其可能忽视了系统中真正需要处理的关键攻击事件;另一方面,过高的误报率使得自动入侵响应,比如与防火墙联动,不能很好地执行下去。针对这个问题,提出... 详细信息

IDS目前的主要问题之一是过高的误报率,这一方面给管理员增加了繁重的工作负担,从而使其可能忽视了系统中真正需要处理的关键攻击事件;另一方面,过高的误报率使得自动入侵响应,比如与防火墙联动,不能很好地执行下去。针对这个问题,提出了基于威胁度的动态报警管理TDAM模型,它通过对系统环境的感知分析报警信息,确定其威胁度。通过实验,可以得出TDAM框架能够比较好地进行报警评价、管理。

关键词：入侵检测报警管理博弈理论

来源：评论

学校读者我要写书评

暂无评论

工作流管理中基于规则策略的访问控制

引用

计算机应用研究 2008年第3期25卷 885-887,902页

作者：焦振海丁二玉骆斌南京大学计算机科学与技术系计算机软件新技术国家重点实验室南京210093 南京大学软件学院南京210093

提出了一个工作流管理中基于规则策略的访问控制模型,给出了规则模型的集合表达和定义,重点分析了规则解释器的实现和关键算法,最后给出了一个应用。

关键词：工作流管理系统访问控制基于角色的访问控制规则表达式

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：