- 更多网络例句与抽象自动机相关的网络例句 [注：此内容来源于网络，仅供参考]
-
Through research, we abstracted define the model is a finite automaton.
通过研究，我们抽象地定义：模型是一个有限自动机。
-
2Combined design data of rapid-fire guns,the machine structure have beenabstracted reasonable computation model of reduction.The equations thatdescribe relative motion and relative force about between moveable elements havebeen deduced.
2根据某型自动火炮的设计资料并进行合理的简化将具体的机械结构抽象成合理的计算模型，推导出描述自动机可动部件之间相互作用及相对运动的具体表达式。
-
Firstly, system model depicted by TSIOA is transformed into an USTGSS (untimed stable label transition graph of symbolic state) which does not contain abstract time delay transitions. Then, the testing methods based on LTS are used to the generate transition sequences from USTGSS according to structural coverage criteria. Finally, a process of constructing and executing the test cases is given, in which object functions of time delay variables are imported, and time delay variables used in the transition sequences are solved dynamically by linear programming techniques.
该方法首先将时间安全输入/输出自动机描述的系统模型转换为不含抽象时间延迟迁移的稳定符号状态迁移图(untimed stable transition graph of symbolic state，简称USTGSS)；然后采用基于标号迁移系统(labeled transition system，简称LTS)的测试方法来静态生成满足各种结构覆盖标准的包含时间延迟变量迁移动作序列；最后，给出了一个根据迁移动作序列构造和执行测试用例的过程，该过程引入了时间延迟变量目标函数，并采用线性约束求解方法动态求解迁移动作序列中的时间延迟变量。
- 更多网络解释与抽象自动机相关的网络解释 [注：此内容来源于网络，仅供参考]
-
abstract algebraic geometry：抽象代数几何
abstract algebra 抽象代数 | abstract algebraic geometry 抽象代数几何 | abstract automaton 抽象自动机
-
abstract automaton：抽象自动机
abstract algebraic geometry 抽象代数几何 | abstract automaton 抽象自动机 | abstract category 抽象范畴
-
abstract automaton theory：抽象自动机理论
AMR automatic message-registering 自动信息记录 | abstract automaton theory 抽象自动机理论 | autonomous automaton 自动自动机