色哟哟视频在线观看-色哟哟视频在线-色哟哟欧美15最新在线-色哟哟免费在线观看-国产l精品国产亚洲区在线观看-国产l精品国产亚洲区久久

0
  • 聊天消息
  • 系統消息
  • 評論與回復
登錄后你可以
  • 下載海量資料
  • 學習在線課程
  • 觀看技術視頻
  • 寫文章/發帖/加入社區
會員中心
电子发烧友
开通电子发烧友VIP会员 尊享10大特权
海量资料免费下载
精品直播免费看
优质内容免费畅学
课程9折专享价
創作中心

完善資料讓更多小伙伴認識你,還能領取20積分哦,立即完善>

3天內不再提示

計算機的簡單理論模型到有限狀態機

UtFs_Zlgmcu7890 ? 來源:互聯網 ? 作者:佚名 ? 2017-10-13 06:52 ? 次閱讀
加入交流群
微信小助手二維碼

掃碼添加小助手

加入工程師交流群

近日周立功教授公開了數年的心血之作《程序設計與數據結構》,電子版已無償性分享到電子工程師與高校群體下載,經周立功教授授權,特對本書內容進行連載。

>>>>1.1狀態機

>>>1.1.1 有限狀態機

1. 起源

自動機是計算機的簡單理論模型,通常將自動機分為有限自動機和圖靈機。盡管有限自動機更簡單,但在定義圖靈機之后數年,這個概念才被提出來。

沃倫·麥卡洛克當時正在研究腦部創傷治療精神病人,他想研究出一種解釋大腦如何工作的理論。沃爾特·皮茨最初被培養成為一位邏輯學學者,但是卻在全新的數學生物物理學領域發表論文。兩人于1942年相識,認識到他們對相同類型的問題感興趣,于是開始聯手研究彼此取長補短。他們發表了第一篇論文“神經活動中內在的思想邏輯演算”(A Logical Calculus of Ideas Immanent in Nervous Activity),在這篇論文中,他們借助細胞對神經元進行了建模。雖然每個細胞都有多個輸入,但只有一個輸出。一個細胞的輸出必須成為另一個細胞的輸入,輸入的類型有兩種——抑制的和興奮的。如果興奮的輸入超過了一定閾值,且沒有抑制輸入,細胞將會被激活。雖然細胞的集合和它們之間的連接被兩人稱為神經網絡,但他們沒有意識到,這是大腦實際運作的簡化模型,通過研究神經網絡可以得知神經網絡如何處理邏輯活動。他們的網絡模型與神經元和人類的大腦具備相同的特征,因此他們希望自己的研究能夠揭示人類邏輯推理的奧秘。

他們的論文引起了計算機專家約翰·馮·諾依曼和著名的數學家、哲學家諾伯特·維納的注意,兩位學者對這篇論文印象深刻。維納看到了其中蘊含的力量,他意識到,這一觀點具有廣泛的適應性,可以發展出控制論。控制論將催生可以學習的機器的理念,反過來也會孕育人工智能。馮·諾依曼認識到,麥卡洛克和皮茨對細胞和細胞間連接的描述,同樣可以應用到電子組件和計算中。他在《關于EDVAC的報告》(First draft of a report on the EDVAC)一文中對此進行了詳細的描述,正是這篇論文奠定了現代計算機構建的基石。

另一個受到麥卡洛克和皮茨影響的人是馬文·明斯基,1954年明斯基在他的博士論文中對神經網絡進行了研究,展示了如何使用這些網絡對自動機進行全面的描述。明斯基的著作《計算:有限和無限機器》是這一領域的經典之作,高屋建瓴地描述了自動機和計算理論。通過對比物理學,明斯基在這本書的前言中解釋了這種使用理論機器研究的理論為什么能夠發揮作用。

與物理學使用統計定義事件的方法不同,我們是用邏輯定義的計算或表達式。它們被聯系在一起,不是通過幾何或能量性質,而是通過它們與類似機器或類似定義之間的關系。我們能夠使用機器組件進行簡單的交互,應用最顯而易見的邏輯命題。面對等價的現實物理機器時,我們必須解決極端復雜的分析等式。

自動機被劃分為兩類:一類具有有限內存,另一類具有無限內存下面只研究有限的一類。

2.有限狀態機

有限狀態機(Finite State Machine,FSM)是一種抽象的機制, 它包括有限數量的狀態。因此FSM是一個狀態集,值的一個有限集合。

閘機是一個常見的狀態機,這是《敏捷軟件開發——原則、模式與實戰》一書中展示的一個經典示例。在這里,將以香港地鐵站的閘機為例介紹有限狀態機,其用例文本摘要如下:

通常閘機默認是關閉的,當閘機收到有效卡信息時,則打開閘機;當乘客通過后,則關閉閘機。如果有人非法通過,則閘機會發出連續的“滴、滴、滴……”報警聲;如果閘機已經打開,而乘客還在刷卡,則閘機會發出“滴”的聲音提示乘客,并顯示“票價和余額,閘機已經打開,請通過,謝謝!”

FSM會響應“事件”而改變狀態,即將每個“事件”實現為一個函數,當“事件”發生時,就意味著調用了一個函數。FSM也執行動作產生輸出,所執行的動作是當前狀態和輸入事件的一個函數,其目的是執行系統的任務。

事件是指在某個時刻發生的事情,比如,閘機的“刷卡(card)”事件和“通過(pass)”事件,狀態是系統的狀態。事件表示時間點,狀態表示時間段,狀態對應對象接收的兩次事件之間的時間間隔。比如,閘機可能處于的狀態:Locked狀態和Unlocked狀態。

轉換是從一個狀態轉移為另一個狀態的路徑,引發它的事件被稱為事件觸發器,簡稱觸發。而轉換可以觸發動作——表示對象的某個方法的調用,比如,當事件card發生時,閘機從Locked狀態轉換為Unlocked狀態并執行打開閘機動作。轉換還有一個監護條件邏輯測試——或布爾測試,只有測試通過時轉換才發生。

而事件可以是外部事件和內部事件,外部事件是在系統和它的執行者之間傳遞的事件,比如,按下一個鍵和一個來自傳感器的中斷都是外部事件。內部事件是在系統內部的對象之間傳送的事件,比如,溢出異常是一個內部事件。可以用UML對4種事件建模:信號、調用、時間推移或狀態的一次改變。信號或調用可以帶有參數,參數值對轉移(包括監護條件和動作的表達式)是可見的。

信號是一個異步事件,在實例間異步傳遞消息的通信規約。消息是一個具名對象,信號是消息的類型,象類一樣,信號也有屬性和操作。而信號事件是指發送或接收信號的事件,其差別在于信號是對象之間的消息,而信號事件是指在某時某刻發生的事情。

如果事件沒有產生任何效果,則FSM保持狀態不變。通常下一個狀態依賴于當前狀態和輸入事件,有時狀態轉移會導致輸出動作。在某些情況下,雖然一個事件不會立即導致狀態轉換,但它會影響隨后的狀態轉換。如果事件已經產生,則可以將該情況保存為一個條件,在之后進行檢驗。

監護條件是由一個方括號括起來的布爾表達式,放在觸發器事件的后面。其表示法為“事件[條件]”(Event[Condition]),條件是某一段時間內值為True或False。通?!笆录币鹆恕盃顟B轉換”,當事件發生時,為了發生轉換,可選的“條件”的值必須為True,可選的“動作”作為結果被執行。

動作是與狀態轉換相關的可選的輸出,動作執行了計算(調用相應的函數),作為狀態轉換的結果。事件導致狀態轉移,而動作是狀態轉移所產生的效果。動作在狀態轉移時被觸發,執行后自行終止。

● 轉換動作

轉換動作是指從某一狀態轉換為另一狀態時產生的動作,該動作也可能發生在狀態轉換至自身狀態時。為了描述狀態圖中的動作,將狀態轉換表示為:事件/動作(Event/Action)或事件[條件]/動作(Event[Condition]/Action),比如,card/unlock。

考慮閘機狀態圖中的動作:當事件card發生時,閘機從Locked狀態轉換為Unlocked狀態,發生在該狀態轉移中的動作是獲取card信息。作為狀態機的輸出,該動作顯示票價和余額并開鎖。

通常多個動作可以和同一個狀態轉換關聯,因為動作都是并發執行的,所以這些動作之間不能有任何的相互依賴關系。比如,不能同時發生兩個并發的事件——計算余額和顯示余額,因為這兩個動作有先后順序的依賴關系,在余額計算之前不無法顯示出來。為了避開這個問題,可以引入“計算余額”的中間狀態。動作“計算余額”在進入該狀態時執行,動作“顯示余額”在退出該狀態時執行。

● 進入動作

進入動作是指在開始進入該狀態時觸發的即時動作,使用保留字“進入(entry)”表示,在狀態框里表示為“進入/動作(entry/Action),即entry/[action-list]。”

● 退出動作

退出動作是指在離開該狀態時觸發的即時動作,使用保留字“退出(exit)”表示,在狀態框里表示為“退出/動作(exit/Action),即exit/[action-list]。”

實例分析

由于狀態圖源自于用例,因此要從用例開發狀態圖。首先需要用例中的一個特定的場景,即從用例中的一條特定路徑描述對象之間的交互,正常的業務序列詳見圖 4.8(a)。

圖 4.8 閘機業務序列圖

如果閘機在Locked狀態收到card事件,則轉移到Unlocked狀態并執行unlock動作,此時閘機將它的狀態改為Unlocked并調用unlock函數;如果閘機在Unlocked狀態收到一個pass事件,則轉移到Locked狀態并執行lock動作,此時閘機將它的狀態改為Locked并調用lock函數。

如圖 4.9 (a)所示為正常的業務序列圖對應狀態圖,由于閘機處于打開狀態或關閉狀態時,“card()”或“pass()”操作對應的處理是不同的,因此難以用一個序列圖清晰地描繪對象交互與狀態的關系。如果以業務實體(閘機)的狀態(打開狀態或關閉狀態)為核心,將執行者與系統交互的具體操作稱之為“事件”,比如,card()、pass()等。

圖 4.9 閘機狀態圖

表4.1 閘機狀態轉移表

狀態 狀態 動作

這些圖是由狀態、事件、轉換和動作組成的有向圖,圓角矩形表示閘機的狀態,閘機始終保持狀態直到轉換促使它改變狀態。轉換用導向箭頭表示,通常由收到觸發事件的元素發起。當輸入的事件與有向邊上的事件匹配時,閘機將會從一個狀態轉換到另一個狀態。

其中包含了起始狀態、觸發轉移事件、終止狀態和要執行的動作,將其轉換為狀態轉移表的表格,詳見表 4.1。由于狀態轉移表列出了所有狀態下,接收所有事件后的狀態是如何變化的,因此很容易幫助發現遺漏了哪些狀態轉移。雖然狀態轉移表的優點是直觀,但其缺點也是非常明顯的,那就是難以確認狀態轉移的完整性。

顯然,通用狀態圖與狀態表描述狀態機的行為,開發者可以很容易檢查那些未知的,甚至沒有處理的情況。比如,閘機在Unlocked狀態下沒有處理card事件的轉移,且在Locked狀態下也沒有處理pass事件的轉移。假設如果閘機在Locked狀態收到一個非法pass事件,則狀態不變并執行alarm動作,其業務序列圖詳見圖 4.8(b)。如果乘客不熟悉流程,當閘機已經轉移到Unlocked狀態時,而乘客還在刷卡(card),則閘機會發出“滴”的聲音提示乘客,并顯示“票價和余額,閘機已經打開,請通過,謝謝!” 其業務序列圖詳見圖 4.8(c),完整的閘機狀態轉移表詳見表 4.2

4.2 完整的閘機狀態轉移表

起始狀態 事件 結束狀態 動作
Locke car Unloc unloc

在關閉狀態下,當需要增加報警功能時,只需要新增一條事件/動作線,詳見圖 4.9(b)。同理,增加一條事件/動作線表示閘門在已經打開時繼續刷卡的情況,詳見圖 4.9(c)。由于這兩種情況不會改變閘機的狀態,因此導向箭頭起始和結束均為同一狀態。

聲明:本文內容及配圖由入駐作者撰寫或者入駐合作網站授權轉載。文章觀點僅代表作者本人,不代表電子發燒友網立場。文章及其配圖僅供工程師學習之用,如有內容侵權或者其他違規問題,請聯系本站處理。 舉報投訴
  • 有限狀態機
    +關注

    關注

    0

    文章

    52

    瀏覽量

    10533
  • 狀態機
    +關注

    關注

    2

    文章

    493

    瀏覽量

    28279
  • 周立功
    +關注

    關注

    38

    文章

    130

    瀏覽量

    38236
  • 自動機
    +關注

    關注

    1

    文章

    28

    瀏覽量

    9497

原文標題:周立功:狀態機——有限狀態機

文章出處:【微信號:Zlgmcu7890,微信公眾號:周立功單片機】歡迎添加關注!文章轉載請注明出處。

收藏 3人收藏
加入交流群
微信小助手二維碼

掃碼添加小助手

加入工程師交流群

    評論

    相關推薦
    熱點推薦

    工業計算機與商用計算機的區別有哪些

    能夠高效穩定地運行,減少停機時間,確保生產效率。那么工業計算機與普通商用計算機有哪些區別呢?一、組件選擇與制造質量:工業級組件:使用更寬溫度范圍(如-20°C60
    的頭像 發表于 07-10 16:36 ?192次閱讀
    工業<b class='flag-5'>計算機</b>與商用<b class='flag-5'>計算機</b>的區別有哪些

    軟通計算機重磅發布DeepSeek大模型一體產品

    3月20日,華為中國合作伙伴大會2025在深圳盛大啟幕。大會上,軟通計算機重磅發布了“DeepSeek大模型一體產品”,為用戶提供一站式的AI應用算力平臺,讓大模型的落地變得前所未有
    的頭像 發表于 03-22 10:40 ?990次閱讀
    軟通<b class='flag-5'>計算機</b>重磅發布DeepSeek大<b class='flag-5'>模型</b>一體<b class='flag-5'>機</b>產品

    云端超級計算機使用教程

    云端超級計算機是一種基于云計算的高性能計算服務,它將大量計算資源和存儲資源集中在一起,通過網絡向用戶提供按需的計算服務。下面,AI部落小編為
    的頭像 發表于 12-17 10:19 ?560次閱讀

    Simulink中的狀態機建模方法 Simulink數據可視化與分析功能

    1. Simulink中的狀態機建模方法 1.1 理解狀態機的基本概念 在開始建模之前,了解狀態機的基本概念是必要的。狀態機由以下幾個部分組成:
    的頭像 發表于 12-12 09:27 ?3055次閱讀

    工業中使用哪種計算機?

    在工業環境中,工控被廣泛使用。這些計算機的設計可承受極端溫度、灰塵和振動等惡劣條件。它們比標準消費類計算機更耐用、更可靠。工業計算機可控制機器、監控流程并實時收集數據。其堅固的結構和
    的頭像 發表于 11-29 14:07 ?728次閱讀
    工業中使用哪種<b class='flag-5'>計算機</b>?

    量子計算機與普通計算機工作原理的區別

    ? 本文介紹了量子計算機與普通計算機工作原理的區別。 量子計算是一個新興的研究領域,科學家們利用量子力學,制造出具有革命性能力的計算機。雖然現在的量子
    的頭像 發表于 11-24 11:00 ?1535次閱讀
    量子<b class='flag-5'>計算機</b>與普通<b class='flag-5'>計算機</b>工作原理的區別

    工業計算機類型介紹

    ,各行各業80%的企業依靠計算機進行日常運營,使其成為成功不可或缺的工具。從小型企業大型企業,計算機已成為工業領域的支柱,推動著增長并推動企業向前發展。在本文中,我們將
    的頭像 發表于 11-04 15:56 ?682次閱讀
    工業<b class='flag-5'>計算機</b>類型介紹

    計算機接口位于什么之間

    計算機接口是計算機硬件和軟件之間、計算機與外部設備之間以及計算機各部件之間傳輸數據、控制信息和狀態信息的硬件設備和軟件程序。它在
    的頭像 發表于 10-14 14:02 ?1338次閱讀

    計算機存儲系統的構成

    計算機存儲系統是計算機中用于存放程序和數據的設備或部件的集合,它構成了計算機信息處理的基礎。一個完整的計算機存儲系統通常包括多個層次的存儲器,從高速緩存(Cache)
    的頭像 發表于 09-26 15:25 ?2573次閱讀

    簡述計算機總線的分類

    計算機總線作為計算機系統中連接各個功能部件的公共通信干線,其結構和分類對于理解計算機硬件系統的工作原理至關重要。以下是對計算機總線結構和分類的詳細闡述,內容將涵蓋總線的基本概念、內部結
    的頭像 發表于 08-26 16:23 ?5228次閱讀

    晶體管計算機和電子管計算機有什么區別

    晶體管計算機和電子管計算機作為計算機發展史上的兩個重要階段,它們在多個方面存在顯著的區別。以下是對這兩類計算機在硬件、性能、應用以及技術發展等方面區別的詳細闡述。
    的頭像 發表于 08-23 15:28 ?3664次閱讀

    簡述計算機的I/O控制方式

    計算機的I/O(輸入/輸出)控制方式是計算機系統中至關重要的部分,它決定了CPU與外設之間數據交換的方式和效率。隨著計算機技術的不斷發展,I/O控制方式也經歷了從簡單
    的頭像 發表于 08-20 10:55 ?2394次閱讀

    觸發器和狀態機的關系是什么

    觸發器和狀態機在數字電路設計中有著緊密的關系,它們共同構成了時序邏輯電路的基礎,用于實現數據的存儲、處理和傳輸。
    的頭像 發表于 08-12 11:24 ?953次閱讀

    計算機系統的組成和功能

    計算機系統是一個復雜而龐大的概念,它涵蓋了計算機硬件、軟件以及它們之間相互作用的所有元素。為了全面而深入地探討計算機系統,本文將從定義、組成、功能、發展歷程以及未來趨勢等方面進行詳細闡述。
    的頭像 發表于 07-24 17:41 ?2450次閱讀

    計算機視覺技術的AI算法模型

    計算機視覺技術作為人工智能領域的一個重要分支,旨在使計算機能夠像人類一樣理解和解釋圖像及視頻中的信息。為了實現這一目標,計算機視覺技術依賴于多種先進的AI算法模型。以下將詳細介紹幾種常
    的頭像 發表于 07-24 12:46 ?1838次閱讀
    主站蜘蛛池模板: 国产精品99 | 欧美精品久久久久久久久大尺度 | 久久精品AV无码亚洲色欲 | 国产精品色吧国产精品 | 快播电影网址 | 久久久97人妻无码精品蜜桃 | 99热在线免费观看 | 国产在线精品亚洲观看不卡欧美 | 亚洲一区自拍高清亚洲精品 | 中文字幕免费在线视频 | 我半夜摸妺妺的奶C了她软件 | 丁香成人网址 | 日本中文字幕伊人成中文字幕 | 超碰免费碰免费视频 | 99re28久久热在线观看 | 国产色精品久久人妻无码看片软件 | 91精品乱码一区二区三区 | 吉吉影音先锋av资源 | 快播理论片 | av免费网站不卡观看 | 99久久久免费精品国产 | 成年人视频在线观看免费 | 午夜影视不用充钱的免费 | 久久婷婷丁香五月色综合啪免费 | 免费看男人J放进女人J无遮掩 | 欧美一区二区激情视频 | 久久中文字幕免费高清 | 亚洲欧美国产旡码专区 | 影音先锋电影资源av | 无遮挡h肉3d动漫在线观看 | 亚洲AV久久无码精品国产网站 | 飘雪在线观看免费完整版 | 夜色88V精品国产亚洲AV | 东北女人一级毛片 | 精品国产福利在线视频 | 亚洲AV精品无码喷水直播间 | 一品道门在线观看免费视频 | 日本久久网站 | 久就热视频精品免费99 | 亚洲一区精品在线 | 久九九精品免费视频 |

    電子發燒友

    中國電子工程師最喜歡的網站

    • 2931785位工程師會員交流學習
    • 獲取您個性化的科技前沿技術信息
    • 參加活動獲取豐厚的禮品