[發(fā)明專利]一種狀態(tài)機(jī)可拼接性和拼接規(guī)則判定方法和裝置在審
| 申請(qǐng)?zhí)枺?/td> | 201410836240.5 | 申請(qǐng)日: | 2014-12-26 |
| 公開(公告)號(hào): | CN104572029A | 公開(公告)日: | 2015-04-29 |
| 發(fā)明(設(shè)計(jì))人: | 王磊;楊磊;謝少林 | 申請(qǐng)(專利權(quán))人: | 中國(guó)科學(xué)院自動(dòng)化研究所 |
| 主分類號(hào): | G06F9/38 | 分類號(hào): | G06F9/38;G06F9/46 |
| 代理公司: | 中科專利商標(biāo)代理有限責(zé)任公司 11021 | 代理人: | 宋焰琴 |
| 地址: | 100190 *** | 國(guó)省代碼: | 北京;11 |
| 權(quán)利要求書: | 查看更多 | 說(shuō)明書: | 查看更多 |
| 摘要: | |||
| 搜索關(guān)鍵詞: | 一種 狀態(tài)機(jī) 拼接 規(guī)則 判定 方法 裝置 | ||
1.一種狀態(tài)機(jī)可拼接性和拼接規(guī)則判定方法,包括以下步驟:
步驟1,進(jìn)行初始化,將當(dāng)前狀態(tài)置為空狀態(tài);
步驟2,從待拼接狀態(tài)塊隊(duì)列中讀取一個(gè)狀態(tài)塊,根據(jù)該狀態(tài)塊的類型和當(dāng)前狀態(tài)判斷該狀態(tài)的處理方法,修改當(dāng)前狀態(tài),并跳轉(zhuǎn)到相應(yīng)規(guī)則的步驟中;
步驟3,判斷全順序塊的拼接規(guī)則,保持當(dāng)前狀態(tài)為全順序狀態(tài),跳至步驟2;
步驟4,判斷全循環(huán)塊的拼接規(guī)則,保持當(dāng)前狀態(tài)為全循環(huán)狀態(tài),且讀入的狀態(tài)塊為循環(huán)塊,調(diào)用步驟6進(jìn)行長(zhǎng)度比較:
若步驟6返回長(zhǎng)度相同,且比較的左右循環(huán)塊循環(huán)次數(shù)相同,則保持當(dāng)前狀態(tài)為全循環(huán)狀態(tài),跳至步驟2;
若步驟6返回長(zhǎng)度相同,且比較的左右循環(huán)塊循環(huán)次數(shù)不同,則輸出等價(jià)變換規(guī)則,方法結(jié)束;
若步驟6返回結(jié)果不同信息,則輸出不可拼接,該方法結(jié)束;
步驟5,判斷全嵌套循環(huán)塊的拼接規(guī)則,保持當(dāng)前狀態(tài)為全嵌套循環(huán)狀態(tài),且讀入的狀態(tài)塊為嵌套循環(huán)塊,調(diào)用步驟6進(jìn)行長(zhǎng)度比較:
若步驟6返回長(zhǎng)度相同,且比較的左右嵌套循環(huán)塊循環(huán)次數(shù)相同,則保持當(dāng)前狀態(tài)為全嵌套循環(huán)狀態(tài),跳至步驟2;
若步驟6返回長(zhǎng)度相同,且比較的左右嵌套循環(huán)塊循環(huán)次數(shù)不同,則輸出等價(jià)變換規(guī)則,方法結(jié)束;
若步驟6返回長(zhǎng)度不同,則輸出不可拼接,該方法結(jié)束;
步驟6,確定輸入的兩個(gè)循環(huán)塊或兩個(gè)嵌套循環(huán)塊長(zhǎng)度是否一致。
2.根據(jù)權(quán)利要求1所述的狀態(tài)機(jī)可拼接性和拼接規(guī)則判定方法,其中步驟2中所述根據(jù)該狀態(tài)塊的類型和當(dāng)前狀態(tài)判斷該狀態(tài)的處理方法,修改當(dāng)前狀態(tài),并跳轉(zhuǎn)到相應(yīng)規(guī)則的步驟中的步驟包括:
若當(dāng)前狀態(tài)為空狀態(tài):
若讀取的狀態(tài)塊為順序塊,置當(dāng)前狀態(tài)為全順序狀態(tài),重新開始步驟2;
若該狀態(tài)塊為循環(huán)塊,置當(dāng)前狀態(tài)為全循環(huán)狀態(tài),記錄當(dāng)前循環(huán)塊的循環(huán)長(zhǎng)度,重新開始步驟2;
若該狀態(tài)塊為嵌套循環(huán)塊,置當(dāng)前狀態(tài)為全嵌套循環(huán)狀態(tài),記錄當(dāng)前循環(huán)塊的循環(huán)長(zhǎng)度,重新開始步驟2;
若當(dāng)前狀態(tài)為全順序狀態(tài):
若讀取的狀態(tài)塊為順序塊,則跳轉(zhuǎn)到步驟3;
若讀取的狀態(tài)塊為循環(huán)塊或嵌套循環(huán)塊,則修改當(dāng)前狀態(tài)為非全順序狀態(tài),輸出等價(jià)變換規(guī)則,該方法結(jié)束;
若當(dāng)前狀態(tài)為全循環(huán)狀態(tài):
若讀取的狀態(tài)塊為循環(huán)塊,則跳轉(zhuǎn)到步驟4;
若讀取的狀態(tài)塊為順序塊,則修改當(dāng)前狀態(tài)為非全順序狀態(tài),輸出等價(jià)變換規(guī)則,該方法結(jié)束;
若讀取的狀態(tài)塊為嵌套循環(huán)塊,則修改當(dāng)前狀態(tài)為非全循環(huán)狀態(tài),輸出等價(jià)變換規(guī)則,該方法結(jié)束;
若當(dāng)前狀態(tài)為全嵌套循環(huán)狀態(tài):
若讀取的狀態(tài)塊為嵌套循環(huán)塊,則跳轉(zhuǎn)到步驟5;
若讀取的狀態(tài)塊為順序塊,則修改當(dāng)前狀態(tài)為非全順序狀態(tài),輸出等價(jià)變換規(guī)則,該方法結(jié)束;
若讀取的狀態(tài)塊為循環(huán)塊,則修改當(dāng)前狀態(tài)為非全循環(huán)狀態(tài),輸出等價(jià)變換規(guī)則,該方法結(jié)束;
若讀取待判定狀態(tài)塊隊(duì)列為空,且當(dāng)前狀態(tài)為全順序狀態(tài)、全循環(huán)狀態(tài)或全嵌套循環(huán)狀態(tài),則輸出可拼接規(guī)則,該方法結(jié)束。
3.根據(jù)權(quán)利要求1所述的狀態(tài)機(jī)可拼接性和拼接規(guī)則判定方法,其中步驟6中所述長(zhǎng)度與循環(huán)體長(zhǎng)度、總循環(huán)次數(shù)和已循環(huán)次數(shù)相關(guān),表示為:長(zhǎng)度=循環(huán)體長(zhǎng)度×(總循環(huán)次數(shù)-已循環(huán)次數(shù))。
該專利技術(shù)資料僅供研究查看技術(shù)是否侵權(quán)等信息,商用須獲得專利權(quán)人授權(quán)。該專利全部權(quán)利屬于中國(guó)科學(xué)院自動(dòng)化研究所,未經(jīng)中國(guó)科學(xué)院自動(dòng)化研究所許可,擅自商用是侵權(quán)行為。如果您想購(gòu)買此專利、獲得商業(yè)授權(quán)和技術(shù)合作,請(qǐng)聯(lián)系【客服】
本文鏈接:http://www.szxzyx.cn/pat/books/201410836240.5/1.html,轉(zhuǎn)載請(qǐng)聲明來(lái)源鉆瓜專利網(wǎng)。
- 一種使用狀態(tài)機(jī)測(cè)試網(wǎng)元接口的方法
- 狀態(tài)機(jī)的通信處理方法和系統(tǒng)
- 分布式實(shí)現(xiàn)LACP標(biāo)準(zhǔn)狀態(tài)機(jī)的方法及系統(tǒng)
- 一種狀態(tài)機(jī)協(xié)作控制方法、裝置及狀態(tài)機(jī)系統(tǒng)
- 有限狀態(tài)機(jī)的執(zhí)行系統(tǒng)及執(zhí)行方法
- 協(xié)議解析的方法和裝置
- 狀態(tài)機(jī)配置器
- 一種用于雙通道CCD成像系統(tǒng)的時(shí)序發(fā)生器及時(shí)序驅(qū)動(dòng)方法
- 一種用于雙通道CCD成像系統(tǒng)的時(shí)序發(fā)生器
- 一種擴(kuò)展?fàn)顟B(tài)機(jī)邏輯的方法、裝置、存儲(chǔ)介質(zhì)和電子裝置
- 規(guī)則發(fā)現(xiàn)程序、規(guī)則發(fā)現(xiàn)處理和規(guī)則發(fā)現(xiàn)裝置
- 不規(guī)則瓶蓋
- 相關(guān)規(guī)則分析裝置以及相關(guān)規(guī)則分析方法
- 分析規(guī)則調(diào)整裝置、分析規(guī)則調(diào)整系統(tǒng)以及分析規(guī)則調(diào)整方法
- 規(guī)則抽取方法和規(guī)則抽取設(shè)備
- 終端規(guī)則引擎裝置、終端規(guī)則運(yùn)行方法
- 布(規(guī)則)
- 規(guī)則呈現(xiàn)方法、存儲(chǔ)介質(zhì)和規(guī)則呈現(xiàn)裝置
- 可編寫規(guī)則配置模塊、規(guī)則生成系統(tǒng)、及規(guī)則管理平臺(tái)
- 不規(guī)則圍棋





