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

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

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

【共引文獻】

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

1 王曉暾;熊偉;;基于QFD和TRIZ的可信軟件技術(shù)沖突解決方法[J];航空學報;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ù)理論的可信軟件評估方法[J];計算機研究與發(fā)展;2009年07期

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

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

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

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

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

9 王懷民;史佩昌;丁博;尹剛;史殿習;;軟件服務(wù)的在線演化[J];計算機學報;2011年02期

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

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

1 陳良育;并行符號算法若干問題的研究與應用[D];華東師范大學;2008年

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

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

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

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

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

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

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

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

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

9 韓金娥;基于化簡行為軌跡的軟件可信性評價模型[D];河北大學;2011年

10 牟如玲;基于行為屬性距離的軟件行為可信評價[D];河北大學;2011年

【相似文獻】

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

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

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

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

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

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

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

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

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

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

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

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

1 徐姍姍;李學明;;基于連通域合并的多運動目標跟蹤[A];第十四屆全國信號處理學術(shù)年會(CCSP-2009)論文集[C];2009年

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

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

1 周景超;視頻文本檢測算法研究[D];中國科學院研究生院（自動化研究所）;2008年

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

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

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

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

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

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

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

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

8 王晶晶;海量灰度圖像8連通域標記算法的設(shè)計與應用[D];河南大學;2014年

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

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

，

本文編號：1256510