查询词典 automata

The cellular automata, this new method is used in the research on the concrete carbonation and the aggregate distribution effect.

本文采用细胞自动机这一新颖的方法对混凝土的碳化问题及碳化的骨料分布效应进行了研究。

First the cellular automata model based on the concrete carbonation mechanism is presented.

首先根据混凝土碳化的机理建立了细胞自动机模型。

The damage and failure processes of concrete materials under dynamic loading, such as impact and penetration, were researched with Movable Cellule Automata Method.

本文采用移动元胞自动机法(Movable Cellular Automata Method)研究混凝土材料在冲击、侵彻等动载荷作用下产生损伤和破坏的过程。

Other semirings arise naturally in such diverse areas of mathematics as combinatorics, functional analysis, topology, graph theory, Euclidean geometry, probability theory, commutative and noncommutative ring theory, optimization theory, discrete event dynamical systems, automata theory, formal language theory and the mathematical modeling of quantum physics and parallel computation systems.

在许多不同的数学领域存在着其它形式的半环，比如组合学，泛函分析，拓扑学，图论，欧式几何，概率论，交换和非交换环，优化论，离散动力系统，自动化理论，形式语言理论，量子物理的数据模型和并行计算系统。

Computational theory of the three traditional core areas: automata, computability and complexity.

计算理论的三个传统的核心领域：自动机、可计算性和复杂性。

Detectability of Discrete Event Systems based on automata/languages is studied.

讨论基于自动机/形式语言模型的离散事件系统的可测性问题。

The analysis in theory proves that cellular automaton is equal with a stochastic process that described by stochastic difference equations. The primary differential equation is expectation of this stochastic process. And its variance function is controllable. These results show that cellular automata are in agreement with primary differential equation in the statistical sense.

理论分析证明：该方法设计的细胞自动机等价于一个可用随机差分方程描述的随机过程，该随机过程以原微分方程为期望函数，并且，其方差函数是可控的，表明细胞自动机和原微分方程在统计意义上是一致的。

Programming, Discrete Mathematics, Data Structures and Algorithms, Introduction to the Design and Analysis of Algorithms, Operating Systems, Compiler Principles and Practice, Computer Networks, Computer System Architecture, Embedded Systems and Applications, Database Systems and Applications, Formal Language and Automata, Software Engineering, Artificial Intelligence, Introduction to Computer Graphics, Software System Design, Software Project Management, etc.

主干课程：算法分析与设计、面向对象技术与应用、软件项目管理、软件体系结构、软件过程改进、计算机网络技术、网络与信息安全技术、软件测试技术、信息系统分析与设计、软件度量技术、数据库管理技术、软件平台与中间件技术、数据仓库与数据挖掘、软件需求工程、计算机图形学等。研究方向：软件工程与管理、软件理论与系统、信息系统与工程、计算机图形学与辅助设计。

Hybrid systems ;μ calculus ; Game theory ; Zeno reachable ; Control synthesis ; Lyapunov stability ; Sliding mode ; Fault diagnosis ; Discrete event ; Mixed dynamical programming ; Optimal control ; Hybrid automata ; Petri net

国家自然科学基金；高等学校优秀青年教师教学科研奖励计划混杂系统；μ演算；对策论；季诺可达；控制综合； Lyapunov ；稳定性；滑动模；故障诊断；离散事件；混合动态规划；最优控制；混杂自；动机； Petri网

Cellular Automata is a kind of dynamic model whose time, space and state are discrete and a method of studying nonlinear science.

元胞自动机是一种时间、空间、状态都离散的动力学模型，是非线性科学的一种重要的研究方法。

Liapunov—Schmidt method is one of the most important method in the bifurcation theory.

Liapunov—Schmidt方法是分叉理论的最重要方法之一。

Be courteous -- even when people are most discourteous to you .

要有礼貌──即使当別人对你最不礼貌的时候。