統一模型語言 的英文怎麼說

中文拼音 [tǒngyīmóxíngyǔyán]
統一模型語言 英文
uml
  • 統 : Ⅰ名詞1 （事物間連續的關系） interconnected system 2 （衣服等的筒狀部分） any tube shaped part of ...
  • 模 : 模名詞1. （模子） mould; pattern; matrix 2. （姓氏） a surname
  • 語 : 語動詞[書面語] （告訴） tell; inform
  • 言 : Ⅰ名詞1. （話） speech; word 2. （漢語的一個字） character; word 3. （姓氏） a surname Ⅱ動詞（說） say; talk; speak
  • 統一 : 1. （聯成整體） unify; unite; integrate 2. （一致的; 整體的） unified; unitary; centralized
  • 模型 : 1 （仿製實物） model; pattern 2 （制砂型的工具） mould; pattern3 （模子） model set; mould patter...
  • 語言 : language
  1. This thesis firstly introduces new demands of aerial product logistics support under high - tech war and some defects of traditional logistics support, and puts forward a kind of system model of aerial product logistics support following data - sharing of cals, and emphasizes detm. secondly it sets forth application of step and xml in the ietm, researchs conversion of xml schema and relation schema, and simply researchs mapping of xml and express. afterword, a based - xml framework of info - transfer between different platform are presented, according to this framework, the author establish a archetypal system of helicopter information query system based xml and dbms

    本文首先介紹了現代高科技戰爭條件下對航空產品維修保障的新要求，概述了傳統的後勤保障技術的不足，遵循cals的數據共享的理念，提出了航空產品維修保障系統模型，重點研究了互動式電子技術手冊；接著分析了step標準和xml技術在製作互動式電子技術手冊中的應用，重點研究了肌模式和關系模式之間的相互轉換，初步研究了xml和express語言之間的映射關系；然後，提出了基於xml的一種解決航空產品信息跨平臺傳遞的解決方案，給出了該方案的具體實現流程和詳細的通訊協議，並開發了基於xul和數據庫的某型號直升飛機的信息查詢原型系統。
  2. We first present a number of desiderata for an xml - based query language, and based on this criterion, we introduce the syntax of a simple core ian - guage for semistructured data and then describe four extensions that have resulted in working prototypes. second, we present the algorithm for computing the result of a regular expression on data graph with cycles, the first - order interpretation of querying language for semistructured data, and explore structural recursion and bisimulation in semistructured data and propose an efficient and systematic way to computing a bisimulation between the two graphs. we also proposed and implemented a web querying system with database features

    基於這些準則，對一個簡單的半結構數據查詢核心語言的語法提出了兩方面擴充；給出了計算數據圖中正規表達式的演算法；對半結構數據查詢語言的一階邏輯描述、結構遞歸和數據圖的雙態模擬（ bisimulation ）等問題進行了研究，提出了一種判定數據圖的bisimulation演算法；在xml數據查詢語言研究的基礎上，設計並實現了一種具有數據庫查詢特性的web查詢系統原型。
  3. 11 katoen j - p, langerak r, latella d, brinksma e. on specifying real - time systems in a causality - based setting. lecture notes in computer science 1135, 1996, pp. 385 - 405. 12 fecher h, majster - cederbaum m, wu j. refinement of actions in a real - time process algebra with a true concurrency model

    在系統模型的結構表示上，本文擴充了傳統的事件結構，使用一種帶時間信息的捆綁式事件結構來模擬系統行為，在系統模型的語言刻畫上，本文採用的是帶時間的類lotos進程代數描述語言，對于動作精化，我們同樣採用運算元的觀點，將動作精化定義為一個操作運算元。
  4. Based on consider hereinbefore, this dissertation discusses several aspects on the problem of the sustainable and optimum exploitation of groundwater resources as follows : ( 1 ) reviewed entirely the origin and evolvement of the concept " sustainable development ", stated and commented the study status in queue on " sustainable development " around national and international range, thorough discussed the science connotation about the concept " sustainable development " ; ( 2 ) looked back and commented across - the aboard some furthest basic concept and proposition related to groundwater resources, put forward self opinions on a few existent mistake points of view and chaos understandings ; ( 3 ) expatiated entirely on the content and meaning of the theory of changeable groundwater resources system, contrast with the traditional methods of groundwater resources calculation and evaluation, combined example to show the application of this theory ; ( 4 ) thorough analyzed the difficult and complexity to forecast the groundwater resources, fully stated the traditional methods of groundwater resources forecasting, pointed out the characteristic and applying condition of these forecasting method, introduced the main ideas and methods of wavelet analysis developed recently, and the matlab software be known as the fifths era computer language, and its accessory wavelet analysis toolbox, applied these methods and tools to analyze the groundwater dynamic curve, adopted the b - j method and morte - carlo method, combined with the theory of changeable groundwater resources system, discussed the new view on the forecast of groundwater resources ; ( 5 ) synthetically analyzed the characteristics and limitations of the present all kind of groundwater manage model, combined mathematical programming mathematical statistics random process and the theory of variation system of groundwater resources on the unite optimum attempter of surface water and groundwater, emphasized how to make the model more nicety, more simple, more practicality ; ( 6 ) analyzed the inside condition and outside condition to assure the sustainable and optimum exploi tation of groundwater resources, the inside conditions are the follows : correct resources idea, scientific methods of resources calculation and evaluation, credible forecast methods of resources, exercisable measures of resources management, the outside conditions are the follows : the development idea of high layer, the transform of manage system, the matched policy and rule of law, the adjusted of economy lever, the improve of cultural diathesis, the boosting up of water - saving consciousness and detail measures, the control of population rising, the prevention and cure of water pollute, the renew and rebuild of ecology ; ( 7 ) scan the sustainable and optimum exploitation of groundwater resources from the high level of metagalaxy, earth system science, and philosophy ; lint out the more directions on groundwater resources

    基於以上考慮，論文主要從以下幾方面對地下水資源可持續開發問題進行了比較深入的探討：全面回顧了「可持續發展」概念的由來與演變，對國內外「可持續發展」的研究現狀進行了述評，並對「可持續發展」概念的科學內涵進行了深入探討；對涉及地下水資源的一些最基本的概念和命題進行了全面的回顧和評述，對目前仍然存在的一些錯誤觀點和混亂認識提出了自己的見解；全面闡述了地下水資源變值系統理論的內容和意義，並與傳統的地下水資源計算評價方法進行了對比分析，結合實例具體說明了方法的應用；深入分析了地下水資源預測預報工作的極端重要性和復雜性，對傳統的地下水資源動態預測方法進行了全面的評述，指出了各類預測預報方法的特點及適用條件，對最近二十多年剛發展起來的小波分析技術的主要思想和方法及其應用范圍，以及號稱第五代計算機語言的matlab軟體和附帶的小波分析工具箱進行了介紹，並應用於地下水動態過程線的分析，採用時間序列中的b ? j法，蒙特卡羅方法，與地下水資源變值系統理論相結合，探討了地下水動態資料分析和地下水資源預測預報的新思路；綜合分析了現今各類地下水管理模型的特點及缺陷，將數學規劃、數理統計、隨機過程等與地下水變值系統理論相結合進行地表水地下水或多水源的聯合優化調度，使模型更準確、更實用；對保證地下水資源可持續開發的內部條件和外部條件進行了分析，內部河海人學博卜學位論文前言、摘要、目錄條件主要是正確的資源觀，科學的資源計算與評價方法，可靠的資源預測預報技術，可操作的資源管理措施，外部條件主要是高層發展思路、管理體制的變革、配套的政策法規、經濟杠桿的調節、人文素質的提高、節水意識的增強及具體節水措施、人口增長的控制、水體污染的防治、生態的恢復和重建等;從宇宙科學、地球系統科學及哲學的高度審視地下水資源的可持續開發;指出了地下水資源可持續開發的進一步研究方向。
  5. We characterized the security issues in asp - based networked manufacturing system, especially the issue of the user access control. then the typical methods of access control were introduced, which include discretionary access control ( dac ), mandatory access control ( mac ), role - based access control ( rbac ), task - based access control ( tbac ), coalition - based access control ( cbac ) and relationship - driven access control ( rdac ) and so on. based on that, we provided an integrated user access control model, which was composed of rbac, tbac, rdac and cbac

    本章描述了asp和網路化製造系統的安全性問題，尤其是用戶訪問控制的問題；接著介紹了幾種浙江大學博士學位論文典型的訪問控制方法，包括強制訪問控制、任意訪問控制、基於角色的訪問控制、基於任務的訪問控制，以及基於公司關系的訪問控制、基於企業聯盟的訪問控制等;在前面描述的典型訪問控制模型基礎上，給出了一個網路化製造系統的綜合訪問控制模型，包括網路化製造系統的用戶和資源層次關系圖、訪問控制參考模型和訪問控制過程模型，並定義了各個模型中的相關元素和關系，給出了各級約束驗證和授權的表達;最後我們給出了以xacml為基礎的網路化製造系統的訪問控制描述語言。
  6. As the rdbms ( relational database system ) can hardly adapt the requirement of non - traditional application, such as incompetence of model representation, low system with a combination of 00 language, sematic, model, complex object and database system. it absorts the merit of the oodbms and the rdbms, it inherit the mature technology of the rdbms, on the other hand, it import the technology of the 00, so it can boost up the ability of handle complex object, etc

    它針對關系數據庫系統（ rdbms ）不能適應非傳統應用的要求，如：模型表達能力有限，系統效率低、事務模型太簡單等，結合面向對象語言、語義模型、復雜對象模型和數據庫的幾個方面的研究而形成的一個高度數據集成化系統。
  7. By utilizing expert experience and language information, analyzing, modeling and control of many industrial complex plants can be handled effectively by fuzzy control technology, which otherwise will be very hard by approaches of traditional control theory, if not impossible. in addition, these complex plants can be controlled easily even without exact mathematical models, so fuzzy control has become a popular topic for analysis and design of complex nonlinear systems

    傳統控制理論難以解決復雜非線性系統分析、建模與控制問題，而模糊控制技術由於能夠方便地利用專家經驗及語言信息，甚至無需建立系統數學模型即可對系統進行控制，目前已逐漸成為復雜非線性系統分析與設計所採用的主要方法之一。
  8. The main work included : the classical lambda calculus was modified to describe the character of dynamic fuzzy ; the abstract syntax of dfl programming language was described through bnf notation ; an operational semantics model of dfl programming language was proposed with a ternary array < dfsc, dfo, dfss > and then some basic data types and several mechanisms of constructing new data types were defined ; the frame of dfl progaramming language was provided ; it was described how to solve some problems applying the operational semantics model ; the correctness and reliability of the operational semantics model were proved by hoare logic and denotational semantics

    主要內容包括:變形傳統的演算，以更好地描述具有動態模糊性的問題;通過bnf描述了dfl程序設計語言的抽象語法;通過一個三元組< dfsc ， dfo ， dfss >給出了dfl程序設計語言的操作語義模型;給出了dfl程序設計語言的基本框架結構;給出了該操作語義模型的一些應用實例;通過hoare邏輯和基本指稱語義對本文所定義的操作語義模型的正確性和可靠性進行了證明。由此可見，本文從全新的角度定義了一種可以處理動態模糊問題的程序設計語言。
  9. In this paper, i introduce the concept, language, and general model about active database. in basis of understanding the design idea of adbms, i also describle the procedure of developing the jing cai project of si chuan province. and take the management system of budget target for granted, i provide a detailed description of developing the system providing active prediction ability with active database technology

    本文介紹了主動數據庫的概念、語言、一般模型等相關技術，並在深刻理解主動數據庫管理系統設計思想的基礎上，結合作者在實際工作中的成果，闡述了四川省金財工程的研發概況，著重以其中的預算指標管理系統的開發為例，對該系統中應用主動數據庫技術實現「超預算分配」的主動預警功能作了詳細的分析研究。
  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. Therefore this article switches to the statistical natural language processing and seeks the best way to implement the above conclusion. finally a new language model named section language model in the information retrieval field is proposed

    所以本文轉向通過統計自然語言處理尋找一種實現上述結論的最佳方法，最終提出了基於段語言模型的信息檢索實現模型。
  12. This thesis gives a model language and a moderately complete formal description which can be used to prove the properties of static and dynamic data dependencies, and defines the notions in the iterative relaxation method formally. the program theories about the iterative relaxation method and its improvement are investigated, whose results include : the generalization of the predicate slices proposed by neelam gupta et al to path - wise static slices, and the proofs of the soundness of the construction algorithm of path - wise static slices and the soundness of the improvement

    本文給出一種模型語言；給出一個比較完整的形式化描述，該描述可用於證明與靜態、動態數據依賴關系有關的程序性質；給出迭代鬆弛法中各概念的形式化定義；深入研究迭代鬆弛法及其改進后的方法的程序理論，其結果包括：將neelamgupta等人提出的謂詞片推廣為路徑靜態切片，證明路徑靜態切片構造演算法的正確性，證明改進后的方法與原方法所生成的線性約束系統相同。
  13. Realizes the longitudinal relationship between models by using object - oriented programming language ; 2 ) sets forth the function and software design in detail, and analyzes entities of the system. realizes the randomness of traffic flow and constructs vehicle arriving model, vehicle movement model on road segments and vehicle movement model on intersections, so completes the kernel part of traffic simulation ; 3 ) uses 3d modeling software - multigen creator and real - time simulation software - vega to build up the 3d virtual environment of microscopic traffic simulation, and drives dynamic entities such as driver - vehicle units and traffic lights in static scenes ; 4 ) studies the characteristic of checkerboard system of street layout, analyzes and decomposes the system to deduce a certain simplification method. and researches the application of urban traffic route choice

    論文主要工作如下： 1 ）利用面向對象技術分析交通模擬系統模型之間的橫向關系和交互作用，研究靜態實體的狀態變化和動態實體的運動規律；利用面向對象的程序設計語言實現系統中模型的縱向關系； 2 ）詳細闡述交通微觀模擬系統的功能設計、軟體設計，分析模擬系統中的實體；實現車流的隨機性，建立車輛的到達、車輛在路段上的行駛過程、車輛通過交叉口的行駛過程等模型，完成交通模擬的核心內容； 3 ）利用三維建模軟體multigencreator和實時模擬軟體vega建立交通狀態微觀模擬的三維虛擬環境，在靜態視景中驅動駕駛員-車輛單元、信號燈等動態實體； 4 ）研究棋盤式道路格局的特點，從理論上分析並分解系統，得到一定的簡化依據，進一步研究城市交通路線選擇的應用。
  14. This research finally returnees with the foundation of this frame prototype, then according to the leading of the development method of object frame, and practicing the educational administration management system " s development of the central south forestry university to fulfillment, and be used as to examination that patterns, pattern language and application program frame with verify, from target for find outing among them not perfectly, inaccuracy with not complete place, with conduct and actions next move studying with direction

    本研究最後還以此框架原型為基礎，以基於面向對象框架的軟體開發方法為指導，通過一套中南林學院教務管理系統的開發為實踐，作為對該模式、模式語言及應用程序框架的檢測和驗證，從面找出其中不完善，不正確和不完整的地方，以作為下一步研究的目標和方向。
  15. 6. how to support multi - policies in secure information systems was a research hotspot in recent years. in this paper, fmp studies were divided systematically in three classes : based on policy language, based on security attributes and based on uniformed security model

    提出「基於政策描述語言」 、 「基於安全屬性」和「基於統一模型」的分類方法，首次對國際上百花齊放的多安全政策支持框架的研究工作，進行了比較系統的劃分。
  16. Uml : unified modeling language

    利用統一模型語言
  17. On the basis of the model, using unified model languish ( uml ), we design and develop the simulating system. by adopted object oriented and component based design theory, using dynamic library link technique under windows programming, the system was compacted in structure and run faster

    在模擬模型基礎上，運用面向對象和面向組件的設計思想，對電子調速系統進行軟體設計開發，系統設計語言採用統一模型語言（ uml ） ，進行可視化系統模塊構造。
  18. Gives an example of subsystem of equipment management, chapter four introduces the object oriented modeling method in ship manage system, and using the modeling language uml ( unified modeling language ) and uml based visual design tool ration rose, to understand the requirement of the customers, the thesis establishes a system model, designs a agile and suitable system architecture and work flow, thus provides the technique support for the successful system

    本文第四章以船舶設備管理子系統（功能模塊）為例詳細描述了船舶管理系統面向對象的建模分析方法。並採用統一模型語言（ uml ）與基於uml語言的圖形化oocase （ objectoriented ）工具rationalrose ，用面向對象的開發設計方法來理解和把握用戶的需求，建立系統模型，設計出靈活、適應性強的系統架構與流程，為最終實現船舶管理系統軟體的成功開發提供技術保障。
  19. According to the modern software engineering design idea, the systematical requirement for the construction of beijing eco - environment information was analyzed and studied. it was designed with uml ( unified modeling language ) and constructed under iterate development model as an internet network system using multi - language crossing flatforms technologies to integrate multi - source data. 2

    按照現代軟體工程的設計思想，分析和研究北京市生態環境信息化建設的系統需求，提出以uml （統一模式語言）為設計模型，採用迭代式研發模式，以多種語言跨平臺技術集成多源數據，建立生態環境互聯系統的研發方案； 2
  20. The paper studies architecture of active mechanism on the basis of source language and object model of object - oriented language

    本文在一個源語言系統和一個面向對象語言的對象模型基礎上，研究了主動機制系統的體系結構。
分享友人
分享到 Line

分享到臉書