基于Pi演算的SDLO学习服务建模研究.pdfVIP

第37卷第9期 西南师范大学学报(自然科学版) 2012年9月 7 No．9 ofSouthwestChinaNormal ScienceEdition) 2012 V01．3 Journal University(Natural Sep． 004804 文章编号：1000—5471(2012)09 基于Pi演算的SDLO学习服务建模研究① 李 静 宜春学院数学与计算机科学学院，江西宜春336000 摘要：根据Pi演算对SI)I。O学习服务进行建模，并通过实验证明所建立的基于Pi演算的SDI．O学习服务模型具有 合理性和可行性． 关 键 词：Pi演算；超级分布学习对象；学习服务 中图分类号：TP311 文献标志码：A Pi演算是在CCS语言基础之上创建的一种用于描述并发计算的形式化语言，是一种移动进程代数，其 主要特点是可用于对并发和动态变化的系统进行建模nJ．学习服务是执行指定SDLO(super learning 原语所需要的参数和执行的动作．对于用户来说，学习服务精确地定义了他们所期望的服务．SDI．O学习 服务是其分布性、通信性和协作性等特性的重要体现比J． Pi演算的基本计算实体为名字和进程，通过传递名字完成进程间的通信，并具有建立新通道的能力， 因此Pi演算可以用来描述不断变化的并发系统．而SDI，O学习服务本身即是一种分布式、并发动态变化的 系统行为，并且通过MWB工具，可以验证并发系统是否存在死锁．Pi演算的这些优点决定了其非常适合 作为对SDI．()学习服务的形式化建模方式． 建立概念模型是对问题进行分析的第一步，本文将进程代数Pi演算理论引入到SDLO学习服务建模 中，对复杂的、动态变化的、并发运行的SDI。O学习服务进行了形式化建模，并对所建模型的合理性、可行 性进行了分析验证，确保了模型的正确性，避免了模型实施过程发现错误的修改周期长、代价大等缺陷． 1 Pi演算简介 Pi演算∽“是一种并发计算模型，其基本建模单元为名字和进程．进程是并发运行实体的单位．进程 通过传递名字进行交互．系统由进程的集合构成．本文仅给出Pi演算的基本语法定义，有关Pi演算的详细 内容请参阅文献[34]． 2 SDLo及其学习服务简介 定义1 SDI。O SDI。O是引入了超级分布对象性质的学习对象，一方面具有学习对象的可重用和可重组性，另一方面 又具有超级分布对象的分布性、自治性、互操作性和协作性． Service) 定义2学习服务(Learning ①收稿日期：2012—02—27 598)． 基金项El：江西省教育厅科技计划项目(GJJll 作者简介：李静(1980一)，女，河南沈丘人，讲师，硕士，主要从事人工智能方面的研究 第9期 李 静：基于Pi演算的SDLO学习服务建模研究 49 学习服务是执行指定SDLO功能的信息服务程序，用于支持SDI。O之间的互操作和协作，它描述了可 用的原语，以及原语所需要的参数和原语执行的动作．SDI。O提供的学习服务主要有：寻找学习伙伴、协作 服务、发起交流、回收资料和特征文件初始化服务． 统开发人员、监控人员和维护人员对系统的理解不一致，并且不便于动态模拟系统的运行情况，不利于检 查系统中存在的设计缺陷． 3 基于Pi演算的SDLO学习服务建模 概念模型主要按照问题的需求对数据和信息进行建模，建模的目的在于使复杂的、模糊的社会现象、 物理现象抽象为可操作、控制的模型，并通过对模型的研究，获得其变化的规律，从而实现对现象的研究． SDLO可以看成是一个具有自主能力的对象，SDI。0旦 内部以及SDI．O之间的行为都具有并发性，这种并发性鑫 囤 圈 圈 圈 易地表示出具有动态结构的进程内及进程问的交互．本 U ’丫查找藉f表．^ ； i 震篇戮耄篙篙