一类非线性循环程序的终止性

廖苑蓉; 陈光喜

Chinese

您当前的位置：

首页 >

文章列表页 >

一类非线性循环程序的终止性

更新时间：2026-09-04

- 一类非线性循环程序的终止性
- Termination of a Class of Non-linear Loop Programs
- 微电子学与计算机 2013年30卷第11期页码：51-55
- 作者机构：
  
  桂林电子科技大学广西可信软件重点实验室机构 , 数学与计算科学学院,广西,桂林,541004
- 作者简介：
- 基金信息：
  
  国家自然科学基金项目（60963024）;广西可信软件重点实验室开放基金
- DOI：
  中图分类号：
- 纸质出版：2013
- 稿件说明：
移动端阅览
廖苑蓉, 陈光喜. 一类非线性循环程序的终止性[J]. 微电子学与计算机, 2013, 30(11): 51-55.

LIAO Yuan-rong, CHEN Guang-xi. Termination of a Class of Non-linear Loop Programs[J]. 2013, 30(11): 51-55.
廖苑蓉, 陈光喜. 一类非线性循环程序的终止性[J]. 微电子学与计算机, 2013, 30(11): 51-55. DOI：

LIAO Yuan-rong, CHEN Guang-xi. Termination of a Class of Non-linear Loop Programs[J]. 2013, 30(11): 51-55. DOI：

摘要

提出一类非线性循环程序的终止性是可以判定的。该类程序的终止性与其赋值矩阵的正特征值相对应的特征向量有关。然后提出了一种新的判定这类程序终止性的方法，该方法跟循环迭代的次数和变量的初始赋值息息相关。通过这个方法，不但能判定这一类程序是否终止，还能对不是所有初始值都终止的程序，给出能使该程序终止的初值建议。

Abstract

The termination of a class of non-linear loop program can be determined.The category of the program termination assignment matrix with positive eigenvalues related to the corresponding feature vector.Then proposed a new method to determine the type of program termination

the method is closely related with the initial assignment of loop iterations and variables.By this method

not only able to determine whether to terminate this category program

but also on not all the initial values are the termination procedures

given recommendations enables the initial value of the program terminates.

关键词

Keywords

references

浏览量

下载量

CSCD

文章被引用时，请邮件提醒。

提交

工具集

关联资源

基于监控指标关联性的微服务异常检测

基于MSS-YOLO-MPHands融合架构的装配手部动作识别研究

V型沟槽SiC中子探测器的蒙特卡洛分析

AlN/GaN混合缓冲层双异质结p-GaN HEMT直流特性仿真

面向处理器分支预测单元的Spectre攻击轻量化防御方法