fecher meaning in Chinese
费克尔
Examples
- 25 fecher h , majster - cederbaum m , wu j . action refinement for probabilistic processes with true concurrency models
经过扩充，本文提出的动作精化理论更具有一般性和实用性。 - University of twente , 1996 . 5 fecher h , majster - cederbaum m , wu j . bundle event structures : a revised cpo approach . information processing letters , 2002 , 83 : 7 - 12 . 6 katoen j - p , langerak r , brinksma e , latella d , bolognesi t . a consistent causality based view on a timed process algebra including urgent interactions
基于此，本文扩展了传统的动作精化理论，研究具有时间指标的并发系统的动作精化理论，在我们研究的并发系统中，时间指标是系统的一个重要参数，动作的执行也是需要消耗时间的，并且紧急事件也被扩充到可以是任何事件，而不仅仅是超时事件。 - 11 katoen j - p , langerak r , latella d , brinksma e . on specifying real - time systems in a causality - based setting . lecture notes in computer science 1135 , 1996 , pp . 385 - 405 . 12 fecher h , majster - cederbaum m , wu j . refinement of actions in a real - time process algebra with a true concurrency model
在系统模型的结构表示上，本文扩充了传统的事件结构，使用一种带时间信息的捆绑式事件结构来模拟系统行为，在系统模型的语言刻画上，本文采用的是带时间的类lotos进程代数描述语言，对于动作精化，我们同样采用算子的观点，将动作精化定义为一个操作算子。