位置:成果数据库 > 期刊 > 期刊详情页
基于π演算的软件人群体形式化建模
  • ISSN号:1001-0645
  • 期刊名称:《北京理工大学学报》
  • 时间:0
  • 分类:TP18[自动化与计算机技术—控制科学与工程;自动化与计算机技术—控制理论与控制工程]
  • 作者机构:[1]北京理工大学信息科学技术学院自动控制系,北京100081, [2]太原理工大学矿业工程学院,山西太原030024, [3]北京科技大学信息工程学院,北京100083
  • 相关基金:国家自然科学基金资助项目(60375038);国家“十五”科技攻关项目(2004BA616A.11).
中文摘要:

在参考多智体系统的基础上,根据大系统控制论的分解协调思想,提出一种软件人群体体系结构,并对其关键技术如本体库、知识库、任务库、通信协议、角色模型、交互模型等进行了描述.描述了对该系统从分析到设计的整个构建过程,并采用”演算形式化方法对整个系统的信息流和控制流,以及任务之间的4种协作方式进行了建模.对于不同的应用领域,通过定义相应领域的本体库和所需的角色以及任务分解,即可快速构建相应的应用系统,为分布式系统提供了一种解决方案.

英文摘要:

Based on the ideas of decomposition and coordination of large systems cybernetics, a kind of architecture for SoftMan group is put forward on the basis of reference to many multi-agent systems (MAS). Key technologies such as ontology database, knowledge base, task library, communication protocols, role models and interaction models are discussed. Details from analysis to design are described, and information flow and control flow for the architecture are given by pi-calculus. Four kinds of cooperation modes of task are formally described by pi-calculus. To different application domains, corresponding application systems can be built up quickly by defining corresponding ontology database, roles and task decompositions. It provides a solution to distributed systems.

同期刊论文项目
同项目期刊论文
期刊信息
  • 《北京理工大学学报》
  • 北大核心期刊(2011版)
  • 主管单位:中华人民共和国工业和信息化部
  • 主办单位:北京理工大学
  • 主编:黄风雷
  • 地址:北京海淀区中关村南大街5号
  • 邮编:100081
  • 邮箱:blgzw@bit.edu.cn
  • 电话:010-68912326 68913988
  • 国际标准刊号:ISSN:1001-0645
  • 国内统一刊号:ISSN:11-2596/T
  • 邮发代号:82-502
  • 获奖情况:
  • 全国优秀高等学校自然科学学报及教育部优秀科技期...,首届国家期刊奖提名奖,中文核心期刊
  • 国内外数据库收录:
  • 俄罗斯文摘杂志,美国化学文摘(网络版),美国数学评论(网络版),德国数学文摘,荷兰文摘与引文数据库,美国工程索引,美国剑桥科学文摘,英国科学文摘数据库,日本日本科学技术振兴机构数据库,中国中国科技核心期刊,中国北大核心期刊(2004版),中国北大核心期刊(2008版),中国北大核心期刊(2011版),中国北大核心期刊(2014版),英国英国皇家化学学会文摘,中国北大核心期刊(2000版)
  • 被引量:17163