axiom of extension 中文意思是什麼

axiom of extension 解釋
延伸公理
  • axiom : n. 1. 自明之理。2. 【邏，數】公理；原理，原則，通則。3. 格言。
  • of : OF ＝Old French 古法語。
  • extension : n 1 伸長，伸展，延長，延伸，擴展，擴大；廣度，范圍。2 延期；〈美國〉（房屋的）增建部分，（鐵路等...
  1. It is an extension of core of manna and pnueli " s pltl. in succession, a formal axiom deductive system is presented. it ' s soundness based formal semantic defined in this thesis is proved. as an example, we specify grc ( generalized railroad crossing ), which is a benchmark problem for real time systems, and verify it ' s safety and liveness

    作為它的一次實際應用，我們用它對于實時系統中的一個典型實例： grc （ generalizedrailroadcrossing ）進行了描述，給出了它的系統規約，在此基礎上，演繹式的證明了系統的一個安全性和活性命題。
分享友人
分享到 Line

分享到臉書