查询词典 automata theory

According to the theory of Deterministic Finite Automata,an adaptive decision-making system is set up,which can change the selection of instruction pattern dynamically.

多模式智能教学系统中教学模式的选择是非常重要的问题，提出了一种教学模式选择的自适应策略，用教学模式相适度算法取得适度值，并制订一系列规则微调原先的相适度，根据确定的有限自动机理论，构建了一个自适应决策系统，实现了教学模式选择的自适应。

The theory of Cellar Automata is used to analyze the dynamic behavior of the BSO-MSS, and construct a general model frame of BSO-MSSCA which provides the foundation for the analysis of two cases.

构建了一个通用框架的BSO-MSSCA概念模型框架，并在此基础上，分析了两种具体元胞自动机模型。

Therefore,the hybrid dynamic model of WTG was built based on theory of hybrid automata,at same time hybrid global control system was designed according to control strategy of WTG.

基于混杂自动机理论建立了风电机组的混杂动态模型，同时根据风力发电机组控制策略设计了全程混杂控制系统。

The roots of the modem computer virus go back to 1949, when computer pioneer John von Neumann presented a paper on the "Theory and Organization of Complicated Automata", in which he postulated that a computer program could reproduce.

现代计算机病毒可追溯到1949年，当时计算机先驱约翰·冯·纽曼提交了一份关于"复杂的自动控制原理与组织"的报告，在报告里他提出计算机程序能复制。

Linear temporal logic properties of the system can be verified based on the automata theory of model checking. The method of verifying a complex multi-object system modeled by Statecharts and collaboration diagram is also presented in this paper.

使用基于自动机理论的模型检验方法来验证UML Statecharts的线性时态逻辑性质，并给出方法验证由Statecharts和协同图建模的复杂多对象系统。

The theory of cellular automata, proposed by the famous scientist Von Neumann in the 1950's,has developed from its original purpose of imitating the self-organization phenomenon of biological system into a widely used method.

摘要细胞自动机(Cellular Automata，简称CA)是本世纪50年代由冯·诺依曼提出的，其目的是用于模拟生物学中的自复制行为。

The theory of Cellular Automata was proposed for the discrete numerical value computations at the first. Now, the researches and applications of CA are deeper and larger.

元胞自动机(Cellular Automata，CA)理论是针对离散数值计算而提出的，目前CA研究和应用越来越深广。

In order to explore the factors affecting health evolution of knowledge-based enterprise organism, the modeling theory of cellular automata is adopted for analyzing the interactions between core intelligent units, sustaining intelligent units and dynamic environments.

为探索影响知识型企业生命体健康演化的因素，采用元胞自动机建模理论研究了核心智能单元、支持智能单元与动态竞争环境相互作用对知识型企业生命体健康演化的影响。

Based on a thorough analysis in software auto-generating technology and monitor-control program in industry area, improves the formal definition and minimization algorithm of automata theory, designs an system environment of auto-generating monitor-control program.

在对软件自动生成技术和工业控制领域的测控程序实例进行深入分析的基础上，改进有限自动机理论中有限自动机的形式化定义及其化简算法，通过研究，设计实现了一个自动生成测控程序的系统平台。

In this paper, a prototype T-CBESD (Tool for Component-Based Embedded Software Designs) has been designed, which is based on the theory of interface automata and is implemented as a plug-in module on the open-source platform Eclipse.

本文在Eclipse平台上设计并实现了一个基于接口自动机模型的构件化嵌入式软件设计的形式化验证原型工具T-CBESD (Tool for Component-Based Embedded Software Designs)。

Metrorrhagia is also gynaecological problems of common diseases.

崩漏是妇科常见病也是疑难症。

WordFTP gives you the convenience and timesaving you need.

wordftp让您的方便和省时您所需要的。