您要查找的是不是：
- And temporal logic can be extended. 可以擴展時(shí)態(tài)邏輯。
- Then we ll take a look at a tool for processing temporal logic assertions. 然后,我們將研究用于處理時(shí)態(tài)邏輯斷言的工具。
- Anthony Galton, Temporal Logic in the Stanford Encyclopedia of Philosophy. 這是與邏輯學(xué)相關(guān)的小作品。你可以透過(guò)編輯或修訂擴充其內容。
- In this article, we will only consider the temporal logic that models the future as a linear sequence of events. 在本文中,我們將只考慮把未來(lái)當作為事件的線(xiàn)性序列模型的時(shí)態(tài)邏輯。
- We can also extend the language of temporal logic to include quantifiers over collections of values in databases. 我們還可以擴展時(shí)態(tài)邏輯的語(yǔ)言以包括數據庫中值集合的量詞。
- So, in this case, you can get away without using temporal logic assertions, but the task is much more difficult. 因此,在本例中,您可以根本不用時(shí)態(tài)邏輯斷言就能完成任務(wù),但會(huì )困難得多。
- Temporal logic assertions are also useful for diagnosing such errors in the first place. 首先,時(shí)態(tài)邏輯斷言對于診斷此類(lèi)錯誤也是有用的。
- Temporal logic is a formalism used to describe how a program state will change with time. 時(shí)態(tài)邏輯是用于描述程序狀態(tài)如何隨時(shí)間而更改的形式體系。
- SMV -- checking finite state systems against specifications in temporal logic CTL. smv檢查在臨時(shí)邏輯CTL中的非規格有限系統。
- Understand the contactless IC card of knowledge, learn how to prepare plans based on temporal logic utility. 了解接觸式IC卡的知識，學(xué)會(huì )如何根據時(shí)序邏輯圖編寫(xiě)實(shí)用程序。
- 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. 提出了將線(xiàn)性時(shí)態(tài)邏輯(LTL)技術(shù)和電網(wǎng)故障模擬量信息引入高壓輸電線(xiàn)系統故障診斷的新思想。
- This paper introduces the temporal logic language XYZ/E,and then describes the gasbumer control problem in XYZ/RBE and XYZ diagram. 本文給出了時(shí)序邏輯語(yǔ)言XYZ/E的相關(guān)介紹,并利用XYZ/E的子語(yǔ)言XYZ/RBE與XYZ圖描述了煤氣爐實(shí)時(shí)控制問(wèn)題。
- In the applications of model checking, the software properties are usually depicted by Linear Temporal Logic (LTL) formulas. 摘要在模型檢查應用中，需要使用線(xiàn)性時(shí)態(tài)邏輯對軟件具備的特性進(jìn)行描述。
- By treating service requests as temporal logic conditions and web services as temporal models, ASMA does service matchmaking through model checking. ASMA將服務(wù)請求統一描述為一種時(shí)態(tài)約束條件，基于A(yíng)SM-TL將服務(wù)轉換為一種時(shí)態(tài)模型，并引入模型檢驗的思想進(jìn)行服務(wù)匹配。
- In this article, Eric Allen discusses assertions, introduces temporal logic, and describes a tool for processing temporal logic assertions in your programs. 在本文中,Eric Allen將討論斷言,介紹時(shí)態(tài)邏輯并描述用于處理程序中時(shí)態(tài)邏輯斷言的工具。
- 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. 這類(lèi)時(shí)態(tài)邏輯可以幫助您將單元測試提升到更高的程度,因為每個(gè)時(shí)態(tài)邏輯斷言都可以與許多傳統斷言對應。
- 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. 時(shí)態(tài)邏輯有助于提供比程序中的方法更有力的斷言,從而有助于增強用其它方式難以正式表達的不變量。
- 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門(mén)在構成十值邏輯系統時(shí)具有獨立的完備性，它們可用于實(shí)現任何十值組合邏輯和時(shí)序邏輯。
- 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缺乏精確語(yǔ)義描述的不足,我們提出了基于時(shí)序邏輯語(yǔ)言XYZ/E來(lái)表示類(lèi)圖形式化語(yǔ)義的方法。
- The back end of XYZ/ADL is the linear temporal logic language XYZ/E, which can represent both dynamic and static semantics of systems as its unified formal semantic backbone. 后端用既可表示系統動(dòng)態(tài)語(yǔ)義又可表示系統靜態(tài)語(yǔ)義的時(shí)序邏輯語(yǔ)言XYZ/E作為一致的語(yǔ)義基礎。
