串行线性赋值循环程序的终止性判定

来源 :电脑知识与技术:学术交流 | 被引量 : 0次 | 上传用户:wsw62084751
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
对于并行赋值的线性循环程序,已有文献通过矩阵特征值方法来判定其终止性,但该方法并不适用于常见的串行赋值程序。该文通过把串行赋值程序转换为并行赋值的程序,再利用矩阵特征值和特征向量来对程序的终止性作出判定,从而扩大了该方法的应用范围。
其他文献
微动并联平台应用于微芯片装配、光纤对接、细胞操作具有亚微米运动精度的工作场合,因此必须保持很高的精度。但是实际微动并联平台存在着各种制造误差,这些误差会对微动并联
林权改制是继农村联产承包制后,在森林体制问题上的创新,它调动了广大林业职工的生产积极性及自觉性,是建设资源节约型、环境友好型社会的一项重要措施。黑龙江省伊春市桃山区的
有一种观点认为,对于全球每一个人来说,要在21世纪更有效地生存和发展,都必须接受程度不同的"媒介启蒙"教育或再教育。面对当今全球性的一系列和谐与不和谐、文明与不文明的事
进入二十一世纪以来,随着数字信息技术和网络技术高速发展,嵌入式系统已经深入到工作和生活的方方面面,嵌入式应用拉近了人与计算机的距离,形成一个人机和谐的工作与生活环境