自動機理論 的英文怎麼說

中文拼音 [zìdòngjīlǐlún]
自動機理論 英文
automata theory
  • 自 : Ⅰ代詞（自己） self; oneself; one s own Ⅱ副詞（自然;當然） certainly; of course; naturally; willin...
  • 機 : machineengine
  • 理 : Ⅰ名詞1 （物質組織的條紋） texture; grain （in wood skin etc ） 2 （道理;事理） reason; logic; tru...
  • 論 : 論名詞（記錄孔子及其門徒的言行的「論語」） the analects of confucius
  • 自動 : 1 （自己主動） voluntarily; of one s own accord 2 （不憑借人為的力量） automatic; spontaneous 3 ...
  • 機理 : mechanisation; mechanization; mechanism
  1. Theory of automat

    自動機理論
  2. Existing complexity proofs on the circularity problem of ags are based on automata theory, such as writing pushdown acceptor and alternating turing machines

    目前對屬性文法循環性問題復雜度的證明，多基於自動機理論，如寫入推出接受器、交替塗林機等。
  3. Tim berners - lee brought forward the concept of semantic web in 1998 and set the goal as to make computer process information automatically by adding metadata to traditional web data to make the latter machine - understandable. the clearer meanings of data and domain theory ( ontology ) are supposed to provide high quality services for web

    1998年， timberners - lee提出了語義web的概念，目標是通過向數據中添加機器可理解的語義和啟發式的使用元數據來實現機器自動處理信息，數據的清楚語義加上領域理論（即本體）將使得web提供更高質量的服務。
  4. In the third part, the chapter puts forward three dimensions of causality and discusses the relationships between the attribution and expectancy, and the emotions, and achievement motivation. and two kinds of theory of achievement and motivation - self efficiency theory and learned helplessness theory concerning the attribution are given. in the fourth part, the definite conclusion has been come from the data stat and the resolution analysis in the base of the status investigation of students ' s math learning attribution by the students and the teachers in high schools

    全文共分為六個部分：第一部分簡述歸因研究的理論背景，提出所要討論的問題第二部分對歸因、數學學習歸因及其含義進行闡述；第三部分首先指出了原因的三個分類維度，從原因的分類維度出發討論歸因與期望、情緒、情感及成就動機之間的關系，同時指出兩種與歸因有關的成就動機理論?自我效能理論和習得無助理論；第四部分是有關中學生及中學數學教師對學生數學學習歸因的狀況調查，通過數據統計及結果分析得出了一定的結論。
  5. From the distribution of rotation period and convection parameter of m type stars, stellar chromospheric activity of m type stars depart from the anticipation of a. dynamo theory obviously

    從m型主序星的自轉周期的和恆星內部對流區隨色指數的分佈來看， m型主序星的色球活動行為與發電機理論的預期有明顯的差異。
  6. 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展開方法，導出了該模型的宏觀熱流體力學方程，從理論上證明了所建模型對熱流體力學問題描述的正確性。
  7. The paper is based on the project of national natural science foundation " the intelligent control system of ship on bumping and avoiding bumping " and " the study based on the impulsion response of light duty configuration, control and experiment method of high speed ship ". the fuzzy adaptive control is applied to ship steering. it is significant to improve automation technology of ship in china

    本論文以國家自然科學基金項目「船舶碰撞與避碰的運動機理及計算機智能模擬系統研究」和「基於高速船輕型結構流體沖擊響應、控制與實驗方法研究」為依託，將模糊自適應控制應用於船舶的航向控制，這些研究將對我國船舶自動化水平的提高具有較大現實意義。
  8. Transformed the six - bar guide - bar mechanism realizing linear displacement in automatic instruments into a basic rotating guide - bar mechanism, established the mathematical model of velocity approaching constant by the classical approximate synthesis theory and the modern error theory, discussedthe influences of the existent region of main mechanismic parameters on kinematic and dynamic properties, analysed the theoretical transmission ratio error, advances systematic, complete steps and methods for dimensional synthesis of this mechanism with computer aided design

    將自動化儀表中實現線性輸出的六桿導桿機構轉化為基礎轉動導桿機構，應用經典的機構近似綜合理論與現代的誤差理論，建立了速度逼近常數的數學模型，討論了主要機構參數存在區域及對運動、動力性能的影響，分析了傳動比理論誤差，提出了系統完整的計算機輔助尺度綜合的步驟與方法。
  9. 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進行了模擬，實驗證明設計正確性。
  10. Owing to lack of auotmatic separation of led in our country, we borrow ideas from other countries and design a suit of equipment of automatic dection and separation of led. the equipment consists of several parts : led transportation setup ( disc libration setup, line libration setup ), equidistant receving setup, detecting system and automatic separation of led. the equipment achieve automatic separation of led and pipelining. the research lay stress on machanical structural design and order action control which achieve automation separation by using pc and plc

    可完成led波長和亮度的在線檢測、自動處理和自動分選，實現了led在線分譜檢測與自動分選的流水線作業。自動分選的機械結構設計、動作實現設計和順序動作控制是本論文的重點。自動分選的實現是通過pc與plc的結合完成對plc的順序控制。
  11. The performance of rock - climbing and sport motivation was significantly correlated

    結果支持自我效能理論與運動內在動機理論適用於攀巖運動之體育教學上。
  12. Abstract automata theory

    抽象自動機理論
  13. 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

    本文首先介紹了元胞自動機理論的理論，元胞自動機模型把復雜系統量化為簡單的個體。
  14. 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

    本文用形式語言與自動機理論對電子合同及其目標、責任、約束以及不可抵賴性證據進行形式化定義，使責任和證據相互配合，迫使達到商業目標。
  15. 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

    自動機理論是計算機科學中的一個重要組成部分，在通訊、檢測、生物、神經、心理、智能、經濟和社會等諸多領域都有著廣泛應用，其研究與計算機軟硬體發展密切相關。
  16. 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

    函數系的完備性判定問題是多值邏輯理論中基本而重要的問題，同時也是自動機理論，多值邏輯網路中必須解決的問題，此問題的解決依賴于定出多值邏輯函數集中的所有極大封閉集（準完備集） 。
  17. After - transforming the labeled transition system of operational semantics and linear temporal logic formula into btlchi automata respectively, the correctness of uml statecharts can be verified using automaton - based model checking method

    在把根據eha操作語義得到的標記遷移系統和表示性質的線性時態邏輯公式分別轉換為b chi自動機后，用基於自動機理論的模型檢驗方法驗證umlstatecharts的正確性。
  18. The first part relates the trail of the self - determined learning theory so as to bring the positive factors, among which bandura ' s motiviations theory, zimmerman ' s self - regulation theory and the constructivism are worth absorbing

    第一部分對自主學習理論進行追溯，目的是找出有利於語文自主學習的理論因素。班杜拉的動機理論、齊莫曼的自我監控理論、建構主義理論都有值得借鑒之處。
  19. Considering interior mechanism of debris flow ' s triggering and confluence system, in this essay we simulates its self - organized criticality by cell automaton model

    本文運用元胞自動機理論，從內部機制著手，對泥石流產匯流系統的自組織臨界性進行了模擬研究。
  20. Cellular automata ( ca ) are mathematical idealizations of dynamical systems in which space, timea and states are dicrete. it ' s parallel and simple for computation, so it can simulate variable complex phenomena. resently, ca have become used for modeling traffic flow

    本文以元胞自動機理論為基礎，根據已有的交通流ca模型建立幾個新的模型，研究它們的交通流特性。
分享友人
分享到 Line

分享到臉書