約化自動機 的英文怎麼說

中文拼音 [yāohuàzìdòngjī]
約化自動機 英文
reduced automaton
  • 約 : 約動詞[口語] （用秤稱） weigh
  • 自 : Ⅰ代詞（自己） self; oneself; one s own Ⅱ副詞（自然;當然） certainly; of course; naturally; willin...
  • 機 : machineengine
  1. The culture on the level of moral, custom, conviction and reputation etc. acts mainly depending on the automatic operation mechanism, which belongs to the informal contract category and benefit to lower transaction cost, and have the catholicity in the society

    道德、習俗、信念以及信譽等層面的文化主要依靠自動實施機制起作用，屬于非正式契約范疇，有利於降低交易費用，在社會中的作用具有普遍性。
  2. 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型模糊有限自動機，都存在一個與之等價的狀態最小化模糊有限自動機，並且給出了一個狀態最小化約簡演算法及其演算法終止條件。
  3. 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將以其嶄新的面貌，無愧成為當今同行業的勝出者。
  4. Scip is a system used to automatically identify and mark the stereo center of compounds based on cip rules

    Scip可用於對有機化合物的絕對立體構型按照cip約定進行自動識別，立體中心的絕對構型標識，獲取相應的立體化學信息。
  5. Meanwhile, champions of increased automation, notably the former shuttle engineer don nelson and the new york times columnist paul krugman, say that columbia ' s destruction should encourage nasa to retire its aging shuttle fleet once and for all

    同時，支持更多的使用自動化的人們，諸如前航天飛行器設計師唐?尼爾森以及《紐約時報》專欄作家保羅?克魯曼說道，哥倫比亞號航天飛機的墜毀應該促使美國國家航空和宇宙航行局永遠讓那些日漸老化的航天飛機退役。
  6. The securities and futures ordinances, which will come into operation on april 1, 2003, will replace the current 12 licenses with a single licensing regime that covers nine regulated activities including dealing in securities and futures contracts, leveraged foreign exchange trading, advising on securities, futures contracts and corporate finance, providing automated trading services, securities margin financing and asset management services

    根據四月一日起正式實施之新證券及期貨條例，證監會將把現有的十二項牌照歸納為九類受規管金融服務活動，包括證券交易杠桿式外匯交易就證券提供意見就期貨合約提供意見就機構融資提供意見提供自動化交易服務提供證券保證金融資及提供資產管理。
  7. In the angle of economics, this paper firstly analyzes the present flow situation and main problems in existence of our military science and technology human resource, and then analyzes flow and equilibrium of supply and demand from three aspects of the quantity 、 structural and behavior ; systematically describes individual decision and unit decision of military science and technology human resource on the angle of cost and profit, reaches the conclusion that in the flowing process, we should strengthen individual ’ s autonomous right properly, establish “ the leading type of armed forces ” human resource disposition mechanism ; in succession this paper has not only put forward the basic standard of the reasonable flow of the military science and technology human resource ? the effectiveness of combat, but also explained it carefully from flow quantity, flow direction and structure, established optimum floating rate ; finally, having based on the conclusion, the paper puts forward four mechanisms ? fetching in person and brains, inner flow, encouragement restraint and reserving brains in outflow mechanisms that promote our military science and technology human resource to flow reasonably

    本文立足經濟學的角度，在分析軍事科技人力資源流動現狀與存在問題的基礎上，從數量、結構、行為三方面分析了軍事科技人力資源流動中的供求均衡;從成本收益角度系統描述了軍事科技人力資源的個人決策和單位決策，得出了在我軍科技人力資源的流動過程中應該適當加強個人的流動自主權，建立「軍隊導向型」人力資源配置機制的結論;接著本文不僅提出了軍事科技人力資源合理流動的根本標準?戰鬥力效用，而且從流量、流向和結構上進行了細化，確立了最優的流動率;最後，本文提出了促進我軍科技人力資源合理流動的四大機制:引人引智機制、內部流動機制、激勵約束機制和淘汰退出機制。
  8. Supply of concentrate haemodialysis solution with bicarbonate powder buffer to the hospital authority and the department of health as a 24 - month contract from date of acceptance design, supply, delivery, installation, commissioning, maintenance of hardware, software and related services for the implementation of the automated tag and information display system for the immigration department on or before december 2006 supply of 320 000 kg. of polyelectrolyte type ii to the drainage services department as a 36 - month contract from date of acceptance provision of dental laboratory work for the department of health as a 24 - month contract from date of acceptance supply, installation and commissioning of a ground reception system for meteorological data from multi - functional transport satellite for the hong kong observatory from date of acceptance to fulfillment of contractual obligations supply and installation of 1 set of automated dna sequencing system to the department of health from date of acceptance to fulfillment of contractual obligations

    承投為醫院管理局和?生署供應高濃度血液滲析液連炭酸氫鹽緩沖粉劑，合約由發出接納書日期開始，為期24個月為入境事務處於2006年12月或之前推行自動化籌號及資訊顯示系統供應硬體和軟體，包括設計、送貨、安裝、試機、保養及有關服務為渠務署供應320000公斤高分子電解質（第ii類） ，合約由發出接納書日期開始，為期36個月為?生署提供牙科製品服務，合約由發出接納書日期開始，為期24個月為香港天文臺供應一套多用途輸送衛星氣象數據地面接收系統，包括安裝及試機服務，由發出接納書當日至履行合約訂明的責任為止為?生署供應和安裝一套核酸序列自動測定系統，由發出接納書當日至履行合約訂明的責任為止
  9. Automated warehouse is complex field that integrates material handling, computer controlling, management and so on. it is paid more and more attention, because it is of saving labor force, decreasing logistics costs

    自動化倉庫是集物料搬運、計算機控制、管理和倉儲等科學與技術的一門綜合性學科，由於它具有節約勞動力，作業迅速準確，可以提高保管效率，降低物流費用等優越性，日益受到人們越來越多的重視。
  10. Presented here is a passivity technique used to design a saturated robust adaptive controller for a class of nonholonomic mobile robot subjected to input disturbances and satisfying the matched condition

    摘要對一類滿足匹配條件的輸入干擾不確定性非完整約束移動機器人，藉助無源化設計方法提出了一種飽和魯棒自適應控制器。
  11. The old excitation setting in an _ kang hydro power plant restricts the development of the microcomputer regulator of speed, microcomputer protection and the computer supervisor and control that has altered, has become a bottleneck in improving the level of automation in power plant

    安康水電站原勵磁裝置嚴重製約已實施改造的微機調速、微機保護、計算機監控作用的發揮，已成為進一步提高電廠整體自動化水平的瓶頸。
  12. By drawing essence from limited partnership contract, we can reconstruct and improve incorporated company contract in china ; the fourth, when compared with debt contract or common stock contract, convertible preferred stock contract is the best choice for our investing stage contract, because it is better to alleviate asymmetric information and lower agency cost effectively in the process of venture capital investment. but it is very possible that common stock contract would still be used widely in a certain long time because convertible preferred stock contract suffers law restriction and many other limitations in china ; the fifth, staged investment, combinative investment and united investment are recommended strongly in this paper

    但由於可轉換優先股契約在我國受到諸多限制，普通股契約在一定時期內仍將居於主導地位；第五，分段投資、組合投資、聯合投資（投資辛迪加）可較好地適應風險投資過程中的不確定性、有效降低投資風險，應積極借鑒；第六，人力資本不確定性的存在是可轉換優先股、分段投資在契約條款中頻頻出現的內在原因；第七，信譽機制在風險投資過程中具有自動履約功能；第八，促進投資主體與產權結構多元化、轉換政府職能、完善法律法規、培育經理市場、健全社會信用體系、充分發揮信譽的自動履約功能是保障我國風險投資契約順利履行的關鍵。
  13. The forerunner of teco sa was taian electric, which was founded in march 1969 and merged with teco in oct 2003. ever since its establishment, sa never stops making contribution towards the industrial automation technology. sas products include ac dc motor controls, molded - case circuit breakers, high low voltage electric material, engines, generators, switchgears, ac dc frequency inverters, programmable logic controllers and servo controllers

    電控事業部的前身為臺安電機，自1969年3月創立至2003年10月與東元合併迄今，一直秉持著穩健踏實的態度，以電磁開關無熔線斷路器高中低壓配電器材引擎發電機組配電盤變頻器可程式控制器及伺服控制器等產品，為工業發展奉獻心力，滿足最基礎的用電安全，並提供整體性的自動化服務，符合節約能源的世界性潮流。
  14. Verifying the soundness of the uml statecharts model can be translated into the verification of the soundness of the global reachable state transition diagram, and the algorithms verifying the soundness and the properties of semantic - related are given. at the aspect of verifying the consistency of temporal constraints of workflow, the time events are added into the uml statecharts, then the rules translating the extended uml statecharts into timed automata are given. the upper constraints ( the most time interval between two tasks ), lower constraints ( the least time interval between two tasks ) and deadline constraints are defined by tctl. the consistency of these constraints in build time, instantiation time and run - time are defined respectively

    在驗證工作流時序約束一致性方面，在uml狀態圖中加入了時間事件，給出了將擴展后的uml狀態圖轉化為時間自動機的規則，用時間計算樹邏輯定義了兩個任務間的最大、最小時間間隔（上、下界約束）和工作流的最終期限約束，並給出了這三類約束分別在創建階段、實例化階段和運行階段的一致性定義，通過alur的演算法對時序約束一致性進行驗證。
  15. 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

    本文用形式語言與自動機理論對電子合同及其目標、責任、約束以及不可抵賴性證據進行形式化定義，使責任和證據相互配合，迫使達到商業目標。
  16. As a special case of lattice - valued finite state automata, mizumoto fuzzy finite state automaton is considred. furthermore, we obtain a minimization algorithm of mizumoto fuzzy automata. we obtain our results mainly by compare and contrast, analysis and synthesis, induction and reduction to absurdity

    此外，本文對格值有限狀態自動機的一種特殊類型? ? mizumoto型模糊有限狀態自動機的狀態最小化約簡問題也作了一些探討，給出了mizumoto型模糊有限狀態自動機的一種狀態最小化約簡演算法。
  17. Based on the analysis of the learning theory and instructionual design, we understand the procedure and regulation of learning, recognizing how to improve the learning environments and instructional procedure, so our its could implement on a better pedagogy theory ; presented in xml, the subject knowledge could be more suitable to be manipulated by computer tutor, to develop an individual learning environments. auto - generating paper is a constrained multi - object optimization problem, this paper presents a way based on genetic algorithm ( ga ) to solve the problem, and discuss how to choose an individual coding to improve the efficiency of ga according the problem ; when establishing the student model, we consider the mental factor as well as the cognitive factor

    基於對學習理論和教學設計的分析、總結，了解了人類學習活動的過程和內在規律，以及如何優化學習環境和教學過程，從而使智能教學系統建立在先進的教育理論基礎上；基於xml技術的學科知識表示，使它更便於計算機導師進行加工，形成個性化的學習環境；自動組卷是一個帶約束的多目標優化問題，本文提出通過遺傳演算法來解決，並分析了如何根據實際問題選擇個性化的編碼方案，提高遺傳演算法的效率；在建立學生模型時，除了考廣西大學碩士論文基於web的智能教學系統的研究慮認知因素還考慮了心理因素。
  18. With the intensive and scale development of modern greenhouses and the advancement of their intelligent management, present - day greenhouse technology is witnessing a trend of integration of greenhouse production and its management through remote communication. the development of modern sensor technology, communication technology, automation technique and computer technique add fuel to the fire for this trend. the remote communication interface for greenhouse data acquisition system is designed and discussed in this paper as the research focus

    隨著現代溫室朝著集約化、規模化方向的發展和溫室管理智能化要求的提高，溫室測控系統實現遠程通信，進而實現溫室內生產與管理的一體化，是現代智能溫室發展的必然趨勢；現代傳感器技術、通信技術、自動化技術和計算機技術的發展，又為這一發展趨勢推波助瀾，本文就這一研究熱點，集中對溫室數據採集系統遠程通信介面進行了設計探討。
  19. Being the import unit of the distribution automation system, the transformer terminal unit namely ttu, samples ac input ( such as voltage, current and so on ) and state ( for example : switch state ) and executes remote control command ( open operation or close operation ), ttu supervise the action of transformer, so it guarantee the security of das ( distribution automation system ) this paper is mainly based on the study of transformer terminal unit based on msp430f449 scm, the work of this paper includes : first, introduces the design of the hardware system and the software system of ttu, the core mathematical principle, and then, discusses the implementation of the communication protocol : iec870 - 5 - 101 and i2 c in detail

    配變監測終端ttu （ transformerterminalunit ）是配電自動化系統中的重要部分，在系統中完成採集模擬量（電壓、電流等）和狀態量（如開關狀態） ，以及執行遙控（開、合操作）操作等功能，實現對配電變壓器的實時監測，保障配電系統的可靠運行。本文主要研究了基於msp430f449單片機的配電監測終端的實現，較詳細地介紹了系統的硬體設計、軟體設計、核心演算法，介紹了通訊規約iec870 - 5 - 101和i ~ 2c的實現。
  20. With the development and application of computer and environment controlling technology, the soilless culture has become a collaborative, intensive and automatic system. the quick development of the soilless culture can bring great renovation to the agriculture technology. in our country the soilless culture technology has started only in recent years, so it is in introducing and experimental term now

    隨著農業現代技術、計算機技術、環境控制技術等的發展和綜合運用，它已逐漸形成一種在技術上高度密集配套、生產及管理上集約化、自動化、現代化程度很高的農藝生產技術體系，加速這一技術的發展普及必將給農業生產帶來技術內容和生產效果上的重大突破。
分享友人
分享到 Line

分享到臉書