symbolic information 中文意思是什麼

symbolic information 解釋
符號信息
  • symbolic : adj. 記號的，符號的；象徵的。
  • information : n. 1. 通知，通報，報告。2. 報導，消息，情報。3. 資料，知識，學識。4. 【自動化】信息，數據。5. 【法律】起訴，告發。adj. -al
  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. The addr2line utility provides basic symbolic debugger information, although the gnu debugger uses other methods internally

    Addr2line工具提供了基本的符號調試信息，不過gnu debugger （ gdb ）使用的是其他一些內部方法。
  3. A symbolic link is merely a file that refers to another file ; a hard link is actually the same exact information, located at the same spot on the disk

    符號鏈接僅僅只是一個指向另一個文件的文件；而硬鏈接則實際上是被定位在磁盤相同點上的完全相同的信息。
  4. The compiler embeds the name of the pdb in each. obj file created using this option, pointing the debugger to the location of symbolic and line - number information

    編譯器將pdb的名稱嵌入每個使用此選項創建的. obj文件中，從而使調試器了解符號和行號信息的位置。
  5. On editors ' checking on the social standards and symbolic codes of information

    論編輯對訊息的社會規范和符號代碼規范的把關
  6. No symbolic information dialog box

    「無符號化信息」對話框
  7. Generate symbolic debugging information character set

    生成符號調試信息
  8. 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等關鍵性質的計算方面。
  9. Executable files can contain symbolic information that allows debuggers to associate runtime addresses with the original source code

    執行文件應該包含符號信息，這些信息允許調試器將運行時間地址和最初源碼聯合。
  10. Emitting symbolic information with reflection emit

    >用反射發出發出符號信息
  11. Sets the local variable s symbolic information

    設置局部變量的符號信息。
  12. Creates an. sbr file with complete symbolic information

    創建一個具有完整符號信息的. sbr文件。
  13. Sets the custom attribute that is stored with the symbolic information

    設置與符號信息存儲在一起的自定義屬性。
  14. Reflection emit allows symbolic information to be defined for a dynamic module

    反射發出允許為動態模塊定義符號信息。
  15. Reflection emit provides the following methods for emitting symbolic information

    反射發出提供下列發出符號信息的方法：
  16. Sets this constructor s custom attribute associated with symbolic information

    設置與符號信息關聯的此構造函數的自定義屬性。
  17. Structure is an object representation of a token that represents symbolic information

    結構是表示符號信息的標記的對象表示形式。
  18. The various options for creating dynamic modules with symbolic information are described in

    中描述了各種用符號信息創建動態模塊的選項。
  19. Define symbolic information for defined modules that can be used by tools such as debuggers and code profilers

    為定義的模塊定義可由調試器和代碼分析器這樣的工具使用的符號信息。
  20. Xml expression is not symbolic information but structured block content. by using xml for describing data content, documents and lists, it is possible to exchange data between different systems. it improves persistence of data and reduces extra application costs caused by changes of the business regulations. it guarantees the connection with the old system and protects existing investments

    Xml在解決數據的表示和交換方面具有強大的功能， xml表示的不是符號信息，而是結構化的塊狀內容，通過使用xml來描述數據內容，文檔、表單可在不同的系統中相互交換，提高了數據的可持續性，降低了由於商業規則上的變化所帶來的額外應用成本，保證了同舊系統的連接，保護現有投資。
分享友人
分享到 Line

分享到臉書