您要查找的是不是:
- 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. 她被推举为模范工作者。