1) labelled transition system
标号变迁系统
1.
Secondly, the basic theory, definition, and properties of the labelled transition system (LTS) are given.
然后 ,介绍标号变迁系统 (L TS)的形式化理论的定义和基本性质 ,利用 L TS,给出测试例、测试集以及测试生成的形式化定义 。
2) LTS
标号迁移系统
3) Labeled transition systems(LTS)
标签变迁系统
4) timed labeled transition system
时间标号迁移系统
5) aspect system
标号系统
6) minus system
变号系统
1.
A new method based on adjoint system and minus system to compute unstable equilibrium points on the stability boundary of power system classical model is proposed.
提出一种基于伴随系统和变号系统的求解电力系统经典模型稳定边界上不稳定平衡点的方法。
补充资料：标号
①某些产品用来表示性能（大多为物理性能）的数字。如水泥因抗压强度不同，而有200号、300号、400号、500号、600号等各种标号。②泛指标志和符号。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条