formal description 中文意思是什麼

formal description 解釋
形式描述
  • formal : adj 1 正式的。2 禮節上的，儀式上的；鄭重其事的。3 形態的，外形的；形式上的；拘泥形式的，刻板的。4...
  • description : n. 1. 記述，敘述，描寫；記載。2. 敘事文；（物品）說明書；相貌說明書。3. 種類。4. 作圖；繪制。
  1. After analysis of some news and reports of economic daily and 21century economic report, the author discusses some problems of the successful persons ’ representation. the two newspapers always give person a kind of underrepresented images of “ successful persons ”. they are : 1 、 make the successful persons ’ record of formal schooling higher and make the images of the successful persons routinize. 2 、 the description of the successful persons is blurred. for example, it is not known how the successful persons got their first fortune. 3 、 the narration of the successful persons is routinized

    本文採用內容分析法對《經濟日報》人物版和《 21世紀經濟報道》的有關「成功人士」的報道進行再現研究，研究發現這兩家報紙對「成功人士」形象的再現出現偏差，主要表現在:一、將「新富人」階層學歷拔高，形象模式化;二、對于「成功人士」另「半張臉」的書寫模糊化，例如「成功人士」創業的「第一桶金」的來龍去脈隱晦不談;三、對于「成功人士」的敘事模式化。
  2. Semantic nets ( sn ) has powerful capability of knowledge representation ( kr ), but there is no accepted formal description architecture of it38 - 39. this problem leads to different meanings of it and uncertainty of inference process

    語義網路有很強的表達知識的能力，但它沒有公認的形式化表示體系，存在歧義性和推理不確定性的問題。
  3. The first set of estimated values describes a given formal style while the rest serving as weighting mechanisms, an importance index and a confidence factor, fine - tuning the description

    第二部份乃描述一個設計師可藉以分析現有造形風格並可界定及描述目標市場所期望的造形風格之架構。
  4. ( 3 ) as the aspect of integration of information, we proposed the concept of loosely coupled distributed home information system - lcdis according to the characteristics of the home information system, and the formal description and solutions are given

    3 ）在信息集成層次，針對家居信息系統的特點，論文提出了鬆散耦合的分散式家居信息系統- lcdis的概念，並對其進行了形式化的描述和實現方法的探討。
  5. Design patterns are usually expressed as a structured description with formal headings

    設計模式通常表示成結構化地描述，包含正式的標題。
  6. In the 3rd chapter, according to the requirement of the representation of the product information, a new data model - xoem ( extensive object exchange model ) is presented because of the lack of the data model, which faces to the xml. the formal description of the xoem and its corresponding algebra are put forward, and then the data model is applied to the xml document on the web. in the 4th chapter, the method of the uniform information representation is presented according to the requirement of the description and identification of the diversified heterogeneous product information

    在第三章中，結合產品信息網上表達的需求，針對www環境下缺乏面向產品信息xml描述的web數據模型的情況，提出了基於帶根連通有向圖的一種新的數據模型即可擴展對象交換模型xoem （ extensiveobjectexchangemodel ） ，給出了該模型嚴格的形式化描述，並將該模型應用到含有xml半結構化數據的web中。
  7. The oim is a formal description of metadata constructs organized by subject area

    Oim是按主題區域組織的元數據構造的正式說明。
  8. Then the axiomatic of negotiating logic is presented to give the system a formal description, and then appropriateness of axioms is interpreted

    之後給出基於模態邏輯的協商推理邏輯公理體系來形式化地描述多agent系統，再對公理的合理性進行充分的解釋。
  9. Architecture description language adl is typical in formal description while in visual description uml is typical. their advantages are that adl can describe accurately and uml can describe intuitionistic, which are complement to each other. so a hotspot in software architecture description is to combining the two together

    形式化描述嚴格精確，以軟體體系結構描述語言adl為代表;可視化描述清楚直觀，以uml為代表，兩者在描述軟體體系結構方面具有很強的互補性，於是對adl和uml結合問題的研究成為目前軟體體系結構描述領域的熱點。
  10. It shows that : ( 1 ) the semantic of ctn model is intuitive, rational and natural ; ( 2 ) the ctn model is a formal description by integrating the ability and thought status of agent, which can describe the difference among agents accessing the environment and performing actions, and the negotiation is also can be described when conflicts exist

    本文通過具體示例說明此邏輯的用途后，討論了ctn系統模型的特點： ctn系統模型的語義是直覺的、合理的和自然的； ctn系統模型是將agent的能力和思維狀態相結合，能夠描述agent訪問環境時的能力差異、執行動作時的權力差異和系統發生沖突時的協商過程。
  11. Firstly, a formal description of the cryptographic protocols of tpm is made using svo logic

    首先，使用的svo邏輯建立可信平臺模塊密碼學協議的形式化描述，然後進行推理分析。
  12. Then logic reasoning is made on the formal description. through reasoning and analysis, some secure vulnerabilities are found in the cryptographic protocols of tpm, and repair methods are also proposed

    在推理分析中，也發現了可信平臺模塊密碼學協議的一些安全漏洞，並在分析的基礎上修復了這些安全漏洞。
  13. Not only the formal description and the scheduling algorithm of ecdf model are depicted but also the e visual language and its development environment are depicted

    文中不僅給出了ecdf模型的文法描述和調度演算法，也給出了e語言及其開發環境的設計與實現方法。
  14. A language element in the formal description of a computer language, for example, the metavariables in an arithmetical expression are constants, variables, operators, etc

    計算機語言的形式描述中的語言元素，如在算術表達式中的元變量是常數、變量、運算符等。
  15. This thesis gives a model language and a moderately complete formal description which can be used to prove the properties of static and dynamic data dependencies, and defines the notions in the iterative relaxation method formally. the program theories about the iterative relaxation method and its improvement are investigated, whose results include : the generalization of the predicate slices proposed by neelam gupta et al to path - wise static slices, and the proofs of the soundness of the construction algorithm of path - wise static slices and the soundness of the improvement

    本文給出一種模型語言；給出一個比較完整的形式化描述，該描述可用於證明與靜態、動態數據依賴關系有關的程序性質；給出迭代鬆弛法中各概念的形式化定義；深入研究迭代鬆弛法及其改進后的方法的程序理論，其結果包括：將neelamgupta等人提出的謂詞片推廣為路徑靜態切片，證明路徑靜態切片構造演算法的正確性，證明改進后的方法與原方法所生成的線性約束系統相同。
  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. This paper gives a merger dynamic and static technique of partial evaluation for procedural language and its formal description, and we have implemented a partial evaluator for like - pascal

    摘要提出一種應用於過程式語言的動靜態結合的部分求值技術，並給出該方法的形式描述。採用該方法，實現一個實驗性的部分求值系統。
  18. In rtbac, users execute permissions to access fixed data and tasks to access flowing and varying data such as documents being approving. rtbac can renew authorization in time according to the flowing and use of data in workflow systems. a formal description and an analysis of rtbac are given

    並且在rtbac中：針對工作流的靜態特性：固定不變的數據如已經歸檔的公文不能進行修改、制發等操作，一般只能查看，故與存取權限相關，用戶通過執行相應的存取權限才能訪問，即傳統的rbac模型；針對工作流的動態特性：正在流動、不斷變化的數據如正在接受審批的公文則與任務相關，任務可以對此數據進行某種方式的存取。
  19. Aiming at the research condition and the difficulty of agent security research at present, in this paper, we constructed a new agent type - immune agent ( ia ) by introducing involved biologic immune mechanisms and using dynamic fuzzy logic ( dfl ) as formal description tool. and then, according to this new kind of agent, we set up a multi - agent security model based on dfl

    針對當前對agent安全的研究現狀及其面臨的困難，本文利用動態模糊邏輯作為形式化的描述工具，引入生物免疫系統的相關免疫機制，構造了一種新的agent類型-免疫agent ，並在此基礎上構建了一個基於dfl的多agent安全模式。
  20. This dissertation consists of several parts of work as follows : to study the essence and characteristics of design pattern ; to study and analyze the background and characteristic of disco thoroughly, find out the necessity and feasibility of applying disco in design pattern formal description, extend disco to make it useful for design pattern description

    本論文的工作主要包括以下幾個方面：對設計模式的本質和特徵進行研究；深入研究和分析disco形式化描述語言的背景和特點，研究將其應用於設計模式的形式化描述的可行性和必要性，並對其進行擴展，使其適用於設計模式的描述。
分享友人
分享到 Line

分享到臉書