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

计算机研究与发展 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-完全

来源：评论

学校读者我要写书评

暂无评论

一种基于RFID数据集的物品工作流挖掘方法

引用

电子学报 2008年第B12期36卷 86-93页

作者：顿海强赵文邓鹏鹏张世琨王立福谭杰北京大学信息科学技术学院北京100871 北京大学高可信软件技术教育部重点实验室北京100871 北京大学软件工程国家工程研究中心北京100871 中国科学院自动化研究所RFID研究中心北京100190

不同种类的物品在供应链中的移动形成不同的物品工作流,通过对这些物品工作流的挖掘,能够发现不同种类物品的流向和主要流转路径等信息,进而基于这些信息对供应链过程进行管理和优化.本文提出了一种基于RFID数据集的物品工作流挖掘方法... 详细信息

不同种类的物品在供应链中的移动形成不同的物品工作流,通过对这些物品工作流的挖掘,能够发现不同种类物品的流向和主要流转路径等信息,进而基于这些信息对供应链过程进行管理和优化.本文提出了一种基于RFID数据集的物品工作流挖掘方法,其中定义了一种基于Petri网的物品工作流网,讨论了物品工作流网所支持的几种物品工作流模式,给出了基于RFID数据集的数据过滤和聚合算法,以及物品工作流网的挖掘算法,最后进行了必要的实验.

关键词：物品工作流物品工作流挖掘 RFID数据集 Petri网

来源：评论

学校读者我要写书评

暂无评论

无线自组织网络中构造2-连通k-支配虚拟主干网的近似算法

引用

计算机工程与科学 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网

来源：评论

学校读者我要写书评

暂无评论

经典Ramsey数DNA计算模型(Ⅰ):位序列计算模型

引用

计算机学报 2008年第12期31卷 2073-2080页

作者：许进范月科北京大学信息科学技术学院高可信软件技术教育部重点实验室北京100871 华中科技大学分子生物计算机研究所武汉430074

Ramsey数问题是组合数学乃至整个数学中最具魅力的研究领域,也是最困难的数学问题之一.对于经典Ramsey数,至今只有9个Ramsey数得到解决.按照传统的算法,其搜索空间太大,当前的电子计算机无法胜任.研究表明,DNA计算在求解困难的NP-完全... 详细信息

Ramsey数问题是组合数学乃至整个数学中最具魅力的研究领域,也是最困难的数学问题之一.对于经典Ramsey数,至今只有9个Ramsey数得到解决.按照传统的算法,其搜索空间太大,当前的电子计算机无法胜任.研究表明,DNA计算在求解困难的NP-完全问题上优于电子计算机.目前已经建立了众多求解NP-完全问题的DNA计算模型,但未见到用于求解Ramsey数的DNA计算模型.作者建立了一种新颖的DNA计算模型,用于一般经典Ramsey数的求解.全文共分两篇,该文属首篇,建立了一种可适用于DNA计算模式的所谓的求解Ramsey数的位序列计算模型,其中的位序列是以图的相邻矩阵下三角阵中行从左到右、列从上到下的排列次序.文中重点对该模型的机理与使用方法进行了分析研究.

关键词：经典Ramsey数 DNA计算位序列计算模型

来源：评论

学校读者我要写书评

暂无评论

经典Ramsey数DNA计算模型(Ⅱ)：基于位序列的DNA计算模型

引用

计算机学报 2008年第12期31卷 2081-2089页

作者：许进范月科北京大学信息科学技术学院高可信软件技术教育部重点实验室北京100871 华中科技大学分子生物计算机研究所武汉430074

Ramsey数问题是组合数学乃至整个数学中最具魅力的研究领域,也是最困难的数学问题之一.对于经典Ramsey数,至今只有9个Ramsey数得到解决.按照传统的算法,其搜索空间太大,当前的电子计算机无法胜任.研究表明,DNA计算在求解困难的NP-完全问题上优于电子计算机.目前已经建立了众多求解NP-完全问题的DNA计算模型,但未见到用于求解Ramsey数的DNA计算模型.作者建立了一种新颖的DNA计算模型,用于一般经典Ramsey数的求解.全文共分两篇,该文属第二篇,在首篇工作的基础上,建立了所谓的经典Ramsey数位序列DNA计算模型,文中对模型的存储库的建立、解的检测子系统以及运算子系统等问题展开了较为详细地讨论,并给出了使用该模型求解经典Ramsey数详细的方法与步骤.

关键词：经典Ramsey数 DNA计算位序列DNA计算模型

来源：评论

学校读者我要写书评

暂无评论

Web服务QoS数据多源采集方法及实现

Web服务QoS数据多源采集方法及实现

引用

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

作者：程志文李田邵凌霜赵俊峰孙家肃高可信软件技术教育部重点实验室北京大学信息科学技术学院北京 100871

随着Web服务的迅速发展,Web服务的服务质量,即QoS成为了面向服务的应用能否成功的关键因素之一。目前的研究大多集中在基于Qos的Web服务应用,如支持QoS的动态服务组装和调度等;这些研究大多建立在能够获取大量真实可用的Web服务的QoS数... 详细信息

随着Web服务的迅速发展,Web服务的服务质量,即QoS成为了面向服务的应用能否成功的关键因素之一。目前的研究大多集中在基于Qos的Web服务应用,如支持QoS的动态服务组装和调度等;这些研究大多建立在能够获取大量真实可用的Web服务的QoS数据的假设之上。然而现有的研究缺乏一个灵活完善可用的QoS获取框架,QoS数据的获取存在获取方式单一、QoS数据量过少、获取的QoS数据不准确等问题。本文以Web服务QoS数据的获取为研究对象,给出了一个Web服务多源QoS数据采集框架,谊框架包含了QoS数据的获取,存储及QoS的度量,为基于QOS的Web服务应用提供了基本的支持;基于该框架,本文从Web服务客户端、Web服务提供端、Web服务在线测试端等多个采集端设计并实现了多源Web服务QoS数据的采集,并通过实验证明了本文所提出方法的有效性与实用性。

关键词： Web服务服务质量 QoS获取 QoS计算数据采集

来源：评论

学校读者我要写书评

暂无评论

基于语法与语义分析的代码搜索结果优化

基于语法与语义分析的代码搜索结果优化

引用

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

作者：刘石李合王啸吟张路谢冰高可信软件技术教育部重点实验室北京大学信息科学技术学院北京 100871

通过示例代码学习简单算法的实现和具体API的使用方式是程序开发人员在软件开发中进行软件复用的高效手段,也是使用代码搜索引擎的主要目的。代码搜索引擎从网页搜索技术发展而来,提供对网络上源代码资源的检索功能,能够有效定位与搜索... 详细信息

通过示例代码学习简单算法的实现和具体API的使用方式是程序开发人员在软件开发中进行软件复用的高效手段,也是使用代码搜索引擎的主要目的。代码搜索引擎从网页搜索技术发展而来,提供对网络上源代码资源的检索功能,能够有效定位与搜索内容相关的代码,为程序开发人员提供帮助。但现有的代码搜索引擎没有在搜索结果中区别API的实现代码与使用代码、搜索结果存在冗余,导致用户无法快速有效地找到提供有用信息的代码片段。为了使用户更好更快地找到代码搜索目标,本文阐述了应用语法与语义分析技术从区分API实现代码和使用代码、相似代码聚类、搜索结果摘要三个方面对代码搜索结果进行优化的方法,给出了一个代码搜索引擎的实现,并在实例研究中展示了该方法的有效性。

关键词：软件复用代码搜索语义分析软件开发

来源：评论

学校读者我要写书评

暂无评论

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

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

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

引用

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

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

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

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

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

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：