自动机理论
- 网络automata theory;theory of automata
-
树自动机理论在XML中的应用
Application of tree automata theory in XML
-
基于自动机理论的UML模型一致性研究
Research on Consistency of UML Models Based on Automata Theory
-
本系列文章应用形式语言及自动机理论技术,系统地探讨了DNA分子的可计算性及其计算能力。
The series papers systematically discuss the computability and the computational capacity of DNA molecular using the formal language and automata theory .
-
XML的发展,引发了人们对于文档和形式语言之间关系的研究,树自动机理论重新引起了研究者们的高度重视。
The advent of XML initiated a symbiosis between document research and formal languages . This symbiosis resulted in the development of unranked tree automata .
-
为保证程序的稳定执行,兼考虑到程序在执行速度以及效率上的要求,因此使用有限状态自动机理论和Java多线程技术来解决该问题。
Ensure the program execute stabilization , then considered the requirement of execute speed and efficiency of the procedure , it use Automata theory and Java multithreading technology .
-
基于有限状态自动机理论,建立异步Web服务的形式化模型。
The relative timed and data constraints can be indicated by XYZ / RE . ( 2 ) We build the formal model of asynchronous Web service on the basis of finite automata theory .
-
提出了一种基于自主计算思想的网络故障诊断系统的自愈模型,并将Petri网和有限状态自动机理论相结合,对自愈策略的实施过程进行建模。
An self-healing model of network troubleshooting system based on automatic computing theory is put forward . The model of software working process is built by Petri net and finite-state automata .
-
在形式语言和自动机理论研究中,Fuzzy语言显得特别重要,而Fuzzy正则语言是Fuzzy形式语言的核心部分,是自动机理论与实际相结合的一个桥梁。
Fuzzy language is very important in the theory of formal languages and automata . The theory of fuzzy regular languages is the central part of the theory of fuzzy formal languages , and it connects the theory of automata with practice .
-
一种基于自动机理论的LTL检验符号优化方法
A Symbolic Optimization Method for Model Checking of LTL Based on Automaton Theory
-
基于细胞自动机理论和遗传算法,提出了一种物理细胞演化力学模型(ECA)。
Based on the theory of the physical cellular automata ( PCA ) and genetic algorithm , an evolving cellular automata is put forward .
-
基于完善以后的接口自动机理论重新定义了软件体系结构描述语言WRIGHT的语义,新的语义解释更加简洁、更加自然。
Based on the revised interface automata theory , we redefine the semantics of the architecture description language WRIGHT . The new semantics appears more concise and more natural .
-
SPIN使用PROMELA作为验证的模型语言,并使用线性时态逻辑(LTL)公式描述属性,应用自动机理论实现系统的模拟运行和正确性验证。
SPIN makes use of PROMELA as the verification model language , LTL formula to describe attributes , and automatism theory to realize the systemic simulation and correctness verification .
-
与传统短信方式的移动梦网相比,本文通过有限状态自动机理论和Java多线程技术,设计开发的USSD移动梦网业务更具优势,该系统能涵盖绝大部分移动梦网文字交互类服务。
The paper gives the design and implementation of Monternet business based on USSD , by Automata Theory and Java Multithreading Technology . Compare with SMS Monternet , the system is more preponderant and provides most text alternate services about Monternet .
-
自20世纪50年代Chomsky创立形式语言与自动机理论以来,计算语言学研究已经历了近半个世纪的发展历程,取得了丰硕成果。
Since N. Chomsky constructed the theory of Formal Language and Automaton in the fifties of the 20th century , a great progress has been made in the study of Computational Linguistics ( CL ) .
-
为了对本文提出的模糊控制方案进行分析和验证,我们利用元胞自动机理论建立了仿真模型,设计和实现了ECTS(ECNUTrafficSimulation)交通流仿真系统。
In order to analyze and validate the fuzzy control projects the paper puts forward . We build a simulation model using the theory of Cellular Automata , then design and realize the ECTS ( ECNU Traffic Simulation ) traffic flow simulation system .
-
研究了自动机理论在XML数据处理中的应用,通过扩展DTD及树自动机的定义,将完整性约束及函数依赖引入查询处理,能够实现在一遍扫描的条件下,完成文档流的过滤匹配。
We discussed the applications of automata theory in the XML data processing . By extending the definition of DTD and tree automata , integrity constraint and functional dependency are introduced into query processing . The documents filter matching can be completed in one-pass scanning . 2 .
-
状态机理论是有限自动机理论的一个研究方向。
State machine theory is a research direction of finite automata theory .
-
模拟细观非均质材料破坏演化的物理元胞自动机理论
Physical cellular automaton theory for simulating the failure process of micro-heterogeneous material
-
半自动机理论在(汉字)辞库建造中的应用
An application half-automat theory to the construction of a ( chinese ) Thesaurus
-
广义有限自动机理论限制性国家豁免(理)论
Generalized finite automaton theory restrictive doctrine of state immunity
-
译码采用了编译原理的形式语言与自动机理论,实现数控加工程序的编译和错误查找功能。
The decoding function has used the formal language and the automaton theory .
-
自动机理论是编译程序中单词识别的基本理论。
Automaton theory is a basic theory of compile routine for identifying words .
-
提出认知元胞、地理认知元胞自动机理论;
To give the Geo-cognitive Cellular Automaton theory ;
-
利用有穷自动机理论研究了高速公路收费站的收费系统。
The highway toll collector system was researched by using the finite automata theory .
-
物理元胞自动机理论为岩石的破坏研究提供了一种新的研究思路。
The physical cellular automata theory gives a new idea for studying rock failure .
-
自动机理论是作为离散自动装置和计算机理论模型建立的。
The automaton theory is established as theoretical model of discrete automatic device and computer .
-
基于元胞自动机理论的硅各向异性腐蚀模型
Cellular-Automata-Based Modeling of Silicon Anisotropic Etching
-
细胞自动机理论及其在密码中的应用
CHINESE CHARACTER FINITE AUTOMATA THEORY The Theory of Cellular Automata and It 's Application in Cryptography
-
本文利用元胞自动机理论,对城市轨道交通系统中复杂的交通流现象进行研究。
The complex traffic flow of urban railway traffic was studied with the cellular automata theory .
-
广义有限自动机理论
Generalized finite automaton theory