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

On Modeling SDLO Learning Services Based on Pi Calculus

作　　者：李静[1] 

机构地区：[1]宜春学院数学与计算机科学学院,江西宜春336000

出　　处：《西南师范大学学报（自然科学版）》2012年第9期48-51,共4页Journal of Southwest China Normal University(Natural Science Edition)

基　　金：江西省教育厅科技计划项目(GJJ11598)

摘　　要：根据Pi演算对SDLO学习服务进行建模,并通过实验证明所建立的基于Pi演算的SDLO学习服务模型具有合理性和可行性.Learning services are important in distribution and cooperation of SDLO （super distributed learn- ing object）, and strong support is provided in the knowledge communicating, sharing and creating, which can achieve the aim of distributed learning and cooperated learning. Pi calculus is a kind of mobile process algebra which can be used to model concurrent and dynamic systems. SDLO learning services are described and modeled based on Pi calculus in this paper. Then the model is verified by test data of experiment and the result indicates that the proposed model is rational and feasible.

关 键 词：PI演算 超级分布学习对象 学习服务 

分 类 号：TP311[自动化与计算机技术—计算机软件与理论]