集合論語言 的英文怎麼說

中文拼音 [lúnyán]
集合論語言 英文
set theoretic language
  • : gatherassemblecollect
  • : 合量詞(容量單位) ge, a unit of dry measure for grain (=1 decilitre)
  • : 論名詞(記錄孔子及其門徒的言行的「論語」) the analects of confucius
  • : 語動詞[書面語] (告訴) tell; inform
  • : Ⅰ名詞1. (話) speech; word 2. (漢語的一個字) character; word 3. (姓氏) a surname Ⅱ動詞(說) say; talk; speak
  • 集合 : 1 (聚集) gather; assemble; muster; call together 2 [數學] [自動化] [計算機] assemblage; set; co...
  • 語言 : language
  1. A monte - carlo method has been developed for simulating the growth of epitaxy flims. the program was compiled using turbo basic language. the influence of growth rate and temperature on surface morphology was studied. the model we used was an advanced diffusion limited aggregation ( dla ) model. the process of deposition and diffusion were considered in this model

    本文利用montecarlo方法,結薄膜生長理,採用turbobasic編寫程序,對外延薄膜的生長過程進行了模擬。所用的模型為改進的擴散有限聚模型( dla ) ,研究了薄膜生長過程中沉積速率和襯底溫度對表面形貌的影響。
  2. Based on the above theoretical research, this paper applied component gis method to develop the rural power distribution network management system of baoding city. laishui county as a case of practical application. in the advanced visual programming language - visual basic 6. 0 development environment, we took advantage of america gis component - mapx4. 5 to have implemented gis functions of the system in space data gathering, management, disposition, analysis, output, etc

    在以上理研究的基礎上,本文以保定市淶水縣農村配電網管理系統的建設為例,利用美國組件式gis軟體? mapx4 . 5 ,結高級可視化程序設計vb6 . 0 ,完成了系統在空間數據採、管理、處理、分析、輸出等方面的gis功能。
  3. Based on the fieldworks and studies from both diachronic and synchronic perspectives, the thesis argues that fenhe and guanzhong clusters of zhongyuan guanhua should be incorporated as one cluster in the language atlas of china, which should be re - demarcated into four sub - clusters according to their phonological features : guannei, hedong, jiangzhou, and pingyang

    本文在調查研究的基礎上,認為《中國地圖》中中原官話汾河片和關中片無從歷史演變還是從共時特點上都是分不開的,因此將它們併為中原官話關中片,並根據音特點將它們分為關內、河東、絳州、平陽等四個小片。
  4. 3 ) the paper discussed the theory and the method of asic high - level synthesis : ? nalyzed the synthesizable problems of vhdl language systematically, and discussed the establishment and the implementation methods of vhdl synthesis subclasses

    3 )本文對asic高級綜的理與方法進行了深入的探討:系統地分析了vhdl的可綜性問題,並探討了vhdl綜的確立及實現方法。
  5. Now, on the basis of the existing gis software, the thesis studies and designs geographic information system for regional urban system planning and probes into its theories according to basic model of application - oriented geographic information system and contents of plan and management in county ' s urban system. and the paper carries it out in village - town system of minhou county, fujian. finally, relying on the support of mapinfo, mapbasic and vb, the paper studies the multi - source systematic integration

    本研究在現有gis軟體的基礎上,按照應用型地理信息系統的基本模式和縣域城鎮體系規劃、管理的內容,進行了區域城鎮體系規劃地理信息系統( ruspgis )的設計及其理探討,並以此為框架,結閩侯縣城鎮體系規劃實踐,建立了閩侯縣城鎮體系規劃地理信息系統( mhuspgis ) ,最後以mapinfo為后臺支持,利用vb和mapbasic進行系統成。
  6. Fuzzy control is a kind of computer numerical control based on fuzzy set theory, fuzzy linguistic - variable and fuzzy logical reasoning, in which the experience of skilled operators and the knowledge of experts are summed up into the control rules in the form of " if. . then. . ",

    模糊自動控制是以模糊、模糊變量及模糊邏輯推理為基礎的計算機數字控制。它將操作人員的控制經驗和專家知識總結成一系列「如果…則… 」形式的控制規則,即模糊條件句;然後經過模糊邏輯推理而得到控製作用。
  7. As a result the relatively reasonable basic data is designed and mathematics model on the firing effectiveness is established. then the c language program is used to solve the model and reasonable data index and relative theory on the basis of the large number of the simulation computation of the set target are obtained. the paper creatively puts forward the theory of the ship - borne artillery terminal guided projectile system and establishes the mathematics model to evaluate its firing efficiency, and creatively discusses the use of the terminal guidance system in the sea - crossing and island - landing battle, providing a theory basis for the future military struggle against taiwan

    本文的研究針對末制導炮彈這種新型的精確制導武器系統的特點,以炮兵射擊理為基礎,以現代戰場上重要的點目標和群裝甲目標為研究對象,設定了比較理的基礎數據;建立了射擊效能的數學模型;採用統計試驗法,運用c設計計算程序對模型進行求解;對設定的重要目標,進行了大量的模擬計算分析,得出了比較理的數值指標和相關結;對其作戰應用進行了探討性研究,創造性地提出了船載炮發射末制導炮彈武器系統的新技術,建立了評定其射擊效率的數學模型;創造性地探討了末制導炮彈武器系統在渡海登島作戰中的應用,為未來戰場上我精確制導武器的使用,做好對臺軍事斗爭準備提供了理依據。
  8. Besides the advanced manufacturing technology and theory, a series of correlative technologies are required to the implement of networked manufacturing, especially the technologies of distributed computing, information integration and artificial intelligent etc. aiming at their limitations, the paper reconstructed the key supporting technologies employing the last network technologies and protocols, and established a new architecture of networked manufacturing. finally, the demonstrational researches are conducted with " flexible design and manufacturing system of key parts in large - scale antenna " as prototype. the distributed computing platform available of networked manufacturing is constructed with the distributed object technologies such as corba, dcom, rm1 etc, but those rpc modules bring obstacles to the development of global manufacturing due to their limitations

    網路化製造系統是個分佈、異構、鬆散耦的智能系統,除了先進製造技術與理念本身,網路化製造的具體實現與實施還需要一系列相關技術的支撐,特別是分散式計算、製造信息成、人工智慧等,文正是針對當前網路化製造中上述關鍵支撐技術的不足與局限,運用下一代internet核心規范webservices及其相關技術如xml 、 soap 、 wsdl 、 uddi等,提出了面向全球的網路化製造全新分散式計算解決方案( global - orienteddistributedcomputing , godc ) ;構造了基於xml - schema的製造產品數據描述( pdmlbased - xml - schema ) ,給出了express xml及steppart21 xml的映射規則,並對基於xml step pdm網路化製造信息成方案進行了研究;同時運用webservices 、 xml等先進技術與規范對網路化製造的multi - agent模型、表示、通訊、調度等進行了研究與重構;最後,以「大型天線關鍵零件網路化製造」為原型進行了應用研究。
  9. In this paper, a new way of real - time damage detection method was proposed according to the high speed working situation of the composite flywheels for energy storage, and a suit of equipment was developed to test the composite samples with piezoelectric disc built - in, the response waves before and after the damage occurred were recorded to the computer. on the base of traditional spectrum analysis of signal recorded, the wavelet analysis was introduced and the program in matlab language was made. with the wavelet packet decomposition of the signal, the relations between the change of response signals and damage characters were gotten, a database for damage recognition was created

    本文結儲能復材料飛輪高速旋轉的工作特點,提出了一種在線檢測飛輪轉子損傷的方法,自主設計一套實驗裝置對模擬各種損傷的的試樣進行了測試,試樣損傷前後的響應信號被採后存入計算機中;在對採信號進行傳統的頻譜分析的基礎上,引入了先進的小波分析理,利用matlab編寫程序,對信號進行小波分解,得到了信號變化和損傷特徵之間的關系,建立了一個識別飛輪損傷的數據庫;小波包分解得到信號對比圖和特徵向量,可以有效判定材料內部有無損傷和損傷的程度,結頻譜分析等,可一定程度上判定損傷的類型,為儲能飛輪的安全運轉和智能化運作提供了決策依據。
  10. After analyzing the product data exchange and share among cax, pdm and erp, this paper expounded three arrangements of ideas to carry out system integration between pdm and erp at present, then, broadly combining with the last research achievements of information integration theory and method and synthetically considering technical advancement and practical needs of domestic medium and small - scale enterprises. advanced and analyzed three plans to solve the integration problems. in view of reasonable method to organize product information, the paper adopted express model language to describe integrated logic data structure, built integrated data model with o - o feature to support system integration, discussed the method to bring about integrated data model on rdbms, and at last, according to the implementation of cims in yunnei power co., ltd, developed a integrated data model to exchange and share information between pdm and erp by means of transforming ebom to mbom

    本文首先對cax 、 pdm 、 erp之間的產品數據交換與共享作了分析,闡述了現階段pdm與cax應用系統之間實現成的三個層次:結國內外信息成理及方法的最新研究成果,綜考慮技術上的先進性和國內中小企業的實際需要,提出並分析了三種解決成問題的方案;基於產品信息的理組織方法,採用express模式描述成邏輯數據結構,建立了具有o - o特徵的成數據模型以支持系統成,並討成數據模型在rdbms上的實現方法;最後開發了一個以雲內動力股份有限公司cims工程為應用背景的成數據模型,通過利用ebom向mbom轉換的技術來實現pdm系統與erp系統之間的信息交換和共享。
  11. The simulation results show that, the evolution architectures model win the advantage of integrating the research production such as natural language proc essing, fuzzy logic, neural network techniques, artificial intelligent and intelligent deciding methods easily. in other words, it will take full advantage of the operators " subjective value, provide an intelligent assistant deciding environment to all levels managers, and boost the information processing ability and command & deciding levels. those advantages are attributable to that the evolution data fusion architectures are founded on the physical base of anthropic thinking and deciding, i. e., the evolution theory of nervous system

    研究表明,由於直接以人類思維與決策的物理基礎,即神經網路進化的理為基礎建立數據融體系結構模型,數據融系統的進化體系結構更有利於成諸如自然處理、模糊邏輯、神經網路技術、人工智慧和智能決策等方面的研究成果,它可以充分發揮指揮和操作人員的主觀能動性,為各級管理人員提供一個智能化輔佐決策環境,提高復雜網路系統的信息處理能力和指揮決策水平。
  12. Based on conformiting city planning information system, cadastral management information system, real estate development and management information system and urban land grade and evaluation information system, intensive use estimation system builded by this paper is completed through secondary developing relying on very mature geographic information system - maplnfo professional 6. 5, using language of mapbasic 6. 5 and visual basic 6. 0 to make user interface, using powerful general database management software microsoft excel to manage property data

    文構建的「城市土地約利用潛力評價信息系統」 ,是在整城市規劃信息系統、地籍管理信息系統、房地產開發與管理信息系統、城鎮土地定級估價信息系統的基礎上,依託于比較成熟的工具型地理信息系統mapinfoprofessional6 . 5 ,利用mapbasic6 . 5和visualbasic6 . 0等編制用戶界面,利用強大的通用數據庫管理軟體microsoftexcel進行屬性數據的管理,經過二次開發完成。
  13. This paper embarks on from rationalism natural language processing and proposes the method of expressing concept using the dynamic attribute set according to the theory of conceptual dependency and complex attribute set. then the paper briefly analyzes the process of constructing the dynamic attribute set via unification, proposes the matching theory that conceptual attribute set can be applied to information retrieval, and basically discusses the realization of information retrieval based on this theory. finally the paper concludes that the necessary and sufficient condition that a document matches a query is that the document must contain all the conceptual bases that appear in the query and be consistent with the relationship among conceptual bases in query

    文從理性主義自然處理出發,根據概念依存理和復雜特徵提出了概念的動態特徵表示方法,簡單的分析了利用一運算構建動態特徵徵的過程,提出了一種將概念特徵應用於信息檢索的匹配理,初步探討了基於該理的信息檢索的實現,通過匹配過程的深入分析得出文檔與查詢句相匹配的充要條件是文檔必須蘊含查詢句所包含所有概念基並且必須與查詢句中的概念基之間關聯關系相匹配的結
  14. In accordance with fact, the systematic structure is elaborated in the intelligent manufacturing system ; the model is established in the machining centers ; the automatic calculation of the dimensions chain is prevented ; the cell technique resources are selected in the system. for example : first, with the developing of manufacturing industry, a new mode of intelligent manufacturing has appeared. the paper elaborate the natural feature of intelligent manufacturing, proposes multiagents " architecture, and elaborates the means of the model building based on the available manufacture technique ( cnc : computer numerical control ; fms : flexible manufacturing system ; cim : computer integrated manufacturing ) 。 second, the paper introduces the fundamental theory of petri ' s net

    本文著重就以下幾個方面的內容進行深入闡述和探討: 1 .從現有製造技術( cnc : computernumericalcontrol ; fms : flexiblemanufacturingsystem ; cim : computerintegratedmanufacturing )闡述智能製造的特點,敘述了multiagent系統結構,進一步闡述了系統分析、設計中建模方法; 2 .介紹petri網的基本理,利用它對某車間加工中心系統生產過程建立模型,反映整個系統的加工動態特性,用arena7 . 0進行模擬研究,分析系統資源配置的理性、高效性,為復雜的製造自動化系統的建模與模擬打下基礎; 3 .述了cad / capp / cam ( computeraideddesign / computeraidedprocessplanning / computeraidedmanufacturing )智能化成的網路結構、數據通信等技術,對智能化工藝設計中的尺寸鏈的自動計算進行了探討,提出了lu分析演算法的原理及實現方法,編寫了計算機程序,為capp ( computeraidedprocessplanning )中的智能化設計提供了一個子模塊。
  15. Its driver control logic was realized by means of digital integrated circuit in which the pld chips utilized as the carrier. the vhdl, which is the ieee standard design language of integrated circuit, is used as the behavior description language. the compilation, synthesis, simulation and programming are fulfilled in the maxplusii

    設計的重點是驅動板,其驅動控制邏輯以pld晶元為載體通過數字成電路方式實現,控制邏輯的功能設計是用ieee標準的成電路設計vhdl作為行為描述,在maxplus武漢科技大學碩士學位文環境中進行編譯、綜、模擬和晶元編程。
  16. For the parallel analysis, several interfaces have been developed, on one hand, in order to parallelize the existing serial fea codes and make the system practical, some parallel solver library has been integrated into ooparafea ; on the other hand, ooparafea can also integrate self - developed module into its analysis kernel, in fact, it has already integrated parallel cg solver and parallel pcg solver up to now. in webfea, just like other parts in netfeaf, the class hierarchy ( including two dimension fea class library, three dimension fea class library, internet based fem computer aided instruction and so on ) is introduced first, and the control center which integrated httpserver ( used for building internet project web site ) and computingserver ( dealing with different computing tasks ) takes charge of the whole system. netgrawcad is the application of netfeaf in civil engineering, which offers civil engineers a network based works

    文還開發了全新用途的網路服務中心,包括http服務器、計算服務器,以及各種用途的計算客戶端:利用java的網路通信、界面處理能力結群的密并行計算能力一起完成特定的計算任務,從而使群計算與web計算很好的成在一起; webfea作為一種應用客戶端,配netfeaf成系統的各個計算組成部分,可以實現一個比較全面的有限元分析方法的計算機輔助課件;當前基於web的各種應用越來越廣泛,但將基於網路的工程設計與有限元分析系統的面向對象構建其引入有限元分析以及土木工程設計領域還不多,基於netfeaf系統,作者又利用面向對象的方法實現了基於網路的重力式碼頭cad成系統,以從根本上改變傳統的工程分析設計軟體的運行思路,使網路變成土木工程師的日常工作中心,系統部分成果通過鑒定(文通部鑒定為「國內領先,可以大大提高設計效率,建議在水運行業內盡快推廣使用」 )推出后的良好試用效果,使面向對象的方法在土木工程分析設計軟體系統研製中的優勢得到進一步驗證。
  17. The rough set is capable of describing the vague concepts, and measuring to the extent of vagueness, so it is appropriate to describe the natural language through the rough set. with the rough set theory as background, this paper has studied deeply the rough set representation model and the clustering based on this model

    自然的不確定性和模糊性造成了計算機對自然處理的困難,由於粗糙不僅具有描述不精確概念能力,而且還給出了對不精確度的度量,因此將粗糙的有關理用於對自然的描述有一定理性。
  18. In addition, this thesis tries to synthesize asp technology, ado, html, xml, svg and script programming, and integrates svg viewer and ie browser together, operates files which store data information using xml dom object, and makes the best of the latent energy of the computer network, so as to realize the web online publishing of graphics and images in cvidraw platform

    此外,本文嘗試了在綜asp技術、 ado組件、 html 、 xml標記和svg矢量圖像、及腳本編程的前提下,將svgviewer與ie瀏覽器成在一起,通過xmldom實現對儲存數據信息的文件進行操作,並充分發揮計算機網路的潛能,實現cvidraw平臺圖形圖像的在線web發布。
  19. Up to now, the most of the state - of - the - art piezoelectric finite element software was made by structural programming language, and they are very difficult to be reused and integrated, so component and three layers architecture attracts more and more attention and they are regarded as one of the best method to alleviate the software crisis

    本文主要討了基於internet和組件技術的壓電有限元系統的相關理研究和設計實現。在壓電有限元軟體大多採用結構化開發、難以復用和成的現狀下,組件技術和三層體系結構相結的技術應運而生。
  20. And from the practice side the paper tries to draw the concl usion through comparing the contents of senior middle school entrance examination with that of college entrance examination, so as to find the differences between them and look for the reason why they bring in the cohesion problem, we assumpt that too easy of the senior middle school entrance examination, text - centred, little focus on language - using ability, are the main factors that lead to the incoherence. then the paper shows the different parts that ca n ' t connect with each other in the incoherence problem, and furthermore it tries to inquire into some practical ways of solving it from the angel of testing. and besides, the paper also appeals to the society for the necessity of reforming the senior school entrance examination, and meantime appeals to our middle school language teacher, never just cast their eyes only upon tests, but also the cohesion of students " permanent development

    為了保證本文的科學務實,文中多處通過對比分析,定性分析等研究方法,具體剖析二者不銜接方面之所在,最終得出結:由於中考試題的簡單,以教材為中心,不注重分析問題,解決問題等能力的考察,只圍繞課本中原封未動的知識來變換題型,進而導致初中英教學過于強調知識的準確性,而忽略了只有通過廣泛閱讀大量材料,不斷輸入新的信息才能生成的閱讀能力以及其他運用能力的培養,造成初中為高中在能力方面鋪墊過少,高一學生沒有具備進入高中學習所必備的相關能力等不銜接問題;而高考測試注重閱讀能力等綜能力考察的導向確保了高中英教學從起始階段就以培養閱讀能力、搜、整理、分析、綜各種信息的能力為中心等綜能力為中心,由此推出初高中英教學的不銜接問題從初中既已形成,而在高中教學中表現得尤為突出。
分享友人