规划领域定义语言的演进综述

规划领域定义语言是智能规划研究中问题描述的标准语言,它同时起到了建模和通信语言的作用。随着智能规划得到了很大的发展,规划定义语言的作用越来越重要。但至今尚无对其版本、特性和语义的演进过程的综述。鉴于此,对规划领域定义语言的演进进行综述。最后概括了规划领域定义语言的发展趋势。     

一种约简动作变元的命题规划编码方式

基于动作的编码方式是2006年国际规划竞赛中著名的最优规划系统SATPLAN2006采用的一种基于约简状态变元的命题规划编码方式.依据基于动作的编码方式,提出一种基于约简动作变元的自动命题规划编码方式:基于命题的编码方式.首先分析构造新编码方式的理论依据,提出基于命题的编码方式的编码组成,证明其有效性,并描述某些公理的具体实现细节,最后分析其与已有几种编码方式的不同之处.在SATPLAN2006中实现了基于命题的编码方式,利用国际规划竞赛选用的标准测试问题予以测试,并分析其与基于动作的编码方式等两种极端编码方式的求解特性.实验结果表明:对于顺序规划问题域,基于命题的编码方式更有效,而对于并发规划问题域,基于动作的编码方式更有效.     

基于XML的工作流过程定义语言模型XMWPDL

就像当年数据库管理系统一样，工作流管理系统互不兼客，虽然WFMC成立并制定出了一个过程定义语言的规范，但是要达到交换和互译很难．本文提出了一种描述工作流模型的过程定义语言模型XMWPDL，继承了WfMC的WPDL语言模型和XML的优点，是真正实现了通用的过程定义、交换和互译的语言．     

利用混合整数规划的卫星操作规划问题研究

对于成像卫星的操作规划,如何高效求解其规划问题模型是一个十分关键的问题。针对基于规划域定义语言(PDDL)表示的成像卫星操作规划问题的求解,采用将基于命题式的PDDL语言描述的模型转化为多值变量模型的方法,建立了基于混合整数规划的问题求解模型,从而可以方便地采用混合整数规划的已有求解器进行求解,提高了问题的求解效率。对关键技术进行了分析,并设计了问题求解流程。仿真实验结果证明该方法是可行和适用的。     

信息安全风险过程的规划渗透图模型

提出了一个可应用于信息安全风险过程建模的规划渗透图模型:采用形式化的规划域定义语言PDDL(Pla-nning Domain Definition Language)对风险过程的领域和问题进行了描述,基于智能规划方法中的动作、状态等概念对风险过程的系统信息、脆弱性、威胁主体及防御主体之间的关联进行建模,提出了规划渗透图构建的关键算法,并用一个修改后的规划引擎应用相关构建算法推导出所有渗透路径,最后调用Graphviz Tootkit的接口绘制出规划渗透图.     

概率规划的研究与发展

概率规划是智能规划研究的一个重要方面, 首先给出概率规划领域定义语言, 并介绍其语法及语义, 随后重点介绍了求解概率规划的各种方法, 如动态规划、启发式动态规划和基于规划图的方法等, 并分析了各种方法的特点. 最后对国际概率规划比赛进行了介绍.     

一种基于XML的软件过程定义语言SPDL的设计

定义软件过程是软件企业使用CMM提高其能力成熟度的一个关键问题。论文参考工作流过程定义语言WPDL,充分考虑软件过程的特点,提出了一种软件过程定义语言SPDL。SPDL遵循CMM标准,它由XML扩展得到,用XML Schema描述,用SPDL进行过程建模,实现了一个基于CMM的软件质量保障平台。     

通用模板的形式框架设计方法研究

以协同工作平台服务(CWPS)软件构架研究项目为背景,从中抽象模板的通用形式框架.首先基于元模型理念,给出不同类型模板结构的元模型表示.进而探讨通用模板的形式框架,重点研究模板结构的形式语义表示,提出一种模板定义语言.最后给出形式模板的实例化方法以及典型案例.该元模型和模板定义语言,系统地总结并扩展了模板的形式化设计方法,具有可实现性.     

面向过程集成的流程协同交互方法研究

企业间集成化、协同一体化的商务运作的关键是实现相互间的商务流程协同和商务数据的协同。流程协同依赖于企业间建立一种通用的、统一的流程描述语义。该文在对流程定义语言PSL研究的基础上,建立了基于XML的流程描述元模型,并研究了该模型的技术实现,最后通过具体采购计划制定过程的XML描述,验证了该模型及实现方法的有效性和可行性。     

基于XML Schema技术的设计模式定义方法

在程序理解和逆向工程中,对软件设计模式的识别有助于软件技术人员从软件结构上理解系统的设计意图和实现功能。通常,采用UML类图表示的软件设计描述难以从特征上对设计模式进行准确的识别。提出一种基于XML Schema技术定义XML文档结构的设计模式定义语言——DPDLXS。通过运用DPDLXS语言描述特定设计模式的实例表明,该设计模式定义语言能够准确表述设计模式的特征,可以为设计模式的识别提供技术支持。     

融合文本序列和图信息的海关商品HS编码分类

海关商品HS编码分类是企业和个人进出口贸易的重要国际程序。HS编码分类可以看作是一个文本分类问题,即给定一段商品的描述,确定商品由HS编码表示的所属类别。然而,该任务比一般的文本分类任务更具挑战性,原因是商品描述文本具有特定的层次结构,同时商品描述文本展现出了两个层次上的序列特征,并且商品描述文本还存在关键信息分散且描述形式多样的特点。现有的文本分类方法无法综合考虑以上因素来捕获商品描述文本中的关键信息。对此,文中提出了一种融合文本序列和图信息的神经网络(Text Sequence and Graph Information combination Neural Network,TSGINN)模型,用于解决海关商品HS编码分类问题。TSGINN将HS编码分类问题定义为基于词共现网络的子图分类问题,通过图注意力网络建模非连续词之间的关联关系,同时利用分层的长短期记忆网络结合商品文本层次结构捕获多层次的序列信息。在真实海关商品数据集上进行了实验,结果表明TSGINN模型的HS编码分类效果优于其他分类方法。     

用描述逻辑进行语义Web服务组合

针对面向服务功能的语义Web服务组合问题,特别是经典的人工智能规划方法无法有效地处理Web服务执行过程中动态产生的新个体,以及基于服务匹配的方法则无法充分利用服务I/O参数类型之间大量的语义关联等关键问题,通过动态逻辑和描述逻辑之间的对比研究,采用描述逻辑公理来刻画Web服务的IOPR(inputs,outputs, preconditions and results),扩展了基于动态逻辑的人工智能规划方法,提出了把语义Web服务组合问题转化为描述逻辑推理问题的方法,克服了经典的人工智能规划方法中的困难和基于服务匹配的服务组合方法的缺点.     

空间碎片主动移除任务规划研究综述

人类太空探索活动产生的空间碎片已成为太空空间中的主要污染物,并成为人类航天事业发展的重大障碍和威胁,因此,空间碎片主动移除问题引起了国际社会的广泛关注.对此,以空间碎片主动移除任务规划为主题,在对国内外相关文献进行系统分析的基础上,简要介绍空间碎片主动移除的发展现状;具体描述低地球轨道和地球同步轨道空间碎片主动移除任务规划问题;从目标筛选与分组、访问序列规划和转移轨迹规划3个层次介绍该问题的模型构建技术;按照显性枚举方法、隐形枚举方法和元启发式方法将空间碎片主动移除任务规划方法分类,对当前研究成果进行总结并指出存在的问题;最后,对未来空间碎片主动移除任务规划问题的研究方向进行展望.     

一个轻量级多设备用户界面描述语言MDUIDL

为适应多设备环境下用户界面开发的需求,解决当前UIDL存在的一些问题,设计并实现了一个轻量级多设备用户界面描述语言MDUIDL。该语言分为抽象界面描述语言、具体界面描述语言、事件描述语言和设备描述语言,分别从不同侧面对多设备应用系统的用户界面进行描述。通过实例研究,表明该语言具有良好的界面表达能力和对多设备环境的支持,且简单易学,易于使用。     

Adaptation of declaratively represented methods in proof planning

The reasoning power of human-oriented plan-based reasoning systems is primarily derived from their domain-specific problem solving knowledge. Such knowledge is, however, intrinsically incomplete. In order to model the human ability of adapting existing methods to new situations we present in this work a declarative approach for representing methods, which can be adapted by so-called meta-methods. Since the computational success of this approach relies on the existence of general and strong meta-methods, we describe several meta-methods of general interest in detail by presenting the problem solving process of two familiar classes of mathematical problems. These examples should illustrate our philosophy of proof planning as well: besides planning with a pre-defined repertory of methods, the repertory of methods evolves with experience in that new ones are created by meta-methods that modify existing ones. This revised version was published online in June 2006 with corrections to the Cover Date.     

基于E-learning的ERP系统学习模型研究

企业资源计划系统(ERP)是一个复杂的软件系统,具有功能模块众多、计划编制和数据流转关系复杂、体现的管理思想和方法多样等特点.针对传统ERP学习方法的不足,在分析ERP软件特点和复杂性基础上,基于E-learning理论和Agent技术提出一个ERP系统学习模型-ERPLM学习模型,对模型的体系架构,各类学习信息的表示以及关键Agent的设计和实现进行了详细地分析和论述,并提出了一种基于模糊综合评判的面向目标的学习评价方法.