symbolic model 中文意思是什麼

symbolic model 解釋
符號模型
  • symbolic : adj. 記號的，符號的；象徵的。
  • model : n 1 模型，雛型；原型；設計圖；模範；（畫家、雕刻家的）模特兒；樣板。2 典型，模範。3 （女服裝店僱...
  1. In this paper, it is shown that some atomic formulas of symbolic states generated by the algorithms can be removed to improve the model checking time - and space - efficiency. such atomic formulas are called as irrelevant atomic formulas. a method is also presented to detect irrelevant formulas based on the test - reset information about clock variables

    一個時間自動機是一個五元組n ， l 0 ， c ， e ， i ，其中n為一個有窮的位置集合， l 0n是初始狀態， c是一個取實數值的時鐘變量的有窮集合， e ng c 2 cn是轉換的集合。
  2. 3 pnueli a. a temporal logic of concurrent programs. theoretical computer science, 1981, 13 : 45 - 60. 4 mcmillan k l. symbolic model checking

    符號化的模型檢測技術利用二叉圖binary decision diagram表示狀態轉換關系，降低了系統模型所需的內存空間。
  3. By this means, user can recover the model with arbitrary geometry and topology. during the interaction, the reconstructed results can be computed and displayed instantly because we use an optimization - tree based symbolic and numeric hybrid optimization - solving approach

    採用這種方法，系統在接受使用者的交互之後，可以實時地求解幾何參數與照相機投影矩陣，並即時地在一個三維窗口中顯示重建結果，做到真正的所見即所得。
  4. Through the study of the style of knowledge description, the paper elaborates the numerical model knowledge, the symbolic experience knowledge and the instantial swatch knowledge. these three kinds of different knowledge have been used in loans risk classification in the paper. just as the using of the object oriented technique and the ai ( include es, ann, and the integrated of ann and es ) technique, can the paper realize the five - grade loans risk classification

    本文通過對知識描述形式的研究，表述了經驗符號性知識、模型化數量性知識和實例樣本性知識三種類型，通過對其行為特徵及轉換、集成的研究，將這三種異構知識引入貸款風險分類分析；採用面向對象技術和人工智慧的es 、 ann兩種形式及其結合，實現了貸款風險五級分類。
  5. First, this paper introduces the notation, categories and properties of security protocols, and formal methods to verify security protocols and small system model. the emphasis is the research and analysis of the principle of the model checking method. we study the mechanism and syntax of symbolic model checking tool smv, model check the authentication version of needham - schroeder public key protocol and woo and lam ij symmetric key protocol

    文章主要介紹了安全協議的概念、分類和性質，安全協議的形式化驗證方法，以及小系統模型的原理；重點分析和研究了符號化模型檢驗工具smv的原理和語法及其對安全協議進行模型檢驗時的工作機理，而且使用smv對needham - schroeder公鑰協議和wooandlam對稱鑰協議進行了形式化建模與模型檢驗，發現了它們的安全漏洞。
  6. We research different kinds of formal methods, particularly study the mechanism of symbolic model checking tool smv, and finally we decide to adopt smv as the tool for the model checking of security protocols. with smv, we model check the authentication version of needham - schroeder public key protocol and woo and lam ij symmetric key protocol

    本文研究了驗證安全協議的各種形式化方法，詳細研究了符號化模型檢驗工具smv的工作機制；確定了使用smv作為工具對安全協議進行模型檢驗，驗證了認證版needham - schroeder公鑰協議和wooandlam對稱鑰協議。
  7. It is rather difficult to precisely and completely express packing problems using any single knowledge model such as mathematical model or symbolic models

    它很難用單一模式的知識模型（如數學模型）來精確表達。
  8. Numeric - symbolic expressions of model matrix elements were derived, in which inertia parameters and lengths of links as well as generalized coordinates are expressed as symbols

    將廣義坐標以及桿長和慣性參數作為符號量，導出了模型矩陣元素的數字元號表達式。
  9. This paper discuss a modeling and predicting means for nonlinear systems proceeding from nonlinear systems modeling and predicting theory, whch is based on drnn model. this means overcomes the fact that ar model is used only in linear systems, at the same time it connects itself with approximation theory symbolic statistics and conjugate gradient algorithm, and formulate a system of large watercrafts motion modeling and predicting which is based on drnn model, and simulate it

    本論文從非線性系統建模與預報的理論及應用觀點出發，系統地闡述了一類適用於非線性系統的建模預報方法? ?基於drnn模型的建模預報方法，克服了ar模型僅局限於線性的情況，同時結合逼近論、數理統計等知識，運用共軛梯度演算法，提出並建立了基於對角回歸神經網路的大型艦船運動建模預報系統，並進行了模擬。
  10. Finally, a thorough empirical study was conducted for the whole decision - making process, reaching the conclusions being able to verify the above tentative hypotheses with only a minor modification, the three major findings are briefed as follows : ( 1 ) the essence of american trade policies is dominated by elite factions, while the practice by interest groups and general public, however the symbolic meanings in the minds of grassroots have always grasped central attentions ; ( 2 ) american trade policies are rooted in third hand / third way ; and ( 3 ) the genuine decision - making behavior is characterized as “ two - level game politics ” model, surpassing prevailing “ trade politics ” model and interacting “ ideological politics ”, “ trade politics ”, and “ symbolic politics ” models

    主要研究結果有三： （ 1 ）美國貿易政策的本質由精英派系所主導，而實施措施則會受到一般民意及利益團體的影響，不過草根民眾心目中的象徵意義自始至終都是必須妥善因應的中心課題； （ 2 ）第三隻手/第三條路為驅動美國貿易政策的原動力；以及（ 3 ）整個決策過程的決策模式已經超越了「貿易政治」模式，而是「意識政治」 、 「貿易政治」及「象徵政治」三個模式互動的「兩面策略政治」模式。
  11. The workshop on tools and algorithms for the construction and analysis of systems tacas 99, lncs, springer - verlag, 1999, 1579 : 193 - 207. 4 burch j r, clarke e m, mcmillan k l. symbolic model checking : 10 20 states and beyond. information and computation, rm 1992, 98 : 142 - 170

    在這本文中，我們通過對kripke結構的合理擴充，提供了直接模型檢測dmc direct model checking的矩陣演算法，通過與體系結構描述語言adls的結合， dmc可以被直接應用在相容性consistency等關鍵性質的計算方面。
  12. Lu xun is the great representive of new literary tradition for his construction of literary model, considerable achievements and symbolic influence

    從文學體式的建立，相當的文學成就及其標志性影響看，魯迅是《新青年》新文學傳統的最光輝的體現者。
  13. The second part, with the aid of many types constructive transformation and symbolic computation ( especially wu algebraic elemination method ), some topics in nonlinear evolution equation are studied, including exact solution ( solitary solution, periodic solution, rational function solutions and jacobian function solution ), backlund transformation, cole - hopf transformation, dromion solution and its construction etc. charter 2 introduces ac = bd model and its application about partial differential equations

    第二部分以構造性的變換及符號計算特別是（吳代數消元法）為工具，來研究非線性演化方程中的一些問題：精確解（如孤子解、周期解、有理解和雅可比橢圓函數解（雙周期解）等） 、 backlund變換、 hopf變換， dromion解及衰變結構等第二章介紹了求解pdes的ac = bd模式及其在偏微分方程中的作用。
  14. A possible solution to this problem is : adopting symbolic transition graph with assignment ( stga for short ) to model value - passing systems, introducing a predicate mu - calculus to characterize desired properties, and verifying value - passing concurrent processes using an " on - the - fly " algorithm

    解決這個問題的一個方案是：使用帶賦值符號遷移圖（ stga ）作為並發傳值進程的模型，使用謂詞演算作為刻畫性質的邏輯，並採用動態實例化的演算法對傳值並發進程直接進行模型檢測。
  15. During the modeling and verification of the authentication version of needham - schroeder public key protocol with smv, we get more comprehension on the theory of symbolic model checking and small system model, and finally find a flaw in this protocol that corresponds with the one that gavin lowe found with fdr

    通過使用smv對needham - schroeder公鑰協議進行建模和驗證，理解了符號化模型檢驗和小系統模型的原理，並發現了一個協議漏洞，該漏洞與gavinlowe用fdr所發現的相一致。
  16. At present, the main methods for solving this kind of problems are as follows : ( a ) mathematical optimization model and solving it by computer algorithms + symbolic model and solving it by artificial intelligence

    目前解決這個問題主要有兩條途徑： a數學優化模型及其演算法求解+符號模型及其人工智慧求解； b數學優化模型及其演算法求解+人機交互或人機結合。
  17. As a result of that fortuitous model - room experiment, i shifted my focus from memory to symbolic thinking

    就這樣，我在模型屋計畫邂逅的發現，讓我改變了研究焦點，從記憶轉向象徵思惟。
分享友人
分享到 Line

分享到臉書