<p id="xhh1v"><del id="xhh1v"></del></p><listing id="xhh1v"></listing>

<var id="xhh1v"></var>
<output id="xhh1v"></output>

        <ins id="xhh1v"><cite id="xhh1v"></cite></ins>
          <output id="xhh1v"><del id="xhh1v"><big id="xhh1v"></big></del></output>

          <dfn id="xhh1v"><form id="xhh1v"><output id="xhh1v"></output></form></dfn>

            合肥金星智控科技股份有限公司
            宣傳

            位置:中冶有色 >

            有色技術頻道 >

            > 失效分析技術

            > 基于隨機Petri網的分區軟件可靠性分析方法

            基于隨機Petri網的分區軟件可靠性分析方法

            1003   編輯:管理員   來源:中冶有色網  
            2023-03-19 08:59:57
            本發明公開了一種采用隨機Petri網(SPN)對綜合模塊化航空電子系統(IMA)中分區軟件的可靠性分析方法。該方法首先參考ARINC653中的分區狀態定義,分析并確定分區軟件的Petri網的位所和遷移,將“故障狀態”作為位所之一,建立IMA分區軟件的Petri網模型,進而分析分區軟件的可達狀態樹,確定失效狀態集,對變遷的實施速度進行分析,利用SPN的可達狀態樹可以推導其同構的馬爾科夫鏈(MC),求出穩態分布,系統處于故障狀態的穩態概率也就軟件發生故障的概率,確定分區軟件處在故障狀態的穩態概率與內核操作系統的可靠性指標、分區調度周期、系統恢復時間之間的函數關系,從而定量的分析IMA分區軟件的可靠性。
            登錄解鎖全文
            聲明:
            “基于隨機Petri網的分區軟件可靠性分析方法” 該技術專利(論文)所有權利歸屬于技術(論文)所有人。僅供學習研究,如用于商業用途,請聯系該技術所有人。
            我是此專利(論文)的發明人(作者)
            分享 0
                     
            舉報 0
            收藏 0
            反對 0
            點贊 0
            標簽:
            失效分析
            全國熱門有色金屬技術推薦
            展開更多 +

             

            中冶有色技術平臺

            最新更新技術

            報名參會
            更多+

            報告下載

            赤泥綜合利用研究報告2025
            推廣

            熱門技術
            更多+

            衡水宏運壓濾機有限公司
            宣傳
            環磨科技控股(集團)有限公司
            宣傳

            發布

            在線客服

            公眾號

            電話

            頂部
            咨詢電話:
            010-88793500-807
            專利人/作者信息登記
            久爱国产精品一区免费视频_无码国模国产在线观看_久久久久精品国产亚洲A_国产综合精品无码

            <p id="xhh1v"><del id="xhh1v"></del></p><listing id="xhh1v"></listing>

            <var id="xhh1v"></var>
            <output id="xhh1v"></output>

                  <ins id="xhh1v"><cite id="xhh1v"></cite></ins>
                    <output id="xhh1v"><del id="xhh1v"><big id="xhh1v"></big></del></output>

                    <dfn id="xhh1v"><form id="xhh1v"><output id="xhh1v"></output></form></dfn>