###
工程科学与技术:2014,46(5):81-87
←前一篇   |   后一篇→
本文二维码信息
码上扫一扫!
一类带初始输入的线性循环终止性分析
(1.重庆邮电大学 计算机科学与技术学院;2.中国科学院 重庆绿色智能技术研究院 自动推理与认知重庆市重点实验室)
TerminationAnalysisofaClassofInitializedLinearLoops
(1.CollegeofComputerSci.andTechnol.,ChongqingUniv.ofPostsandTelecommunications;2.ChongqingKeyLab.ofAutomatedReasoningandCognition,CIGIT,CAS)
摘要
图/表
参考文献
相似文献
本文已被:浏览 1763次   下载 0
投稿时间:2014-02-24    修订日期:2014-07-04
中文摘要: 针对带初始输入的2维齐次线性循环的终止性问题进行研究。通过分析该类循环所有非终止点组成集合(即NT集)的性质,将该类循环NT集的构造问题转化为一类非线性优化求解问题,并给出了此类优化问题的数学模型。最终,通过验证该类循环的初始输入是否位于所构造的NT集合内,判定了带初始输入的2维齐次线性循环的终止性,并建立了用来完备判定该类循环终止性的算法。
Abstract:The termination of the initialized two variable homogeneous linear loops was studied. By analyzing the property of the set NTcomposed of all nonterminating points, the problem about the construction of NTwas converted to a class of nonlinear optimization problem.More importantly,by verifying whether or not the initial input of such loops lies in set NT,the termination of the initialized two variable homogeneous linear loops can be checked completely.
文章编号:201400177     中图分类号:    文献标志码:
基金项目:国家自然科学基金资助项目(61103110);重庆市科技攻关重点项目(cstc2012ggB40004)
作者简介:
引用文本:
李轶,李传璨,吴文渊.一类带初始输入的线性循环终止性分析[J].工程科学与技术,2014,46(5):81-87.
Li Yi,Li Chuancan,Wu Wenyuan.TerminationAnalysisofaClassofInitializedLinearLoops[J].Advanced Engineering Sciences,2014,46(5):81-87.