automata theory 中文意思是什麼

automata theory 解釋
有限自動機
  • automata : n. automaton 的復數。
  • theory : n. 1. 理論，學理，原理。2. 學說，論說 （opp. hypothesis）。3. 推測，揣度。4. 〈口語〉見解，意見。
  1. Existing complexity proofs on the circularity problem of ags are based on automata theory, such as writing pushdown acceptor and alternating turing machines

    目前對屬性文法循環性問題復雜度的證明，多基於自動機理論，如寫入推出接受器、交替塗林機等。
  2. Thirdly, the paper researchs the application of single electron transistor and the synthesis theory of cicuit based on quantum dot cellular automata by synthesis example of quantum cellular neural network based on build schr ? dinger equation of coupling quantum dot. at last, the paper researchs digital integrated circuit design based on quantum dot cellular automata and design a 8 - bit quantum dot cellular adder by qcadsign based on a method of majority logic reducetion for quantum cellular automata, it prove this designer of 8 - bit quantum dot cellular adder is correctly

    Dinger ）方程為基礎的量子點細胞自動機電路綜合理論，本文以量子細胞神經網路為綜合實例，建立耦合量子點的薛定鄂（ schr ? dinger ）方程組，通過化簡得到類似細胞神經網路的非線性電路方程。最後研究了基於量子點細胞自動機數字集成電路設計，通過建立邏輯方程，簡化邏輯方程，並設計基於精簡qca擇多邏輯門8位加法器，並用qcadesign進行了模擬，實驗證明設計正確性。
  3. Security analyses of a variant of a new block cipher system ( called cac ) based on cellular automata theory are given using two cryptanalytic approaches. the results show that this variant of cac is very insecure under chosen - plaintext attacks

    利用兩種方法對一個基於細胞自動機的分組密碼系統cac的變形進行了分析，結果表明： cac的這種變形在選擇明文攻擊下是極不安全的。
  4. Workshop on tools and algorithms for the construction and analysis of systems, 1995, brics report series ns - 95 - 2. 4 rajeev alur, david l dill. a theory of timed automata

    一個符號狀態是一個二元組l ， d ，其中l是一個自動機的位置，而d是一個時間約束。
  5. 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

    細胞自動機（ cellularautomata ，簡稱ca ）是本世紀50年代由馮?諾依曼（ vonneumann ）提出的，其目的是用於模擬生物學中的自復制行為。
  6. Simulation results for non - isothermal flow pass plate have been shown. the spatial correlations in a fluid subjected to an external temperature gradient have been computed by using cellular automata simulations of a simple lattice - gas model with temperature. but, this theory is found limitedly applied to mechanics

    並給出了平板非等溫流體繞流流動現象的模擬結果；通過採用一個含有溫度的簡化格子氣模型，用細胞自動機方法，模擬計算了服從于外部溫度梯度的二維流體中的平衡與非平衡空間相關函數，數值結果表明：該方法的計算結果和由漲落流體動力學理論的預言在是性上是完全符合的； bernsdorf等人用ca討論在復雜障礙物情況時的流體流動問題。
  7. Abstract automata theory

    抽象自動機理論
  8. Automata theory allows practice with formal definitions of computation as it introduces concepts relevant to other nontheoretical areas of computer science

    自動控制理論允許執行正式的計算定義，因為它引用了相關的計算機科學的其他非理論方面的概念。
  9. This paper presents some cellular automata models for traffic flow simulation. firstly, the celluar automata theory was introduced, cellular autoata models quantize complex behavior into simple individual components

    本文首先介紹了元胞自動機理論的理論，元胞自動機模型把復雜系統量化為簡單的個體。
  10. The paper formally defines the concept of electronic contract and their goals, obligations, bindings and non - repudiatable proofs by the formal language and automata theory. by making the obligations and proofs work together, the partners are enforced to achieve the business goals

    本文用形式語言與自動機理論對電子合同及其目標、責任、約束以及不可抵賴性證據進行形式化定義，使責任和證據相互配合，迫使達到商業目標。
  11. Automata theory is an important branch of computer science theory. it is widely applied in many fields, such as communication, detection, biology, neurology, psychology, intelligence, economy, and sociology. the research on it is closely related to the development of computer software and hardware

    自動機理論是計算機科學中的一個重要組成部分，在通訊、檢測、生物、神經、心理、智能、經濟和社會等諸多領域都有著廣泛應用，其研究與計算機軟硬體發展密切相關。
  12. In multiple - valued logic theory, completeness theory of function sets is an important and fundamental problem, it is also the problem which must be solved in automata theory and multiple - valued logic network. the solution of this problem depends on determining all the precomplete classes in multiple - valued logic function sets

    函數系的完備性判定問題是多值邏輯理論中基本而重要的問題，同時也是自動機理論，多值邏輯網路中必須解決的問題，此問題的解決依賴于定出多值邏輯函數集中的所有極大封閉集（準完備集） 。
  13. 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年，當時計算機先驅約翰?馮?紐曼提交了一份關于「復雜的自動控制原理與組織」的報告，在報告里他提出計算機程序能復制。
  14. Some major traffic stream models and the basic theory of cellular automata were introduced in the paper. the characteristic of cellular automata as a non - linear model was emphasized

    本文介紹了交通流動力學的主要模型和元胞自動機的基本理論，著重闡述元胞自動機作為非線性模型的特點。
  15. Combining with the theory of land evaluation and cellular automata, it comes to the prediction and simulation of the change of the cultivated land in wanbolin district from 2000 - 2010, based on the analysis above

    並在此基礎上結合土地評價與元胞自動機基本原理實現了對萬柏林區2000 2010年耕地轉化的預測和模擬。
  16. The basic theory of cellular automata, the ways how algorithms are designed based on cellular automata and the security of the algorithms have been discussed in this thesis

    本文主要對細胞自動機的基本理論、利用細胞自動機構造密碼的各種方式及其安全性進行了研究。
  17. Some characteristics of ring theory andgraph theory on finite group automata

    有限群自動機的若干環論與圖論性質
  18. Using the theory of matrices proves some theorems of linear cellular automata over a finite communitive ring. and futher properties of evolution of some typical linear cellular automata are given

    摘要在線性元胞自動機矩陣表示的基礎上證明有限交換環上的線性元胞自動機的一組定理，並藉此分析某些典型線性元胞自動機的演化性質。
分享友人
分享到 Line

分享到臉書