automata 中文意思是什麼
音標 [ɔ:'tɔmətə]
automata
解釋
n. 名詞 automaton 的復數。-
Removing irrelevant atomic formulas for checking timed automata efficiently. in proc
因此,無關的原子約束是廣泛存在的。 -
Cellular automata simulation of dendritic crystal growth
枝晶生長的元胞自動機模擬 -
Finite automata model for one type of dna computing system
計算系統的有限自動機模型 -
Minimize connective finite automata and its complexity
連接型自動機的極小化及其復雜性 -
Max - product fuzzy context - free grammars and pushdown automata
上下無關文法與下推自動機 -
The review and prospect of urban cellular automata model
城市細胞自動機模型研究的回顧與展望 -
Existing complexity proofs on the circularity problem of ags are based on automata theory, such as writing pushdown acceptor and alternating turing machines
目前對屬性文法循環性問題復雜度的證明,多基於自動機理論,如寫入推出接受器、交替塗林機等。 -
In chapter 2, a class of fuzzy finite automata corresponding to the mealy type of ordinary automata is formulated and two types of statewise equivalence relations are introduced
在第二章中,對應于經典mealy型有限狀態自動機的一類模糊有限狀態自動機-新mealy型模糊有限狀態自動機被建立。 -
From the equivalence relations, a minimal form is defined and a minimization algorithm of the mealy type of fuzzy finite automata is obtained. in chapter 3, a fuzzy finite automata with a fuzzy initial state that was first considered by m. mizumoto, j. toyota and k. tanaka in 1969 is introduced. based on the mizumoto type of fuzzy finite automata, a statewise equivalence relation is considered
在第三章中,我們首先介紹了一類有模糊初始狀態的模糊有限自動機- mizumoto型模糊有限自動機,然後定義了兩種狀態等價和兩種模糊有限自動機等價的概念,接著證明了對于每一個mizumoto型模糊有限自動機,都存在一個與之等價的狀態最小化模糊有限自動機,並且給出了一個狀態最小化約簡演算法及其演算法終止條件。 -
Yaakov benenson and ehud shapiro began collaborating to build molecular automata in 1999
班納森和夏比洛從1999年開始合作設計分子自動機。 -
Traffic simulation at signalized junction based on cellular automata
基於細胞自動機的信號控制交叉口交通流模擬 -
14 lebhar e, schabanel n. almost optimal decentralized routing in long - range contact networks. in proc. the 31st international colloquium on automata, languages and programming, turku, finland, 2004, pp. 894 - 905
該演算法只要求每個節點保持o 1的degree ,以及每個節點存儲poly - logarithmic bits的信息量,因此具有良好的擴展性。 -
A note on non - closure property of sublogarithmic space - bounded 1 - inkdot alternating pushdown automata with only existential universal states
因為它們為計算機科學理論的研究提供了一個基本的思想和數學模型。 -
This paper investigates the closure property of sublogarithmic space - bounded 1 - inkdot alternating pushdown automata with only existential universal states, and shows, for example, that for any function l such that l loglogn and l o, the class of sets accepted by weakly strongly l space - bounded 1 - inkdot two - way alternating pushdown automata with only existential universal states is not closed under concatenation with regular sets, length - preserving homomorphism, and kleene closure
Chandra kozen和stockmeyer提出了交替性alternation作為并行計算的一個理論模型。交替式alternating圖靈機是非確定性圖靈機的推廣,它的狀態集合被分為萬能狀態universal state和存在狀態existential state 。非確定性圖靈機可看作只有存在狀態的交替式圖靈機。 -
Easterbrook. “ application of cellular automata in matching similarity of material variation property between zones within panels sujected to lateral loading ”
質量和剛度非對稱結構在水平雙向地震作用下的隨機反應分析。 -
G. c. zhou, m. yafiq and d. easterbrook. “ application of cellular automata in analysing laterally loaded masonry panels ”. 6 th international masonry conference, november 4 - 6, london, 2002
汪越,周廣春。框架結構的空間相關地震反應分析。東北林業大學學報, 1994年專輯。 -
Land - cover simulation and forcast of melmeg wetland using cellular automata
基於元胞自動機的莫莫格濕地土地覆被預測模擬 -
Tao rj. invertibility of finite automata. beijing : science press, 1979 ( in chinese )
陶仁驥.有限自動機的可逆性.北京:科學出版社, 1979 -
A multi - material lattice gas automata model for diffusion and chemical reaction
擴散和化學反應的多物質格子氣自動機模型 -
For the ten years of late, the cellular automata has made the new progress in hydy nimiee dynamices. by gaining the moment equations from lattice boltzmann equation and using chapman - enskog expansion, the fluid dynamices equation and energy equation of 13 - bit lattice gas automata model with polyvelocity have been deduced. the validity of the model using for non - isothermal fluid dynamics has been proved
近十年來,細胞自動機已在流體力學的研究中取得了進展,應用13 - bit多速格子氣自動機模型,在由格子boltzmann方程求得矩方程的基礎上,根據chapman - enskog展開方法,導出了該模型的宏觀熱流體力學方程,從理論上證明了所建模型對熱流體力學問題描述的正確性。
分享友人