基于petri网的文件传输的几个关键技术研究

《基于petri网的文件传输的几个关键技术研究》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、西华大学硕士学位论文结语..........................................................................................................................39参考文献....................................................................................................................41攻读硕

2、士学位期间发表的论文及科研成果..................................................................44致谢..........................................................................................................................45IV西华大学硕士学位论文引言1.1研究背景及意义随着互联网的快速发展，互联网上的信息资源爆炸式的增长，互

3、联网的用户也在快速的增长，网络上的信息数据传输越来越频繁，这对网络和计算机的性能都是严峻的考验。计算机网络上的一切信息资源都可视为文件，网络上文件传输的效率决定整个网络的通信性能，因此，对于文件传输的研究是网络研究的一个重要内容之一。网络上的通信问题主要研究如何对网络上的通信任务进行合理的规划安排，解决共享网络节点的冲突问题,优化网络通信的并行处理过程，使其可以有效的减少数据传输的时间,提高网络[1,2]的通信性能。网络上的文件传输的过程是严格并发的、异步的，不同的传输顺序使得文件传输的时间可能不同。如何处理好并发环

4、境下的信息交换，这里存在着一个同步问题。信息同步指的是发送、传递和接收信息的动作之间的同步，同步的形式有多种，卫星和地球的同步，要求他们有同样的角速度，从而相对位置保持不变，乐队指挥要求所有人与他人同步，所谓同步，Petri网理论给出了同步距离的概念，这个定义描述了两个并发事件的相互依赖度，也就是说，一个事件的发生依赖于另外一个事件的发生。另外，文件传输过程中存在着一个资源调度问题，串行的资源调度在最优化理论中得到了很好地解决。但是，在并发环境下，存在着一个通讯的带宽问题（可以用流的概念加以描述）和文件之间的依赖度问

5、题（同步距离）。另外，在实时系统中，带宽的大小可能因为某种原因而变化，在这样的约束下，如何组织文件的传输是一个复杂系统的资源调度问题，这一[3]问题一直是我们比较感兴趣的问题。在计算机网络资源管理中，存在着太多没有解决好的问题，这就使得计算机网络是一个实实在在存在的东西，而它又是理论和应用技术层面上需要日趋完善的。传统软件开发方法在设计和分析过程中，使用了大量的自然语言和多种图形符号。虽然使用这些分析和设计方法可以进行高质量的软件开发，但是在这些方法中，系统规格说明可能包含二义性、含糊性、不完整性及抽象层次混杂等问题

6、。这对软件开发质量的保证和开发成本的控制都带来了极大的不便，尤其是对安全性要求很高且完成重要任务的关键系统，任何微小的软件错误都可能导致生命危险和严重的经济后果。形式化开发方法可以帮助软件工程师创建更为简洁、准确、无歧义的规格说明，进而通过严格的验证分析发现设计及开发过程中的不一致性、模糊性和不完备性，以达到对软件质量、开发成本及开发进度的有效控制。大型系统的设计应该采用形式化的方法。形式化方法1西华大学硕士学位论文是建立在严格数学基础上，具有精确数学语义的开发方法。形式化技术具有改善系统开发质量和提高工程效率的潜能

7、，在系统的开发过程中具有十分重要的作用。作为形式化方法应该首先选取恰当的计算模型，由于网络环境是一个并发环境，因此，描述它的计[4]算模型应是并发的模型。在众多并发的计算模型中，Petri网不失为一个较好的模型。它特别适合描述离散事件系统的顺序、并发、冲突以及同步等现象。作为一种系统的描述工具，Petri网不仅直观表达，而且以形式化的方式准确的刻画系统的静态结构，同时通过其静态结构反映系[3,5]统的动态行为。随着人们对文件传输的深入研究，文件传输的模型也从一对一的传统方式转变为多对多的P2P方式，P2P通信方式的出

8、现使得文件传输的模型进一步复杂化，对文件传输问题的分析变得更为困难和复杂。典型的P2P协议有：Napster、Guntella、eDonkey、eMule、BT等。通过传统的解线性方程的方法来控制文件传输的顺序已经变得难以实现，而且这种方法缺乏灵活性及直观性。使用Petri网来描述文件传输系统，可以更好的抓住问题的研究重点，忽略系统的细节，从而