对于并发传值系统抽象模型的选取直接影响其模型检测的效率。
The choice of abstract models for value-passing concurrent systems directly influences the efficiency of model checking.
本文的研究工作主要由对实时传值系统和实时移动系统的建模和分析组成。
The main work of the thesis consists of modeling and analysing real-time value-passing systems and real-time mobile systems.
对并发传值系统进行模型检测需要建立相应的抽象模型，带赋值的符号迁移图是一种广为使用的抽象模型。
To model check a value-passing concurrent system, an abstract model must be constructed, and Symbolic Transition Graphs with Assignment is such an abstract model.
D {format}：括弧里的字符串被传递给strftime(3)函数，返回值填充到提示符中。如果不传参数，会按照系统默认的当地时间格式来显示。
D {format} : the format is passed to strftime (3) and the result is inserted into the prompt string; an empty format results in a locale-specific time representation.
电子秤主要由承重系统、传力转换系统和示值系统三部分组成。
Electronic balance is composed of a bearing system, power conversion system and show the value of the system is composed of three parts.
电子秤主要由承重系统、传力转换系统和示值系统三部分组成。
Electronic balance is composed of a bearing system, power conversion system and show the value of the system is composed of three parts.
应用推荐