formal approach 中文意思是什麼

formal approach 解釋
形式方法
  • formal : adj 1 正式的。2 禮節上的，儀式上的；鄭重其事的。3 形態的，外形的；形式上的；拘泥形式的，刻板的。4...
  • approach : vt 1 向…接近，走近；使接近。2 探討；看待，對待，處理。3 向…接洽[提議]。4 〈美國〉企圖收買。vi 臨...
  1. In this dissertation we present a general, extensible methodology that examines cryptographic protocols. our approach is specify a protocol in cpal ( cryptographic protocol analysis language ), apply hoare and dijkstra ? theory of formal semantics to it, analysis it ? forma ] semantics, define weakest precondition of each kind of language statement

    我們的方法就是用cpal （ cryptographicprotocolanalysislanguage ）語言來表示協議，將hoare和dijkstra在形式語義方面的理論應用到該語言，分析該語言的形式語義，定義每種語句的最弱前置條件。
  2. 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

    文摘:把復合對象和面向對象的概念聯系起來，在復合對象的形式定義后，指定復合對象的語義，然後根據模式定義來說明復合對象的語義，以及復合對象的創建和刪除.展示了復合對象數據整體性.同時還指出了實現復合對象的方法，包括復合對象語義的強制和物理聚集
  3. In such a background, we intend to adopt the specific experiments of gaesita psychology as the overall theoretical framework, precede from the angle of expressing formal characteristics of architectures, select " clarity and expression " ( an approach to handling formal construction ) as our subject and then make a rational analysis of the expression principles and operation methods of the formal construction of various architectures

    在這樣的背景下，我們以格式塔心理學具體實驗的啟示為理論依據，從建築形式特徵表現的角度出發，選取一種形式構成處理方法? ? 「清晰與表達」作為研究對象，主要從「形態」的方面，對建築的形式構成的表達規律和操作方法進行分析與總結。
  4. Be opposite this of 1992 cloth " labor law " revise share 44, new after revising " labor law " have the following characteristic : suited to build the real case that realizes formal diversity with the adjustment that develops structure of system of socialist market economy, economy, state ownership already, highlight again was aimed at increasingly complex and changeful working relationship ; the maintenance that highlighted labour union function, made clear workers congress system and collective contract system shift of power of these two main thought, aggrandizement labour union organizes construction, organize broad worker in labour union to provided legal basis and safeguard for utmost ground ; increased the protective strength to labour union cadre, aggrandizement specific safeguard, make labour union cadre ok more the function that fulfils his duty to fulfill labour union responsibly ; protected labour union to produce bridge and bond effect better, fulfilled labour union to share politics, economy, culture and the approach that the society lives, made clear the essential mechanism that labor of labour union mediate concerns ; those who made clear union funds capture range, aggrandizement of union funds capture strength, ensured labour union to organize the necessary material base that develops function of labour union of activity, implementation lawfully ; set legal liability, made clear the punishment to violating principal part, enhanced law to deter force

    這次對1992布的《工會法》的修改共有四十四條，新修改後的《工會法》有以下特點：既適應了建立和發展社會主義市場經濟體制、經濟結構的調整、公有制實現形式多元化的實際情況，又突出針對了日益復雜多變的勞動關系；突出了工會的維護職能，明確了職工代表大會制度和集體合同制度這兩個主要維權手段，強化了工會組織建設，為最大限度地把廣大職工組織到工會中來提供了法律依據和保障；加大了對工會幹部的保護力度，強化了具體保護措施，使工會幹部可以更加盡職盡責地履行工會的職能；更好地保護了工會發揮橋梁和紐帶作用，落實了工會參與政治、經濟、文化和社會生活的途徑，明確了工會調處勞動關系的根本機制；明確了工會經費的收繳范圍，強化了工會經費的收繳力度，保障了工會組織依法開展活動、實現工會職能的必要物質基礎；規定了法律責任，明確了對違法主體的處罰，增強了法律威懾力。
  5. 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

    作者從定義起源集入手，找出了起源集的一般規律，證明了有關起源集的定理，提出了一種「基於屬性映射的弱逆與驗證」的起源集跟蹤方法，給出了一系列有關起源集跟蹤的演算法，並設計了數據志跟蹤的基本過程，從而形成了一套系統的數據志跟蹤理論與方法。
  6. In the filtering sub - system using ontology - based profile, we introduce an approach to construct the user ’ s profile based on ontology. ontology provides a formal way to describe the semantics relations between the concepts by using the means of concept - properties model. two algorithms have been designed to calculate the semantic similarity between feature vector and the profile, which have been impoved according to the evaluated results

    在基於本體模板的信息過濾子系統中，本文以本體的形式來描述用戶的需求模板，利用本體中的概念關系模型來體現概念間的語義關聯關系，並設計了兩種計算文本特徵向量與本體模板語義相似度的演算法，並根據實驗結果對這兩種演算法進行了改進。
  7. 9. discussion focused on the question of whether a more formal approach could be adopted towards managing the risks under a counter - cyclical system, not only in the light of excessive optimism during times of economic growth but also in the light of banks reluctance to lend during downturns

    9 .委員會集中討論是否可採用較正規的方法運用反周期的風險管理模式，這不僅是因為經濟增長期間市場氣氛過分樂觀，也因為經濟放緩時銀行不願貸款。
  8. The methods which these organizations and individuals use are mainly supplemental approach and oo - extended formal language approach

    這些機構和個人所採用的方法主要是補充法和具有面向對象擴展的形式語言方法。
  9. 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模型形式化的理解。
  10. In autoore, a novel approach to extract java semantic relational model is presented. to get precise object relational result, the java code polymorphism invoke location is formal defined and a program analysis method based on extended class hierarchy graph ( echg ) is proposed

    代碼抽取是oore的起點，從起點開始支持理解是逆向工程的重要目標， autoore在java抽取中，抽取模型採用文中提出的java詞法和語義兩個模型，利用一個基於java擴展類層次圖（ echg ）的多態調用點分析演算法，得到更精確的靜態對象關系。
  11. According to the theories that had been discussed, the paper puts forward the argumentation that combines ontology and information system modeling. the two key problems has been analyzed in this paper ? ? domain ontology and ontological formal language. we adjust the traditional modeling method, then conclude the approach of ontology - based information system modeling

    在理論探討的基礎上，論文提出將本體理論融入到信息系統建模理論中的論點，分析了應用領域本體和本體描繪語言進行形式化描述的兩個核心問題，對現行的建模理論和方法進行調整，提出了基於本體的信息系統建模的基本步驟。
  12. On views separation and coordinate standardization, a coordinate axis projection - based approach and an image scanning - based approach are proposed for views separation, the former reduces the compare times of 2d primitive in drawings and raises the efficiency simultaneously, the latter can separate free nember views of engineering drawing accurately and it has no correlation with complexity of primitive, then, two sets of 2. 5d coordinate systems are introduced as intermediates to relate the 2d original drawing system to the 3d space projection coordinates anfd a formal technique is developed for constructing transformation matrices between coordinates

    3 .在工程圖視圖分離和坐標規格化方面，提出了改進的坐標軸投影分離演算法和基於圖像掃描的視圖分離演算法。前者減少了工程圖中二維實體的比較次數，提高了運行效率;後者可以準確分離具有任意視圖數目的工程圖，且演算法的穩定性與邊界復雜度無關。通過引入二維半中間坐標系推導出了從繪圖坐標繫到空間投影坐標系轉換的轉換運算元並給出了基於轉換運算元的坐標規格化演算法。
  13. A less formal, more organic approach could use a rating system, based on the ebay model, where consumers feed back to an independent agent that accumulates scores over a set of defacto standard qualifying dimensions

    不那麼正式，但更具活力的方法是使用基於ebay模型的評級系統，這種情況下消費者向獨立的代理反饋，該代理則根據一組（實際的）標準認證規范累計分數。
  14. We take a step - wise refinement approach to the development of correct reconfigurable hardware circuits from formal specifications. a functional programming notation is used for specifying algorithms and for reasoning about them

    建議的開發模型用功能記號來描述演算法以及對于演算法的推理，用程序編譯方案從功能描述導出大量的并行演算法。
  15. New approach for formal analyzing encryption protocols

    一種新的密碼協議分析方法及其應用
  16. Therefore, pe is a program optimization technique dependent on specific language. to better research on pe itself and its application in other program analysis fields, the present paper introduces a partial evaluator of snl ( small nested langue ) as well as its formal description, and implements a pe system utilizing the partial evaluation approach

    另外，本文還在該部分求值器的應用方面做了一定的工作:將部分求值與別名分析、程序分片相結合，提出了一種并行融合部分求值的別名分析方法，以及一種基於部分求值的程序分片方法。
  17. Without following this formal approach you are unlikely to remember all the niggling little details ; with this procedure, the details are simply displayed on the final lists

    如果不那麼做，你無法記住所有的瑣碎細節，但採用這種方法的，這些細節能夠清楚的體現在最終的工作列表之上。
  18. The 17 year - old strasuper boyourg midfielder has attracted a formal approach from the gunners, but chelsea are also keen and will battle their london rivals for the teen ' s signature

    這位17歲的斯特拉斯堡隊的中場小將已經與槍手開始了正式接觸，但切爾西隊對他同樣很有興趣並且將與同城死敵爭相簽下這名年輕新星
  19. Alan shearer admits he could be interested in a coaching role with england ' in the future ' - but maintains no formal approach has been made by steve mcclaren, who takes over as manager after the world cup

    阿蘭希勒承認自己對能擔任英格蘭隊新一屆的教練組中一職很感興趣，但是現在還沒有任何正式而明確的跡象來表明他與世界盃后將接管英格蘭隊的麥克拉倫有過明確的協定。
  20. A fellow like rick guerin, who had no formal education in business, understands immediately the value approach to investing and he ' s applying it five minutes later

    類似瑞克這樣的人，他完全沒有正式商學教育的背景，卻可以立即領會價值投資法，並且在五分鐘之後便加以利用。
分享友人
分享到 Line

分享到臉書