本文關(guān)鍵詞：量化轉(zhuǎn)換系統(tǒng)的格值語言包含關(guān)系

  更多相關(guān)文章： 標(biāo)號(hào)轉(zhuǎn)換系統(tǒng) 形式化驗(yàn)證 Hennessy-Milner邏輯 模糊自動(dòng)機(jī) 完備剩余格

【摘要】：近十年來,量化形式化驗(yàn)證方法的研究取得了很多的研究成果。量化轉(zhuǎn)換系統(tǒng)是一種新型的量化模型,該模型的主要特點(diǎn)是其動(dòng)作集合上被賦予一個(gè)基于完備剩余格的格值等價(jià)關(guān)系。在量化轉(zhuǎn)換系統(tǒng)的模型上,本文提出了一種格值語言包含關(guān)系去度量系統(tǒng)的一個(gè)狀態(tài)所接受的語言能在多大程度上被另一個(gè)狀態(tài)所接受的語言所包含,研究了這種關(guān)系的計(jì)算復(fù)雜性問題,并用格值版本的HennessyMilner邏輯的子邏輯提供了它的邏輯刻畫。所有這些性質(zhì)表明所提出的格值語言包含關(guān)系為并發(fā)和分布式系統(tǒng)的量化驗(yàn)證提供了重要的理論基礎(chǔ)。
【作者單位】： 安徽工程大學(xué)計(jì)算機(jī)與信息學(xué)院;安徽工程大學(xué)計(jì)算機(jī)應(yīng)用技術(shù)重點(diǎn)實(shí)驗(yàn)室;泰州學(xué)院計(jì)算機(jī)科學(xué)與技術(shù)學(xué)院;陜西師范大學(xué)計(jì)算機(jī)科學(xué)學(xué)院;
【關(guān)鍵詞】： 標(biāo)號(hào)轉(zhuǎn)換系統(tǒng) 形式化驗(yàn)證 Hennessy-Milner邏輯 模糊自動(dòng)機(jī) 完備剩余格
【基金】：國家自然科學(xué)基金(11301321,11401361,61672023,61673352) 中國博士后科學(xué)基金資助項(xiàng)目(2014M552408) 安徽省自然科學(xué)基金(2013SQRL034ZD,TSKJ2016B02)
【分類號(hào)】：TP301.1
【正文快照】： 1引言標(biāo)號(hào)轉(zhuǎn)換系統(tǒng)(Labelled Transition System,LTS)是自動(dòng)機(jī)的一個(gè)變體,是對(duì)并發(fā)和分布式系統(tǒng)進(jìn)行形式化描述、規(guī)約和分析的基本模型[16]。語言包含(等價(jià))和(互)模擬是兩種常用的分析標(biāo)號(hào)轉(zhuǎn)換系統(tǒng)的驗(yàn)證方法[16]。經(jīng)典的形式化驗(yàn)證是一種定性的方法,例如,給定兩個(gè)LTS,語言包

【相似文獻(xiàn)】

中國期刊全文數(shù)據(jù)庫 前10條

1 段國旺;畢秋閣;張風(fēng)光;張洪峰;;溫度多路轉(zhuǎn)換系統(tǒng)在延遲焦化加熱爐改造中的應(yīng)用[J];科技信息;2012年31期

2 左渝斌,馮生榮;一種光學(xué)轉(zhuǎn)換系統(tǒng)的實(shí)際應(yīng)用[J];紅外技術(shù);2001年01期

3 張帥;賈珈;楊大利;徐明星;蔡蓮紅;;方言轉(zhuǎn)換系統(tǒng)中的音節(jié)切分算法研究[J];計(jì)算機(jī)技術(shù)與發(fā)展;2009年07期

4 董子剛;李嚴(yán);張?jiān)?;一種新的模擬到信息轉(zhuǎn)換系統(tǒng)[J];電子學(xué)報(bào);2013年09期

5 錢玉趾 ,楊永玲;轉(zhuǎn)換系統(tǒng)——一個(gè)美麗的夢(mèng)[J];中文信息;1994年02期

6 伍劍;;自動(dòng)語音轉(zhuǎn)換系統(tǒng)[J];金色少年;2009年03期

7 朱澤彬,黃會(huì)群,何锫;轉(zhuǎn)換系統(tǒng)的設(shè)計(jì)及其應(yīng)用[J];長沙理工大學(xué)學(xué)報(bào)(自然科學(xué)版);2005年03期

8 沈達(dá)陽;孫茂松;;漢字簡繁體智能化轉(zhuǎn)換系統(tǒng)[J];中文信息;1996年06期

9 張孝存;字本位和語本位——談鍵盤輸入和“轉(zhuǎn)換系統(tǒng)”[J];中文信息;1996年05期

10 何銘;嚴(yán)克勤;;自動(dòng)化播出的又一新課題——節(jié)目串聯(lián)單管理與轉(zhuǎn)換系統(tǒng)[J];電視工程;2000年02期

中國重要會(huì)議論文全文數(shù)據(jù)庫 前1條

1 張運(yùn)森;劉保國;劉珂;;STEP與XML轉(zhuǎn)換系統(tǒng)設(shè)計(jì)與實(shí)現(xiàn)[A];全國先進(jìn)制造技術(shù)高層論壇暨第八屆制造業(yè)自動(dòng)化與信息化技術(shù)研討會(huì)論文集[C];2009年

中國重要報(bào)紙全文數(shù)據(jù)庫 前2條

1 教育部語信司;“簡繁漢字智能轉(zhuǎn)換系統(tǒng)”通過結(jié)項(xiàng)鑒定[N];語言文字周報(bào);2014年

2 記者 萬玉鳳;《漢字簡繁文本智能轉(zhuǎn)換系統(tǒng)》發(fā)布[N];中國教育報(bào);2014年

中國博士學(xué)位論文全文數(shù)據(jù)庫 前3條

1 張嚴(yán);面向邏輯標(biāo)記轉(zhuǎn)換系統(tǒng)的進(jìn)程演算CLL_R的研究[D];南京航空航天大學(xué);2015年

2 張晉津;轉(zhuǎn)換系統(tǒng)行為近似等價(jià)性的研究[D];南京航空航天大學(xué);2010年

3 蔣澤甫;風(fēng)電轉(zhuǎn)換系統(tǒng)可靠性評(píng)估及其薄弱環(huán)節(jié)辨識(shí)[D];重慶大學(xué);2012年

中國碩士學(xué)位論文全文數(shù)據(jù)庫 前9條

1 戴健文;面向真實(shí)感渲染的材質(zhì)轉(zhuǎn)換系統(tǒng)與優(yōu)化[D];浙江大學(xué);2016年

2 孟俏;建立基于新型基因轉(zhuǎn)換系統(tǒng)的檢測(cè)TP53基因（R175H）早期突變的新方法[D];蘇州大學(xué);2016年

3 周瑩;高質(zhì)量語音轉(zhuǎn)換系統(tǒng)中關(guān)鍵技術(shù)的研究[D];南京郵電大學(xué);2012年

4 李淑卿;移動(dòng)數(shù)據(jù)實(shí)時(shí)轉(zhuǎn)換系統(tǒng)的設(shè)計(jì)與實(shí)現(xiàn)[D];北京郵電大學(xué);2008年

5 張宇奇;基于FPGA的信息交聯(lián)轉(zhuǎn)換系統(tǒng)的設(shè)計(jì)與實(shí)現(xiàn)[D];西安電子科技大學(xué);2014年

6 陳志鋒;通信協(xié)議轉(zhuǎn)換系統(tǒng)的實(shí)現(xiàn)[D];蘇州大學(xué);2005年

7 范忠鋒;Ada83/95轉(zhuǎn)換系統(tǒng)——后端設(shè)計(jì)與實(shí)現(xiàn)[D];西安電子科技大學(xué);2002年

8 鄭麒;Ada83/95轉(zhuǎn)換系統(tǒng)前端的研究與實(shí)現(xiàn)[D];西安電子科技大學(xué);2002年

9 童波;特定對(duì)象漢語語音轉(zhuǎn)換系統(tǒng)的研究[D];華北電力大學(xué)（北京）;2010年

，

本文編號(hào)：845428