基于π演算的软件人群体形式化建模

来源 :北京理工大学学报 | 被引量 : 0次 | 上传用户:guilinzd
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
在参考多智体系统的基础上,根据大系统控制论的分解协调思想,提出一种软件人群体体系结构,并对其关键技术如本体库、知识库、任务库、通信协议、角色模型、交互模型等进行了描述.描述了对该系统从分析到设计的整个构建过程,并采用π演算形式化方法对整个系统的信息流和控制流,以及任务之间的4种协作方式进行了建模.对于不同的应用领域,通过定义相应领域的本体库和所需的角色以及任务分解,即可快速构建相应的应用系统,为分布式系统提供了一种解决方案. On the basis of referring to multi-agent system, this paper proposes a system of software human population based on the theory of decomposition and coordination of large-scale system cybernetics. The key technologies such as ontology base, knowledge base, task base, communication protocol, role model, Interaction model, etc. Describes the entire construction process from analysis to design of the system, and uses the π calculus formalization method to construct the four kinds of cooperation modes between the whole system information flow and control flow and the task For different applications, by defining the corresponding domain ontology library and the required role and task decomposition, you can quickly build the corresponding application system, provides a solution for distributed systems.
其他文献
吕祖谦编选和评点的《古文关键》肯定唐宋散文艺术传统,在评点史上有首创意义。选文及评点有很强实用性,这主要体现在《古文关键》一书的“选文载道”和“评文载道”两个方面
班昭的文献注疏通过训释字音、解释字词、阐释句意、揭示文本元意的方式,建构起传统意义上的训诂学,体现了“我注六经”的注疏模式。同时,班昭把注疏的对象从经书转向辞赋、
在“东方主义”集体无意识的殖民语境下,处于弱势的“他者”不仅指被殖民地的人们,还有西方国家的边缘人,殖民主义可能以更为隐避的方式对“他者”进行剥削;本文从殖民语境下
目的 观察阴-阳对刺呼吸补泻法治疗后缺血性脑中风患者运动步态髋、膝、踝关节屈伸角度的变化.方法 将60例缺血性脑中风患者按随机数字表法随机分为对照组与观察组,每组30例.
为了解决工业设计中产品造型的品牌特色问题,提出基于品牌形象的产品造型设计方法,探讨企业品牌形象与产品造型设计的关联性.以液压挖掘机为研究对象开展造型设计研究,根据品
温度梯度法(temperature gradient technique,TGT)生长的Al2O3晶体因石墨发热体在高温时的挥发和原料中过渡性金属离子的存在,在不同部位呈现不同颜色,一般上部为浅红色,尾部
斜齿圆柱齿轮承载能力的设计过程中,涉及到大量的非线性约束条件分析计算,传统的优化方法很难得到全局最优解.利用BP神经网络非线性映射能力,建立了斜齿圆柱齿轮设计参数与承
采用浸渍法制备了Pt/Ce0.75Zr0.25O2催化剂,考察了催化剂对乙醇及CO的氧化活性,并采用 18O 同位素交换、乙醇程序升温表面反应(C2H5OH-TPSR)、一氧化碳程序升温脱附(CO-TPD)
舞蹈作为一种有着悠久历史的舞台艺术形式,是通过人们的肢体语言向人们展现美的时空表现艺术和动态造型艺术的综合体,舞蹈艺术有着自身明显的审美特点,我们对舞蹈艺术的审美
中国钢琴作品应该在高师钢琴教学中占有重要的地位,应该和西方教材一起共同列入教学计划之中.运用中国作品进行钢琴教学,要遵循某些原则,处理好中西方练习曲的对应关系,选择