類型檢查規則 的英文怎麼說

中文拼音 [lèixíngjiǎnzhāguīzé]
類型檢查規則 英文
type checking rule
  • 類 : Ⅰ名1 （許多相似或相同的事物的綜合; 種類） class; category; kind; type 2 （姓氏） a surname Ⅱ動詞...
  • 檢 : Ⅰ動詞1 （查） check up; inspect; examine 2 （約束; 檢點） restrain oneself; be careful in one s c...
  • 查 : 查名詞1. [植物學] （山查） hawthorn; haw2. （姓氏） a surname
  • 規 : Ⅰ名詞1 （畫圓形的工具） instrument for drawing circles 2 （規則; 成例） rule; regulation 3 [機械...
  • 則 : Ⅰ名詞1 （規范） standard; norm; criterion 2 （規則） regulation; rule; law 3 （姓氏） a surname Ⅱ...
  • 類型 : type; mold; form; cut類型論 theory of types; 類型語句 [計算機] type statements
  • 檢查 : 1 （用心查看） check up; inspect; examine; censor; survey rummage; review; jerque; docimasia 2 （...
  • 規則 : 1. （規定的制度或章程） rule; regulation; ordination; prescribed procedure; rope 2. （整齊） regular
  1. Additionally, verification inspects code to determine whether the msil has been correctly generated, because incorrect msil can lead to a violation of the type safety rules

    另外，驗證過程檢查代碼以確定msil是否已正確生成，這是因為不正確的msil會導致違反類型安全規則。
  2. According to the hierarchy of consistency compartmentalizing and the aim of consistency checking, mapping rules are introduced and classified in this paper

    並且根據模型一致性的劃分層次、一致性檢查的目的將映射規則進行歸納分類。
  3. To check the rationality problems of the software process models constructed with the meta model and visual pml, we analyze fifteen process model ' s rationality problems which were divided into three kinds, and present corresponding rules to solve them

    在軟體過程模型的合理性檢查方面，我們結合軟體過程建模語言的元模型，和圖形化建模語言的特點，討論了建模過程中可能遇到的三類共十五個軟體過程模型的合理性問題，並給出了這些問題的相應語法檢查規則。
  4. After expounding the actual and development trend of process planning knowledge management, combining with the basic conception of it, this paper presents a classification and hierarchy model for supervising knowledge, and sets up a process planning resource knowledge base using the model ; the process planning knowledge is expressed with intelligent object representation which is synthesized rule, framework and object - oriented representation ; process planning knowledge is showed by process planning tree using the idea of intelligent object representation ; in the end, the algorithm of the inconsistency of knowledge base and integrality are also given

    本文在闡述了工藝知識管理系統的現狀及發展趨勢后，結合工藝知識管理的基本概念，提出了一種分類層次模型以組織和管理工藝知識，並據此建立工藝資源知識庫；採用產生式規則、框架表示和面向對象三者相結合的方法? ?智能對象表示法對工藝知識進行表示；並利用智能對象表示法的思想將工藝知識通過工藝知識樹的形式顯示出來；最後給出了工藝知識庫不一致檢測和完備性檢查演算法。
分享友人
分享到 Line

分享到臉書