自动机

The highway toll collector system was researched by using the finite automata theory.

利用有穷自动机理论研究了高速公路收费站的收费系统。

Data exchange was through files.As an example of DXF source file,it established an automaton of the line entity,traced red information through state transition graph.

以DXF格式源文件为例，建立图形实体自动机模型，通过状态转换图跟踪读取信息的轨迹；并给出了城市道路仿真模型在目标平台上重生成时的UML类图。

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)的测试方法来静态生成满足各种结构覆盖标准的包含时间延迟变量迁移动作序列；最后，给出了一个根据迁移动作序列构造和执行测试用例的过程，该过程引入了时间延迟变量目标函数，并采用线性约束求解方法动态求解迁移动作序列中的时间延迟变量。

Automatic machine parts and other types of precision components, tungsten steel parts manufacturing and processing services.

自动机零件及其他各类精密零件、钨钢零件制造与加工服务。

Trader ; security system ; security domain ; security service ; client ; server ; turing machine

交易器；安全系统；安全域；安全服务；客户；服务器；自动机

In order to improve the recognition performance, a keyword recognition strategy with the dialogue context embedded in it is proposed, including the expected focus given by the dialogue manager, the active lexicon/rules determined by the understander, and the recognition automata passed to the recognizer to direct the keyword recognition.

针对目前的各种语音识别方法在对话系统中性能不佳的现实，为改善对话系统的整体性能，提出对话语境知识指导下的关键词识别策略：利用对话管理器给出期待焦点信息，确定对应焦点下的活动词表、活动规则集，生成相应的识别自动机，并用其来指导关键词识别。

This paper presents a new method for water wave animation based on the theory of small amplitude wave and the technical model of c.

该文基于小振幅波理论和细胞自动机的模型，给出了一种实现水波动画的新算法。

In 2002, Wolfram produced a 1,280-page tome, A New Kind of Science, based on a decade of exploration in cellular automata and complex systems.

2002年，编制了1280年钨页圣多美和普林西比，一种新型的科学的基础上， 10年的勘探元胞自动机和复杂的系统。

The dual scale automaton model is improved by introducing the rule of synchronization development, mechanism of reiteration and delay law of plant growth from the viewpoints of botany,which make it possible to generate almost all types of the inflorescences defined by botanists, and to simulate acropetal and basipetal flowering sequences.

通过在双尺度自动机模型中引入&同步生长机制&和&重复生长机制&，能够模拟所有植物学中给出的花序类型。并通过应用&生长延时机制&，实现了&向顶开花&和&向基开花&两种开花顺序的模拟，避免了L系统用成花信号控制的缺点。最后通过与L系统的比较，证明该方法简单实用

Finally, affronting the network security problems suggestion have been put forward to improving on our Data Collection model and TGOP system.

本文在设计Telnet应用交互流程时使用了有限自动机的状态转换图来表示Telnet应用中的各个状态的变化。

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 而在你们心思的灵里得以更新