基于对象的分布式Pi演算研究

【摘要】随着硬件技术和大数据需求的增加，分布式技术也在不断发展革新。如何有效的描述分布式环境下的进程通信过程也是研究的主要问题之一。本文提出了异步Pi演算的一种扩展形式—DOPi演算，主要对分布式环境中处于不同计算环境内的进程通信过程进行建模，它将边界这一抽象概念通过迁移算子等具体的表达式引入到Pi演算中，可以清晰的刻画进程在不同作用域内的移动通信。通过将新的迁移算子与Pi演算操作语义融合，保留了异步Pi演算的异步并发特性，降低了扩展复杂度，弥补了Pi演算无法直接对分布式跨边界交互系统进行建模的不足。本文的后半部分给出了DOPi演算在实际应用系统中的建模能力，通过对具有对象特性的语言进行语义建模和分析，对如何将演算向编程实现转化这一问题给出了解决方法，并在最后给出了使用具体的面向对象编程语言对文中提出的交互实例模型进行实现的过程。本文提出的演算具有良好的分布式通信描述能力，同时为繁琐复杂的形式化模型向编程实现提供了转换依据，具有一定的现实意义。
【作者】山丹；
【导师】康辉；
【作者基本信息】吉林大学，计算机应用技术，2014，硕士
【关键词】DOPi演算；移动通信；对象；语义分析；IMC框架；

【参考文献】
[1]冯通.认知无线电中的K秩协作频谱检测研究[D].海南大学,通信与信息系统,2014,硕士.
[2]白鑫.城市轨道交通信号系统关键技术研究[D].西南交通大学,交通信息工程及控制,2003,硕士.
[3]周世昊,倪衍森.基于类-属性关联度的启发式离散化技术[J].控制与决策,2011,10:1504-1510.
[4]任千伟.基于ARM的G-SOFM图像识别算法研究和应用[D].辽宁工程技术大学,控制理论与控制工程,2012,硕士.
[5]薛宇.持续类时间副词及其习得偏误研究[D].黑龙江大学,语言学及应用语言学,2013,硕士.
[6]贾凯.营销渠道与客户关系管理[J].金融电子化,2005,09:28-31.
[7]韩茗.商代至汉代牙形玉饰的考古学研究[D].中国社会科学院研究生院,故宫学（专业学位）,2014,硕士.
[8]黄运旋.背俞穴埋线治疗失眠症的临床研究[D].广州中医药大学,针灸推拿学（专业学位）,2013,硕士.
[9]李璐.超局墩连续刚构桥桥墩构造及稳定研究[D].重庆交通大学,桥梁与隧道工程,2012,硕士.
[10]石夏寒.2010-2012年《金字塔报》涉华报道研究[D].北京外国语大学,阿拉伯语语言文学,2013,硕士.
[11]谢金山.中小企业领导风格评价[D].浙江大学,2002.
[12]张永发.2009-2011年湖南省高考英语完形填空测试的效度对比研究[D].湖南师范大学,学科教学（专业学位）,2013,硕士.
[13]戴智勤.安徽省麻疹流行病学特征及强化免疫效果研究[D].复旦大学,公共卫生,2012,硕士.
[14]刘艳,刘国良,顾雪平.输电网架恢复方案线路投运风险评估[J].电力系统自动化,2011,13:12-16.
[15]何淮花.和谐社会视阈下的江西省高校体育弱势学生群体参与身体锻炼的现状及对策研究[D].南昌大学,体育人文社会学（专业学位）,2012,硕士.
[16]宋秋艳1,陈根祥2,赵明根3,李桐1.咔唑-苯并噻唑类衍生物薄膜的线性及非线性光学性质[J].光子学报.
[17]刘超.黄河上游龙、刘两库汛期入库径流量中期预报方法比较研究[D].西安理工大学,水文学及水资源,2004,硕士.
[18]郭新春,宁提纲,李晶,李超.基于偏芯结构的光纤弯曲传感器及其特性研究[J].光电子.激光,2014,08:1476-1480.
[19]孙丽薇.秦观词和雪莱诗鸟意象比较研究[D].天津大学,语言学与应用语言学,2013,硕士.
[20]蒋明芮.法语地名的词汇学与社会语言学研究[D].四川外国语大学,法语语言文学,2013,硕士.
[21]解晨.基于Landweber重构的分布式压缩视频感知研究[D].苏州大学,计算机应用技术,2013,硕士.
[22]李伟胜,胥布工,汤玉峰.智能电网馈线终端一种高精度测频算法及应用[J].电力系统自动化,2014,11:109-115.
[23]韩瑜.歪头菜对UV-B辐射增强的响应及其cDNA文库构建[D].兰州大学,生态学,2013,硕士.
[24]王盛.P2P网络融资模式的风险管理[D].浙江理工大学,工商管理（专业学位）,2014,硕士.
[25]邓砚.中国地震应急的区域差异规律研究[D].中国地震局地质研究所,构造地质学,2003,硕士.
[26]吕颖,孙宏斌,张伯明,吴文传,马丽红.在线继电保护智能预警系统的开发[J].电力系统自动化,2006,04:1-5+53.
[27]董玥颖.mKATP在七氟烷后处理大鼠心肌保护作用中的影响[D].山西医科大学,麻醉学,2013,硕士.
[28]朱祖文.地源热泵典型垂直地埋管换热器数值模拟研究[D].浙江大学,供热、供燃气、通风及空调工程,2013,硕士.
[29]崔丽娜.基于特征点的虚实配准技术研究[D].北方工业大学,计算机应用技术,2013,硕士.
[30]李杨璐.彼得·沃克、玛莎·施瓦茨及丹·凯利的园林设计理念与手法比较研究[D].中南林业科技大学,园林植物与观赏园艺,2013,硕士.
[31]初秀兰.恶劣环境中的非接触式长度测量[J].冶金自动化,1991,02:56.
[32]刘贺.我国司法鉴定制度改革问题研究[D].辽宁师范大学,科学社会主义理论与国际共产主义运动,2012,硕士.
[33]王迎春.试析邓小平的文化思想[D].吉林大学,马克思主义理论与思想政治教育,2004,硕士.
[34]林小雷.RNA干扰沉默G9a基因对胃癌MCG803细胞增殖、凋亡及组蛋白H3K9甲基化的影响[D].福建医科大学,外科学,2014,硕士.
[35]王军.OGD对BBB体外模型中内皮细胞紧密连接蛋白及TEER的影响[D].华中科技大学,神经病学,2013,硕士.
[36]王京萍.安森公司供应商管理研究[D].山东大学,工商管理（专业学位）,2012,硕士.
[37]陶传宁.政治合法性与当代中国政治合法性演变[D].外交学院,科学社会主义与国际共产主义运动,2014,硕士.
[38]伍华新.江门G公司竞争策略研究[D].广东工业大学,工商管理,2013,硕士.
[39]侯静.滚动轴承支承圆锥齿轮啮合转子系统动力学研究[D].西安科技大学,工程力学,2013,硕士.
[40]薛冬燕.县级市行政服务中心优化服务问题研究[D].苏州大学,公共管理（专业学位）,2013,硕士.
[41]张成龙.异丁烯控制阳离子聚合及制备芳胺端基官能化聚异丁烯的研究[D].北京化工大学,材料学,2008,博士.
[42]程咏华.基于CUDA的医学图像3D可视化技术的研究[D].西南交通大学,计算机应用技术,2013,硕士.
[43]黎翔.中国制造业环境技术效率测度及其影响因素分析[D].江西财经大学,数量经济学,2012,硕士.
[44]高凯.宽频带圆极化微带天线的设计与研究[D].南京邮电大学,移动通信与无线技术（专业学位）,2013,硕士.
[45]潘舟金.基于蚁群的约束聚类和分类[D].扬州大学,计算机应用技术,2012,硕士.
[46]张永强.提高油页岩中页岩油提取率方法研究[D].吉林大学,应用化学,2014,硕士.
[47]杨雷.基于信号先验信息的DOA估计算法研究[D].哈尔滨工业大学,信息与通信工程,2013,硕士.
[48]唐琴.SAC305合金的热疲劳特性及复合/合金化对基体焊料性能的影响[D].重庆大学,材料加工工程,2014,硕士.
[49]李永杰.中子发生器控制台的设计与实现[D].东北师范大学,电路与系统,2012,硕士.
[50]吴曦华.广铁集团融资策略研究[D].湖南大学,工商管理,2011,硕士.