本發(fā)明公開了基于三狀態(tài)變量有限狀態(tài)機(jī)的核DCS回溯方法，包括以下步驟：S1：在核安全級(jí)系統(tǒng)經(jīng)典有限狀態(tài)機(jī)的基礎(chǔ)上建立記憶態(tài)變量模塊；所述記憶態(tài)變量模塊用于存儲(chǔ)記憶態(tài)變量；所述記憶態(tài)變量為有限狀態(tài)機(jī)在現(xiàn)態(tài)之前狀態(tài)的變量；S2：在核安全級(jí)系統(tǒng)進(jìn)行回溯時(shí)，將所述記憶態(tài)變量賦值于所述有限狀態(tài)機(jī)的現(xiàn)態(tài)變量后根據(jù)有限狀態(tài)機(jī)的現(xiàn)態(tài)進(jìn)行回溯。本發(fā)明還公開了基于三狀態(tài)變量有限狀態(tài)機(jī)的核DCS回溯系統(tǒng)。本發(fā)明基于三狀態(tài)變量有限狀態(tài)機(jī)的核DCS回溯方法及系統(tǒng)，能夠有效的實(shí)現(xiàn)對(duì)重復(fù)遷移路徑應(yīng)用的化簡(jiǎn)，實(shí)現(xiàn)核安全級(jí)系統(tǒng)進(jìn)行狀態(tài)回溯時(shí)，可以快速進(jìn)行回退和回放操作，并在核安全級(jí)DCS中使用時(shí)效果良好。

技術(shù)領(lǐng)域

本發(fā)明涉及核工業(yè)技術(shù)領(lǐng)域，具體涉及基于三狀態(tài)變量有限狀態(tài)機(jī)的核DCS回溯方法及系統(tǒng)。

背景技術(shù)

有限狀態(tài)機(jī)是一種具有離散輸入輸出系統(tǒng)的模型，被廣泛應(yīng)用于不同場(chǎng)景下的控制系統(tǒng)建模，取得了巨大的成功。有限狀態(tài)機(jī)在發(fā)展過(guò)程中逐漸形成了經(jīng)典的Moore型和Mealy型兩種結(jié)構(gòu)。在一些存在重復(fù)狀態(tài)遷移路徑的應(yīng)用中，使用經(jīng)典結(jié)構(gòu)的有限狀態(tài)機(jī)會(huì)出現(xiàn)狀態(tài)數(shù)量過(guò)多、狀態(tài)遷移路徑冗長(zhǎng)且維護(hù)性差等現(xiàn)象。尤其是在核安全級(jí)DCS系統(tǒng)中，進(jìn)行狀態(tài)回退和狀態(tài)回放會(huì)非常不便。

發(fā)明內(nèi)容

本發(fā)明所要解決的技術(shù)問(wèn)題是現(xiàn)有的有限狀態(tài)機(jī)在核安全級(jí)DCS系統(tǒng)中，進(jìn)行狀態(tài)回退和狀態(tài)回放會(huì)非常不便，目的在于提供基于三狀態(tài)變量有限狀態(tài)機(jī)的核DCS回溯方法及系統(tǒng)，解決上述問(wèn)題。

本發(fā)明通過(guò)下述技術(shù)方案實(shí)現(xiàn)：

基于三狀態(tài)變量有限狀態(tài)機(jī)的核DCS回溯方法，包括以下步驟：

S1：在核安全級(jí)系統(tǒng)經(jīng)典有限狀態(tài)機(jī)的基礎(chǔ)上建立記憶態(tài)變量模塊；所述記憶態(tài)變量模塊用于存儲(chǔ)記憶態(tài)變量；所述記憶態(tài)變量為有限狀態(tài)機(jī)在現(xiàn)態(tài)之前狀態(tài)的變量；

S2：在核安全級(jí)系統(tǒng)進(jìn)行回溯時(shí)，將所述記憶態(tài)變量賦值于所述有限狀態(tài)機(jī)的現(xiàn)態(tài)變量后根據(jù)有限狀態(tài)機(jī)的現(xiàn)態(tài)進(jìn)行回溯。

現(xiàn)有技術(shù)中，經(jīng)典有限狀態(tài)機(jī)中一般具備現(xiàn)態(tài)變量和次態(tài)變量。現(xiàn)態(tài)變量表征有限狀態(tài)機(jī)當(dāng)前處于的狀態(tài)，次態(tài)變量表征有限狀態(tài)機(jī)下一時(shí)刻需要遷移的目標(biāo)狀態(tài)。現(xiàn)態(tài)變量和次態(tài)變量的取值在狀態(tài)未發(fā)生遷移時(shí)取值相同；狀態(tài)發(fā)生遷移時(shí)刻，二者取值不同；狀態(tài)遷移結(jié)束后二者取值再次相同。這就使得核安全級(jí)系統(tǒng)進(jìn)行狀態(tài)回溯時(shí)，可能需要依賴于其他變量輸入，無(wú)法準(zhǔn)確回溯某一狀態(tài)。

本發(fā)明應(yīng)用時(shí)，發(fā)明人創(chuàng)造性的引入了第三個(gè)變量，即記憶態(tài)變量，記憶態(tài)變量為有限狀態(tài)機(jī)在現(xiàn)態(tài)之前的狀態(tài)變量，這樣當(dāng)需要進(jìn)行回退或者回放時(shí)，只需要將記憶變量模塊進(jìn)行記憶態(tài)變量的輸出，就可以實(shí)現(xiàn)上一狀態(tài)或者更之前狀態(tài)的回退，并且可以具有回放的功能。本發(fā)明引入第三個(gè)通用化變量-記憶態(tài)變量。在狀態(tài)即將發(fā)生遷移時(shí)，現(xiàn)態(tài)變量與次態(tài)變量取值不同且現(xiàn)態(tài)變量即將更新，此時(shí)將現(xiàn)態(tài)變量值打入一個(gè)帶使能的寄存器中。該寄存器的輸出就是記憶態(tài)變量。狀態(tài)遷移結(jié)束后，現(xiàn)態(tài)變量與次態(tài)變量取值再次相同，記憶態(tài)變量取值將長(zhǎng)期保持，直到下一次狀態(tài)遷移動(dòng)作發(fā)生。本發(fā)明能夠有效的實(shí)現(xiàn)對(duì)重復(fù)遷移路徑應(yīng)用的化簡(jiǎn)，實(shí)現(xiàn)核安全級(jí)系統(tǒng)進(jìn)行狀態(tài)回溯時(shí)，可以快速進(jìn)行回退和回放操作，并在核安全級(jí)DCS中使用時(shí)效果良好。

進(jìn)一步的，步驟S2包括以下子步驟：

將記憶態(tài)變量作為所述次態(tài)變量的賦值條件或?qū)⒂洃洃B(tài)變量賦值給次態(tài)變量實(shí)現(xiàn)將所述記憶態(tài)變量賦值于所述有限狀態(tài)機(jī)的現(xiàn)態(tài)變量。

進(jìn)一步的，所述記憶態(tài)變量模塊包括條件使能模塊和寄存器；

所述條件使能模塊的條件端接入現(xiàn)態(tài)變量和次態(tài)變量，所述條件使能模塊的使能端接入寄存器，當(dāng)所述現(xiàn)態(tài)變量和次態(tài)變量取值不同時(shí)，所述條件使能模塊的使能端輸出使能信號(hào)；

當(dāng)現(xiàn)態(tài)變量與次態(tài)變量取值不同時(shí)，所述有限狀態(tài)機(jī)狀態(tài)即將發(fā)生遷移，所述條件使能模塊的使能端輸出使能信號(hào)，所述寄存器收到使能信號(hào)時(shí)將現(xiàn)態(tài)變量作為記憶態(tài)變量進(jìn)行存儲(chǔ)。