無限自動機 的英文怎麼說

中文拼音 [wúxiànzìdòngjī]
無限自動機 英文
infinite automata
  • 無 : 無Ⅰ動詞（沒有） not have; there is not; be without Ⅱ名詞1 （沒有） nothing; nil 2 （姓氏） a surn...
  • 限 : Ⅰ名詞（指定的范圍; 限度） limit; bounds Ⅱ動詞（指定范圍, 不許超過） set a limit; limit; restrict
  • 自 : Ⅰ代詞（自己） self; oneself; one s own Ⅱ副詞（自然;當然） certainly; of course; naturally; willin...
  • 機 : machineengine
  • 無限 : infinite; limitless; boundless; immeasurable; unlimited
  1. Par method can explain the whole process of " problem - program " as well as improve substantially the programming skills of students ; about the implement technology, the popular generic paradigm is incorporated and the results in ai ( knowledge representation and automated reasoning ) are used, which enables the system to be a truly " open system " with infinitely many problems and solutions, instead of just a compilation of fixed ones ; about the function of the system, it incarnates the constructivism and it has excellent human - machine interface, concurrence, and openness

    Par方法可以說清「問題程序」的全過程，可以解決現有程序設計教學存在的根本問題，幫助學習者實質性地提高程序設計的能力；在實現技術方面，借鑒了當代流行的泛型思想，並將人工智慧在知識表示、自動推理等研究中形成的思想方法和成果應用於程序設計icai系統的開發，使得系統具有一個既有問題又有解答的無限題庫，這些解答是由自動推理產生的而不再是固定問題、答案的堆砌；在系統功能方面，充分體現了建構主義思想，具有良好的人機交互性、並發性和開放性。
  2. Combining with knowledge representation and automatic reasoning principle of ai and generic paradigm, the system has these main functions : ? it is able to show different solutions of typical example ; ( 2 ) it can automatically generate problems similar to the example for students to solve by providing them with clues ; ( 3 ) these problems can be studied by demonstrating the complete solution process and answers with the help of automated reasoning, or by providing real - time prompts to students concurrent with the students " solution processes with the help of automated reasoning ; ? it provides exercises and is able to call a program produced by the group ( the translator ), which transfers apla programs to executable programs so as to verify its correctness ; ( 5 ) it let teacher to add examples in the database ; etc. hi the course of systematic research, we deeply investigated the relevant knowledge of the system and made some innovation : about teaching content, we select par method as the main content

    本系統選用薛錦雲教授的par方法為主要教學內容，應用人工智慧的知識表示和自動推理原理及泛型思想，使得系統具有以下核心功能：展示幾種典型例題的解；以泛型思想為指導，實現了無限題庫，可以自動生成與典型例題類似的問題給學生求解並給予提示；對于這些題目，計算機可以自動推理出由問題到程序的全過程供學生學習；也可通過自動推理根據用戶的實際做題情況實時給出提示，互動式地幫助學生學習演算法程序設計；學生可以從問題庫中獲得練習，並調用轉換器，將自己的apla程序轉化為可執行語言程序，運行以檢驗其正確性；對教師而言，可以對已有的實例庫、問題庫進行添加操作等。在系統的研製過程中，我們深入研究了系統的各方面相關知識，並進行了多方面的創新：在教學內容方面，首次選用par方法為主要內容。
  3. The speed of isa bus has become the bottleneck between high a / d converters where requests very high speed. isa bus interface card ca n ' t configure resource automatically. there will be no place for isa bus after the vanish of isa slots on computer mainboard

    Isa總線有很多優點，但在某些方面已逐漸顯出不足：在一些速度要求高的場合， isa總線的速度上限已成為高速a / d轉換器與主機間的瓶頸； isa總線介面卡無法實現資源的自動配置；以及計算機主板的isa插槽在逐漸的消失，所以本文又提出設計基於pci總線的介面電路。
  4. This disquisition aimed at plc reactive dispatch curve controller, associating the entire exploiting process, expounded in guiding ideology, control standard, function and structure design, software system design, analog experiment, fixing and debugging and so on, also part of flow schematic diagram ( the ladder chart was n ' t drawn because of too many network and length limit ). this design involves many subject such as power systenu automatic control microcomputer control and electroa during the design, we have read a great deal of concerned data, base on the sufficient investigation analysis and research, associating the practicality of huanren power plant, we introduced and exploited plc reactive dispatch curve controller in the first time

    本文針對plc無功調度曲線控制器，結合整個研製過程，在設計指導思想、控制準則、性能設計、裝置構成設計、軟體系統設計等方面進行了闡述，並給出了部分程序流程簡圖（由於梯形圖網路數太多，受篇幅限制沒有給出） 。本設計涉及到電力系統、自動控制、微機控制、電子等多學科知識，在設計過程中，我們查閱了大量相關的資料，在充分調查、分析、研究的基礎上，結合桓仁發電廠實際情況，首次提出並研製出了plc無功調度曲線控制器。
  5. Nacpro apparel pattern making system has great progress in the intellectualized and humanized operation. original database management mode, intellectualized automatic pattern - making, auto - grading and customized system, entirely opening unlimited basic block library, linkage operation of pattern modifying, substantial mark lib and line lib in the system or setting, point parallel line - cutting grading and 3d re - grading or more - times grading, marker making for traditional textile irregular textile knitted textile, etc., auto - matching plaid marker making, beds marker making and double - deck bed marker making, automatic marker making which can be modified by hands any time. we do everything to help the users operating conveniently, quickly and economically

    隨著計算機技術不斷發展，在我公司全體員工的努力下， nacpro服裝制板排板系統在智能化操作和人性化操作方面的綜合能力大大提高，新穎的數據庫管理模式智能化的自動打板自動放碼及度身定做全開放式的無限量原型板庫打樣后修改紙樣的關聯聯動操作大量系統和自定義的記號庫及線型庫碼點平行線-切開線多種放碼方式相結合併可進行二次多次立體放碼傳統面料不規則面料針織面料等不同面料的排料方式自動對格排料分床及高低床排料自動排料並可隨時與手動相結合的人工可干預智能排料我們所做的一切，都是為了讓用戶操作得更加方便快捷節約時間節約面料，我們可以肯定地說， nacpro將以其嶄新的面貌，無愧成為當今同行業的勝出者。
  6. In this thesis the author states briefly the institution and the political institution in four parts : their definition, their formation and develop, features of political institution, analysis of political institution. in the process the author gives his own understanding as to the connotation of institution and political institution : institution is a constellation of a series of rules or laws, organizations and establishments, and ethical norms which interact to restrict man ' s individual desires and behaviors to occupy infinitely scarce resources. it is an open system comprising many elements

    這里我從制度和政治制度的涵義、制度及政治制度的形成與發展、政治制度特徵、政治制度在制度系統中分析四部分進行簡述，其中對制度和政治制度的涵義提出自己的理解：制度是對人們無限佔有稀缺資源的私念、行為給以限制的一系列規則法律、組織機構、倫理規范互動互用的集合體，一個有多種因素組成的開放的系統。
  7. In order to support above model, we take a behavioral experiment. using 76 college students as subjects, we intervened the satisfying degree of autonomy. the results showed that the satisfaction of autonomy increased the intrinsic motivation, and improved the performance futher ; autonomy influenced the originality more than appropriateness ; the quality of creative behaviour may be costed for the quantity

    為了給上述模式提供進一步的支持材料，本研究最後採用76名大學生為被試，在實臉室環境中對無關變量加以控制，干預被試的自主需要滿足程度，結果發現滿足個體的自主需要可以顯著性地增加內部動機，並促進創造性成績；但需要的滿足更多影響的是作品的新穎性，對適宜性的影響有限；創造性活動的質量有可能是以創造性活動的數量為代價的。
  8. This paper presents design thinking, operation and structure of a load self - locked brake type elevator which features endless stroke, single sheave and rope - groove friction

    摘要介紹1種直重機械中的無限行程單卷盤回轉型繩槽耦合式負載自鎖制動提升機的設計思想、工作原理和結構形式。
  9. The logo also full excavation group enterprise culture attribute with hundred rivers people ' s between characteristic, take the flame as the union and the group symbolized unifies, the flame namely meant group profession characteristic, also transmits a hundred jiang ren ' s fiery red heart, simultaneously also reveals the nature, the vitality, the transmission and the exchange communication, there seems to ischaracteristic of spirit of soul the olympic games torch ; implication interaction transmission infinite circulation

    本標志也充分的挖掘了集團企業文化屬性與百江人之間的特性，以火苗為結合點和集團標志相統一，火苗即意味著集團的行業特性，也傳遞出百江人的一顆火紅的心，同時也流露出自然、生機、傳遞與交流溝通，似有奧運會火炬之精神靈魂之特徵；寓意互動傳遞無限循環。
  10. Its basic motive power is unity of opposites between natural - ecological subsystem with a stable growth and a limited supply and social - economic subsystem with an unlimited demand. in essence its development process is a dialectical, balanced - unbalanced - balanced process like a spiral between social - economic demand and natural - ecological supply. during the process the key to its operation state is the way and the extent of mankind ' s activities interfering with natural - ecological subsystem

    鄱陽湖區農業自然資源利用演變的基本動因是具有增長型機制並對自然資源需求無限的社會經濟子系統與具有穩定型機制的自然資源供給有限的自然生態子系統之間的對立統一；湖區農業自然資源利用的演變過程實質上是一個螺旋式上升的辯證發展過程，是社會經濟子系統需求與自然生態子系統供給之間平衡失衡平衡的發展過程。
  11. Xutai eiectronics co., ltd. is new & hi _ tech in tegrity of desidning, r & d, producing and marketing in automatic olgistics machinery, storage products, stainless steel, smt related equipm ents, antistatic products, non - stand products

    旭泰科技有限公司是一家專業從事自動化物流機械、倉儲貨架、不銹鋼無塵製品、 smt周邊配套設備、防靜電產品、非標產品之設計、研製、開發、生產及銷售的一體化高新企業。
  12. Abstract : first, the key magnet statuses and their pertinent mmf. position of exterior rotor brushless dc motor are described in this paper. second, the air - gap magnetic field and the armature reaction of the three - phase six - step exterior rotor brushless dc motor used in electrical bicycle are analyzed by means of mmf. vector, mmf. integration and magnetic field fem respectively. some valuable conclu - sions for designing this kind of motor are obtained

    文摘:給出了外轉子無刷直流電動機的典型磁狀態及其對應的磁勢矢量位置，並用磁勢矢量合成法、磁勢積分法及電磁場的有限元方法對電動自行車用三相六狀態外轉子無刷直流電動機的氣隙磁場及電樞反應進行了詳盡的分析，從而得到有益於該種電機設計的結論。
  13. A widely used method for checking real - time systems is, according to the real - time property to be checked, to use a proper bi - simulation equivalence relation to convert the infinite - timed state space to a finite equivalence class space. the algorithm needs only to explore the finite space to get a correct answer. in most cases, exhaustive exploration is very difficult because the equivalence class space increases explosively when the scale of the system increases. in this paper, an equivalence relation is introduced to check whether a concurrent system, which is composed of a finite set of real - time automata, satisfies a linear duration property. to avoid exhaustive exploration, this paper also introduces a compatibility relation between timed states ( configurations ). based on these two relations, an algorithm is proposed to check whether a real - time automaton network satisfies a linear duration property. the cases study shows that under some conditions this algorithm has better efficiency than the tools in the literature

    一個被廣泛用於驗證實時系統的方法是根據被驗證的實時性質，使用適當的雙向模擬等價關系使無限的狀態空間轉化為有限的狀態等價類空間.演算法只需要在這個有限的等價類空間里搜索就可以得到正確答案.但是，這個等價類空間的規模一般隨著系統規模的增大而產生爆炸性的增長，以至於在很多情況下，窮盡搜索這個空間是不現實的.該文引入了一個等價關系來驗證一個由多個實時自動機通過共享變量組成的並發系統是否滿足一個線性時段特性.同時，還引入了格局之間的兼容關系來避免對狀態等價類空間的窮盡搜索.基於這兩個關系，文章提出了一個演算法來驗證是否一個實時自動機網滿足一個線性時段特性.實例研究顯示，此演算法在某些情況下比其他一些工具有更好的時間和空間效率
  14. When i try to analyze my own cravings, motives, actions and so forth, i surrender to a sort of retrospective imagination which feeds the analytic faculty with boundless alternatives and which causes each visualized route to fork and re - fork without end in the maddeningly complex prospect of my past

    但是當我企圖分析我自己的慾望、動機、舉止等的時候，我的那些回想帶來的是無盡的可能性，而每一種可能又可以無限的細分，將我的過去捲入狂亂的復雜性中? ?我根本無法理清頭緒。
  15. In virtue of the knowledge related to fractal theory, all fractals algorithms in the paper have already been realized on computer, such as mandelbrot sets, julia sets, l system and iterated function system, etc. and their fractal figures have been drawn. meanwhile, to obtain a better visual effect and simulate actual natural scene, software adopts the real color and color palette to enrich figures, and color animated cartoon to change them. to show the self - similarity and infinitive tractility of fractal figures, partial zoom has been made on them

    本文運用分形理論實現多種分形演算法，在計算機上生成mandelbrot集， julia集， l系統， ifs迭代函數系統等典型的分形圖形，同時運用真彩色及調色板技術豐富圖形的色彩，實現了色彩動畫，使其更真實的模擬自然景物；運用鼠標編程技術實現對圖形局部的放大和縮小，體現分形圖形的自相似性和無限延展性；提供多組參數，利用分形圖形的混沌特性，通過微小的參數變化，生成完全不同的分形圖形。
  16. The slide mechanism mainly by pushing for and the hydraulic power system with the necessary supporting wireless sensor detection and computer control system and network components, equipment is small in size, light forces, carrying capacity, a high degree of automation, convenient operation flexibility, security and reliability, the slip lifting the weight of components, and standard features such as unlimited distance

    連續頂推機器人主要由頂推器、液壓動力系統以及與之配套的傳感檢測和計算機無線和網路控制系統等組成，具有設備體積小、自重輕、承載能力大，自動化程度高，操作方便靈活，安全可靠性好，被滑移、頂升構件的重量、尺度和距離不受限制等特點。
  17. Aiming at the functional shortcomings existed currently in widespread use of intelligence drinking water machine with ic card, which cannot identify the expiration of water quality and cannot adjust water price according to the speed of drinking water supplying, etc., this paper puts forward the improved plan which establishes the monitoring devices for fluid volume and speed of water supplying and adds the modules for the unit price adjustment of water supply and the device for limiting water supply, and also adds the usb interface electric circuit, satisfying the communication and function expansion

    摘要針對目前普遍使用的帶有ic卡的智能收費飲水機存在的無法判別水質過期和不能根據飲用水機供水速度而自動調節供水單價等功能缺陷，提出了改進方案，設置了供水流量和速度檢測裝置，增加了供水單價調節模塊和限制供水機構，也增加了usb介面電路，滿足通信和擴展功能。
  18. The extended finite state automation ( efsa ) is adopted to match pattern written by asl in the thesis. it is also said that the rules are translated into efsa while compiling the rules, the method have high performance in the run time, the pattern matching time is insensitive to the numbers of rules

    文中模式匹配採用了擴展的有限狀態自動機（ efsa ）演算法，也就是在編譯規則的時候將規則轉換成擴展的有限狀態自動機，這個方法提高了運行時執行的效率，使得匹配的時間與規則的多少基本無關。
  19. Wuxi focus machinery equipment co., ltd is a high tech enterprise, which gather research and development, manufacture and sale, majoring in the line of automatic welding equipment 、 cutting equipment 、 milling equipment 、 environmental protection equipment

    無錫富科斯機械設備有限公司是集研發、製造、銷售為一體的高新技術企業，主要專業從事自動焊接設備、數控切割設備、銑削加工設備及環保除塵設備的開發與製造。
  20. Because the two - state finite automaton was too simple to be of any use in solving complex computational problems, we considered it nothing more than an interesting demonstration of the concept of programmable, autonomous biomolecular computers, and we decided to move on

    由於雙態有限自動機過于簡單，無法解決任何復雜的計算問題，我們只是用它來驗證程序化、自動化生物分子計算機觀念可行而已。
分享友人
分享到 Line

分享到臉書