您要查找的是不是:
- And temporal logic can be extended. 可以擴展時態邏輯。
- Then we ll take a look at a tool for processing temporal logic assertions. 然後,我們將研究用於處理時態邏輯斷言的工具。
- Anthony Galton, Temporal Logic in the Stanford Encyclopedia of Philosophy. 這是與邏輯學相關的小作品。你可以透過編輯或修訂擴充其內容。
- In this article, we will only consider the temporal logic that models the future as a linear sequence of events. 在本文中,我們將只考慮把未來當作為事件的線性序列模型的時態邏輯。
- We can also extend the language of temporal logic to include quantifiers over collections of values in databases. 我們還可以擴展時態邏輯的語言以包括資料庫中值集合的量詞。
- So, in this case, you can get away without using temporal logic assertions, but the task is much more difficult. 因此,在本例中,您可以根本不用時態邏輯斷言就能完成任務,但會困難得多。
- Temporal logic assertions are also useful for diagnosing such errors in the first place. 首先,時態邏輯斷言對於診斷此類錯誤也是有用的。
- Temporal logic is a formalism used to describe how a program state will change with time. 時態邏輯是用於描述程序狀態如何隨時間而更改的形式體系。
- SMV -- checking finite state systems against specifications in temporal logic CTL. smv檢查在臨時邏輯CTL中的非規格有限系統。
- Understand the contactless IC card of knowledge, learn how to prepare plans based on temporal logic utility. 了解接觸式IC卡的知識,學會如何根據時序邏輯圖編寫實用程序。
- A new idea is presented to introduce the linear temporal logic (LTL) technology and analog information into a fault diagnosis system for high voltage (HV) transmission lines. 提出了將線性時態邏輯(LTL)技術和電網故障模擬量信息引入高壓輸電線系統故障診斷的新思想。
- This paper introduces the temporal logic language XYZ/E,and then describes the gasbumer control problem in XYZ/RBE and XYZ diagram. 本文給出了時序邏輯語言XYZ/E的相關介紹,並利用XYZ/E的子語言XYZ/RBE與XYZ圖描述了煤氣爐實時控制問題。
- In the applications of model checking, the software properties are usually depicted by Linear Temporal Logic (LTL) formulas. 摘要在模型檢查應用中,需要使用線性時態邏輯對軟體具備的特性進行描述。
- There are no clear fashion signs and specific prevailing ways, but logical symbol of grand, un-successional thoughts in his works. 我要的是多重立場、多重視點,一個匯聚時代的片子出來,我希望變成一個學者、變成一個導演、變成一個記者、一個旁觀者。
- By treating service requests as temporal logic conditions and web services as temporal models, ASMA does service matchmaking through model checking. ASMA將服務請求統一描述為一種時態約束條件,基於ASM-TL將服務轉換為一種時態模型,並引入模型檢驗的思想進行服務匹配。
- In this article, Eric Allen discusses assertions, introduces temporal logic, and describes a tool for processing temporal logic assertions in your programs. 在本文中,Eric Allen將討論斷言,介紹時態邏輯並描述用於處理程序中時態邏輯斷言的工具。
- Temporal logic assertions like these can help you to leverage unit testing to a greater degree because each temporal logic assertion can correspond to many traditional assertions. 這類時態邏輯可以幫助您將單元測試提升到更高的程度,因為每個時態邏輯斷言都可以與許多傳統斷言對應。
- That temporal logic can help to provide much more powerful assertions over methods in programs, helping to enforce invariants that are otherwise hard to express formally. 時態邏輯有助於提供比程序中的方法更有力的斷言,從而有助於增強用其它方式難以正式表達的不變數。
- This circuit is of Independence and perfectibility hence can be used to fabricate Deka-Value logic systems and implement any Deka-Value combinatorial logic and temporal logic. 十值T門在構成十值邏輯系統時具有獨立的完備性,它們可用於實現任何十值組合邏輯和時序邏輯。
- Because UML lacks of precise semantics,a method is proposed to express the formal semantics of the class diagrams based on the temporal logic language XYZ/E. 基於UML缺乏精確語義描述的不足,我們提出了基於時序邏輯語言XYZ/E來表示類圖形式化語義的方法。