国家重点基础研究发展计划(2005CB321802)
- 作品数：15 被引量：71H指数：4
- 相关作者：王戟毛新军陈火旺常志明齐治昌更多>>
- 相关机构：国防科学技术大学中南林业科技大学涉外学院中国国防科技信息中心更多>>
- 发文基金：国家重点基础研究发展计划国家自然科学基金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术更多>>
- 自适应网构软件的集成开发环境SADE被引量：3
- 2010年
- 网构软件通常驻留在动态、开放的环境中，需根据环境变化展示自适应和自演化能力，代表了一类复杂系统.如何有效支持这类软件系统的开发是软件工程面临的一项重要挑战.本文介绍了一个基于Agent的网构软件集成开发环境SADE，它建立在一组网构软件关键技术基础之上，包括：基于Agent的网构软件抽象和构造，动态绑定的自适应和自演化机制，基于组织抽象的软件开发方法学ODAM，自适应和自演化策略描述语言SADL等.论文分析了SADE的技术框架以及各个组成部分，包括网构软件分析和设计工具集ODAMTools、编程工具集、运行支撑平台等；最后通过案例分析阐述了如何利用SADE来进行网构软件开发.
- 毛新军李学斯尹俊文董孟高胡翠云吴斌
- 关键词：网构软件AGENT自适应
- 基于LTL Tableau的自动机构造被引量：1
- 2007年
- 基于线性时序逻辑(LTL)的模型检验是使用较为广泛的技术。该种模型检验最终归结为有穷自动机的判空问题,其复杂性来源于性质和模型乘积自动机的状态空间膨胀。作者提出了一种构造迟滞交换Co-Büchi自动机(Stuffer Alternating Co-Büchi)的具有线性复杂度的方法,该方法能够降低最终乘积自动机的空间复杂度。
- 刘万伟王戟陈火旺
- 关键词：计算机软件LTLTABLEAU
- 补偿通信顺序进程的扩展及失败发散语义
- 2010年
- 补偿通信顺序进程(cCSP)是通信顺序进程用于长事务建模的扩展,可用来描述服务计算中的编制程序,比如WS-BPEL程序。目前,cCSP只有操作语义和基于迹的指称语义,对死锁和发散行为的推理支持不够。本文扩展了cCSP,引入新的组合操作子,给出扩展cCSP的失败发散语义;并根据该语义,给出新引入组合操作子的重要代数规则,用于语义的理解和佐证。最后,给出一个案例描述用于展示扩展cCSP。
- 陈振邦王戟齐治昌
- 关键词：指称语义
- SUIF2平台下MOD分析算法的设计与实现
- 2009年
- MOD问题是指在进行过程调用时哪些信息可能在被调用的过程中被修改。针对C语言,本文提出了一种基于流敏感、上下文敏感指针分析结果的MOD分析算法。该算法通过计算表达式在指向图中的左值,得到所有可能被修改的内存位置,从而计算出所有可能在被调用过程中被修改的表达式。我们在SUIF2平台下实现了该算法,得到了预期的实验结果。
- 马晓东徐厚峰王戟
- 分布式协作工作流技术研究
- 2005年
- 工作流是实现企业业务过程建模、优化、管理、集成和自动化的核心技术．作为分布式的应用平台，工作流管理系统任务处理能力即吞吐能力是一个重要的性能指标．目前，已有的工作流管理系统在这方面存在较大的不足，成为工作流管理系统广泛应用的严重障碍．本文研究了工作流系统的协作方式和负载平衡技术，定义了工作流系统的负载因子，给出了一个分布式协作工作流系统模型，并结合业务流程逻辑，提出了分布式协作工作流系统负载平衡调度算法．实验表明该分布式协作工作流系统有效地扩展了单个工作流系统的吞吐能力。
- 黄秀国王戟
- 关键词：工作流负载平衡负载因子
- 描述逻辑关于CBox的推理复杂性被引量：1
- 2008年
- 本文证明基础描述逻辑ALC关于CBox推理是非确定指数完全的。这个结论说明了描述逻辑关于CBox推理是一致地困难。本文还指出了哪些DL对于基数约束的数字编码是敏感的。
- 于洋王戟陈火旺
- 关键词：描述逻辑
- 面向代数规约测试谓词/变迁网
- 2011年
- 针对谓词/变迁网缺乏有效的形式化验证分析技术,基于代数规约测试谓词/变迁网方法,给出谓词/变迁网转换成代数规约语言CASOCC-WS表示的基调的规则,提出基于测试充分性准则深度优先遍历谓词/变迁网生成变迁触发序列的算法和由变迁触发序列构造公理等式的启发式规则.案例研究表明:该方法可以有效地解决测试Pr/T网时自动生成测试用例和自动判定测试结果和可行路径的问题.
- 余波
- 关键词：代数规约测试充分性准则
- 基于XQuery扩展的异构语义Web服务发现被引量：1
- 2010年
- 语义Web服务发现作为分布式计算的前提和关键,备受研究者关注。多种语义Web服务描述语言的存在给异构语义Web服务的发现带来了挑战。本文提出了一种支持异构语义Web服务描述语言的发现框架i XQuery。该框架从两个方面扩展XQuery,使其支持异构语义Web服务的结构化查询与逻辑推理、模糊匹配的联合查询。一方面i XQuery利用XQuery的外部函数机制,建立了多种类型的相似度比较函数;另一方面i XQuery制定了一个统一的语义Web服务抽象描述本体,并建立了语义Web服务语言SAWSDL与OWLS与该本体之间的映射,并利用XQuery的用户自定义函数机制,建立了一系列用于抽取异构语义Web服务中信息的抽象描述操作子。最后,介绍了基于i XQuery框架的异构语义Web服务匹配器H-i Matcher。
- 魏登萍王挺王戟
- 关键词：语义WEB服务XQUERY本体异构
- 空指针解引用错误检测的静态方法研究被引量：2
- 2009年
- 空指针解引用是C语言中的一类常见的动态内存错误。Manevich R等提出了一种适用于检测空指针解引用错误的后向分析方法。本文将后向分析的思想和流敏感、上下文敏感的指针分析结合在一起,给出了一种需求驱动的空指针解引用检测静态分析算法。该算法首先由指针分析获得别名信息,然后针对所关心的数据做后向数据流分析,追踪数据传递的源头,以确定程序中的表达式是否产生解引用错误。我们在SUIF2平台上实现了这一算法。实验结果表明,算法具有较高的检测精度。
- 徐厚峰马晓东
- 虚拟计算环境中基于资源池的资源聚合机制被引量：6
- 2009年
- 虚拟计算环境中存在着极为丰富的资源,但由于其系统的动态性与自治性特点非常突出,系统服务质量很难得到保证。本文提出一种基于资源池的资源聚合方法,即根据应用需求将所需资源聚合成资源池,并以资源池的形式为用户提供服务,使得在任务执行过程中即使部分节点由于系统故障、超载等原因中途退出任务处理,用户的服务请求仍能得到处理和响应。此外,该方法结合负载均衡,优化了资源节点的选择与资源池的构建,从而有效地提高了系统服务质量。
- 樊华沈锐王戟
- 关键词：虚拟计算环境资源池服务质量
