有界闭连通域上的非线性循环终止性分析

发布时间：2017-12-05 23:12

  本文关键词：有界闭连通域上的非线性循环终止性分析

  更多相关文章： 可信计算 非线性循环 终止性分析 Groebner基 计算机代数

【摘要】：运用计算机代数中的Groebner基理论,对有界闭连通域上的单重非线性循环程序的终止性问题进行研究,建立了可计算的终止性判定算法.该算法将这类循环的终止性判定问题归约为有无不动点的判定问题.
【作者单位】： 自动推理与认知重庆市重点实验室(中国科学院重庆绿色智能技术研究院);
【基金】：国家自然科学基金(61572024,61103110,11171053)~~
【分类号】：TP301
【正文快照】： 随着信息技术的迅猛发展,嵌入式系统在人类生活中发挥着越来越大的作用,嵌入式软件在其中所占有的比重也越来越大.因此,嵌入式软件的可靠性将变得更加重要.诸如航空、航天、军事、交通、医疗等关键应用领域都对嵌入式系统的可靠性和安全性要求非常高,任何错误的发生都可能带来

【共引文献】

中国期刊全文数据库 前10条

1 王晓暾;熊伟;;基于QFD和TRIZ的可信软件技术冲突解决方法[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];计算机研究与发展;2009年07期

4 李震;刘斌;殷永峰;李晓勋;;基于改进Petri网的可信软件模型验证和测试研究[J];计算机研究与发展;2010年S1期

5 丁帅;鲁付俊;杨善林;夏承遗;;一种需求驱动的软件可信性评估及演化模型[J];计算机研究与发展;2011年04期

6 陈海燕;刘建勋;胡蓉;;可信Web服务合成研究综述[J];吉首大学学报(自然科学版);2011年01期

7 周宽久;兰文辉;冯金金;;基于耦合映像格子的软件相继故障研究[J];计算机科学;2011年05期

8 云本胜;严隽薇;刘敏;;基于Bayes信任模型的Web服务组合优化方法[J];计算机集成制造系统;2010年05期

9 王怀民;史佩昌;丁博;尹刚;史殿习;;软件服务的在线演化[J];计算机学报;2011年02期

10 熊光泽;常政威;桑楠;;可信计算发展综述[J];计算机应用;2009年04期

中国博士学位论文全文数据库 前1条

1 陈良育;并行符号算法若干问题的研究与应用[D];华东师范大学;2008年

中国硕士学位论文全文数据库 前10条

1 王志兵;软件行为运行时验证研究[D];湖南工业大学;2010年

2 刘小飞;分布式软件动态调控策略研究[D];湖南工业大学;2010年

3 李静;基于灰色理论的可信软件规划质量屋模型研究[D];浙江大学;2011年

4 马世敏;基于可信计算的内网监控系统的研究与实现[D];电子科技大学;2011年

5 肖文;基于QoS的可信Web服务组合及其相关问题研究[D];西南大学;2011年

6 刘春梅;基于本体和规则推理的软件可信演化研究[D];重庆大学;2010年

7 雷富兴;基于Hoare逻辑的软件形式化验证技术研究[D];解放军信息工程大学;2010年

8 张美超;基于环境的模糊测试技术研究[D];中国科学技术大学;2011年

9 韩金娥;基于化简行为轨迹的软件可信性评价模型[D];河北大学;2011年

10 牟如玲;基于行为属性距离的软件行为可信评价[D];河北大学;2011年

【相似文献】

中国期刊全文数据库 前10条

1 钟晓刚,李新友,唐泽圣;工程图的子连通域表示及其应用[J];计算机工程与应用;1999年11期

2 郭丽,孙兴华,王正群,杨静宇;一种基于连通域的版面分割方法[J];计算机工程与应用;2003年05期

3 陈艳,孙羽菲,张玉志;基于连通域的汉字切分技术研究[J];计算机应用研究;2005年06期

4 蔡锋;刘立柱;;基于连通域分析和支持向量机的传真图像关键词定位[J];计算机应用;2010年05期

5 罗志灶;周赢武;郑忠楷;;基于数组型并查集的连通域标记算法[J];杭州师范大学学报(自然科学版);2011年01期

6 刘赛;;医学图像中的细胞提取研究[J];电脑知识与技术;2011年29期

7 孔斌;;快速连通域分析算法及其实现[J];模式识别与人工智能;2003年01期

8 马江林;赵忠明;孟瑜;彭玲;;海量遥感分类图连通域标记方法[J];计算机工程;2008年01期

9 于明;郭佥;王栋壮;于洋;;改进的基于连通域的版面分割方法[J];计算机工程与应用;2013年17期

10 刘晓平;何士双;;基于三角划分的多连通域图形匹配研究[J];工程图学学报;2010年01期

中国重要会议论文全文数据库 前2条

1 徐姗姗;李学明;;基于连通域合并的多运动目标跟踪[A];第十四届全国信号处理学术年会(CCSP-2009)论文集[C];2009年

2 黄磊;刘昌平;;信封图像的快速倾斜矫正算法[A];第八届全国汉字识别学术会议论文集[C];2002年

中国博士学位论文全文数据库 前1条

1 周景超;视频文本检测算法研究[D];中国科学院研究生院（自动化研究所）;2008年

中国硕士学位论文全文数据库 前10条

1 梅梦丽;基于背景连通域的印刷线路板缺陷定位及识别[D];南昌航空大学;2015年

2 黄自力;场景文字定位方法研究及实现[D];电子科技大学;2014年

3 陈庆庆;基于机器视觉的表具走字识别技术研究[D];北京工业大学;2015年

4 付龙;足球视频中多目标跟踪算法研究[D];河北工业大学;2015年

5 薛征;车牌识别系统关键技术的研究[D];东北石油大学;2015年

6 嵇新浩;基于连通域的文本定位方法研究[D];浙江工业大学;2007年

7 郭正东;基于连通域的扭曲文本图像校正方法研究与应用[D];北方工业大学;2015年

8 王晶晶;海量灰度图像8连通域标记算法的设计与应用[D];河南大学;2014年

9 易晓芳;基于连通域特征的手写维吾尔文本行分割[D];新疆大学;2013年

10 刘小宇;基于FPGA的图像连通域处理的研究[D];哈尔滨工业大学;2013年

，

本文编号：1256510