中文版 | English
CSpace  > 自动推理与认知研究中心
一类带初始输入的线性循环终止性分析
李轶; 李传璨; 吴文渊
2014
摘要针对带初始输入的2维齐次线性循环的终止性问题进行研究。通过分析该类循环所有非终止点组成集合(即NT集)的性质,将该类循环NT集的构造问题转化为一类非线性优化求解问题,并给出了此类优化问题的数学模型。最终,通过验证该类循环的初始输入是否位于所构造的NT集合内,判定了带初始输入的2维齐次线性循环的终止性,并建立了用来完备判定该类循环终止性的算法。
发表期刊四川大学学报. 工程科学版
卷号46期号:5页码:81-87
收录类别CSCD
CSCD记录号CSCD:5238433
语种中文