• <nav id="cwumo"><code id="cwumo"></code></nav>
  • <menu id="cwumo"><strong id="cwumo"></strong></menu>

    混合自動機的多項式phase-portrait近似

    時間:2024-10-15 07:09:29 通信工程畢業論文 我要投稿
    • 相關推薦

    混合自動機的多項式phase-portrait近似

    全部作者: 劉保羅 裴海龍 張勝祥 李堅強 第1作者單位: 華南理工大學自動化科學與工程學院 論文摘要: 抽象近似是驗證混合系統安全性的主要方法,模型轉換是構造1個可判定的(或半判定的)混合自動機來近似原混合自動機。本文將線性phase-portrait 近似推廣到多項式phase-portrait 近似,敘述了如何自動構造多項式phase-portrait 近似自動機及如何精化近似模型。 關鍵詞: 混合自動機 弱時間模擬 phase-portrait 近似 (瀏覽全文) 發表日期: 2008年01月09日 同行評議:

    (暫時沒有)

    綜合評價: (暫時沒有) 修改稿:

    【混合自動機的多項式phase-portrait近似】相關文章:

    定性推理在矩形phase-portrait近似中的應用11-22

    混合動力汽車混合度設計方法研究03-07

    多項式的帶余除法及同余問題12-26

    EXCEL分解混合本錢02-28

    混合資本債券02-26

    關于整系數多項式的根的若干性質03-07

    基于元胞自動機模型的快速路入口匝道交通流研究03-07

    基于記憶多項式模型數字預失真算法的改進03-07

    LabVIEW與MATLAB混合編程03-19

    日韩激情