有限生成理想 的英文怎麼說

中文拼音 [yǒuxiànshēngchéngxiǎng]
有限生成理想 英文
finitely generated ideal
  • : 有副詞[書面語] (表示整數之外再加零數): 30 有 5 thirty-five; 10 有 5年 fifteen years
  • : Ⅰ名詞(指定的范圍; 限度) limit; bounds Ⅱ動詞(指定范圍, 不許超過) set a limit; limit; restrict
  • : Ⅰ動詞1 (生育; 生殖) give birth to; bear 2 (出生) be born 3 (生長) grow 4 (生存; 活) live;...
  • : Ⅰ動詞1 (完成; 成功) accomplish; succeed 2 (成為; 變為) become; turn into 3 (成全) help comp...
  • : Ⅰ名詞1 (物質組織的條紋) texture; grain (in wood skin etc ) 2 (道理;事理) reason; logic; tru...
  • : 動詞1 (思索) think; ponder 2 (推測; 認為) suppose; reckon; consider; think 3 (希望; 打算) w...
  • 有限 : limited; restricted; finite; a little; not much
  • 生成 : create; generate; produce生成演算法 generating algorithm; 生成文法 generating grammar; 生成物 pro...
  • 理想 : ideal
  1. Wenzhou cilotus beauty implements co., ltd is the leading manufacturer exporter of beauty care tools in china, establish in 1994, we deal with all kinds of business forms including custom designs and oem production. among our customers are avon, revlon, o - bey, solingen, kiss etc. we produce nail files, emery boards, foot fles, callous removers, nail buffers, buffer block, nail shine, glass nail files, nail brush, nail tips, nail clippers, tweezers, scissors

    平陽希蓮美容器具公司原美旭美容工具廠,專業產各種指甲拋光銼,拋光塊,其中3面, 4面, 6面, 8面拋光銼,拋光塊,內芯木頭,軟海綿,硬海綿,塑料等製,可按客人要求一定數量免費開塑料模具及設計印刷花樣圖案,客嘜,做各種不同花樣指甲銼,是的家庭用品和廣告禮品贈品
  2. We have kept in specializing in optical instruments for nearly 40 years, especially sight test apparatuses, such as trial lens of both full - aperture with metal colored metal rim and reduced - aperture with plastic aluminum mount, trial frame with adjustable changeless p. d, crooss cylinder set and retinoscopy rack set. based on excellent quality and reasonable price, our trial lens set has acquired a good reputation from the customers and distributors over the world. for ten years, our products have been widely shipped to america, europe, southeast asia, mid - east and africa

    連雲港天諾光學儀器公司是專業產驗光鏡片箱檢眼鏡片箱試鏡架等驗光儀器的廠家,多年來,公司致力於驗光儀器的開發和研究,追求精益求精,不斷改進產工藝,提高產品質量,並積國內外諸多驗光師的經驗遂漸形260 232 226 158等多種產品及規格,配置合鏡片孔徑大驗光配鏡舒適準確,是的專業驗光工具。
  3. 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系統的開發,使得系統具一個既問題又解答的無題庫,這些解答是由自動推的而不再是固定問題、答案的堆砌;在系統功能方面,充分體現了建構主義思,具良好的人機交互性、並發性和開放性。
  4. 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方法為主要內容。
  5. After the simple statement of the legislative origin, the article points out the definite and concrete character of the regulation in the current penal code of mongolia ( revised ), and states the modem criminal law ideas reflected in current penal code of mongolia ( revised ) as follows : humanistic principles in penalty ; the reflection of theory of surplus behavior of joint offence ; the definite regulation of involved offender ; the definite regulation of decriminalization of a reasonable risk behavior in research and production ; the no use of death penalty to the person above 60 ; the high extent of socialization in implementing penalty ; the establishment of system of the cancellation of conviction in order to reform the criminals

    本文在簡要評述蒙古刑法立法的淵源后,指出現行《蒙古固刑法典(修訂) 》的規定具具體明確的特點,並講述了現行《蒙古固刑法典(修訂) 》所體現的現代刑法思:刑罰人道主羲原則;體現實行過論;在總則中明確規定速累犯;明確規定產和調查研究中的合風險行為不構犯罪;六十歲以上的人犯罪不通用死刑;行刑社會化程度高;設立了利於罪犯改造的前科消減制度等。
  6. The series genrating set combination of single and three phase brushless generator 、 control panel 、 common base produced by liuzhou jiali electric manufacturing co. ltd and engine produced by nanning machine factory ( abbreviation : nanji ) 、 changzhou engine co. ltd ( abbreviation : changfa ), which appears small size 、 light in weight 、 easy to start 、 low in fuel consumption and noise production with stale voltage and frequency output. it is an ideal power supply for banks 、 post office 、 public places of entertainment 、 households and pasturelands, so on

    本系列機組由柳州佳力電力電工責任公司產的單相無刷發電機、控制箱及公共底座與南寧機械廠(簡稱南機) 、常發集團(簡稱常發)等柴油機廠產的柴油機組,具穩定的電壓和頻率輸出及體積小、重量輕、啟動方便、油耗低、噪音低等特點,充分地體現了高性能、高質量發電機所應具備的要素,是銀行、郵局、娛樂場所、家庭及牧場等的電源。
  7. To be a most respected chinese company in freight forwarding industry and logistics service provider of the world, we know it is a long way for a young, a profitable and growing company like dalian fan haitong da trans to go, thus we invite you, with talent and wisdom, with group spirit and diversity, creativity and idealism, be generous to the people, to join with us and to achieve such goal with us, what you will find here are fun, friendly colleagues, an incredibly supportive environment that values life as much it does work, and the opportunity to test the limits of your intellectual abilities

    作為一家致力於為中國乃至世界一流的中國的貨物運輸代及綜合物流服務提供者,大連泛海通達貨運代公司始終力行「笑運天下貨,澤及十方客」這一使命,願意通過物流這個二十一世紀最具潛力與發展的行業的平臺,為每一位願意實現上述目標的優秀人才提供一個充滿吸引力的薪資待遇,為每個人的長提供一個廣闊的發展空間,能依託大連泛海通達貨運代公司這個溫暖的大家庭實現自己的抱負與,快樂的工作,活與學習。
  8. To the primary contradiction of real - time interactive visual simulation, limited bandwidth of network and real time transmitting parameter of relative to move sight, the control mechanism of 3 - d visual object is discussed, under the direction of hla idea, the visual federal object model vfom is established to describe the visual data distributing ; the author designed a grammar of vfom context and a turing conversion mechanism, it will support exploitation of visual simulation in different field ; the author analyses and apply opengl to design a method of implement real - time interactive visual simulation on pc, in additional with object - oriented program technique network communication technique multithreading technique, implement pc - virsp. there are 7 chapters in this thesis. in chapter 1, the developments of virtual simulation is looked back, the aim and significance and the main search content is put forward

    論文針對實時交互視景模擬的主要矛盾,即網路帶寬與視景運動交互參數實時傳輸矛盾,探討了三維視體運動控制機,結合hla思,建立視景聯邦對象模型( vfom - visualfederalobjectmodel )來描述視景數據分佈;並設計了模擬實體鏈描述文本文法及其存儲轉換機制,效支持多領域視景模擬系統開發;分析並應用圖形介面標準opengl ,設計了基於pc機的實時互操作視景方法;針對網路分佈環境下視景模擬實時交互需求,設計視景運動同步控制方案;並綜合應用了面向對象編程技術、網路通信技術、多線程技術,實現了基於pc機的視景實時互操作支撐平臺( pc - vrisp ? real - timeinteractivesupportingplatformforvirtualsimulationbasedonpersonalcomputer ) 。
  9. Based on this idea unswervingly, powdery standardizes regulation for all the staff, the manufacturing operation procedures and quality management systems to ensure the entire process of the products is under standardized and programming management from raw materials entering to products leaving the factory

    北京寶得瑞食品公司始終立足這一思,堅持不懈,並以此規范全體員工的奉獻精神,規范的產工藝操作規程和質量管制度,做到從原料入廠到品出廠全過程的標準化,程序化管
  10. It is proved that every nonzero ideal in a finite - dimensional semi - simple algebra over a field is generated by an unique central idempotent

    證明了域上維半單代數的每一個非零由唯一的中心冪等元
  11. The reason of being widely accepted is attributed to the advanced management method, which suit the requirement of modern working force. this paper is based on the construction of production logistics and standard cost control system for wafangdian bearing group corporation. the concepts of production logistics in enterprise were presented ; the consistency between the infrastructure and characteristics of the production information was analyzed ; the significance of the production logistics management and the methods of constructing were illuminated

    Erp作為新一代企業管信息系統的代表,之所以能夠得到廣泛認同,歸功于其先進的管的確適應了目前社會產力發展的步伐,本文以瓦房店軸承集團公司產物流與標準本控制系統的建設為背景,介紹了物流管領域中企業產物流的概念,分析了產物流信息在構及特點方面存在的一致性,闡述了產物流管的意義和產物流管系統的構建方法。
  12. It not only made a unique contribution to chinese teaching theory when put forward, but also has an important realistic significance for the reform and development of the socialist education strive in today ' s china. taoxingzhi ' s idea made us clear that in today ' s advocated " quality education ", to stress the training of the creative talented people is realistically significant for chinese people ' s revitalization and development. meanwhile, taoxingzhi ' s " creative education thought " can be feasibly referred to the concrete practice of the contemporary reform of the chinese education in china, through analyzing taoxingzhi ' s " creative education thought ", we really found that today ' s chinese education lacks the training of student ' s creative ability, remains a unilateral teaching and studying goal which is merely for exams ; with simple teaching contents, the textbooks did n ' t reflect the flexibility of " to suit measures to conditions of different places, schools and students.

    他的論使我們進一步明確了,在當今提倡的素質教育中,強調創造性人才培養對于中華民族的強大和發展的現實意義。同時,陶行知創造教育論,對於我們當前語文教育改革中的具體實踐,也具切實的借鑒作用。通過對陶行知創造教育思的分析,我們深深的感到,現今語文教育缺乏對學創造能力的培養,教育目的比較片面,為應試而學,為應試而教;教學內容簡單,教材沒很好地體現因地制宜、因校制宜、因人制宜的靈活性,課程的設置只注重「第一課堂「的教育而忽略了「第二課堂」 ;教學方法死板,制了學創造能力的形;教育環境壓抑,缺少創造的氛圍。
  13. From the management mode and integrating the aircraft part production characteristics, analysis and studies the integrated management of the manufacturing information, the organizing of the production plan and the control of the production process of the part manufacturing workshops which is under the cims environment, integrate with lean production idea. and this paper also applies concrete system analysis, promote general design plan and model establishing method. this thesis mainly discusses the workshop production practical flow, brings forward the new " month, week, day three class plan control " method, expects to apply effective control to the overall production process

    本論文在了解了同行業企業的製造管模式之後,以西安飛機工業(集團)責任公司零件製造車間為例,對零件製造車間進行系統的研究和分析,在此基礎上開發一個基於cims環境下適合零件製造車間的產作業計劃管系統,與精益產方式( leanproduction ) 、精益思相結合,並對其管系統進行研究,達產計劃、產調度為龍頭,充分利用工藝、工裝、工時定額等製造信息,科學編制產的月、周、日計劃,高效的支配產資源(如人、設備、工具、輔助材料等等) ,動態組織產調度,準確預測隱患,全面監控產過程,從而達到效的提高產效率的目的,並利用科學的管方式最終提高我們的製造水平。
  14. Secondly, the thesis goes deep into particulars ids in details, from basic concept, model and theory. thirdly, the thesis analyzes the frangibility of the tcp / ip protocol and the non - security of internet behind it. afterward, the thesis expatiates on the design thought and implementation method of distributed ids with cidf framework based on protocol analysis

    緊接著,文章對ids的基本概念、模型及原等進行了論述,並從tcp / ip協議本身入手,詳細分析了協議本身的脆弱性及由此產的網路的不安全因素,提出了一個分散式的、具cidf體系結構的、基於協議分析的入侵檢測系統框架,並對該系統各個功能模塊的設計思和實現方法進行了詳細闡述,並在都賽瑞斯信息技術公司內部局域網得到應用。
  15. Above all, the simulating operation is automatic because the interface between adams and matlab is shielded and simplified. secondly, this system can simulate factual motor that is the simplified and ideal one in adams. in the new system, the motor is automatically created and the operation is just to select a method of control

    該軟體系統具下面幾個特點:首先,本軟體系統實現了流程的自動化,對用戶屏蔽了數據介面,專用數據介面文件在matlab和adams之間可以自動傳輸;其次,本軟體系統實現了控制電機的自動,並突破了adams只能模擬電機的局,用戶只需選擇控制方式即可。
分享友人