formal definition 中文意思是什麼

formal definition 解釋
形式定義
  • formal : adj 1 正式的。2 禮節上的，儀式上的；鄭重其事的。3 形態的，外形的；形式上的；拘泥形式的，刻板的。4...
  • definition : n. 1. 限定。2. 定義，界說。3. 明確。4. （透鏡的）明晰度。5. （收音機的）清晰度。6. （印花）輪廓。
  1. Abstract : in this paper, the formal definition of composite objects was presented. semantics of composite object was specified and related to object - oriented concepts. then the semantics, creation and deletion of composite object were illustrated in terms of schema definition, which shows the integration of composite objects. meanwhile, the approach of implementing composite objects, including enforcement of the semantics of composite objects and its physical clustering, was also indicated

    文摘:把復合對象和面向對象的概念聯系起來，在復合對象的形式定義后，指定復合對象的語義，然後根據模式定義來說明復合對象的語義，以及復合對象的創建和刪除.展示了復合對象數據整體性.同時還指出了實現復合對象的方法，包括復合對象語義的強制和物理聚集
  2. However, the basic definition analysis here is not to attempt to master the definition focus by paraphrasing the detailed content, but to give all the basic meaning analysis in chinese language toward those specific words and element by breaking “ imagined joint offence ”, the terminology of criminal law and the orientation of the legal theory so as to achieve the cognizance of the imagined joint offence and make a conclusion : “ imagined joint offence ”, not like “ imagined jointer of offence ” or “ formal jointer of offence ” to display the characteristics of this criminal pattern better 。 the second part is the analysis on quantity of crime in the nature of imagined joint offence

    在此基礎上，立足於服務刑事司法實踐，對想象競合犯的構成特徵進行了抽象和概括，並對各構成特徵中所包含的相關問題進行了探討，期望以此來完成對想象競合犯的粗線條的勾勒，為想象競合犯的具體認定提供相對直觀的判斷標準，促進相關個案的公正解決，推動罪刑法定原則和罪責刑相適應原則在我國刑事司法實務中的貫徹落實。
  3. Following is the primary work and contributions of this thesis. first, the concepts about data lineage tracing are completed and refined, and the formal definition of derivation set and supplementary set are provided. these definitions form the basis for derivation set tracing

    本文的主要工作與創新有以下幾個方面：作者首先對與數據志相關的概念進行了完善和細化，給出了起源集的形式化定義，並提出了補集無關和補集相關的概念。
  4. Firstly, wscg ( web service composition graph ) model, a model for web service composition, is proposed, which consists of visual presentation model and executable model. according to this model, the interactions and execution sequences among web services are characterized by wscg nodes and edges and their attributes. based on attributed graph theory, we give the formal definition of wscg model

    本文首先提出了一個基於屬性圖理論的web服務復合模型? ? wscg模型，改進了現有web服務復合模型在可視化表示能力和執行語義的確定性等方面的不足；模型包括web服務復合的可視化表示模型和執行模型兩個方面。
  5. This dissertation presents formal definition of uml models and model mapping rules and establishes form of model mapping rules based on xml. this method implements model auto - transformation and gives a realization of mda based framework. then, in this dissertation, we propose the design and realization of icem graphic modeling tools

    其次，本文還研究了基於xmi的icem模型與uml模型之間的映射方法，給出了uml模型以及模型映射規則的形式化定義，提出了基於xml的映射規則表達方式並且實現了模型的自動轉換，該方法是一種有效的基於mda架構的實現技術。
  6. Then, the author shows us the significance of distinguishing the substantial object and formal object of security rights. chapter four of the article discusses the influence of the review of the security rights ’ object on the definition of “ thing ( sache ) ” and “ the object of thing ” in real right law

    然後筆者論述了區分擔保物權實質客體和形式客體的意義:旨在更好的掌握所有權以外的其他權利作為擔保物權客體的情形、區分權利載體和權利客體、區分物上的所有權和使用權、期待權等擔保物權客體形態。
  7. Then, this thesis presents the formal definition of derivation set of transformation diagram, proves the derivation set transitivity theorem, and shows the basic processes for tracing transformation diagram

    作者基於導出關系給出了轉換圖的起源集的形式化定義，證明了起源集的傳遞性定理。在此基礎上，設計了跟蹤轉換圖的數據志的基本過程。
  8. Beginning with the formal definition of derivation set, this thesis finds the general laws of derivation set, proves the theorems about derivation set, proposes an approach for weak inversion and verification based on attribute mapping to trace data lineage, gives a series of arithmetic for data lineage tracing, describes the basic processes of data lineage, and then forms systematic theories and approach

    作者從定義起源集入手，找出了起源集的一般規律，證明了有關起源集的定理，提出了一種「基於屬性映射的弱逆與驗證」的起源集跟蹤方法，給出了一系列有關起源集跟蹤的演算法，並設計了數據志跟蹤的基本過程，從而形成了一套系統的數據志跟蹤理論與方法。
  9. In the uml specification, the editors describe the static semantics in formal language ocl ( object constraint language ) and natural language, while the dynamic semantics is almost described in natural language. uml lacks in a strict definition of dynamic semantics

    在uml規范中，編制者是用較為形式化的語言ocl （ objectconstraintlanguage ）和自然語言兩種手段描述靜態語義，而動態語義卻基本上完全是用自然語言來描述的， uml缺乏一個嚴格的動態語義定義。
  10. By such a formalization, a general framework is proposed for integration of graphical uml statechart diagrams and formal rsl specifications, which forms the continuation of the previous work on formalization of uml class diagrams in rsl. this allows the definition of uml semantic interpretations that are precise and unambiguous, and also enhancing the readability, conciseness and abstraction of the resulting rsl specification

    通過這一形式化提出了一種對圖形化的uml狀態機視圖模型的形式化和rsl規范進行集成的框架，這一工作是對uml類圖在rsl中形式化的繼續，使得人們可以對uml的非形式化模型給出一種精確無二義性的語義解釋，同時也提高了rsl規范的抽象層次，增強了其可讀性簡明性。
  11. The formal definition of the vmts is presented. the paper also designs the organization schema by means of vmts

    建立了虛擬製造團隊的形式化模型，並基於虛擬製造團隊對系統組織結構進行了設計。
  12. But because of the linkage between aging and death, they have also been able to give " senescence " a formal, mathematical definition - - the progressive increase in an organism ' s likelihood to die soon

    但因為老化與死亡之間的聯系，他們也曾經能給「衰老」以一個正式的、數學性的定義?一個有機體很快死亡的可能性的前進性增加。
  13. Asn. 1 is a data definition language which allows formal definitions of information structures to be expressed in a manner which is independent of any implementation constraints

    抽象語法符號asn . 1是一種資料定義語言，透過將資訊結構的定義正規化，使資料結構在任何發展環境之下都能用相同的表示方法來表示。
  14. Chapter three first introduces some terms to describe agent from software methodology view. then gives the formal definition of agents using z language

    第3章從軟體方法學角度確定描述agent的基本術語，並以此為基礎用z語言給出agent的形式定義。
  15. Then, this thesis analyzes the invertibilrty of transformation, and presents the formal definition of weak invertibte transformation, and calculates ( tuple - level ) derivation set of transformation by one - dimension merging and multi - dimension merging of the weak derivation set resolved by weak inverse attribute mapping

    在此基礎上，作者分析了轉換的可逆性，給出了弱可逆轉換的形式化定義，並通過對弱可逆轉換中弱逆映射求解的弱起源集進行單維合併、多維合併來求解轉換的（元組級）弱起源集。
  16. The second part builds a new algebra syetem rl, which in the definition of bl - algebra gets rid of the stronger condition and studies the properties of rl - algebra. in the same time, using rl - algebra as the true - value field this paper builds a more extentively formal deductive system of fuzzy prepositional calculus - - - - - - logic system rl. obtains a series of theorems, and studies the completeness of rl logic

    第二部分：在以bl邏輯為背景的bl代數的定義中去掉限制性較強的條件a b = a （ a b ） ，建立了一種新的代數系統rl ，並進一步研究了rl代數類的性質；以rl代數為賦值域建立了一種更為廣泛的模糊命題演算的形式系統? ?剩餘格值邏輯系統rl ，得到了一系列定理，同時研究了邏輯系統rl的（弱）完備性
  17. Abstract : after brief personal recollections of the origins of planning theory, the author poses the question of why, after five decades of active theorizing, it is still impossible for people engaged in writing planning theory to agree on a formal definition of their subject

    摘要：在對規劃理論的起源進行了簡要回顧之後，作者提出了以下問題：在規劃理論建設經歷了50年的活躍發展之後，為什麼從事規劃理論著述的人們還不能對其學科的正式定義達成一致？
  18. Firstly, the semantic frame is presented, including the formal definition of actions, environment, agent, negotiation and multi - agent system, and the global states, class of ctn system, run and reachable states for ctn system are also defined

    本文首先給出了該形式化系統的語義框架，包括行為、協商策略、環境、 agent 、協商和多agent系統的形式化定義，並對系統的全局狀態、系統類、系統運行和可達全局狀態做了描述。
  19. The heater was designed for a 60 - 70 sq. meter housing unit, where the role of the product is crucial to its formal definition and matching visual emphasis

    該款取暖器適用於60至70平方米的住宅區域，在這種條件下，該產品的作用對于其外形精確度來說是非常關鍵的，並且能夠完全滿足視覺方面的要求。
  20. A formal definition of proposition formulae was provided by context - free grammar, and the conversion from proposition formulae to polynomials was solved automatically

    摘要該文將命題邏輯的定理證明轉換為多項式方程的求解問題，從而提出了一種基於非子句的代數化方法。
分享友人
分享到 Line

分享到臉書