【摘 要】
：
组织是群体对抗的主要形式。一个好的组织模型有利于提高规划识别的精度和效率。封箱(seal)演算是π-演算的变体。将封箱演算引入动态联盟组织模型建模中,为组织模型的形式化
【机 构】
：
中国科学院软件研究所综合技术集成国家重点实验室,中国科学院软件研究所综合技术集成国家重点实验室 北京100084,北京100084
论文部分内容阅读
组织是群体对抗的主要形式。一个好的组织模型有利于提高规划识别的精度和效率。封箱(seal)演算是π-演算的变体。将封箱演算引入动态联盟组织模型建模中,为组织模型的形式化研究提供新的手段。利用封箱演算工具,给出了形式化组织模型,提出了一种基于角色的层次性组织生成方法,并讨论了由于角色变化带来的组织动态调整。
Organization is the main form of group confrontation. A good organization model is helpful to improve the accuracy and efficiency of planning identification. Seal calculus is a variant of π-calculus. The sealing calculation is introduced into the modeling of dynamic coalition organizational model, which provides a new method for the formal research of organizational model. Using the sealing calculation tool, a formalized organizational model is given, a method for generating hierarchical organization based on roles is proposed, and the organizational dynamic adjustment due to the change of roles is discussed.
其他文献
我厂采、掘、装、运等工序都机械化了,唯储矿场卸矿工作,仍然是人推矿车,人翻矿车,劳动强度大,占用人员多,卸矿效率低,事故多,生产任务经常完不成,是我厂老大难问题之一。在
目的:探讨低分子肝素在青光眼小梁切除术中抗瘫痕形成的作用方法:1.实验动物及分组健康新西兰大白兔27只(54只眼),体重2.0-2.5kg,雌雄兼用,由南昌大学医学院动科所提供,常规
随着社会经济和科学技术的进步,人类与自然界的矛盾日益加剧,人们越来越意识到在发展的基础上保护生态的重要性,生态学和生态哲学为人类的发展提供了科学的依据,也为人们思考
传统英语教学以升学为目的,以单一讲解英语知识点的灌输式教学为手段,以考分作为评价的唯一标准,脱离语境,脱离实际,脱离现代化的教学手段,教育出了很大一批连简单对话都难以
高效课堂就是要最大限度地、在规定的时间内、最完美地实现教育教学“三维目标”的整合,以求得课堂教学的最大效益,全面提升学生素质。高效课堂的构建已成为国内外教育改革的
过程写作法旨在管理学生的写作行为,是一种英语写作的新型教学模式。学生在整个写作过程中通常会经历预写作(prewriting)、打草稿(drafting)、修改(revising)、校订(editing)
晋芝２号原名汾芝１号，由山西省农科院经济作物研究所系统选育而成，１９９５年４月经山西省农作物品种审定委员会第２１次会议审定通过，命名为晋芝２号。１选育经过为了填补我省芝麻育种空白，育成我省自
一、存在的问题为全面而真实地掌握留守学生英语学习情况,了解现状,发现问题原因,找出解决问题方法,笔者通过问卷调查,并辅以访谈方式,在南京市溧水区,对父母不在身边的高一
连云港水泥磨自动控制系统分三层:现场数据采集层、控制层、上位机管理层,整个系统主要完成生产过程控制、故障智能管理、数据采集、工艺显示、历史数据存储、故障报警等功能
主体间性最早是由拉康提出来的,他认为,主体是由其自身存在结构中的“他性”界定的,这种主体中的他性就是主体间性。主体间性概念的最初步的涵义是主体与主体之间的统一性。