文档介绍：摘要究了支持异质鞯墓瘫咎搴突诠瘫咎宓囊熘蔄协作技术。С忠熘蔄协作的过程本体技术研究:针对为异质魈峁┕蚕及相关研究人员的研究成果,采用承诺/约定和联合承诺联合意图给出了协作的关键问题;然后从技术角度分析了开放动态环境下的异质魉动态环境下异质男骰艭近年来,在开放网络环境下实现跨组织的灵活复杂的应用已经成为各领域的普遍需求,随着投郃系统它们越来越被认为是构建这种复杂分布式应用的合适范例,在这种抽象下,各种复杂的系统功能通过可能是来源于不同组织的异质涞男骼戳榛畹厥现。因此,研究开放动态的网络环境下的异质魇蔷哂兄卮笠庖宓墓残技术问题。传统的骷际跬ü杓普咴诙郃系统中隐含定义共享的过程框架来保障计算的连贯性,并不适用于开放动态环境下的异质鳌K孀偶际的发展,本体技术为开放环境下的异质魈峁┝撕艽笾С郑悄壳氨体支持下的异质鹘鼋鼍窒抻谥С諥的通信和服务的匹配等,并没有充分利用本体的作用,不能从根本上改善鞯男省R虼耍疚闹饕Q语义支持这个目的,本文首先分析了多低辰:投郃协作对过程语义灰源宋F鸬悖出能够表示复杂过程的过程本体规范说明。该规范说明以描述逻辑为逻辑基础。使得建立的过程本体和语义南钟斜曜枷嗉嫒荩芄环⒉荚赪上,从而异质梢晕薅逍缘胤梦屎褪褂谩K婧蟊疚奶岢隽艘恢只贒娣兜过程本体建模方法,研究了基于规范的过程本体知识库的组成、基本公理和基本推理任务,最后给出了过程本体的检测准则及相应的检测方法。作的形式化框架,及基于该形式化框架的鞴蹋永砺凵戏治隽薃要的支持技术。在这些工作的基础上,设计动态开放环境下异质鞯奶最后研究了在本文提出的协作空间和协作管理技术的支持下,如何利用过程本体支持异质行鳎ㄐ鞯慕ⅰ⒅葱泻图嗫兀岢鲆恢中滦偷目7,技术的发展,本文的主要工作如下:的需求,以及几种具有代表性的过程描述、表示或规范说明语言,确定支持协作的最核心的建模元素及这些元素之间的关系恢只诠瘫咎宓囊熘蔄协作方法:首先根据和系结构,建立基于过程本体的开放环境下异质男骺占浜托鞴芾砑际酢嫦蛞熘蔄协作机制的杓坪褪迪旨际酰捍覣国防科学技术大学研究生院博士学位论文第
⒌墓瘫咎逵階的开发过程对应起来,对如何以过了研究,降低了7⒌哪讯龋币脖苊饬酥J豆こ淌τ胂低晨7⑷嗽敝亩嘞叱淌迪旨际醴矫妫岢龅果表明扎镰峁故强尚械模芄怀て诔中刈灾髟诵校⒂行У赝瓿计和开发姆椒ǎ喝绾胃莨瘫咎迳杓坪涂7⒁桓鯞哉匠∮土媳U贤缥Sτ帽尘埃7⑹迪至嘶诙郃的油料保障网络程本体,使用前面提出的面向腁设计建模方法和的多线程实现技术来开发各个辉谑笛樵诵械耐缬北U喜糠郑匝榱吮疚奶岢的一种基于过程本体的异质男骷际酰訟注册角色、发起协作、寻找协作者和协作完成网络应急供油进行了试验。通过原型系统的运行,<际酢⒒诠瘫咎宓腁协作技术和面向了开放动态环境下支持异质鞯耐ㄓ霉瘫咎濉⒒诠瘫咎宓囊熘骰坪突诠瘫咎宓腁设计和开发方法,为研究异质男作以及提高男餍侍峁┝诵碌募际跬揪叮杂谕平7哦肪诚乱质系统协作和集成具有一定的理论价值和应用价值。主题词:过程本体、异质协作、多低场语义⒂土媳U贤国防科学技术大学研究生院博士学位论文模型出发,本文给出了一种利用过程本体提供的知识来进行杓平5姆法,及一种亩嘞叱淌迪旨际趵纯7。该设计建模方法将知识工程本体为基础来分析和设计哪诓吭K例如信念、目标和计划等间可能产生的不一致。在结构明确表示了男拍睢⒃竿鸵馔肌8媒峁乖贛台中得到了实践和应用,平台已经通过了多项应用实例的测试和评估,结各种推理、协作等智能行为。然后本章给出了如何利用过程本体提供的知识来设男拍睢⒛标、能力和计划。并在此基础上研究了相应的计划执行技术。系统,从实践上证明了本文的计算模型和实现技术的可行性。⒂土媳U贤缌煊蛑械墓的杓坪褪迪旨际酰邮导现っ髁吮疚牡难芯砍晒挠行浴综上所述,本文针对开放动态环境下的异质魑侍猓葱滦缘靥岢第
妇緎“.,籗甈琒甋.,.’甋畉.,,.瓵
瓵,.,国防科学技术大学研究生院博士学位论文畁地鯽.,:疭瓹琣.,,第页瓸.,.
琲籔国防科学技术大学研究生院博士学位论文琌】第.,.,
表目录表且∞的语法和语义⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯。表国防科学技术大学研究生院博士学位论文诵牡幕靖拍睢诵牡幕竟叵怠诵牡幕竞表状态转换操作⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯峁┑幕痉瘛苹嫉耐祭怼表单位的属性表⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯表作战单位的属性表⋯⋯⋯⋯⋯⋯⋯⋯⋯表区域保障中心的属性表⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯表上级油料中心的属性表⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯⋯氖粜员怼氖粜员怼氖粜员怼的属性表⋯⋯.氖粜员怼表氖粜员怼第Ⅳ页⋯⋯⋯⋯⋯⋯⋯⋯⋯