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

计算机工程与科学 2008年第10期30卷 21-23,26页

作者：凤旺森屈婉玲王捍贫张立昂北京大学信息科学技术学院软件研究所北京100871 高可信软件技术教育部重点实验室北京100871

在无线自组织网络中,经常选取一些节点形成虚拟主干网,用以支持路由和区域监视等任务。由于无线网络自身存在误码率高、易受干扰等弱点,虚拟主干网需要具有一定的容错性。已经有研究者提出使用k-连通k-支配集合在无线自组织网络中构造... 详细信息

在无线自组织网络中,经常选取一些节点形成虚拟主干网,用以支持路由和区域监视等任务。由于无线网络自身存在误码率高、易受干扰等弱点,虚拟主干网需要具有一定的容错性。已经有研究者提出使用k-连通k-支配集合在无线自组织网络中构造容错虚拟主干网,并通过模拟实验评估了算法的性能。近年来,WangFeng等人设计了常数近似算法用来构造2-连通虚拟主干网。本文将设计一个常数近似算法用以在无线自组织网络中构造一个2-连通k-支配虚拟主干网。

关键词： 2-连通是一支配集近似算法无线自组织网络虚拟主干网

来源：评论

学校读者我要写书评

暂无评论

基于同步网和C_net的复合事件检测研究

引用

系统仿真学报 2008年第S2期20卷 46-50页

作者：叶蔚赵文张世琨北京大学信息科学技术学院北京100871 北京大学软件工程国家工程研究中心北京100871 北京大学信息科学技术学院软件研究所高可信软件技术教育部重点实验室北京100871

复合事件检测是复杂事件处理的一个核心技术。基于同步网和C_net研究了复合事件检测的形式化模型,并以该模型为基础设计了一个灵活的复合事件检测算法框架。该算法框架使得复合事件检测算法中的事件消费策略、事件存储策略以及运行时优... 详细信息

复合事件检测是复杂事件处理的一个核心技术。基于同步网和C_net研究了复合事件检测的形式化模型,并以该模型为基础设计了一个灵活的复合事件检测算法框架。该算法框架使得复合事件检测算法中的事件消费策略、事件存储策略以及运行时优化策略等可以简单高效的实现和集成。

关键词：复合事件检测复杂事件处理同步网 C_net Petri网

来源：评论

学校读者我要写书评

暂无评论

一种约束制导的软件编程辅助方法

一种约束制导的软件编程辅助方法

引用

2008全国软件与应用学术会议(NASAC'08)

作者：刘海文孟娜李进辉王千祥北京大学信息科学技术学院软件研究所北京 100871 高可信软件技术教育部重点实验室

软件的代码需要遵守各种各样的约束，这些约束有些是与业务逻辑无关的,有些是业务逻辑相关的。编程语言的BNF是最重要的业务逻辑无关的约束。除此之外,还有许多业务逻辑无关的约束,例如调用语句之间的先后顺序等。如果能将这些约束进行... 详细信息

软件的代码需要遵守各种各样的约束，这些约束有些是与业务逻辑无关的,有些是业务逻辑相关的。编程语言的BNF是最重要的业务逻辑无关的约束。除此之外,还有许多业务逻辑无关的约束,例如调用语句之间的先后顺序等。如果能将这些约束进行形式化的描述,再根据这种描述在程序编写过程中由已输入的代码推出后面输入的代码片段,就可以提高代码的编写速度与质量。为这类约束提出了一种描述方法,并实现了一个基于该方法的辅助编程工具,它能够依据约束规则对编码过程进行实时制导。

关键词：约束制导约束描述辅助工具软件编程

来源：评论

学校读者我要写书评

暂无评论

一种基于模型的软件系统监测方法

一种基于模型的软件系统监测方法

引用

2008全国软件与应用学术会议(NASAC'08)

作者：邵津邓芳王千祥北京大学信息科学技术学院软件研究所北京 100871 高可信软件技术教育部重点实验室

软件系统在运行过程中的状态和行为是否与其需求规约一致是衡量软件系统服务质量的一个关键指标。本文提出了一种使用基于模型的软件系统监测技术来保障软件质量的方法,其基本思路是及时发现系统在运行过程中出现的异常,为调整系统、保... 详细信息

软件系统在运行过程中的状态和行为是否与其需求规约一致是衡量软件系统服务质量的一个关键指标。本文提出了一种使用基于模型的软件系统监测技术来保障软件质量的方法,其基本思路是及时发现系统在运行过程中出现的异常,为调整系统、保障软件服务质量提供依据。该方法以包含约束描述信息的监测模型为基础。基于一系列的转换规则,自动、半自动地将监测模型转换成相应的监测代码,并以合适的实现机制部署到被监测系统之上,从而提高软件系统监测的效果。

关键词：软件维护软件质量保障软件系统监测

来源：评论

学校读者我要写书评

暂无评论

企业信息系统中基于场景的协同式需求获取方法

企业信息系统中基于场景的协同式需求获取方法

引用

2008全国软件与应用学术会议(NASAC'08)

作者：刘锋张伟赵海燕梅宏北京大学信息科学技术学院软件研究所北京 100871 高可信软件技术教育部重点实验室

需求工程的研究更多的集中在需求的分析,表示和验证,而关于需求获取的研究却相对较少。本文提出了一种企业信息系统(缩写为EIS)环境下基于场景的协同的需求诱导方法。此方法将不同的利益相关者组织在场景当中,将传统的由需求专家驱动的... 详细信息

需求工程的研究更多的集中在需求的分析,表示和验证,而关于需求获取的研究却相对较少。本文提出了一种企业信息系统(缩写为EIS)环境下基于场景的协同的需求诱导方法。此方法将不同的利益相关者组织在场景当中,将传统的由需求专家驱动的需求获取过程变成了所有的利益相关者都能主动且有效参与的需求获取过程。提出了具体的步骤指导用户从现状场景到期望场景，最后到用况一步一步的如何诱导出用户的需求;并且展示了如何从场景的结构化描述当中抽取出活动图、场景-角色-数据关系图。

关键词：需求诱导企业信息系统需求工程结构化描述

来源：评论

学校读者我要写书评

暂无评论

一种基于信息检索技术识别重复缺陷模式的方法

一种基于信息检索技术识别重复缺陷模式的方法

引用

2008全国软件与应用学术会议(NASAC'08)

作者：吴倩王千祥北京大学信息科学技术学院软件研究所北京 100871 高可信软件技术教育部重点实验室

缺陷模式是对常见代码缺陷的统一描述。缺陷模式库收集这些模式,并为基于缺陷模式的静态代码分析工吴的研发提供支持。当用户向缺陷模式库添加新缺陷模式时,经常发生重复提交的现象,造成库中缺陷模式的冗余。提出了一种基于信息检索技... 详细信息

缺陷模式是对常见代码缺陷的统一描述。缺陷模式库收集这些模式,并为基于缺陷模式的静态代码分析工吴的研发提供支持。当用户向缺陷模式库添加新缺陷模式时,经常发生重复提交的现象,造成库中缺陷模式的冗余。提出了一种基于信息检索技术识别重复缺陷模式的方法,通过计算自然语言信息的相似度,发现语义相近的缺陷模式。实验表明,该方法能在节省用户和审核员精力的同时,有效地减少重复缺陷模式的数量。此外,还时缺陷模式的表示形式进行了设计,以有利于降低重复缺陷模式的数量。

关键词：缺陷模式自然语言处理信息检索

来源：评论

学校读者我要写书评

暂无评论

一种基于交叉视图的Windows Rootkit检测方法

一种基于交叉视图的Windows Rootkit检测方法

引用

2008全国软件与应用学术会议(NASAC'08)

作者：白光冬郭耀陈向群高可信软件技术教育部重点实验室 (北京大学) 北京大学信息科学技术学院软件研究所北京 100871

Rootkit被病毒、木马等恶意软件用来隐藏其在被入侵系统上的踪迹,使得它们能够在系统中潜伏较长时间,它的存在给系统及其使用者带来较大的安全隐患。本文首先对Windows rootkit进行了研究,以此为基础,从rootkit的行为入手,提出了基于进... 详细信息

Rootkit被病毒、木马等恶意软件用来隐藏其在被入侵系统上的踪迹,使得它们能够在系统中潜伏较长时间,它的存在给系统及其使用者带来较大的安全隐患。本文首先对Windows rootkit进行了研究,以此为基础,从rootkit的行为入手,提出了基于进程检测进行rootkit检测的机制,并设计了一种基于交叉视图的Windows rootkit检测方法。这种方法通过比较从系统高层和底层获得的进程列表,从中检测出被rootkit隐藏的进程,其中,系统底层的进程列表通过在Windows内核中查找内核对象的方法获得。最后,利用这种方法实现了一个Windows rootkit检测工具VITAL,并选用若干有代表性的rootkit进行实验,通过和其他工具的对比,验证了这种方法具有较强的检测功能。

关键词：隐藏进程检测功能进程检测交叉视图

来源：评论

学校读者我要写书评

暂无评论

一种中间件远程部署方法

一种中间件远程部署方法

引用

2008全国软件与应用学术会议(NASAC'08)

作者：陈星刘钊黄罡北京大学信息科学技术学院软件研究所北京 100871 北京大学高可信软件技术教育部重点实验室北京 100871

近年来,随着中间件技术的快速发展,越来越多的企业需要用到各种各样的中间件;中间件的部署成为一项非常重要的工作。传统的中间件部署技术适用性较广,可以在大多数环境中使用;而在某些领域,中间件部署逐渐采用虚拟化技术,即用虚拟机映... 详细信息

近年来,随着中间件技术的快速发展,越来越多的企业需要用到各种各样的中间件;中间件的部署成为一项非常重要的工作。传统的中间件部署技术适用性较广,可以在大多数环境中使用;而在某些领域,中间件部署逐渐采用虚拟化技术,即用虚拟机映像进行部署;目前,这两种中间件部署方法都是比较常用的。因此,需要将传统的中间件部署方式与采用虚拟化技术进行部署的方式相结合,实现中间件与虚拟机映像两种粒度共存的部署方法。针对以上问题,提出一种中间件远程部署方法,从中间件和虚拟机两个角度出发,实现不同的部署任务。

关键词：中间件虚拟机远程部署

来源：评论

学校读者我要写书评

暂无评论

一种软件体系结构设计决策的建模工具

一种软件体系结构设计决策的建模工具

引用

2008全国软件与应用学术会议(NASAC'08)

作者：肖赛崔晓峰孙艳春黄罡北京大学信息科学技术学院软件研究所北京 100871 高可信软件技术教育部重点实验室北京 100871

体系结构设计在整个软件生命周期中起到关键作用,而设计知识的蒸发会导致系统演化花费代价高、涉众之间交流出现障碍、体系结构制品的复用受到限制等问题,为此需要在软件体系结构层次对设计决策进行显式化的建模。基于一种以决策为中心... 详细信息

体系结构设计在整个软件生命周期中起到关键作用,而设计知识的蒸发会导致系统演化花费代价高、涉众之间交流出现障碍、体系结构制品的复用受到限制等问题,为此需要在软件体系结构层次对设计决策进行显式化的建模。基于一种以决策为中心的体系结构设计方法,实现了一个软件体系结构设计决策的建模工具。该工具帮助架构师对体系结构设计中的问题、方案、决策、理由等核心概念进行建模,完成从需求到体系结构的设计过程,并实现了自动化的候选体系结构方案的合成和部分设计理由的捕捉。该工具还提供了体系结构设计模型与设计决策之间的相互追踪性,以及帮助实现体系结构设计过程中设计决策知识的复用。

关键词：软件体系结构软件生命周期结构层次建模工具

来源：评论

学校读者我要写书评

暂无评论

支持自适应过程中分析与规划的软件体系结构模型

支持自适应过程中分析与规划的软件体系结构模型

引用

2008全国软件与应用学术会议(NASAC'08)

作者：陈湘萍黄罡孙艳春梅宏北京大学信息科学技术学院软件研究所北京 100871 高可信软件技术教育部重点实验室北京100871

模型驱动的软件体系结构自适应是支持软件适应性的主要方法之一,其重点是基于模型来支持适应过程中的分析和规划。但是已有的方法和实现大多特定于体系结构描述语言,导致复用性和集成性比较差。由于使用标准的模型技术能够提高方法的复... 详细信息

模型驱动的软件体系结构自适应是支持软件适应性的主要方法之一,其重点是基于模型来支持适应过程中的分析和规划。但是已有的方法和实现大多特定于体系结构描述语言,导致复用性和集成性比较差。由于使用标准的模型技术能够提高方法的复用性和集成性,本文总结分析和规划中所需的模型以及模型上的操作,并考察如何在体系结构建模语言中引入标准模型技术进行支持。基于分析所得的设计原则,对ABC-ADL进行扩展,并且在实现中使用模型转换和模型查询等标准化技术,来支持分析和规划。文章以ECPerf系统中一个性能相关的不良模式自适应分析和规划的过程为例,展示了如何使用ADL及其可用性。此外,其中使用两种不同的分析方法,展示了如何使用ADL复用和集成不同的分析和规划方法。

关键词：软件体系结构建模语言标准模型自适应分析

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：