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

2010年全国软件与应用学术会议(NASAC2010)

作者：刘昌盛李萌邹艳珍谢冰北京大学信息科学技术学院软件研究所北京 100871 高可信软件技术教育部重点实验室北京 100871

随着Internet和软件复用技术的发展,在Internet上出现了越来越多可以被利用的软件资源,如Web Services、JAR包等。收集、整理这些软件资源将极大地丰富软件资源库中资源的数量和种类,从而有力地推动软件复用的进一步发展。基于上述目标... 详细信息

随着Internet和软件复用技术的发展,在Internet上出现了越来越多可以被利用的软件资源,如Web Services、JAR包等。收集、整理这些软件资源将极大地丰富软件资源库中资源的数量和种类,从而有力地推动软件复用的进一步发展。基于上述目标,本文提出了一种基于Internet的JAR包描述和评论信息收集方法,设计并了北京实现大学软件资源库JAR包信息收集子系统。该系统目前已经为6000余个JAR包资源收集、整理了相关的描述和评论信息,从而能够帮助用户有效理解、使用这些JAR包资源。本文对JAR包信息收集子系统的设计和实现进行了较为详细的论述,对其中的关键算法进行了实验验证.

关键词：软件资源软件资源库 JAR包使用信息

来源：评论

学校读者我要写书评

暂无评论

复杂网络中k-单圈图的若干性质

引用

东北师大学报（自然科学版） 2022年第1期54卷 9-13页

作者：姚明苏静姚兵兰州石化职业技术学院信息处理与控制工程学院甘肃兰州730060 北京大学信息科学技术学院北京100871 北京大学高可信软件技术教育部重点实验室北京100871 西北师范大学数学与统计学院甘肃兰州730070

研究了复杂网络中k-单圈图问题,给出了k-单圈图的充要条件,并进一步探索了k-单圈图的若干性质.

关键词：网络树叶子单圈图直径

来源：评论

学校读者我要写书评

暂无评论

基于代理的OSGi构件监控方法

基于代理的OSGi构件监控方法

引用

2010年全国软件与应用学术会议(NASAC2010)

作者：林洪武尤朝周明辉梅宏北京大学信息科学技术学院软件研究所北京 100871 北京大学高可信软件技术教育部重点实验室北京 100871

基于构件的软件开发和复用被认为是提高软件开发效率和质量的有效途径,并已在分布式系统中得到广泛应用,OSGi(Open Services Gateway Initiative)构件平台模型为软件构件提供了良好的生命周期管理和动态依赖管理,已被广泛应用到各种系统... 详细信息

基于构件的软件开发和复用被认为是提高软件开发效率和质量的有效途径,并已在分布式系统中得到广泛应用,OSGi(Open Services Gateway Initiative)构件平台模型为软件构件提供了良好的生命周期管理和动态依赖管理,已被广泛应用到各种系统中.在构件粒度上对系统的资源进行监控能够有效增强系统的可靠性,然而目前针对OSGi平台的构件监控技术侧重于统计整个系统的资源消耗,未能把统计的粒度细化到构件上,且不能根据各个构件的资源消耗情况对系统进行调整。本文提出一种基于代理的OSGi构件监控方法.该方法具有以下特点：第一,该方法在构件粒度上统计系统的资源消耗,能够统计到每一个构件所消耗的内存和CPU时间;第二,该方法能够发现资源消耗异常的构件并对其进行重启或替换,从而提高系统可靠性;第三,该方法具有非侵入性,即不会对构件进行任何修改,不会影响到第三方应用逻辑结构.实验表明,该方法可以准确地统计到构件的资源消耗量并据此对构件进行有效的调整,能够在不引入明显的性能代价的前提下提高系统的可靠性.

关键词： OSGi构件监控方法软件开发

来源：评论

学校读者我要写书评

暂无评论

面向高维数据的低冗余Top-k异常点发现方法

面向高维数据的低冗余Top-k异常点发现方法

引用

第26届中国数据库学术会议

作者：陈冠华马秀莉杨冬青唐世渭帅猛北京大学信息科学技术学院机器感知与智能教育部重点实验室(北京大学) 高可信软件技术教育部重点实验室(北京大学)

异常发现是数据挖掘领域的一类重要任务,一直以来受到研究人员的广泛关注。针对高维对象的异常度量问题和异常点集合的冗余问题,本文提出了一种新的面向高维数据的异常点发现方法。该方法通过采用高维数据的二部图表示,以高维对象的压... 详细信息

异常发现是数据挖掘领域的一类重要任务,一直以来受到研究人员的广泛关注。针对高维对象的异常度量问题和异常点集合的冗余问题,本文提出了一种新的面向高维数据的异常点发现方法。该方法通过采用高维数据的二部图表示,以高维对象的压缩能力作为其异常程度的度量,能够有效支持包含多种不同属性的高维数据。为了解决top-k异常点集合中的冗余问题,我们提出了低冗余top-k异常点的概念。由于精确计算低冗余的top-k异常点是NP-hard问题,我们设计了计算近似低冗余的top-k异常点的启发式方法k-AnomaliesHD算法。从在真实和人工数据集上的实验结果可以看出,该方法不仅具有较好的扩展性,而且与不考虑冗余的异常点发现方法相比较,能够更有效地概括数据中的异常模式。

关键词：异常检测高维数据低冗余异常度量

来源：评论

学校读者我要写书评

暂无评论

面向富互联网应用的计算任务动态迁移机制

面向富互联网应用的计算任务动态迁移机制

引用

2010年全国软件与应用学术会议(NASAC2010)

作者：王旭东刘譞哲赵祺黄罡高可信软件技术教育部重点实验室(北京大学) 北京100871 北京大学信息科学技术学院北京100871

富互联网应用(Rich Intemet Applicalion)目前已经成为重要的应用模式。随着信息技术日益泛在化和服务化,富互联网应用也开始在移动设备之上运行。然而,由于设备计算能力的不足,很可能出现部分代码无法在富客户端顺利运行的情况。提出... 详细信息

富互联网应用(Rich Intemet Applicalion)目前已经成为重要的应用模式。随着信息技术日益泛在化和服务化,富互联网应用也开始在移动设备之上运行。然而,由于设备计算能力的不足,很可能出现部分代码无法在富客户端顺利运行的情况。提出面向富互联网应用的计算任务动态迁移机制,在应用运行过程中,动态地将客户端中无法执行或不适合执行的计算任务迁移到服务器端运行,并保证迁移过程之中上下文环境的同步;针对不同的应用场景,实现了两种方案：“客户端动态请求”和“服务器动态部署”：通过实验验证了本文方案的可行性。

关键词：富互联网应用富客户端计算任务迁移服务器端JavaScript

来源：评论

学校读者我要写书评

暂无评论

一种中间件远程部署方法

一种中间件远程部署方法

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

基于同步网的BPEL建模和验证

基于同步网的BPEL建模和验证

引用

第十一届全国Petri网理论与应用学术年会

作者：徐春香屈婉玲王捍贫黄雨袁崇义北京大学信息科学技术学院软件研究所北京 100871 教育部高可信软件技术重点实验室北京 100871

Web服务组合是面向服务架构的一个应用,是指将已有的Web服务组合成为新的服务。业务流程执行语言BPEL(Business ProcessExecution Language)是一种描述Web服务组合的语言。为了保证BPEL描述的Web服务组合的正确性,提出了分层建模和验证... 详细信息

Web服务组合是面向服务架构的一个应用,是指将已有的Web服务组合成为新的服务。业务流程执行语言BPEL(Business ProcessExecution Language)是一种描述Web服务组合的语言。为了保证BPEL描述的Web服务组合的正确性,提出了分层建模和验证的思想,将BPEL流程分为逻辑层和语义层,并分别建立形式化模型和验证方法。这样不仅能保证对流程正确地建模,而且能降低建模和验证的复杂度。在逻辑层,BPEL元素映射为基于同步网的WSL_net模型。畅通性和无冗余变迁性质保证了BPEL流程基本控制流的正确性并避免了资源的浪费。语义层的建模和验证将另文给出。

关键词： Web服务组合 BPEL建模验证同步网 WSL_net模型形式化模型

来源：评论

学校读者我要写书评

暂无评论

一种新的时段演算及其验证

一种新的时段演算及其验证

引用

2007全国理论计算机科学学术年会

作者：梁爱丽朱嘉奇王捍贫屈婉玲北京大学信息科学技术学院软件研究所可信软件技术教育部重点实验室北京100871

在Pandya提出的CTL*[DC]逻辑的基础上,对其语法和语义进行扩展,并对路径长度进行限制,定义了一个新的逻辑CTL*[k-QDDC],它可应用于实时系统的描述和验证.给出了在Kripke结构中直接验证CTL*[k-QDDC]逻辑公式在某状态是否成真的基本算法.... 详细信息

在Pandya提出的CTL*[DC]逻辑的基础上,对其语法和语义进行扩展,并对路径长度进行限制,定义了一个新的逻辑CTL*[k-QDDC],它可应用于实时系统的描述和验证.给出了在Kripke结构中直接验证CTL*[k-QDDC]逻辑公式在某状态是否成真的基本算法.在某些假设下,也证明了CTL*[k-QDDC]中的某个逻辑运算符的验证问题是NP完全的,这就说明CTL*[k-QDDC]的验证问题至少是NP难的.

关键词：模型检测时段演算 Kripke结构逻辑CTL NP完全问题逻辑运算符验证问题

来源：评论

学校读者我要写书评

暂无评论

一种面向Chrome浏览器的视频云笔记插件

一种面向Chrome浏览器的视频云笔记插件

引用

第十四届全国软件与应用学术会议

作者：辛超乔子健孙艳春北京大学信息科学技术学院软件研究所北京100871 高可信软件技术教育部重点实验室北京100871 北京大学信息科学技术学院北京100871

随着互联网的发展以及edx、Coursea和Udacity等开放式网络教学平台的推广,互联网教学逐渐兴起并广泛普及.互联网教学中学生获取知识的一个主要媒介是互联网课程中的教学视频资源.然而,当前的互联网教学辅助平台中存在一个明显的不足:学... 详细信息

随着互联网的发展以及edx、Coursea和Udacity等开放式网络教学平台的推广,互联网教学逐渐兴起并广泛普及.互联网教学中学生获取知识的一个主要媒介是互联网课程中的教学视频资源.然而,当前的互联网教学辅助平台中存在一个明显的不足:学生无法及时针对教学视频细节在云端记录并分享笔记或寻求帮助.这将会影响学生对于视频形式的教学内容的理解,也不利于形成优质的学习生态系统.由此,本文设计了一种面向Chrome浏览器的视频云笔记工具,并采用了HTML5,***,MongoDB等关键技术进行了实现.该工具能够针对互联网教学视频资源的细节内容记录、发布笔记并在云端共享,有利于学生对视频教学资源中细节的整理、理解、讨论和最终掌握,同时该工具可以根据学生人群在使用工具的过程中产生的数据对视频内容进行一定程度上的解析,挖掘视频教学资源中的关键点,从而降低学生获取关键知识的难度,辅助学生的学习过程.最后,论文进行了相关的实例研究,证明了所提出的分析设计方案的可行性和有效性.

关键词：开放式网络教学平台软件开发视频教学资源云笔记 Chrome浏览器

来源：评论

学校读者我要写书评

暂无评论

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

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：