您要查找的是不是：
- This paper presents a formal approach to specify security model based on the theory of finite state machine(FSM) and the concept of communicating sequential process (CSP). 本文基於有限狀態機（FSM）的理論，結合通信順序進程（CSP）的概念，提出了一種開發安全模型的形式化方法。
- The paper concludes by presenting a sequential model for the evolution of imprinting in mammals. 文章最後總結了在哺乳動物中印記演變所呈現的序列模式。
- In addition, the mapping relationship between main processes of CSP(Communicating Sequential Processes) and petri net is proposed. 此外，我們還分析和提出了CSP（通信順序進程）理論中主要進程與Petri網之間的映射關係。
- Regarding the tube quality from the simulation results, the hydroforming process which follows the loading curve generated by the batch model is better than by the sequential model. 研究結果顯示，依批次式所得的最佳負載曲線所成形的管件品質，優於依循序式最佳化策略所產生的品質。
- This paper first expresses a multimedia stream by two instantaneous events according to the CSP(Communicating Sequential Process) theory. Then the concept of time duration vector is defined and some computations on it are considered. 該文首先根據通信順序進程的理論 ;把一個多媒體流用兩個瞬時事件表示 ;並且定義了時間區間向量的概念和在它之上的一些運算 .
- Combined in this hybrid model are the techniques of the finite state machine (FSM), communication sequential process (CSP) and abstract data type (ADT). So this model has the best features of these three approaches at the same time. 本模型由有限狀態機FSM,通信順序進程CSP和抽象數據類型ADT結合而成,併兼有這3種技術的最佳特性,從而使得所描述的協議具有準確性、完全性和無二義性。
- A SEQUENTIAL MODEL ON PROTEIN DENATURATION 蛋白質變性的漸變模型
- communicating sequential process 通信時序處理
- A formal approach was presented on the basis of both Hoare's Communication Sequential Processes (CSP) and theoretical results of network formalization. 基於霍爾的「通信順序進程」和相關的網路形式化的理論研究結果，提出了一種網路故障管理的形式化方法。
- Communicating Sequential Process (CSP) CSP
- communicating sequential processes 通信順序進程
- communicating sequential processes (CSP) 通信順序進程
- Communicating Sequential Processes(CSP) 通信順序進程
- The method maintains the features of UML such as facilitating understanding,customization,guideline for practical application and extension from sequential modeling to parallel modeling. 該建模方法保留了UML易理解、易擴展和易於指導工程實踐的特點,便於從串列建模擴展到并行建模。
- The semantics of UML diagrams are expressed in the notation of Communication Sequential Process(CSP). Different view models of software architectures are linked together based on the CSP semantics. UML的圖形語義用通信順序進程CSP的符號表示,進一步,基於CSP的語義可以鏈接不同的軟體結構模型。
- The semantics of UML diagrams are expressed in the notation of Communication Sequential Process (CSP) .Different view models of software architectures are linked together based on the CSP semantics. UML的圖形語義用通信順序進程CSP的符號表示，進一步，基於CSP的語義可以鏈接不同的軟體結構模型。
- Standing by him was a model worker. 站在他旁的是一位勞動模範。
- I think I can get that special model for you. 我想我可以為你找到那種特別的型號。
- Specification of DEDS Based on the Communicating Sequential Process 基於通信順序進程的併發DEDS的規範和證實
- She has been held up as a model worker. 她被推舉為模範工作者。
