【摘 要】
：
主要解决了如下形式的程序的终止性判定的问题：wh ile（x∈Ω）do{x：=f（x）}end,其中,x为程序变元,Ω（Ω=（a1,b1‖∪‖a2,b2‖∪…∪‖an,bn）,其中,‖∈{（,）,[,]},n∈N＊）是间段并集,f是一个多
【机 构】
：
中国科学院成都计算机应用研究所,电子科技大学计算科学与工程学院
【基金项目】
：
国家重点基础研究发展计划资助项目（2004CB318003）
论文部分内容阅读
主要解决了如下形式的程序的终止性判定的问题：wh ile（x∈Ω）do{x：=f（x）}end,其中,x为程序变元,Ω（Ω=（a1,b1‖∪‖a2,b2‖∪…∪‖an,bn）,其中,‖∈{（,）,[,]},n∈N＊）是间段并集,f是一个多项式函数。证明了：当φ（b1）φ（a2）〉0,…,φ（bn-1）φ（an）〉0（其中,φ（x）=f（x）-x）时,这类区间上的非线性程序不终止的必要条件是：在Ω内部或者边界上存在不动点。如果不动点仅仅在Ω内部,则上述结果是充要条件。通过添加一定的约束条件,对于仅区间边界有
其他文献
通过14根短圆木柱试件的试验研究,了解CFRP、BFRP、AFRP 3种纤维布加固试件的受力性能,考察全包、半包、间隔包裹等加固方式及纤维布加固层数对圆木柱性能的影响。研究结果表
随着社会保障体系的完善,老年人所占人口构成比上升,老年人急性肾功能衰竭（ARF）呈日渐上升趋势.所报道,ARF病死率高达到50%～70%,主要原因之一可能为老年病人ARF所占比例增高,以
今后五年，辽宁基础设施投资将近1500亿元人民币，其中很大一部分都将用于高速和普通公路的建设。该省将着重建设西边道、东边道、滨海公路和沈阳大外环等五条大通道。“西边道”
目的探讨多层螺旋CT评价左心室功能价值的临床应用.方法应用回顾性心电门控多层螺旋CT对12例健康成年志愿者和25例心脏病患者进行检查,对左室容量和室壁厚度进行测量,得出射
周围动脉疾患（Peripheral Artery Disease，PAD)主要指周围动脉粥样硬化和继发性血栓形成导致管腔狭窄和闭塞，是全身动脉粥样硬化最常见的表现，但常易被漏诊。PAD常与其他部位动脉
目的通过室性早搏患者在用索他洛尔治疗前后室性早搏及心率变异(HRV)的变化,以了解索他洛尔对室性早搏、HRV的影响.方法对75例室性早搏病人在索他洛尔治疗前后用动态心电图时
针对河流溶解性物质侵蚀时的界面解吸过程,总结了计算可溶性物质解吸总量时最具代表性的稳态模型,包括Herry模型、Langmuir模型、Freundlich模型和表面络合模型,并运用以Ca2＋