formalize 中文意思是什麼

formalize 解釋
vt. 及物動詞 1. 使成正式。
2. 使具有形式，形式化。
vi. 不及物動詞 拘泥形式。
n. 名詞 -ization 形式化；正式化。

  1. The centaurus culture formalize the spiritual truths that are now at the heart of their way of life. the religion of the harmony is founded

    半人馬星座文化形成了根植於他們生活方式核心的精神真理。哈莫尼宗教建立了。
  2. In economics, forecasting is the attempt to formalize the implicit estimate of the future on which decisions have to be based.

    在經濟學中，預測是對未來做出某種暗示性的估計，做為決策的依據。
  3. Formalize and obtain final acceptance for the project

    獲得對項目的認同和正式接受。
  4. That essentially would formalize existing reporting lines

    這與現有報導的說法基本吻合。
  5. Then a simple e - dealing system is devised to show the thoughts of the protocol. in order to formalize and verify the protocol, bzl logic model is built, which based on first - order logic and introduces many - sorted, dynamic and non - monotony logic

    為了形式化驗證數字現金的安全性，本文在經典一階邏輯的基礎上，吸取了多類邏輯、動態邏輯和非單調邏輯的思想，提出了bzl邏輯模型。
  6. An approach to formalize and evaluate relational algebra operations by means of xdd is presented. a query is formalized as one or more xml clauses and evaluated by employment of equivalent transformation of xdd

    提出了根據關系代數表達式構造查詢子句的方法，關系代數表達式可以用若干個xml子句描述，並通過等價變換得到查詢結果，證明了該方法的正確性。
  7. Because the formal language in supplemental approach do n ' t have the object - oriented feature, using supplemental approach makes it difficult to integrate with the present practice. while the way of oo - extended formal language approach ca n ' t directly formalize the semantics of uml model, which affects the readers " understanding of uml model rbrmalization

    在補充法中所使用的形式化語言不具有面向對象的特徵，不能很好地和當前實踐相結合，而具有面向對象擴展的形式語言方法又不能直接對uml模型的語義進行形式化，影響了讀者對uml模型形式化的理解。
  8. To formalize the annotation, i shall switch to a more definitive statement from the owl web ontology language, so it s clear that i am identifying the schema data elements with a vocabulary term

    為了實現注釋的正式化，我將選用owl web ontology language中更確定的聲明，顯然我是在使用詞匯表術語標識模式數據元素。
  9. Secondly, enhances the thingking about firm theories after the introduction of such preconditions as how firms are set up and exist, the boundary and structure of firms, target of firms, what is the inner part and how to formalize them

    其次，在引入了企業是如何產生與存在的、企業的邊界及結構、企業的目標何在、組織內部還有些什麼、如何形式化等問題的前提下，強化了把企業理論作為一個問題本身的思考。
  10. The couple ' s lawyer said they had already seen a judge to formalize the split and agreed financial terms

    據薩科奇夫婦的律師介紹，薩科奇與塞西莉亞已在法官的見證下辦理完離婚手續，並就財產分割問題達成了協議。
  11. My experience has been that when we try to " formalize " effective processes, too often this results in negative side effects because we unintentionally change what works

    我的經驗是這樣的：當我們試圖「形式化」一些有效的過程時，往往這會引出消極的副作用，因為我們會無意中改變了一些起作用的東西。
  12. Evolution hypergraph net was introduced to formalize product process information for life cycle

    引入進化超圖網路對全生命周期中產品過程信息進行形式化表達。
  13. Softer foundations, i mean agreement. all the consortia, registries, repositories, schema languages, and vocabularies in the world will be for naught without a critical mass of people relying on them to make and formalize their agreements

    很高興聽到ebxml的提倡者討論ebxml用於一些組織的重要性，這些組織包括工業國家的小企業和世界上的非政府性組織（ ngos ） - -它們沒有時間和精力來組成一個電子商務集團。
  14. The paper analyzed and compared with all the domain analysis method and presented a new domain analysis method - ubrdda method which is based on extended uml. the paper gives a formalize description of the method and use the method to guide the process of capp domain analysis and modeling activities

    本文分析比較了國內外各種領域分析方法，提出了基於uml擴展的ubrdda領域分析方法及其形式化描述，以此領域分析方法指導capp領域分析和領域建模。
  15. Using fuzzy method can formalize and modelize the experience of people and change it into model that can be processed by computer

    使用模糊方法可把人的經驗形式化、模型化、變成計算機可以處理的數學模型。
  16. Because many existing architectural description languages lack specification of dynamic interaction on architectural level, which makes modeling the adaptive software system insufficient, i use the pi calculus to formalize the adaptive software architecture

    針對適應性軟體系統的體系結構採用已有的體系結構描述語言存在的不足，本文中採用pi演算描述適應性軟體體系結構。
  17. The bnf is used to formalize the packet filtering rules

    本文利用巴科斯範式（ bnf ）對駐留主機防火墻的過濾規則進行了形式化描述。
  18. Third, most attempts to formalize a document description vocabulary dtd, or schema have been done as information modeling exercises to capture the current business practices of data owners

    再次，作為捕獲現今數據撲貨擁有者的商務實踐的信息建模，大多數試圖使文檔描述詞匯（ dtd或模式）形式的工作已經完成。
  19. It is our first meeting since our presidents bush and jiang decided at the apec meeting in october to formalize a process of bilateral counterterrorism consultations. in my meetings yesterday and today, we decided that our formal counterterrorism consultations should occur semiannually

    這也是自布希總統和江主席10月份在亞太經合組織會議期間決定正式建立反恐怖主義雙邊磋商機制以來我們的首次會晤。
  20. They intended to use logic ofknowledge to formalize the knowledge properties of agents, and then verifyknowledge specifications of multi - agent systems with formal methods

    研究者們使用知識邏輯來描述智能體的知識特性，並且希望藉助形式化方法來驗證多智能系統中的知識邏輯規范。
分享友人
分享到 Line

分享到臉書