> 硕士毕业论文 > 30000字硕士毕业论文基于过程代数的多访问协议模型的研究与实现

30000字硕士毕业论文基于过程代数的多访问协议模型的研究与实现

论文类型:硕士毕业论文
论文字数:30000字
论点:进程,程序,模型
论文概述:

本文研究的背景计算机科学从诞生开始就是一门发展迅猛的学科,而且应用范围广泛,渗透到社会生活中的各个领域,如天气预报、图像处理和各种信息管理支持系统都会用到计算机来处理数据

论文正文:

  第一章绪论         1.1本文研究的背景计算机科学从诞生开始就是一门发展迅猛的学科,而且应用范围广泛,渗透到社会生活中的各个领域,如天气预报、图像处理和各种信息管理支持系统都会用到计算机来处理数据。而计算机科学在发展的过程中也遇到了很多问题,如当今大家所关注的进程的并发问题。简单介绍一下并发问题:在计算机发展的初期,还没有操作系统,计算机至始至终执行地一个程序,这个程序直接访问机器的所有资源。这样的一个程序运行在没有保护的硬件上,写起来相当困难。由于每次只能运行一个程序,不能很好的利用计算机的硬件资源,比如程序访问内存的时候,处理器空闲出来,浪费了宝贵的处理器时间。如何充分利用资源,即让多个程序同时在一计算机上执行不浪费资源,就产生了并发。         程序的并发带来了很多问题,如公平性:程序A和程序B同时在计算机上执行,可能程序A执行了很长的一段时间,而程序B却一点也没有执行;还有临界资源的访问问题:程序C和程序D都需要访问打印机,如果程序C访问打印机打印了一行就退出,程序D接着执行程序打印了一行也退出了执行,程序C和程序D如是反复,结果打印出来的东西很乱导致无法阅读,也得不出想要的结果。如何描述和控制程序的并发是当今计算机科学界所关注度的热点问题之一。我们知道,计算机非常重要的一个用途是用来通信,而通信需要多个协议参与,在计算机的各种的协议中,描述的并发的不在少数。如何描述这些协议,如何确保这些协议的正确性。出现了很多方法来刻划网路协议,如Petri网,形式化方法等。其中在形式化方法中一个十分重要的分支一进程代数,进程代数中主要有三种,CCS(TheCalculusofCommunicatingSystems通信系统演算)、二演算(二Calculus)和CSP(CommunicatingSequentialProcesses通信顺序进程)。CSP是C.A.R.Hoare提出的,是面向分布式系统的程序设计语言;CCS是和二演算RobinMilner发明的,分别是用于描述通信并发系统和移动通信并发系统的代数理论。        1.2相关领域的研究状况在进程代数的各个分支中,CSP和CCS是最为著名的两种。在CSP语言中,一个并发系统由若干并行运行的顺序进程组成,进程之间通过通道传递消息来进行通信,每个进程不能对其他进程的变量赋值。进程之间只能通过一对通信原语实现协作:(}->x表示从进程Q输入一个值到变量x中:Px,同时Q进程执行P