formalized model 中文意思是什麼

formalized model 解釋
形式化模型
  • formalized : 縮甲醛化的
  • model : n 1 模型，雛型；原型；設計圖；模範；（畫家、雕刻家的）模特兒；樣板。2 典型，模範。3 （女服裝店僱...
  1. Firstly, we introduced the main idea, the formalized description, and the basic flow of co - evolution algorithm. then, from the point of pattern analyzation, we established the mathematics model of the multi - population co - evolution algorithm based on pattern replicator equation of the single population genetic algorithm, and made the theoretical analysis and compare for the method of best choice and the method of random choice of the co - evolution algorithm. we put forward a new method for the individual fitness evaluation, and validated the performance of the new method by the simulation experiment

    首先，在介紹了協進化演算法的核心思想、形式化描述和基本演算法流程的基礎上，從模式分析角度出發，建立了基於模式復制方程的多群體協進化演算法數學模型，對協進化演算法中的最優選擇法和隨機選擇法進行了理論分析與比較，提出了一種新的個體適應度評價方法，並通過模擬實驗驗證了新方法的效率。
  2. A concept - based approach is expected to resolve the word sense ambiguities in information retrieval and apply the semantic importance of the concepts, instead of the term frequency, to representing the contents of a document. consequently, a formalized document framework is proposed. the document framework is used to express the meaning of a document with the concepts which are expressed by high semantic importance. the framework consists of two parts : the " domain " information and the " situation background " information of a document. a document - extracting algorithm and a two - stage smoothing method are also proposed. the quantification of the similarity between the query and the document framework depends on the smoothing method. the experiments on the trec6 collection demonstrate the feasibility and effectiveness of the proposed approach in information retrieval tasks. the average recall level precision of the model using the proposed approach is about 10 ? higher than that of traditional ones

    為了獲取詞語在文章中的語義權重，解決詞語的同義、多義模糊問題，提升信息檢索的效率，提出了一種基於概念的檢索模型，模型中設計了一種形式化的文本內容表示框架，框架由2部分構成:文章的"領域"以及"情景與背景"信息，並由概念（形式化語義）加以表示.同時，提出了提取該概念框架的方法，給出了用於框架與檢索要求間匹配的兩階段平滑演算法.實驗表明，在trec6提供的小規模語料集下，採用所提出方法的信息檢索模型與傳統模型相比，平均召回準確率提升了約10 ? ，效果顯著，充分說明了基於本文描述方法構建的、以概念作為處理中介的信息檢索系統的有效性和可行性
  3. Secondly, it explains the flow of aoc planning, analyzes the essential elements of aoc planning, establishes a conceptual model on aoc planning and describes the model in a formalized manner

    其次，討論了空中進攻作戰計劃的制定流程，分析了空中進攻作戰計劃的組成要素，並對空中進攻作戰計劃進行了概念建模，同時對其進行了格式化和形式化的描述。
  4. The idea of three - views is applied to the analysis and process of dnc system, and a formalized model based on dnc system is established. a class model of dnc system is built based on the formalized description of dnc. a system solution, which enables the reuse of resource, is put forward, and the efficiency of system design and development is greatly improved

    應用現場總線技術和agent技術，提出一種基於代理體技術的dnc系統模型，為自動化車間實現設備集成開辟了有效途徑；建立了設備集成通用模型；形式化描述了監控agent ，並建立基於軟插件技術的agent模型；運用機械制圖中三視圖的表達思想對dnc系統的功能結構進行了分析，建立了dnc系統的形式模型，對dnc系統進行了形式化的描述，建立了dnc系統的類表示模型，並提出了一種資源可重用的dnc系統解決方案，使系統設計和開發的效率得以大大提高。
  5. Finally, a conceptual design information model is built, which, being fully formalized, record the history of conceptual design and support its reuse

    最後建立了實現充分形式化並記錄概念設計歷史的概念設計信息模型，它支持概念設計重用。
  6. The constraints and indexes were formalized, and the moip model was brought forward on the basis of the multi - objective optimization theory. this provides a method of modeling the cooperative ucavs mission assignment with many complex constraints

    以多目標優化理論為基礎，對約束條件與規劃指標進行了形式化描述，提出了多ucav協同任務分配moip模型，為一類具有復雜多約束的多ucav協同任務分配問題建模提供了有效方法。
  7. As far as model is concerned, the forth generation software should be characterized with spatial entity - oriented. the paper established the geographic spatial model based on the thinking of object - oriented ; studied the structure of the model " s elementary unit - - geographic entity ; brought forward the concept of geometric data type which characterize entity ' s spatial feature in the structure ; defined five kinds of geometric data types such as point, arc, area, composite arc, composite area ; and formalized their collective operation using hypergraph. at the end of this paper writer studied preliminarily the method of entity query and analysis based on the model

    本論文從面向對象的基本思想出發，建立了面向對象的地理空間模型；研究了地理空間模型中的基本單位? ?地理實體的結構，針對實體結構中用來表徵實體空間特性的組成部分? ?幾何對象，提出了其取值范圍，即幾何數據類型的概念；對點、弧、面、復合弧和組合面五種幾何數據類型進行了定義；並使用超圖工具對幾何數據類型的集合操作進行了形式化描述；對基於面向對象的地理空間模型的實體查詢和分析方法也做了初步研究。
  8. Second, emphases were put on set authentication research, an architecture of set authentication was proposed to expound the intelligent architecture design theory fitting with layered model. then, with displaying the protocol model, the process control principle was analysed, and more attention was taken to discuss the mathematic model of rsa algorithm and integration of various model methods, to give the component model based on main - program / sub - process architecture family and formalized description. next, by establishing the usercase model, activity model, object structure model and sequence model in order, and based on the data model, a lot of measure were taken to optimize these models. finally, the main framework of set authentication in acme template was given, with the java implement and aop implement for typical applications together

    然後重點對set認證的領域模型進行了研究與分析，提出set認證的領域框架，闡述了與層次模型相適應的智能軟體構架設計思想;進而提出set認證的協議模型，分析其過程式控制制原理，並且進一步探討了rsa安全演算法的數學模型和多種建模機制的綜合應用，給出基於主程序/子過程體系結構風格和形式描述的構件模型。在依次建立set認證的用例模型、活動模型、對象結構模型、順序模型的基礎之上，分析得到了系統的數據模型，然後使用多種手段對模型進行優化。最後給出了set認證系統主要框架的acme描述，以及set認證系統中的典型應用的java實現和面向方面實現。
  9. Using the workflow theory, this thesis gives the model and formalized presentation of document sending in office process, and puts forward the realization of process definition in document sending

    文中運用工作流理論，對辦公過程中的發文流程進行建模並進行形式化表述，在此基礎上，給出了發文模塊中流程定義的實現過程。
  10. For this, based on analyzing formalized design method, principles and architecture for designing formal model are proposed, then according to them, the model is designed hierarchically. first, a formal framework for supporting multipolicy is presented. second, some component models are constructed, including dynamically mediated security level rang multilevel security model dmlr - mls, which is used to implement confidentiality policy, and renamed as dblp model after it is combined with dac model, based - dte integrity protection security model dte - ipm, and privilege control model pcm - rbpc based on capability mechanism, role mechanism and dte privilege mechanism

    本文主要研究開發高安全等級的操作系統所必需的安全策略形式模型，為此我們從形式設計方法的探討入手，確定模型設計的基本原則及組織結構，然後根據確定的組織結構逐步展開設計，提出支持多策略的形式框架、實現機密性策略的可動態調節安全級范圍的多級安全模型dmlr _ mls （本文把它與dac模型合在一起形成dblp模型） 、基於dte技術實現完整性保護的形式模型dte _ ipm及基於權能、角色及dte的特權控制模型pcm _ rbpc 。
  11. Therefore, we construct a resource - oriented logic model for e - commerce auto - negotiation and also put its basic functions into an executable program with java programming language. to draw a widely considering conclusion in program, we firstly give a formalized definition of a series elements that would be taken into consideration in the process of auto - negotiation. in order to realize commerce intelligence in program, we emulate the user with agent technology, describing the object and action of purchase with attitude, and do the theorization and study base on resource

    該模型基於資源庫，對自動協商過程中普遍涉及的一系列重要因素進行了形式化的定義和描述，並將其真正納入了自動協商的決策考慮之中；同時，該模型採用agent技術來對電子商務用戶進行建模，使用目標偏好來對用戶的購買目標和行為特徵進行描述，為了更好的實現真正意義上的商務智能，在模型中建立了利用資源進行推理和學習的機制。
  12. The thesis carries out the study on component model for embedded systems. a new idea is presented on real - time modeling and analyzing component model using formalized method

    同時，提出secom組件倉庫模型，以實現對組件的分類、管理、組織、存儲和查詢。
  13. Secondly, it presents a new component model named secom to the embedded system after analyzing currently embedded system component models. in addition to, we offer a detail analysis about the elements of secom component model, reuse method, non - functional constraints, the implement language independent > maintainability and portability etc. while describing the real - time and reliability of non - functional constraints, the formalized methqd - petri net is used

    其次，通過對當前幾種嵌入式組件模型的分析，提出一種適用於嵌入式環境的組件模型? ? secom ，並對secom組件模型元素、組件復用方式、非功能性約束、實現語言無關性、可維護性、可移植性等進行詳細分析。
  14. Spatial data model is formalized according to partial order relationship, equivalence relationship and simplicial complex theory. a formalizing two - tuple ( m, f ) multi - resolution spatial data model is presented. based on the jarno peschie algorithms, an improved algorithm of road network map generalization is developed

    應用偏序關系、等價關系和單純復形理論，初步研究了多解析度空間數據模型形式化表達方法，提出了一個二元組形式化多解析度空間數據模型。
  15. It ' s essential that complex security protocols can be obtained through the continues evolution of simple protocols, therefore, the evolution model framework for security protocol based on algebraic specification is presented in this paper, the body of a security protocol can be formalized using this framework and the goal of a security protocol ' s evolution can be attained by expanding this framework

    復雜安全協議本質上就是由簡單的協議模型不斷進化而得，因此本文採用基於代數規范的方法提出一個安全協議的進化模型框架，安全協議的主體均可採用該框架得以形式化描述，並通過進化模型的擴展達到安全協議進化的目的。
分享友人
分享到 Line

分享到臉書