區間時態邏輯（interval temporal logic）是2018年公布的計算機科學技術名詞，出自《計算機科學技術名詞 》第三版。
基本介紹
- 中文名：區間時態邏輯
- 外文名：interval temporal logic
- 所屬學科：計算機科學技術
- 公布時間：2018年
定義,出處,
定義
可以表示一段時間內某些性質成立的時態邏輯。
出處
《計算機科學技術名詞 》第三版。
區間時態邏輯
相關詞條
- 區間時態邏輯
區間時態邏輯（interval temporal logic）是2018年公布的計算機科學技術名詞，出自《計算機科學技術名詞 》第三版。定義可以表示一段時間內某些性質成立的時態邏輯。出處《計算機科學技術名詞 》第三版。1...
- 時態邏輯
時態語句（例如FA,A代表任一原子語句）的真值，不能只根據單個的真值賦值求出，相對於說出FA這個語句的時間，其將來可以劃分成許多時間區間，即可以把從現在開始算起的第一年作為第一個時間區間，第二年作為第二個時間區間，等等。如果中國第一次時態邏輯討論會在從現在算起的第二個時間區間召開，那么“中國第一次...
- 實時系統的邏輯理論基礎研究
《實時系統的邏輯理論基礎研究》是依託北京大學，由裘宗燕擔任負責人的面上項目。項目摘要 實時系統理論是目前計算機理論研究的一個熱點，同步語言是一類新的專用於實時系統設計的語言。本項目將套用時態邏輯、區間邏輯及我們建立的兩維時間邏輯作為工具，集中研究實時系統的邏輯基礎及同步語言的語義模型、時間特性描述、形式...
- 模糊邏輯與智慧型系統
14.3.1 時態邏輯運算元 264 14.3.2 擴展運算 265 14.4 IFS分解定理 267 14.5 直覺模糊集之間的距離 269 14.5.1 IFS之間的距離 269 14.5.2 基於Hausdorff測度的IFS之間的距離 271 14.5.3 改進的IFS之間的距離 272 14.6 直覺模糊集之間的相似度 275 14.6.1 IFS之間的相似度 276 14.6.2 基於...
- 謂詞邏輯與模型檢驗中的計量化理論
基於賦值集上的均勻機率測度建立的命題邏輯的計量化理論是本項目申請時機率與邏輯交叉領域中具有代表性的研究成果。本項目以提高命題型計量邏輯的語言表達能力和邏輯推理能力為出發點，將在命題邏輯框架下成功建立起的計量化方法推廣到一階謂詞邏輯，線性時態邏輯及計算樹邏輯中，利用有限模型上的均勻機率測度建立相應的...
- 形式化方法
不同的形式化方法的數學基礎是不同的，有的以集合論和一階謂詞演算為基礎（如Z和 VDM），有的則以時態邏輯為基礎。形式化方法需要形式化規約說明語言的支持。研究內容 形式化方法的一個重要研究內容是形式規約(Formal Specification,也稱形式規範或形式化描述),它是對程式“做什麼”(what to do)的數學描述,是用具...
- 混合計算模型
邏輯型混合計算模型 邏輯型混合計算模型的主要思想基於時態邏輯，引入時段和切變的概念。時段可用來刻畫系統在一個時間區間上的連續變化，而切變則表示事件的發生（離散變數的變化）。在單個時段上，借用連續數學（微分方程理論）推導系統的行為；而在相鄰時段間，則用時態邏輯中切變運算元的規則，推導系統行為的轉化。邏輯...
- 軟體形式化方法
形式化方法的本質是基於數學的方法來描述目標軟體系統屬性的一種技術。不同的形式化方法的數學基礎是不同的，有的以集合論和一階謂詞演算為基礎（如Z和VDM），有的則以時態邏輯為基礎。形式化方法需要形式化規約說明語言的支持。這樣的形式化方法提供了一個框架，可以在框架中以系統的而不是特別的方式刻劃、開發和...
- 形式程式測試
不同的形式化方法的數學基礎是不同的，有的以集合論和一階謂詞演算為基礎（如Z和VDM），有的則以時態邏輯為基礎。形式化方法需要形式化規約說明語言的支持。這樣的形式化方法提供了一個框架，可以在框架中以系統的而不是特別的方式刻劃、開發和驗證系統。如果一個方法有良好的數學基礎，那么它就是形式化的，典型...
- 程式理論
在建立混合計算模型方面有三種不同的方法: 第一種稱為邏輯型混合計算模型方法，其基本思想是在時態邏輯基礎上引入時段和切變的概念。時段用於刻畫系統在時間區間上的連續變化，切變則表示系統中離散事件間的時序關係。第二種是程式設計型混合模型方法，其目標是在CSP及ADA 等並發語言中引入連續變數及給定初值的微分方程...
- 直覺模糊集理論及套用
2.4.1時態邏輯運算元 2.4.2擴展運算 2.5IFS分解定理 2.6本章小結 參考文獻 第3章直覺模糊度量與直覺模糊熵 3.1直接模糊集的幾何解釋 3.2直覺模糊集之間的距離 3.2.1IFS之間的距離 3.2.2基於Hausdorff測度的IFS之間的距離 3.2.3改進的IFS之間的距離 3.3直覺模糊集之問的相似度 3.3.1IFS之間的相似...
- 軟體工程卷2:系統與語言規約
5.1.5時態事件106 5.1.6時態行為106 5.1.7時間表示106 5.1.8時間“上”的操作108 5.2空間108 5.2.1空間 --- 基礎108 5.2.2位置變化實體109 5.2.3位置和動態性110 5.2.4空間 --- 一般問題111 點、曲線、曲面、體積111 空間“事件”111 空間“行為”112 空間體的表示112 空間上的操作112 5...
