论文部分内容阅读
单重线性循环程序的终止性问题已被广泛研究,而有关非线性循环终止性判定的结果甚少.利用不动点理论研究了n维单重非线性循环的终止性问题,并建立了相应的符号判定算法.同时,对几类特殊循环的终止性进行了分析,得出了相应的结论.
非线性循环的终止性分析
【摘 要】
：
单重线性循环程序的终止性问题已被广泛研究,而有关非线性循环终止性判定的结果甚少.利用不动点理论研究了n维单重非线性循环的终止性问题,并建立了相应的符号判定算法.同时,
【机 构】
：
电子科技大学计算机推理与可信计算实验室
【出 处】
：
软件学报
【发表日期】
：
2012年5期
【基金项目】
：
国家自然科学基金（90718041）, 上海市高可信计算重点实验室开放课题（07dz22304200801）
其他文献
模具是工业产品的成型工具,在滴塑加工过程中,若模具存在异物,它会导致下一次成型时成品出现孔洞,严重降低产品质量;针对该问题,提出了一种基于差分图像的残留检测算法,首先采用基于灰度模板匹配算法定位检测区域,再将标准图像和当前图像作差分,并进行阈值分割和形态学处理获得二值化图像,最后对图像进行连通区域分析,得到残留物在图像中的位置和大小;针对环境光照变化引起的误检现象,采用了一种全局光照补偿算法降低其
目的观察小柴胡汤加减治疗慢传输型便秘（STC）抑郁的临床疗效。方法将90例STC患者随机分为3组，每组30例。治疗组采用小柴胡汤加减，对照1组采用麻仁滋脾丸，对照2组采用莫沙比利。观