基于完全有限前缀展开的行为等价过程树生成算法

过程树能够兼具过程模型的行为和结构，对简化模型结构的复杂度方面具有重要意义.现有过程树转化仅能将基于块结构的简单过程模型转化为过程树，但是无法将具有复杂结构的过程模型转化过程树.为此，提出了一种基于完全有限前缀展开的行为等价过程树生成算法，用于将与过程树行为等价的过程模型转化为行为等价过程树.该方法首先利用完全有限前缀展开技术分析过程模型，抽取模型的活动关系;其次通过分析活动关系，进而对模型进行重构.最终通过活动关系判断和模型重构的不断迭代操作，构建行为等价过程树.在实验部分通过在测试模型上的实验，验证了该算法在行为等价过程树生成方面的正确性和可行性.     

合作-竞争混合型多智能体系统的虚拟遗憾优势自博弈方法

合作-竞争混合型多智能体系统由受控的目标智能体和不受控的外部智能体组成.目标智能体之间互相合作,同外部智能体展开竞争,应对环境和外部智能体的动态变化,最终完成指定的任务.针对如何训练目标智能体使他们获得完成任务的最优策略的问题,现有工作从两个方面展开:(1)仅关注目标智能体间的合作,将外部智能体视为环境的一部分,利用多智能体强化学习来训练目标智能体.这种方法难以应对外部智能体策略未知或者动态改变的情况;(2)仅关注目标智能体和外部智能体间的竞争,将竞争建模为双人博弈,采用自博弈的方法训练目标智能体.这种方法主要针对单个目标智能体和单个外部智能体的情况,难以扩展到由多个目标智能体和多个外部智能体组成的系统中.结合这两类研究,提出一种基于虚拟遗憾优势的自博弈方法.具体地,首先以虚拟遗憾最小化和虚拟多智能体策略梯度为基础,设计虚拟遗憾优势策略梯度方法,使目标智能体能更准确地更新策略;然后,引入模仿学习,以外部智能体的历史决策轨迹作为示教数据,模仿外部智能体的策略,显式地建模外部智能体的行为,来应对自博弈过程中外部智能体策略的动态变化;最后,以虚拟遗憾优势策略梯度和外部智能体行为建模为基础,设...     

乳酸锌的合成与结构表征

本文报道以乳酸和氧化锌为原料合成乳酸锌的新方法；详细考察了合成反应的影响因素，得到了合成乳酸锌的最佳工艺条件；通过元素分折、红外光谱、核磁共振氢谱、质谱和热重分析等手段对产物结构进行了表征。     

虚拟企业及其协作模型

虚拟企业是多个企业为共享技术和核心竞争资源,以快速响应市场需求变化为目的,而组成的一个动态企业联盟.如何从一组独立企业出发,建立有效的虚拟企业联盟,提高虚拟企业内各独立企业之间的协作效率,已经成为虚拟企业研究和应用的热点.本文首先分析了虚拟企业及虚拟企业模型,然后针对虚拟企业组建和运营中的协作问题,提出了一种企业协作关系网模型,并给出了建立在企业协作关系网基础之上的企业协作策略.     

中医专家系统工具的研究与设计

本文针对中医特点,提出了一个通用中医专家系统工具的系统结构,论述了该工具系统的设计与实现方法,最后对本系统的特点进行了分析,并提出了进一步研究的课题。利用该工具已初步建立了一个功能较强的中医专家系统,该专家系统目前正处于调试之中。     

非规范软件需求管理

对软件需求阶段的非规范信息进行有效管理有助于改进需求获取过程，提高需求质量．本文主要讨论了软件开发过程中常见的非规范需求并提出了以容忍不一致性的需求推理为核心的管理框架，来有效管理模糊需求信息、冗余需求信息等与不一致信息密切相关的非规范需求信息．     

目标间顺序关系的提取及其抽象方法

规划问题是一类复杂的问题.由于规划问题中各个目标之间往往存在着实现上的顺序关系,发掘这种顺序关系并加以利用是提高规划算法效率的一种途径.由于判定目标间的顺序关系同样是PSPACE完全的,因而为利用目标间的顺序关系首先需要有效地提取目标间的顺序关系.给出了一种利用状态不变式来提取目标间顺序关系的GOWN(goal ordering with invariants)方法,并在比较目标间的顺序关系时,通过抽象和合一的手段,有效地控制了问题的增长规模,提高了处理效率.     

面向本体的需求分析

提出了一种新的需求分析方法——面向本体的需求分析OORA(ontology-oriented requ irements analysis).该方法的主要特点是,用本体作为对象关联的手段,以增强面向对 象方 法的表达能力.文章首先定义了OORA的需求模型,然后结合实例讨论了信息系统需求分析中的 两种主要的本体类型,最后给出了OORA方法的主要步骤.     

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

需求捕获是需求工程中的重要问题.文中结合情景和问题框架方法,提出一个从交互情景出发的需求捕获方法.其特点是:(1)对问题领域以及软件系统与问题领域间的交互进行分类,以捕获深层需求信息;(2)将情景定义为产生有意义问题领域变化的交互序列,引人交互情景约束,以捕获隐式需求信息.文中构建了支持这个方法的需求描述元模型,提出以...