a国产,中文字幕久久波多野结衣AV,欧美粗大猛烈老熟妇,女人av天堂

當(dāng)前位置:主頁 > 社科論文 > 邏輯論文 >

基于UML與時(shí)序邏輯的嵌入式實(shí)時(shí)軟件建模及應(yīng)用

發(fā)布時(shí)間:2024-12-01 06:36
  嵌入式系統(tǒng)是近年來國內(nèi)外計(jì)算機(jī)科學(xué)與控制論領(lǐng)域研究的一個(gè)熱點(diǎn)課題。隨著嵌入式系統(tǒng)的規(guī)模和復(fù)雜性不斷增大,建模在嵌入式實(shí)時(shí)軟件開發(fā)過程中的作用也越來越重要。統(tǒng)一建模語言UML是一個(gè)通用的可視化建模語言,尤其適用于大型、復(fù)雜系統(tǒng)的建模。但由于UML缺乏精確語義,難以對(duì)所建模的系統(tǒng)行為進(jìn)行分析和驗(yàn)證。而時(shí)序邏輯語言XYZ/E具有精確的語義,既能表示系統(tǒng)的動(dòng)態(tài)語義,又能表示其規(guī)范的靜態(tài)語義;诖,本文將UML2.0與XYZ/E相結(jié)合,為嵌入式實(shí)時(shí)軟件建模提供一種新的解決方案。 本文分析和比較了當(dāng)前國內(nèi)外幾種典型嵌入式實(shí)時(shí)軟件建模的思想和方法,指出了它們各自存在的問題:分析了UML在嵌入式實(shí)時(shí)軟件建模方面的不足,在對(duì)目前常見的UML擴(kuò)展技術(shù)和方法進(jìn)行研究的基礎(chǔ)上,提出了一種將UML2.0與XYZ/E相結(jié)合對(duì)嵌入式實(shí)時(shí)軟件建模的新方法;定義了UML2.0各個(gè)交互視圖的形式化語法和XYZ/E時(shí)序邏輯語義;最后通過對(duì)一個(gè)汽車駕駛輔助系統(tǒng)進(jìn)行建模,把本文提出的建模方法應(yīng)用到嵌入式實(shí)時(shí)軟件的實(shí)例中。 本文通過將面向?qū)ο蟮目梢暬UZ言與基于時(shí)序邏輯的形式化方法結(jié)合起來對(duì)嵌入式實(shí)時(shí)軟件建模,...

【文章頁數(shù)】:62 頁

【學(xué)位級(jí)別】:碩士

【文章目錄】:
中文摘要
英文摘要
1 緒論
    1.1 研究背景及意義
        1.1.1 嵌入式實(shí)時(shí)軟件的定義
        1.1.2 嵌入式實(shí)時(shí)軟件的特征
        1.1.3 嵌入式實(shí)時(shí)軟件建模的意義
    1.2 國內(nèi)外研究現(xiàn)狀
    1.3 本文的研究內(nèi)容及組織結(jié)構(gòu)
2 基于UML與時(shí)序邏輯的嵌入式實(shí)時(shí)軟件建模
    2.1 UML2.0及其擴(kuò)展方法分析
        2.1.1 UML2.0概述
        2.1.2 UML2.0交互圖
        2.1.3 UML擴(kuò)展方法分析與比較
    2.2 時(shí)序邏輯語言XYZ/E的相關(guān)概念
        2.2.1 XYZ/E的基本內(nèi)容
        2.2.2 實(shí)時(shí)XYZ/E
    2.3 UML2.0與XYZ/E相結(jié)合的嵌入式實(shí)時(shí)軟件建模
    2.4 本章小結(jié)
3 UML2.0交互圖的XYZ/E時(shí)序邏輯語義
    3.1 UML2.0順序圖的XYZ/E時(shí)序邏輯語義
        3.1.1 UML2.0順序圖的語法
        3.1.2 形式化語義
        3.1.3 一個(gè)例子
    3.2 UML2.0通信圖的XYZ/E時(shí)序邏輯語義
        3.2.1 UML2.0通信圖的語法
        3.2.2 形式化語義
        3.2.3 一個(gè)例子
    3.3 UML2.0時(shí)序圖的XYZ/E時(shí)序邏輯語義
        3.3.1 UML2.0時(shí)序圖的語法
        3.3.2 形式化語義
        3.3.3 一個(gè)例子
    3.4 UML2.0交互概況圖的XYZ/E時(shí)序邏輯語義
        3.4.1 UML2.0交互概況圖的語法
        3.4.2 形式化語義
        3.4.3 一個(gè)例子
    3.5 本章小結(jié)
4 實(shí)例分析:一個(gè)汽車駕駛輔助系統(tǒng)的建模研究
    4.1 系統(tǒng)介紹
    4.2 系統(tǒng)建模
        4.2.1 自適應(yīng)巡航控制系統(tǒng)
        4.2.2 智能安全氣囊系統(tǒng)
        4.2.3 系統(tǒng)的整體模型
    4.3 本章小結(jié)
5 總結(jié)與展望
    5.1 本文工作總結(jié)
    5.2 下一步工作
參考文獻(xiàn)
附:作者在攻讀碩士學(xué)位期間發(fā)表的論文目錄、科研情況
致謝



本文編號(hào):4013693

資料下載
論文發(fā)表

本文鏈接:http://www.wukwdryxk.cn/shekelunwen/ljx/4013693.html


Copyright(c)文論論文網(wǎng)All Rights Reserved | 網(wǎng)站地圖 |

版權(quán)申明:資料由用戶4f7e1***提供,本站僅收錄摘要或目錄,作者需要?jiǎng)h除請(qǐng)E-mail郵箱bigeng88@qq.com
亚洲AV无码专区日韩乱码不卡| 成人免费区一区二区三区 | 精品亚洲成A人片在线观看| 奇米精品视频一区二区三区| 亚州乱码一二三区| 久久久久亚洲AV无码专区蜜芽| 美女视频黄频大全免费| 伊人久久大香线蕉综合影院首页| 欧美日韩中文人妻一区| 亚洲国产成人无码av在线| 新余市| 久久久久久久久精品| 97在线免费观看| 米奇奇米777第四色| 国产午夜无码视频在线观看| 少妇一晚三次一区二区三区| 嗯啊视频| 亚洲精品日韩综合观看成人91| 久久国产成人| 日韩欧美一区二区三区永久免费| 国产成人精品手机在线观看| 日产日韩亚洲欧美综合| 亚洲精品www| 在线v| 国产精品成人3p一区二区三区| 欧美乱大交XXXXX| 人妻aⅴ中文字幕无码| 未亡人熟女人妻丰满乱a∨| 亚洲人成影视| 亚洲欧美一区二区三区三| 亚洲国产精品无码久久久| 精品国产肉丝袜久久| 亚洲人妻一区二区| 色婷婷精品| 色哥网| 免费A级毛片| 精品国产免费一区二区三区| 亚洲国产成人无码av在线 | 宜宾市| 国产成人免费在线| av天堂东京热|