有限生成理想 的英文怎麼說
中文拼音 [yǒuxiànshēngchénglǐxiǎ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
-
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面拋光銼,拋光塊,內芯有木頭,軟海綿,硬海綿,塑料等製成,可按客人要求一定數量免費開塑料模具及設計印刷花樣圖案,客嘜,做成各種不同花樣指甲銼,是理想的家庭用品和廣告禮品贈品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等多種產品及規格,配置合理鏡片孔徑大驗光配鏡舒適準確,是理想的專業驗光工具。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系統的開發,使得系統具有一個既有問題又有解答的無限題庫,這些解答是由自動推理產生的而不再是固定問題、答案的堆砌;在系統功能方面,充分體現了建構主義思想,具有良好的人機交互性、並發性和開放性。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方法為主要內容。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
本文在簡要評述蒙古刑法立法的淵源后,指出現行《蒙古固刑法典(修訂) 》的規定具有具體明確的特點,並講述了現行《蒙古固刑法典(修訂) 》所體現的現代刑法思想:刑罰人道主羲原則;體現實行過限理論;在總則中明確規定速累犯;明確規定生產和調查研究中的合理風險行為不構成犯罪;六十歲以上的人犯罪不通用死刑;行刑社會化程度高;設立了有利於罪犯改造的前科消減制度等。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
本系列機組由柳州佳力電力電工有限責任公司生產的單相無刷發電機、控制箱及公共底座與南寧機械廠(簡稱南機) 、常發集團(簡稱常發)等柴油機廠生產的柴油機組成,具有穩定的電壓和頻率輸出及體積小、重量輕、啟動方便、油耗低、噪音低等特點,充分地體現了高性能、高質量發電機所應具備的要素,是銀行、郵局、娛樂場所、家庭及牧場等的理想電源。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
作為一家致力於成為中國乃至世界一流的中國的貨物運輸代理及綜合物流服務提供者,大連泛海通達貨運代理有限公司始終力行「笑運天下貨,澤及十方客」這一使命,願意通過物流這個二十一世紀最具潛力與發展的行業的平臺,為每一位願意實現上述目標的優秀人才提供一個充滿吸引力的薪資待遇,為每個人的成長提供一個廣闊的發展空間,能依託大連泛海通達貨運代理有限公司這個溫暖的大家庭實現自己的抱負與理想,快樂的工作,生活與學習。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 ) 。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
北京寶得瑞食品有限公司始終立足這一思想,堅持不懈,並以此規范全體員工的奉獻精神,規范的生產工藝操作規程和質量管理制度,做到從原料入廠到成品出廠全過程的標準化,程序化管理。It is proved that every nonzero ideal in a finite - dimensional semi - simple algebra over a field is generated by an unique central idempotent
證明了域上有限維半單代數的每一個非零理想由唯一的中心冪等元生成。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作為新一代企業管理信息系統的代表,之所以能夠得到廣泛認同,歸功于其先進的管理思想的確適應了目前社會生產力發展的步伐,本文以瓦房店軸承集團有限公司生產物流與標準成本控制系統的建設為背景,介紹了物流管理領域中企業生產物流的概念,分析了生產物流信息在構成及特點方面存在的一致性,闡述了生產物流管理的意義和生產物流管理系統的構建方法。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.
他的理論使我們進一步明確了,在當今提倡的素質教育中,強調創造性人才培養對于中華民族的強大和發展的現實意義。同時,陶行知創造教育理論,對於我們當前語文教育改革中的具體實踐,也具有切實的借鑒作用。通過對陶行知創造教育思想的分析,我們深深的感到,現今語文教育缺乏對學生創造能力的培養,教育目的比較片面,為應試而學,為應試而教;教學內容簡單,教材沒有很好地體現因地制宜、因校制宜、因人制宜的靈活性,課程的設置只注重「第一課堂「的教育而忽略了「第二課堂」 ;教學方法死板,限制了學生創造能力的形成;教育環境壓抑,缺少創造的氛圍。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 ) 、精益思想相結合,並對其管理系統進行研究,達成以生產計劃、生產調度為龍頭,充分利用工藝、工裝、工時定額等製造信息,科學編制生產的月、周、日計劃,高效的支配生產資源(如人、設備、工具、輔助材料等等) ,動態組織生產調度,準確預測隱患,全面監控生產過程,從而達到有效的提高生產效率的目的,並利用科學的管理方式最終提高我們的製造水平。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體系結構的、基於協議分析的入侵檢測系統框架,並對該系統各個功能模塊的設計思想和實現方法進行了詳細闡述,並在成都賽瑞斯信息技術有限公司內部局域網得到應用。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只能模擬理想電機的局限,用戶只需選擇控制方式即可。分享友人