说明：双击或选中下面任意单词，将显示该词的音标、读音、翻译等；选中中文或多个词，将显示翻译。
您的位置：首页 -> 词典 -> 半代数变迁系统
1)  semi-algebraic transition system
半代数变迁系统
1.
This paper transformed Petri nets into a semi-algebraic transition system and presented an algorithm for generating the invariant of Petri nets,which was helpful to increase the accuracy of structural methods in calculating approximations of the reachability space.
将Petri网建模为半代数变迁系统,提出了自动生成不变式的算法,该不变式有助于更好地分析Petri网可达空间。
2)  semi-algebraic system
半代数系统
1.
The method firstly assumed the invariant of Petri nets as a parameterized system,and then evaluated para-meters in the invariant by solving the corresponding semi-algebraic system.
算法首先将Petri网的不变式假定为一个含参数系统,然后通过求解半代数系统来求解不变式中的参数;最后,基于DISCOVERER和QEPCAD等Maple软件包实现了该算法,并通过实例说明了算法的有效性。
更多例句>>
3)  semi-algebraicsystem
半代数系统约束
例句>>
4)  predicate/transition system
谓词/变迁系统
1.
In this paper,predicate/transition system is used as the framework model of computational grid in h.
但是目前网格系统尚无一个清楚的定义,因此基于网格语义,通过高层抽象,用谓词/变迁系统给出计算网格的框架模型。
5)  Labeled transition systems(LTS)
标签变迁系统
6)  labelled transition system
标号变迁系统
1.
Secondly, the basic theory, definition, and properties of the labelled transition system (LTS) are given.
然后 ,介绍标号变迁系统 (L TS)的形式化理论的定义和基本性质 ,利用 L TS,给出测试例、测试集以及测试生成的形式化定义 。
补充资料：代数系统

代数系统也称为近世代数或抽象代数，是近代数学的重要分支。

一个非空集合a和a上的封闭运算o1,o2,o3,...,on所组成的系统称为一个代数系统，记为<a;o1,o2,o3,...,on>。

说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条