發(fā)布時(shí)間：2017-12-05 23:12

  本文關(guān)鍵詞：有界閉連通域上的非線性循環(huán)終止性分析

  更多相關(guān)文章： 可信計(jì)算 非線性循環(huán) 終止性分析 Groebner基 計(jì)算機(jī)代數(shù)

【摘要】：運(yùn)用計(jì)算機(jī)代數(shù)中的Groebner基理論,對(duì)有界閉連通域上的單重非線性循環(huán)程序的終止性問題進(jìn)行研究,建立了可計(jì)算的終止性判定算法.該算法將這類循環(huán)的終止性判定問題歸約為有無不動(dòng)點(diǎn)的判定問題.
【作者單位】： 自動(dòng)推理與認(rèn)知重慶市重點(diǎn)實(shí)驗(yàn)室(中國科學(xué)院重慶綠色智能技術(shù)研究院);
【基金】：國家自然科學(xué)基金(61572024,61103110,11171053)~~
【分類號(hào)】：TP301
【正文快照】： 隨著信息技術(shù)的迅猛發(fā)展,嵌入式系統(tǒng)在人類生活中發(fā)揮著越來越大的作用,嵌入式軟件在其中所占有的比重也越來越大.因此,嵌入式軟件的可靠性將變得更加重要.諸如航空、航天、軍事、交通、醫(yī)療等關(guān)鍵應(yīng)用領(lǐng)域都對(duì)嵌入式系統(tǒng)的可靠性和安全性要求非常高,任何錯(cuò)誤的發(fā)生都可能帶來

【共引文獻(xiàn)】

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

1 王曉暾;熊偉;;基于QFD和TRIZ的可信軟件技術(shù)沖突解決方法[J];航空學(xué)報(bào);2011年01期

2 ;Complexity of software trustworthiness and its dynamical statistical analysis methods[J];Science in China(Series F:Information Sciences);2009年09期

3 楊善林;丁帥;褚偉;;一種基于效用和證據(jù)理論的可信軟件評(píng)估方法[J];計(jì)算機(jī)研究與發(fā)展;2009年07期

4 李震;劉斌;殷永峰;李曉勛;;基于改進(jìn)Petri網(wǎng)的可信軟件模型驗(yàn)證和測(cè)試研究[J];計(jì)算機(jī)研究與發(fā)展;2010年S1期

5 丁帥;魯付俊;楊善林;夏承遺;;一種需求驅(qū)動(dòng)的軟件可信性評(píng)估及演化模型[J];計(jì)算機(jī)研究與發(fā)展;2011年04期

6 陳海燕;劉建勛;胡蓉;;可信Web服務(wù)合成研究綜述[J];吉首大學(xué)學(xué)報(bào)(自然科學(xué)版);2011年01期

7 周寬久;蘭文輝;馮金金;;基于耦合映像格子的軟件相繼故障研究[J];計(jì)算機(jī)科學(xué);2011年05期

8 云本勝;嚴(yán)雋薇;劉敏;;基于Bayes信任模型的Web服務(wù)組合優(yōu)化方法[J];計(jì)算機(jī)集成制造系統(tǒng);2010年05期

9 王懷民;史佩昌;丁博;尹剛;史殿習(xí);;軟件服務(wù)的在線演化[J];計(jì)算機(jī)學(xué)報(bào);2011年02期

10 熊光澤;常政威;桑楠;;可信計(jì)算發(fā)展綜述[J];計(jì)算機(jī)應(yīng)用;2009年04期

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

1 陳良育;并行符號(hào)算法若干問題的研究與應(yīng)用[D];華東師范大學(xué);2008年

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

1 王志兵;軟件行為運(yùn)行時(shí)驗(yàn)證研究[D];湖南工業(yè)大學(xué);2010年

2 劉小飛;分布式軟件動(dòng)態(tài)調(diào)控策略研究[D];湖南工業(yè)大學(xué);2010年

3 李靜;基于灰色理論的可信軟件規(guī)劃質(zhì)量屋模型研究[D];浙江大學(xué);2011年

4 馬世敏;基于可信計(jì)算的內(nèi)網(wǎng)監(jiān)控系統(tǒng)的研究與實(shí)現(xiàn)[D];電子科技大學(xué);2011年

5 肖文;基于QoS的可信Web服務(wù)組合及其相關(guān)問題研究[D];西南大學(xué);2011年

6 劉春梅;基于本體和規(guī)則推理的軟件可信演化研究[D];重慶大學(xué);2010年

7 雷富興;基于Hoare邏輯的軟件形式化驗(yàn)證技術(shù)研究[D];解放軍信息工程大學(xué);2010年

8 張美超;基于環(huán)境的模糊測(cè)試技術(shù)研究[D];中國科學(xué)技術(shù)大學(xué);2011年

9 韓金娥;基于化簡(jiǎn)行為軌跡的軟件可信性評(píng)價(jià)模型[D];河北大學(xué);2011年

10 牟如玲;基于行為屬性距離的軟件行為可信評(píng)價(jià)[D];河北大學(xué);2011年

【相似文獻(xiàn)】

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

1 鐘曉剛,李新友,唐澤圣;工程圖的子連通域表示及其應(yīng)用[J];計(jì)算機(jī)工程與應(yīng)用;1999年11期

2 郭麗,孫興華,王正群,楊靜宇;一種基于連通域的版面分割方法[J];計(jì)算機(jī)工程與應(yīng)用;2003年05期

3 陳艷,孫羽菲,張玉志;基于連通域的漢字切分技術(shù)研究[J];計(jì)算機(jī)應(yīng)用研究;2005年06期

4 蔡鋒;劉立柱;;基于連通域分析和支持向量機(jī)的傳真圖像關(guān)鍵詞定位[J];計(jì)算機(jī)應(yīng)用;2010年05期

5 羅志灶;周贏武;鄭忠楷;;基于數(shù)組型并查集的連通域標(biāo)記算法[J];杭州師范大學(xué)學(xué)報(bào)(自然科學(xué)版);2011年01期

6 劉賽;;醫(yī)學(xué)圖像中的細(xì)胞提取研究[J];電腦知識(shí)與技術(shù);2011年29期

7 孔斌;;快速連通域分析算法及其實(shí)現(xiàn)[J];模式識(shí)別與人工智能;2003年01期

8 馬江林;趙忠明;孟瑜;彭玲;;海量遙感分類圖連通域標(biāo)記方法[J];計(jì)算機(jī)工程;2008年01期

9 于明;郭僉;王棟壯;于洋;;改進(jìn)的基于連通域的版面分割方法[J];計(jì)算機(jī)工程與應(yīng)用;2013年17期

10 劉曉平;何士雙;;基于三角劃分的多連通域圖形匹配研究[J];工程圖學(xué)學(xué)報(bào);2010年01期

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

1 徐姍姍;李學(xué)明;;基于連通域合并的多運(yùn)動(dòng)目標(biāo)跟蹤[A];第十四屆全國信號(hào)處理學(xué)術(shù)年會(huì)(CCSP-2009)論文集[C];2009年

2 黃磊;劉昌平;;信封圖像的快速傾斜矯正算法[A];第八屆全國漢字識(shí)別學(xué)術(shù)會(huì)議論文集[C];2002年

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

1 周景超;視頻文本檢測(cè)算法研究[D];中國科學(xué)院研究生院（自動(dòng)化研究所）;2008年

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

1 梅夢(mèng)麗;基于背景連通域的印刷線路板缺陷定位及識(shí)別[D];南昌航空大學(xué);2015年

2 黃自力;場(chǎng)景文字定位方法研究及實(shí)現(xiàn)[D];電子科技大學(xué);2014年

3 陳慶慶;基于機(jī)器視覺的表具走字識(shí)別技術(shù)研究[D];北京工業(yè)大學(xué);2015年

4 付龍;足球視頻中多目標(biāo)跟蹤算法研究[D];河北工業(yè)大學(xué);2015年

5 薛征;車牌識(shí)別系統(tǒng)關(guān)鍵技術(shù)的研究[D];東北石油大學(xué);2015年

6 嵇新浩;基于連通域的文本定位方法研究[D];浙江工業(yè)大學(xué);2007年

7 郭正東;基于連通域的扭曲文本圖像校正方法研究與應(yīng)用[D];北方工業(yè)大學(xué);2015年

8 王晶晶;海量灰度圖像8連通域標(biāo)記算法的設(shè)計(jì)與應(yīng)用[D];河南大學(xué);2014年

9 易曉芳;基于連通域特征的手寫維吾爾文本行分割[D];新疆大學(xué);2013年

10 劉小宇;基于FPGA的圖像連通域處理的研究[D];哈爾濱工業(yè)大學(xué);2013年

，

本文編號(hào)：1256510