symbolic method 中文意思是什麼

symbolic method 解釋
符號法
  • symbolic : adj. 記號的，符號的；象徵的。
  • method : n 1 方法，方式；順序。2 （思想、言談上的）條理，規律，秩序。3 【生物學】分類法。4 〈M 〉【戲劇】...
  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. In section 4, we symbolized the system using milnor - thurston ' s method. we not only define the map from plane to symbolic space, also define its inverse map x0, - 1 which maps symbolic space to plane

    第四節開始，我們引入符號動力學的工具，首先我們將系統符號化，不僅定義了從平面到符號空間的映射，還定義了它的逆映射（
  3. We research on the thermal buckling characteristics of double layer membrane which is composed of different materials with different thermal expansion coefficiens under uniform temperature elevation. the energy method is proposed which is used to solve the problem and the symbolic relation between central buckling height and substrate height under small buckling height is also given. it is the primary theory of membrane resonant sensor, which makes the research and development of novel thermal sensor possible

    本文對微機械中熱脹系數不同的材料構成的雙層復合薄板在均勻溫升下的撓曲特性進行了研究，提出了在均勻溫升下雙層薄板熱撓曲求解的能量法，並給出了小撓度下中心撓度與板厚的解析關系，為薄膜諧振式傳感器溫度特性的研究和新型溫度傳感器的設計與開發打下了基礎
  4. 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語言單詞符號的結構，利用有限自動機原理，提出了用構造詞形表的方式來識別單詞的方法，使詞法分析程序具有很好的開放性。
  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. 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

    按照阿托尼?梅耶的三個現實的劃分，實際上我們是在尋找通過內容分析法獲得的符號真實與通過「認知樹」法獲得的主觀真實兩者之間的對應關系。
  7. Symbol logic method is unable to guarantee the complement of knowledge description, which leads to complicated deducing process. we introduce fuzzy cognitive map into agent modeling and deducing, substitute symbolic description and inference with simple mathematical computing, achieving agent intelligent decision - making in complex environment

    針對現有符號邏輯描述方法難以保證知識表達的完整性，推理過程陷於復雜的邏輯演繹的問題，作者引入了模糊因果關系的網路模型，基於模糊認知圖理論構造agent推理模型，用簡單的數值計算代替復雜符號系統的表示和演繹推理過程，實現了復雜環境下的agent智能決策。
  8. ( 2 ) by the jacobi elliptic function expansion method and computer symbolic systems ( maple, matlab ), many exact periodic solutions of nonlinear wave equations can be obtained and these solutions can degenerate solitary wave solutions, shock wave solutions, trigonometric function solutions

    （ 2 ）利用jacobi橢圓函數表示法和數學計算軟體（ maple ， matlab等） ，可以得到一類常系數非線性發展方程的雙周期解，這些解能退化成孤立子解，沖擊波解，三角函數解。
  9. A symbolic computation method to decide the completeness of the solutions to the system of linear partial differential equations

    判定線性偏微分方程組解的完備性的一個符號計算方法
  10. 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模式及其在偏微分方程中的作用。
  11. Symbolic anthropology has been a new thought in anthropology since the 1960s, its special research realm and method would be a new view of angle for researching education

    摘要象徵人類學是近三四十年來人類學界的新思潮，其獨特的研究領域及方法為研究教育打開了新的思路。
  12. The older method of naming i just discussed ? naming your device object and creating a symbolic link name that applications can use ? has two major problems

    我剛剛討論的命名的稍老的方法- - - -命名你的設備對象並且創建一個應用可以使用的動態鏈接名- - - -有兩個主要問題。
  13. A symbolic analysis method for network function sensitivity based on network graph theory

    基於圖論的網路函數靈敏度符號分析法
  14. The paper introduces the organizing program of the system in detail and the method for customizing microstation ; expatiates upon the building of map symbolic library and the automated realization process of map border decoration ; explains the design principle of input and output function and analyzes the technical methods for developing important digital map editing functions

    文中詳細介紹了系統的組織方案和定製microstation的方法；闡述了地圖符號庫的建立和圖廓整飾的自動實現過程；說明了輸入輸出功能的設計原理；分析了開發數字地圖重要編輯功能的一些技術方法。
  15. Journal of symbolic computation, 1994, : 585 - 595. 16 gao x s, luo y. a characteristic set method for difference polynomial systems. in int

    我們將特徵列方法推廣到非線性差分方程組，證明了差分特徵列的基本性質給出了計算差分情形特徵列的演算法。
  16. 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

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

    基的平面五桿機構位置分析符號解
  18. By using the solutions of a new auxiliary elliptic equation, a direct algebraic method is proposed to construct the exact solutions of some nonlinear evolution equations. the main difference between this method and previous auxiliary elliptic equation methods is that the balance order becomes smaller after using the new auxiliary elliptic equation. therefore, the derived algebraic equations are greatly simplified. meanwhile, the obtained new solutions contain more parameters to be chosen. for some special cases, they give the previous known solutions. it is shown that some new exact periodic solutions of some nonlinear evolution equations are explicitly obtained with the aid of symbolic computation

    利用一個新的輔助橢圓方程將求解非線性發展方程精確解的問題轉化為一個代數方程組進行求解，與已有的輔助橢圓方程法的主要不同是，應用這一新的輔助橢圓方程后降低了平衡次數，減少了所得的代數方程組的個數和方程的項數，從而大大地簡化了代數方程組的求解.同時，由於輔助橢圓方程的解中包含了更多的可選參數，從而給出了非線性發展方程的更多形式的解.作為應用，藉助于計算機的符號計算，求得了一些非線性發展方程的新的精確周期解
  19. ( 2 ) by the jacobi elliptic function expansion method and computer symbolic systems ( maple, matlab or mathematica ), many exact periodic solutions of nonlinear wave equations can be obtained and under some conditions, these solutions degenerate solitary wave solutions, shock wave solutions, trigonometric function solutions respectively

    （ 2 ）利用jacobi橢圓函數展開法和數學計算軟體（ maple ， matlab ， mathematica等） ，可以求得一類常系數非線性發展方程的雙周期解，這些解能退化成孤立子解、沖擊波解、三角函數解。
  20. Since the symbolic series are digital values themselves, it is very convenient to be acquired by logic judgment and processed by computer. in the part of weak signal detection, a new method of signal detection based on all parameters sensitivity of chaotic systems is proposed

    在信號檢測的應用方面，提出了利用混沌系統的整體參數敏感性進行信號檢測的新思路，與傳統的測量方法有很大的差別，測量過程中把所有的敏感元件都考慮在內。
分享友人
分享到 Line

分享到臉書