抽象自动机
- 与 抽象自动机 相关的网络例句 [注：此内容来源于网络，仅供参考]
-
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)的测试方法来静态生成满足各种结构覆盖标准的包含时间延迟变量迁移动作序列；最后，给出了一个根据迁移动作序列构造和执行测试用例的过程，该过程引入了时间延迟变量目标函数，并采用线性约束求解方法动态求解迁移动作序列中的时间延迟变量。
- 推荐网络例句
-
For a big chunk of credit-card losses; the number of filings (and thus charge-off rates) would be rising again, whether
年美国个人破产法的一个改动使得破产登记急速下降，而后引起了信用卡大规模的亏损。
-
Eph. 4:23 And that you be renewed in the spirit of your mind
弗四23 而在你们心思的灵里得以更新
-
Lao Qiu is the Chairman of China Qiuyang Translation Group and the head master of the Confucius School. He has committed himself to the research and promotion of the classics of China.
老秋先生为中国秋阳翻译集团的董事长和孔子商学院的院长，致力于国学的研究和推广。