|
关注：1
2013-05-23 12:21
求翻译：Automata models of specifications are named as SPl and SP2.For detailed computation of specifications, the reader is referred to[ 16]. Let us nowapply the supervisory control theory (SCT) to obtain modular supervisors (MODSUPl and MODSUP2) and their control data (CDATl and CDAT2). To accomplish this task, the Supcon()a是什么意思？ 待解决
 悬赏分：1
- 离问题结束还有
Automata models of specifications are named as SPl and SP2.For detailed computation of specifications, the reader is referred to[ 16]. Let us nowapply the supervisory control theory (SCT) to obtain modular supervisors (MODSUPl and MODSUP2) and their control data (CDATl and CDAT2). To accomplish this task, the Supcon()a
问题补充： |
|
2013-05-23 12:21:38
规格自动机模型被命名为SPL和SP2.For的规格的详细计算中，读者可参考[16] 。
|
|
2013-05-23 12:23:18
正在翻译，请等待...
|
|
2013-05-23 12:24:58
规格自动机模型被命名作为简单程序设计语言，并且SP2.For规格的详述的计算，读者提到( 16)。 让我们nowapply监督控制理论 (SCT) 得到模件监督员 (MODSUPl和MODSUP2) 和他们的控制数据 (CDATl和CDAT2)。 要完成这项任务， TCT软件()Supcon() 和Condat规程使用如下：
|
|
2013-05-23 12:26:38
胞自动机模型的规格被称为 SPl 和 SP2。详细计算的规格，读者被指 [16]。让我们 nowapply 监控理论 （SCT） 来获取模块监控器 （MODSUPl 和 MODSUP2） 和其控制数据 （CDATl 和 CDAT2）。完成这项任务中, 控 () 和 Condat() 程序的 TCT 软件使用，如下所示：
|
|
2013-05-23 12:28:18
规格的自动装置模型命名被为 SPl 和 SP2.For 详细说明规格的计算，读者被参考 to( 16)。nowapply 让我们监控的控制理论 (SCT) 获取模块化的管理员 ( MODSUPl 和 MODSUP2 ) 和他们的控制数据 ( CDATl 和 CDAT2 )。完成这项任务， TCT 软件的 Supcon() 和 Condat() 程序是用作接踵而来：
|
湖北省互联网违法和不良信息举报平台 | 网上有害信息举报专区 | 电信诈骗举报专区 | 涉历史虚无主义有害信息举报专区 | 涉企侵权举报专区
