并发计算

线性逻辑、Petri网和并发计算

Linear Logic , Petri Nets and Concurrent Computation

并发计算模型是计算机科学研究的重要问题之一。

Concurrent computation model is one of the most important problems in theoretical computer science .

试图把g演算（一种基于约束的高阶并发计算模）也包含在action演算簇的框架下。

In this paper , action calculi is used to include g-calculus ( a computational calculus for higher-order concurrent programming ) in its setting .

并发计算范型：CCS和π-演算

The Paradigms of Concurrent Computations : CCS and π - Calculus

并发计算的元模型Ⅰ.图模型

Meta Model of Concurrent Computation ⅰ . Graph Model

并发计算的元模型Ⅲ.互模拟格

Meta Model of Concurrent Computation ⅲ . Bisimulation Lattice

并发计算的元模型Ⅴ.并发模型间的关系

Meta Model of Concurrent Computation V. Relating Models

并发计算的元模型Ⅳ.公理化

Meta Model of Concurrent Computation ⅳ . Axiomatization

与此同时，并发计算本身固有的复杂性，使得并发系统的研究和开发非常困难，系统的正确性和可靠性难以得到保证。

Meanwhile , the intrinsic complexity of concurrent distributed computation makes the investigation and development of concurrent distributed system very difficult , and the correctness and dependability of such kind of system is too difficult to be assured .

Petri网系统是一种适合于描述异步并发现象的计算模型，具有坚实的理论基础和成熟的分析技术，并且利用Petri网建立的模型有着良好的直观图形和有力的分析技术支持。

The Petri net system is one kind computation model suits in the description asynchronous concurrent phenomenon , has the solid rationale and the mature analysis technology , and the model which establishes using the Petri net has the good visual picture and the powerful analysis technical support .

即使是四核心处理器带有超执行绪功能也只能提供8个并发线程的并行计算能力。

Even Quad core processor with Hyper Threading enabled can offer only 8 concurrent threads parallel computing capability .

为解决该问题，论文提出基于波长标记轮换的并发冲突避免技术，在尽可能不同的波长平面为并发业务计算路由。

To solve this problem , the dissertation proposes a wavelength-alternation-based ( WA ) concurrent collision avoidance scheme , which tries to calculate routes for concurrent connection requests in different wavelength channels .