咨询与建议

限定检索结果

文献类型

  • 1 篇 期刊文献
  • 1 篇 会议

馆藏范围

  • 2 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 2 篇 工学
    • 1 篇 控制科学与工程
    • 1 篇 计算机科学与技术...
    • 1 篇 软件工程

主题

  • 2 篇 形式化框架
  • 1 篇 人工智能
  • 1 篇 多主体协作系统
  • 1 篇 操作规格
  • 1 篇 过称级模型重构
  • 1 篇 协作伙伴
  • 1 篇 程序重构
  • 1 篇 过程蓝图
  • 1 篇 多智能体协作规划
  • 1 篇 机器人足球赛

机构

  • 1 篇 department of co...
  • 1 篇 beijing informat...
  • 1 篇 汕头职业技术学院
  • 1 篇 北京理工大学
  • 1 篇 北京信息科技大学

作者

  • 1 篇 liu jianbin
  • 1 篇 刘建宾
  • 1 篇 杜陶钧
  • 1 篇 yang linbang
  • 1 篇 黄鸿
  • 1 篇 杨林邦

语言

  • 2 篇 中文
检索条件"主题词=形式化框架"
2 条 记 录,以下是1-10 订阅
排序:
基于过程蓝图的模型重构
基于过程蓝图的模型重构
收藏 引用
第18届全国计算机新科技与计算机教育学术大会
作者: YANG Linbang 杨林邦 LIU Jianbin 刘建宾 Department of Computer Science ShanTou Polyte 515078 汕头职业技术学院计算机系 汕头515078 Beijing Information Science & Technology University Beijing 100000 北京信息科技大学计算机科学与工程系 北京100000
提出基于过程蓝图的模型重构形式化框架,将传统的基于源代码的程序过程重构变为基于过程蓝图的可视重构,使基于过程源代码的重构能够在更高抽象层次的过程模型中得到应用,避免程序源代码的语法分析,简重构过程及其实现,从而提... 详细信息
来源: 评论
多智能主体协作规划理论及其在RoboCup中的应用
收藏 引用
计算机仿真 2004年 第7期21卷 125-128页
作者: 杜陶钧 黄鸿 北京理工大学信息工程学院 北京100081
机器人足球赛是近年人工智能迅速发展起来的一个重要的研究领域。基于此平台,研究了将规划、竞争、约束、协调纳入一个协作规划框架之中的多智能体协作规划理论,并将其分为5个阶段①产生协作目标;②协作规划;③寻求协作伙伴;④选择协作... 详细信息
来源: 评论