時態邏輯 的英文怎麼說

中文拼音 [shítàiluó]
時態邏輯 英文
temporal logic
  • 時 : shí］Ⅰ名1 （比較長的一段時間）time; times; days:當時at that time; in those days; 古時 ancient tim...
  • 態 : 名詞1. （形狀; 狀態） form; condition; appearance 2. [物理學] （物質結構的狀態或階段） state 3. [語言學] （一種語法范疇） voice
  • 邏 : Ⅰ動1. （巡察） patrol 2. [書面語] （遮攔） blockⅡ名詞1. （巡察） patrol 2. [書面語] （山溪的邊緣） edge
  • 輯 : Ⅰ動詞（編輯; 輯錄） collect; compile; edit Ⅱ名詞（整套書籍、資料的各個部分） part; volume; division
  • 邏輯 : logic
  1. The paper, based on the co - existing methodology of hegelian and marxism, sticking to the characteristics of " history ", has proposed the historical - logic train of thought

    本文在對黑格爾? ?馬克思共時態邏輯學方法鑒取的基礎上，緊扣「史」的特點，創建了歷時態的邏輯學思路。
  2. Therefore, we can make such a discussion about kb that knowledge rule is framed by using temporal logic and using temporal logic assertion to infer. thus makes temporality as the unified symbol of rules which drive in kb

    由此，針對知識庫，可以做一個這樣的探討：使用時態邏輯對知識規則進行構架，在知識庫內則用時態邏輯斷言進行推理，從而使得對知識庫的規則驅動有了一個統一的標志? ?時態。
  3. Preventing common bugs with temporal logic assertions

    用時態邏輯斷言防止常見錯誤
  4. Temporal logic can help make these assertions

    時態邏輯可以幫助產生這些斷言。
  5. Assertions and temporal logic in java programming

    Java編程中的斷言和時態邏輯
  6. Carries a broad discussion of the philosophical and mathematical foundations of temporal logic

    提供了關于時態邏輯哲學和數學基礎的廣泛討論。
  7. Listing 1 shows some examples of temporal logic assertions

    清單1顯示了一些時態邏輯斷言示例：
  8. Then we ll take a look at a tool for processing temporal logic assertions

    然後，我們將研究用於處理時態邏輯斷言的工具。
  9. Temporal logic assertions are also useful for diagnosing such errors in the first place

    首先，時態邏輯斷言對于診斷此類錯誤也是有用的。
  10. In this article, we ve shown how to use temporal logic assertions to combat the following bug patterns

    在本文中，我們展示了如何用時態邏輯斷言對付下列錯誤模式：
  11. You can check out the temporal rover trial version a tool for checking temporal logic assertions at run time at the

    查看temporal rover試用版（在運行時檢查時態邏輯斷言的工具） 。
  12. So, in this case, you can get away without using temporal logic assertions, but the task is much more difficult

    因此，在本例中，您可以根本不用時態邏輯斷言就能完成任務，但會困難得多。
  13. In fact, we can augment our efforts to eliminate some of the most common patterns of bugs through the use of such temporal logic assertions

    實際上，可以通過使用此類時態邏輯斷言來加大我們消除一些最常見錯誤模式的力度。
  14. In this article, eric allen discusses assertions, introduces temporal logic, and describes a tool for processing temporal logic assertions in your programs

    在本文中， eric allen將討論斷言，介紹時態邏輯並描述用於處理程序中時態邏輯斷言的工具
  15. Temporal rover, from time rover inc., is a tool for processing temporal logic assertions in java programs and generating valid java code from the assertions

    Time rover inc .的temporal rover是一種用於處理java程序中時態邏輯斷言並根據斷言生成有效java代碼的工具。
  16. A widely distributed software package that supports the formal verification of distributed systems - is an example of temporal logic model checking for hardware verification

    一種支持分散式系統的正式驗證且廣泛發布的軟體包是用於硬體驗證的時態邏輯模型檢查的示例。
  17. The characteristics and forms of describing properties of uml models with linear temporal logic are also studied

    研究了線性時態邏輯公式表達uml模型性質的特點和形式。
  18. Introduce temporal logic to assertions to supplement testing

    將時態邏輯引入斷言來補充測試
  19. Temporal logic assertions can help to diagnose such bugs

    時態邏輯可以有助於診斷此類錯誤。
  20. Diagnosing java code : using temporal logic with bug patterns

    診斷java代碼:將時態邏輯用於錯誤模式
分享友人
分享到 Line

分享到臉書