symbolic computation 中文意思是什麼

symbolic computation 解釋
符號計算
  • symbolic : adj. 記號的，符號的；象徵的。
  • computation : n. 1. 計算，估算。2. 計演算法。3. 計算結果，得數。
  1. The study on symbolic computation for dynamics of flexible multibody systems

    多柔體系統動力學符號演算的研究
  2. In this dissertation, with the aid of many types of constructive transformations and symbolic computation, some topics in nonlinear waves and integrable system are studied, including exact solutions, painleve integrability, backlund transformation, darboux transformation, symmetry ( similarity reduction ), conditional symmetry, lax integrable hierarchy, liouville integrable n - hamilton structure, constraint flow, involutive system, lax representation, r - matrix, separation of variables and integrable couplings. chapter 2 and 3 are devoted to investigating exact solutions of nonlinear wave equations : firstly, the basic theories of c - d pair and c - d integrable system are presented

    本文以構造性的變換及符號計算為工具，來研究非線性波和可積系統中的一些問題：精確解（如孤子解、周期解、有理解、 dromion解及compacton解等） 、 panileve可積性、 backlund變換、 darboux變換、對稱（相似約化） 、條件對稱、 lax可積族、 liouville可積的n - hamilton結構、約束流、對合系統、 lax表示、 r -矩陣、變量分離及可積的耦合系統
  3. The computation might be something mathematical, such as solving a system of equations or finding the roots of a polynomial, but it can also be a symbolic computation, such as searching and replacing text in a document or ( strangely enough ) compiling a program

    運算也許是一些數學的東西，比如求解一個方程組，或者是找到一個多項式的根；但也可能是一些符號化的東西，例如在一個文檔中查找替換一些文字或者編譯一個程序（盡管十分神奇） 。
  4. 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等關鍵性質的計算方面。
  5. A symbolic computation method to decide the completeness of the solutions to the system of linear partial differential equations

    判定線性偏微分方程組解的完備性的一個符號計算方法
  6. Four approaches to geometric constraint solving, namely graph - based, rule - based, numerical computation - based and symbolic computation - based are described in detail

    對常見的4類求解方法：數值計算的方法、符號計算的方法、基於規則的方法、基於圖論的方法做了詳細的介紹。
  7. Using matiab symbolic computation, this paper studies the sensibilities of cvt ' s parameters, characteristic of cvt ' s transient noise, deduces the formula of cvt ' s secondary voltage and the formula after fourier transform ; then bring forward the least square algorithm for cvt and the compensatory algorithm based on fourier transform

    本文運用matlab的符號計算，分析了cvt參數的靈敏度，其暫態噪聲的特點及對保護的影響，推導了cvt二次側電壓及傅氏變換后的形式，在此基礎上提出了針對cvt的最小二乘演算法以及基於傅氏演算法的補償演算法。
  8. 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模式及其在偏微分方程中的作用。
  9. Journal of symbolic computation, 1994, : 585 - 595. 16 gao x s, luo y. a characteristic set method for difference polynomial systems. in int

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

    利用一個新的輔助橢圓方程將求解非線性發展方程精確解的問題轉化為一個代數方程組進行求解，與已有的輔助橢圓方程法的主要不同是，應用這一新的輔助橢圓方程后降低了平衡次數，減少了所得的代數方程組的個數和方程的項數，從而大大地簡化了代數方程組的求解.同時，由於輔助橢圓方程的解中包含了更多的可選參數，從而給出了非線性發展方程的更多形式的解.作為應用，藉助于計算機的符號計算，求得了一些非線性發展方程的新的精確周期解
  11. 23 bajaj c, xu g. spline approximation of real algebraic surfaces. journal of symbolic computation, 1997, 23 : 315 - 333

    基於向量運算，我們給出了插值曲面的完全顯式解，保證了曲面的快速生成。
  12. 11 aubry p, lazard d, maza m m. on the theory of triangular sets. journal of symbolic computation, 1999, : 105 - 124. 12 bouziane d, rody a kandri, mahat arouf h. unmixed - dimensional decomposition of a finitely generated perfect differential ideal

    這一方法在圖像壓縮計算機視覺計算機圖形學智能cad sat問題求解一階邏輯推理信息安全編碼數控技術機器人等高技術領域與物理力學化學天文學中若干問題的研究中得到成功應用。
  13. Revised report on the algorithmic language scheme. higher - order and symbolic computation, august 1998, 11 : 7 - 105. 4 adams s, de roure d. a simulator for an amorphous computer

    我們將這種需求程度定義為該點的數據重要性，同時將傳感器的報告頻率依據需要而定的這種形式稱之為適應性取樣adaptive sampling 。
  14. The paper will combine fortran with mathematica to realize symbolic manipulation in the latter and numerical computation in the former

    本文將使mathematica與fortran語言相結合，在前者推導公式，到後者進行數值求解，集成雙方優勢，克服單一語言的不足。
  15. In the field of numerical - computation, fortran is an old and practical computer language with great efficiency and speed, but it has not symbolic manipulation

    在數值計算領域， fortran是最早使用和最通行的語言，程序能夠高效執行。但它沒有符號推導功能。
  16. Researchers at orcca study algorithms and software systems for symbolic mathematical computation. at any given time a number of visitors and postdocs are hosted

    -由李維斌老師帶領，成員有博士班碩士班及在職專班數十人。
分享友人
分享到 Line

分享到臉書