symbolic analysis 中文意思是什麼

symbolic analysis 解釋
符號分析
  • symbolic : adj. 記號的，符號的；象徵的。
  • analysis : n. （pl. -ses ）1. 分解，分析；【數學】解析。2. 梗概，要略。3. 〈美國〉用精神分析法治療（＝ psychoanalysis）。
  1. The symbolic electric circuit analysis using matlab

    用相量法分析正弦穩態電路
  2. Analysis of symbolic signification of the carriage in kaogongji

    車的象徵意義解析
  3. In the compiled system, the paper describes symbolic structure of the siprom language word with regular expression. based on the fa theory, this paper presents a lexical analysis method by using morphology table. after comparing some common syntax analysis methods, this paper choosing the lr ( 1 ) analyzer

    在編譯部分，本文用正規表達式描述了siprom語言單詞符號的結構，利用有限自動機原理，提出了用構造詞形表的方式來識別單詞的方法，使詞法分析程序具有很好的開放性。
  4. A brief analysis of the symbolic features in modern english short fiction

    現代英語短篇小說象徵主義手法淺析
  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. A symbolic statistics analysis for editions approach of li shangyin poetry anthology

    李商隱詩集版本相近性的數理統計分析
  7. In accordance with adoni mane ' s division of three realities, we are in fact seeking a corresponding relation between the symbolic reality achieved with content analysis method and the subjective reality gained with " cognitive tree " method

    按照阿托尼?梅耶的三個現實的劃分，實際上我們是在尋找通過內容分析法獲得的符號真實與通過「認知樹」法獲得的主觀真實兩者之間的對應關系。
  8. Based on the above qualitative studies, combining the data collected from the social typical sampling investigations with the reliability analysis by using methodology of symbolic statistic, an evaluation methodology for the key property on the technology of food security in quality was explored, finally case studies of the evaluation methodology for the key property on the technology of food security in quality were conducted, important technology types and categories for the food security in quality were selected in the view of strategy, and series of countermeasures for macroscopic development of the technology of food security in quality were also put forwarded

    然後，通過社會典型抽樣調查（專家問卷法）得到第一手數據，運用sas 、 excel和灰色關聯分析等數理統計與分析方法，對問卷的可靠性進行了研究，建立了食物質量安全技術「關鍵性」的評價方法，並進行了實證評價分析，對我國食物質量安全技術的重點技術類型、關鍵技術種類等進行戰略選擇，提出了我國食物質量安全關鍵技術的一系列宏觀發展對策。
  9. 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等關鍵性質的計算方面。
  10. A symbolic analysis method for network function sensitivity based on network graph theory

    基於圖論的網路函數靈敏度符號分析法
  11. Most of the timed automata reachability analysis algorithms in the literature explore the state spaces by enumeration of symbolic states, which use time constraints to represent a set of concrete states

    但是，隨著系統規模的擴展，狀態空間的大小呈現爆炸性的增長，往往超出了當前計算機的能力極限。這被稱為「狀態空間爆炸問題」 。
  12. An analysis of jean - jean baudrillard ' s symbolic exchange theory

    析波德里亞的象徵交換理論
  13. It is proposed on the basis of the analysis on newton method and the preconditioned conjugate gradient method ( pcg method ). numerical derivatives can be evaluated by symbolic differ - entiation ( sd ), finite difference approximation and automatic differelltiation ( ad ). ad has significant advantages over other two approaches

    自動微分是一種新的能精確而有效地計算導數的方法，它優越于傳統的微分方法，例如它比符號微分和差分方法的計算成本低，又比差分方法計算精確，自動微分在近幾年發展迅速，應用廣泛。
  14. Symbolic approach for displacement analysis of planar five - bar linkages based on groebner base method

    基的平面五桿機構位置分析符號解
  15. This paper makes analysis and comparison of the symbolic rules in different optical books, and brings to light the internal relations and integrity of the superiorest symbolic rule with the law of light propagation and imaging

    本文對不同光學書上採用的符號法則進行了分析比較，揭示出了表觀上最優的符號法則與光的傳播及成象規律的內在聯系及統一性
  16. Then, the author pays interest on how olap enabled databases can be adapted to support symbolic modeling and used in customer order analysis, and how modeling contributes to acquiring valuable information

    接著，作者著眼于在客戶訂單分析中， olap如何支持形式化模型以及怎樣通過形式化模型獲得有用信息。
  17. In this thesis, we will review some traditional methods of detecting data dependence and analyze the relation between the data dependence and the mechanism of parallelism. based on path analysis and symbolic execution, we describe two methods, static analysis and dynamic analysis, for detecting data dependence of array variables in loops of sequential programs

    進而提出了基於路徑分析和符號執行的靜態測試和動態測試方法，來研究串列程序中循環內部數組變量的數據相關性，該方法對于下標表達式為線性表達式時有很好的效果，而且能夠處理一些復雜的數組下標表達式，比如數組下標表達式含有輸入變量和非線性下標表達式的情況。
  18. So it is representative in chinese wang - huo culture and is provided with thick local tinge. according to the culture event of wang - huo, the paper analysis and depicted deeply its cultural geography distributing, historical recordation and origin, ceremony scene and symbolic signification, live people who use the symbol, workmanship, social mentality which are all changed continuously. the paper also analysis and depict deeply the interaction between the folk - custom of wang - huo and local society and economy

    論文將懷仁旺火作為研究之文化事項，運用田野調查輔以文獻調查與統計調查的方法，對其文化地理分佈、史載與源起、儀式場景與象徵意義、處于不斷變遷中的承載這種符號的活態的人群、技藝、社會心理以及旺火作為民俗活動與社會經濟的互動等，進行深入、系統的描述和分析。
  19. Brief analysis on symbolic meaning of color words of chinese and uygur

    漢維顏色詞象徵意義淺析
分享友人
分享到 Line

分享到臉書