国产欧美精品一区二区,中文字幕专区在线亚洲,国产精品美女网站在线观看,艾秋果冻传媒2021精品,在线免费一区二区,久久久久久青草大香综合精品,日韩美aaa特级毛片,欧美成人精品午夜免费影视

基于時(shí)間Petri網(wǎng)的綜合航電系統時(shí)序驗證分析
DOI:
CSTR:
作者:
作者單位:

南昌航空大學(xué)軟件學(xué)院,南昌航空大學(xué)軟件學(xué)院,南昌航空大學(xué)軟件學(xué)院

作者簡(jiǎn)介:

通訊作者:

中圖分類(lèi)號:

TP391.9

基金項目:

國家自然科學(xué)基金項目(青年項目)


Temporal Analysis of Integrated Avionics System Based on Timed Petri Net
Author:
Affiliation:

Fund Project:

The National Natural Science Foundation of China (Youth Fund)

  • 摘要
  • |
  • 圖/表
  • |
  • 訪(fǎng)問(wèn)統計
  • |
  • 參考文獻
  • |
  • 相似文獻
  • |
  • 引證文獻
  • |
  • 資源附件
  • |
  • 文章評論
    摘要:

    綜合航電系統是一種對可靠性、實(shí)時(shí)性要求非常高的嵌入式應用系統。為了解決針對復雜應用場(chǎng)景下綜合航電系統的處理時(shí)間和工作時(shí)序預估較困難、且計算自動(dòng)化程度不高等測試驗證問(wèn)題,提出了一種基于時(shí)間約束Petri網(wǎng)的綜合航電系統時(shí)序驗證和分析方法。給出了時(shí)間約束Petri網(wǎng)的形式化定義,分析了綜合航電系統工作流程中各節點(diǎn)的時(shí)間屬性,通過(guò)引入時(shí)序約束路徑的概念,并提出了時(shí)序推理算法。通過(guò)在仿真算例中進(jìn)行計算并對比實(shí)際運行數據,結果表明該方法在針對綜合航電系統運行時(shí)序的驗證分析方面具有有效性。

    Abstract:

    Integrated avionics system is an embedded application system with high reliability and real time requirement. In order to solve the problem such as estimating and testing processing duration during the verification of integrated avionics system more effectively, an analytical method based on Petri net with time constraints, which is named timed Petri net, is proposed in this paper. The formalized definition of timed Petri net is also introduced after analyzes the time attributes of each working node while integrated avionics system is running. By introducing the concept of temporal constraint path, the temporal reasoning algorithms are designed. At last, comparison and analysis of data collected in the simulation example system are also presented, the results show that the proposed method is feasible and effective in time verification of the integrated avionics system.

    參考文獻
    相似文獻
    引證文獻
引用本文

樊鑫,鄭巍,梁旗軍.基于時(shí)間Petri網(wǎng)的綜合航電系統時(shí)序驗證分析計算機測量與控制[J].,2017,25(11).

復制
分享
文章指標
  • 點(diǎn)擊次數:
  • 下載次數:
  • HTML閱讀次數:
  • 引用次數:
歷史
  • 收稿日期:2017-08-28
  • 最后修改日期:2017-08-28
  • 錄用日期:2017-09-19
  • 在線(xiàn)發(fā)布日期: 2017-12-07
  • 出版日期:
文章二維碼
胶南市| 洛南县| 泽普县| 台东市| 菏泽市| 金湖县| 宁国市| 富阳市| 鹰潭市| 乌兰县| 米林县| 中方县| 平泉县| 承德市| 舞钢市| 潞城市| 西畴县| 上饶县| 井陉县| 邵阳县| 邹城市| 徐汇区| 右玉县| 梁平县| 南陵县| 丰顺县| 淳安县| 乌鲁木齐县| 永和县| 富平县| 城固县| 临汾市| 隆尧县| 松原市| 开原市| 甘南县| 小金县| 滁州市| 泰安市| 卫辉市| 邵阳县|