formalized 中文意思是什麼

A fully - fledged qms is a formalized, company - wide system

一個完善的質量管理系統是一個正式的，全員性的系統。

Fuzzy petri net based formalized reasoning algorithm with applications

網的形式化推理演算法及其應用

Logical calculus and formalized method

邏輯演算與形式化方法

In fact, because uml 1 formalized the notion of

（事實上，因為uml 1為一個特定的適應性給出了規范化的但又

Concept lattice ( galois lattice ) is a formalized tool for concept discovery from data, and has been widely used in many scientific applications

概念格模型作為一種用於數據分析的形式化的工具，已經在眾多的領域中獲得了廣泛的應用。

Formalized solution of conceptual design based on polychromatic sets

基於多色集合理論的概念設計形式化解決方法

The subsumption and request of problem is formalized by xdd and the problem is evaluated by means of proof theory

將證明論方法引入到xml中，建立了基於xml的證明論。

An approach to xml problem solving by means of resolution principle is presented. the subsumption and request of problem is formalized by xdd and the problem is evaluated by employment of resolution principle. an intelligent decision support system based on xml is presented

主要內容包括：建立了基於xml的公理系統；給出了假言推理在xdd中的應用形式；論證了假言推理在xdd中有效性和完備性；給出了應用證明論方法實現xml問題求解的方法和步驟。

Main work and innovation in this paper are : 1. the characteristic of illegitimate text has been roundly analysis, and we summarize the content and vocable feature of illegitimate texts and put forward their formalized express

本文的工作和創新主要體現在以下幾個方面： 1系統地分析了非法文本的特點，總結了非法文本內容和用詞的特徵，並給出其形式化表示。

American revolutionary war : in paris, representatives from the united states and the kingdom of great britain sign preliminary peace articles ( later formalized in the 1783 treaty of paris )

1782年美國革命戰爭（又譯獨立戰爭） ：來自美國和大不列顛王國的代表在巴黎簽署了初步和平條款（即后來於1783年正式成文的巴黎條約） 。

Potential for cost growth in production was contained within current budget estimate through cost reduction initiatives formalized in a government / industry memorandum of agreement

潛在的成本生產增長則控制在目前的財政預算，通過降低成本的措施，正式在政府/產業協議備忘錄

Aiming at this problem, the main research issues and achievements in this paper are as follows : bi - directional data transformation between rdb and xml with semantic constraints preserved for most of existing researches on static data transformation between xml and rdb, dtd is taken as the schema description language for xml, and the semantic constraints are often lost during the transformation process. to overcome these disadvantages, the author adopts xml - schema, a standard schema description language proposed by w3c to replace dtd, as the description method owing to its more powerful functions than dtd, and of course with the syntax much more complicated. after analyzing the constraints characteristics in both xml - schema and relational schema, a semantic constraints - preserved algorithm is proposed which can realize the bi - directional schema mapping between rdb and xml through a formalized description of xml based on regular tree and a general expression for relational schema based on direct graph approach

保留語義約束的xml與rdb雙向靜態數據轉換技術現有研究大多採用dtd （ documenttypedefinition ，文檔類型定義）作為xml的模式描述語言，並且在模式映射過程中丟失語義約束信息，本文分析了xml - schema （ xml - schema採用與dtd完全不同的語法，數據描述能力更強同時也更為復雜，已被w3c確定為替代dtd作為xml模式描述語言的標準）及關系模式的語義約束特徵，通過基於正則樹的xml形式化描述方法以及基於有向圖的一般關系模式表示方法的研究，建立保留語義約束的xml - schema與關系模式的雙向模式映射演算法，實現了xml與rdb的雙向數據轉換，較好地解決了xml與rdb在靜態數據轉換層面的數據集成問題，可有效滿足企業大量rdb數據面向xml的發布以及與日俱增的xml數據存入rdb的應用需求。

Despite the great importance of this feast in the orthodox liturgical calendar, it is not considered a matter of dogma as in the catholic church ( dogmatization of the dormition for the roman catholic church was formalized by a roman catholic pope after the great schism, whose authority eastern orthodox did not recognize )

盡管按照東正教歷法來說，這個節日十分重要，但並沒有納入天主教教條之內（大分裂之後，被羅馬教宗形式化的羅馬天主教武斷地指出，並不接受東正教有關「死亡」的教條。 ）

Formalized pva fiber

聚乙烯醇縮甲醛纖維

Current studies suggest that some of these symbols were retained in the later formalized indus script, much as ancient mesopotamian and egyptian symbols on pottery and clay tablets from around 3500 b. c. e. and 3200 b. c. e., respectively, later found their way into cuneiform and hieroglyphic writing

最新的研究顯示，這些符號中有些在日後正式的印度字母表中保留了下來，和公元前約3500年刻在陶器、泥版上的美索不達米亞語符號，以及公元前約3200年刻在陶器、泥版上的埃及語符號，幾乎一樣古老（後面兩種語言符號后來分別發展成楔形文字和象形文字） 。

The jamaica agreement of 1976, signed by imf members, formalized the floating rate system that replaced the bretton woods system

由國際貨幣基金組織（ imf ）成員於1976簽訂的牙買加協議，確定了代替布雷頓森林體系的浮動匯率體系。

The use of the spoken language, even though it was formalized, made possible the immediate expression of an unmediated vision that needed no further context ; thus the lyrics are short, intensely personal, and precise

即使它是拘泥於形式，口語的運用使對無中介的異像產生直接體驗成為可能，無需要更進一步的推論；因此抒情詩較為簡略，激烈的人情化和精確。

An exhaustive priority for cognizance of cases has, therefore, been formalized to standardize the selection of cases for processing keeping in view the importance of the individuals involved, the amount of moneys and the number of affectees in a case

局方制定了一套準則，以統一甄審投訴和確定處理的先後次序；當中，涉案人士的重要性、涉及款額和受影響人數都是主要的考慮因素。

The structures of product information were formalized by structural hypergraph. vpmflc will be studied progressively by hypergraph

用結構化超圖對產品信息的分類和組織關系進行形式化描述。

Asia university also supports students who study abroad at their own expense at institutions with which an exchange agreement has not been formalized by accepting credits earned abroad and providing a system of on - going study to minimize their leave of absence

另外，對于到非協議大學的自費留學生，本校承認其在留學大學完成的學分為縮短休學時間，採用「繼續修學制度」等等。本校還建立了多方位的支援保障體制。