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

计算机科学与探索 2015年第6期9卷 660-668页

作者：施心悦鲁扬扬李戈金芝北京大学信息科学技术学院软件研究所北京100871 北京大学高可信软件技术教育部重点实验室北京100871

"知件"是一个由中科院陆汝钤教授提出的将知识模块化的全新概念。基于知件概念提出并构建了一个按需动态组织的知件库系统。该知件库系统支持对知件的获取、表示、存储和管理。与全局知识库相比,这种知识的组织和管理方式有... 详细信息

"知件"是一个由中科院陆汝钤教授提出的将知识模块化的全新概念。基于知件概念提出并构建了一个按需动态组织的知件库系统。该知件库系统支持对知件的获取、表示、存储和管理。与全局知识库相比,这种知识的组织和管理方式有效地减少了知识管理和演化的代价。进一步地,知件库系统通过运用特定的知件关联算法,支持知件的检索、知件之间关联结构的动态配置和相关知件之间关联关系的展示,从而满足不同应用场景下的个性化知识需求。

关键词：知件知件库知件关联度知件搜索

来源：评论

学校读者我要写书评

暂无评论

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

引用

计算机研究与发展 2008年第z1期45卷 169-174页

作者：梁爱丽朱嘉奇王捍贫屈婉玲北京大学信息科学技术学院软件研究所可信软件技术教育部重点实验室北京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难的.

关键词：模型检测 CTL* QDDC NP-完全

来源：评论

学校读者我要写书评

暂无评论

SGX 应用支持技术研究进展

引用

软件学报 2021年第1期32卷 137-166页

作者：董春涛沈晴霓罗武吴鹏飞吴中海北京大学软件与微电子学院北京102600 北京大学信息科学技术学院北京100871 北京大学软件工程国家工程研究中心北京100871 高可信软件技术教育部重点实验室(北京大学) 北京100871

安全与可信是云计算中极为重要的需求,如何保护用户在云平台上托管的应用程序代码和数据的安全、防止云服务提供商和其他攻击者窃取用户机密数据,一直是个难题.2013年,Intel公司提出了新的处理器安全技术SGX,能够在计算平台上提供一个... 详细信息

安全与可信是云计算中极为重要的需求,如何保护用户在云平台上托管的应用程序代码和数据的安全、防止云服务提供商和其他攻击者窃取用户机密数据,一直是个难题.2013年,Intel公司提出了新的处理器安全技术SGX,能够在计算平台上提供一个用户空间的可信执行环境,保证用户关键代码及数据的机密性和完整性.SGX技术自提出以来,已成为云计算安全问题的重要解决方案.如何有效地应用SGX技术来保护用户的应用程序,成为近年来的研究热点.介绍了SGX的相关机制和SDK,概括了SGX应用所面临的安全问题、性能瓶颈问题、开发困难问题和功能局限性等问题,总结并归纳了SGX应用支持技术的研究进展,包括SGX应用安全防护技术、SGX应用性能优化技术、SGX应用辅助开发技术和SGX功能扩展技术,并展望了未来的发展方向.

关键词：可信计算 SGX 系统安全云安全应用开发

来源：评论

学校读者我要写书评

暂无评论

从交互情景出发的需求捕获方法及其支撑工具

引用

计算机学报 2011年第2期34卷 329-341页

作者：陈小红尹斌金芝华东师范大学上海市高可信计算重点实验室上海200062 中国科学院数学与系统科学研究院北京100190 高可信软件技术教育部重点实验室(北京大学) 北京100871 北京大学信息科学技术学院软件研究所北京100871

需求捕获是需求工程中的重要问题.文中结合情景和问题框架方法,提出一个从交互情景出发的需求捕获方法.其特点是:(1)对问题领域以及软件系统与问题领域间的交互进行分类,以捕获深层需求信息;(2)将情景定义为产生有意义问题领域变化的交... 详细信息

需求捕获是需求工程中的重要问题.文中结合情景和问题框架方法,提出一个从交互情景出发的需求捕获方法.其特点是:(1)对问题领域以及软件系统与问题领域间的交互进行分类,以捕获深层需求信息;(2)将情景定义为产生有意义问题领域变化的交互序列,引入交互情景约束,以捕获隐式需求信息.文中构建了支持这个方法的需求描述元模型,提出以该元模型为基础的需求捕获过程.文中还构建了相应的支撑工具,提供各种需求元素的编辑、检测和验证手段,帮助需求提供者正确地表达需求信息.

关键词：需求捕获情景问题领域问题框架方法

来源：评论

学校读者我要写书评

暂无评论

电子政务需方参与活动对项目绩效的影响分析

引用

软件学报 2012年第10期23卷 2679-2694页

作者：马家宽王亚沙李刚梅宏高可信软件技术教育部重点实验室(北京大学) 北京100871 北京大学信息科学技术学院软件研究所北京100871 山东省计算中心山东济南250014 山东省计算机网络重点实验室山东济南250014

在电子政务项目建设过程中,需方通常会参与供方主导的开发活动,并由此对项目绩效产生重要影响.然而在制定需方参与活动方案时,依赖主观直觉和经验的做法一方面对制定者提出了很高要求,另一方面容易产生争议.为此,提出通过对客观存在的... 详细信息

在电子政务项目建设过程中,需方通常会参与供方主导的开发活动,并由此对项目绩效产生重要影响.然而在制定需方参与活动方案时,依赖主观直觉和经验的做法一方面对制定者提出了很高要求,另一方面容易产生争议.为此,提出通过对客观存在的历史数据进行定量分析,建立需方各参与活动对于项目绩效的影响关系,进而为需方参与活动提供建议指导.使用定量方法收集25个中国电子政务项目的数据,提出一种基于变量选择的回归分析方法,建立需方参与活动与项目绩效之间关系的量化模型,并对模型的有效性进行了计量分析.分析结果显示,该模型具有良好的数学性质.进一步地,对相关软件企业进行了回访,结合模型结论对反馈结果进行综合分析,为中国电子政务项目中的需方参与活动给出若干具体建议.

关键词：电子政务需方参与量化分析变量选择软件过程

来源：评论

学校读者我要写书评

暂无评论

一种基于Internet的JAR包使用信息收集方法

引用

计算机科学 2011年第6期38卷 161-164,179页

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

随着软件复用技术的发展,Internet上出现了大量可以被利用的软件资源,如Web Services,JAR包等。但是,这些软件资源常常缺乏必要的描述信息和使用说明。为此,提出了一种基于Internet的JAR包使用信息收集方法,以帮助用户检索并整理Interne... 详细信息

随着软件复用技术的发展,Internet上出现了大量可以被利用的软件资源,如Web Services,JAR包等。但是,这些软件资源常常缺乏必要的描述信息和使用说明。为此,提出了一种基于Internet的JAR包使用信息收集方法,以帮助用户检索并整理Internet上已经存在的JAR包描述信息和用户使用评论,辅助软件复用的成功进行。基于该方法,设计并实现了北京大学软件资源库JAR包使用信息收集子系统。该系统目前已经为6000余个JAR包资源收集、整理了相关的描述和评论信息。

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

系统仿真学报 2007年第A1期19卷 97-100页

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

引用

计算机科学 2009年第8期36卷 161-164,173页

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

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

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

关键词：软件体系结构软件体系结构设计软件体系结构设计决策

来源：评论

学校读者我要写书评

暂无评论

基于自然语言的软件信息检索工具

引用

计算机科学 2014年第9期41卷 91-95页

作者：叶挺陈秀招邹艳珍赵俊峰谢冰北京大学信息科学技术学院软件研究所北京100871 高可信软件技术教育部重点实验室北京100871

随着开源软件项目规模的增大,如何快速地学习、理解一个软件项目成为基于复用的软件开发活动中的一个重要环节。这些开源软件项目的源代码和文档集的数量都比较庞大,开发人员在学习过程中查找和阅读这些软件信息需要花费大量的时间和精... 详细信息

随着开源软件项目规模的增大,如何快速地学习、理解一个软件项目成为基于复用的软件开发活动中的一个重要环节。这些开源软件项目的源代码和文档集的数量都比较庞大,开发人员在学习过程中查找和阅读这些软件信息需要花费大量的时间和精力。为此,提出一种基于自然语言的软件信息检索方法,以帮助开发人员快速地检索并理解其需要的软件信息。基于该方法,设计并实现了NaLSiSe工具。NaLSiSe工具在中国计算机学会主办的第一届软件研究成果原型竞赛中荣获优秀奖。以Lucene为例,验证了该工具可以有效减少开发人员阅读源代码和文档的工作量,同时具备简洁的用户界面和友好的用户体验。

关键词：软件复用软件项目信息检索自然语言提问

来源：评论

学校读者我要写书评

暂无评论

基于FPGA的图着色问题求解

引用

电子与信息学报 2022年第9期44卷 3328-3334页

作者：张益豪张子超刘小青冷煌王之元许进北京大学信息科学技术学院北京100871 北京大学高可信软件技术教育部重点实验室北京100871 国防科技创新研究院人工智能研究中心北京100073

图着色问题是在满足相邻顶点不能分配相同颜色且颜色数最少的约束条件下,将图的顶点划分为不相交的集合,且每个集合中的顶点分配相同的颜色。由于图着色问题属于NP-完全问题,求解图着色问题的算法复杂度会随顶点个数的增加呈指数级增长... 详细信息

图着色问题是在满足相邻顶点不能分配相同颜色且颜色数最少的约束条件下,将图的顶点划分为不相交的集合,且每个集合中的顶点分配相同的颜色。由于图着色问题属于NP-完全问题,求解图着色问题的算法复杂度会随顶点个数的增加呈指数级增长。当顶点个数非常大时,通用处理器求解图着色问题的性能将会显著下降。因此,该文基于现场可编程逻辑门阵列(FPGA)实现求解图着色算法的专用硬件加速器。首先依据FPGA模块化的设计思路提出并实现了基于回溯法的图着色问题求解的硬件架构;其次分析了FPGA内部消耗资源与图着色顶点数之间的关系;最后利用通用异步收发传输器协议实现了通用处理器与FPGA的通信。实验结果表明,相比于在通用处理器上利用软件实现图着色算法,基于FPGA所实现的图着色算法运行时间减少了一个数量级。除此之外,FPGA内部消耗资源数与顶点个数呈线性关系,且每次迭代时FPGA运算所消耗的时间与顶点个数无关。

关键词：图着色问题回溯法 FPGA

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：