【摘 要】
：
针对Tiwari提出的线性循环程序的终止性判定问题,提出了循环条件为齐次多项式的非线性程序的不可中止性判定的理论证明,然后将程序终止性判定问题转化为参数半代数系统的求解
【基金项目】
：
国家科委973资助项目(2004CB318003),, 中国科学院知识创新重要方向资助项目(KJCX2-YW-S02),, 国家自然科学基金资助项目(10771205)
论文部分内容阅读
针对Tiwari提出的线性循环程序的终止性判定问题,提出了循环条件为齐次多项式的非线性程序的不可中止性判定的理论证明,然后将程序终止性判定问题转化为参数半代数系统的求解。在求解中,借助强有力的代数符号工具DISCOVERER,解决了计算机浮点计算所造成的近似误差,精确地判定这类程序的不可终止性。最后,通过计算代数理论,把循环条件推广到了非齐次多项式,并且进行了验证。通过理论的证明和实验的验证,解决循环条件是非线性的一类循环程序的方法是高效合理的。
其他文献
【正】 任何语文教师都必须了解学生学习语文的心理规律,整个教育过程,教师的一切工作都与心理紧密地联系着。因此,高明的语文教师必须成为心理学的行家。一、理论意义心理学
目的研究分析早发冠心病急性心肌梗死的危险因素与临床特点。方法选取我院2014年8月至2015年8月收治的冠心病急性心肌梗死患者98例作为此次研究活动的对象。根据患者年龄将其
本文对烟囱动升模施工平台结构进行分析，建立有限元计算模型，利用ＡＤＩＮＡ计算软件，对施工平台的结构受力及位移进行计算，为施工平台的结构设计提供了参考依据。
通过对中国古代木结构的结构特性分析，得了了合理的力学模型，采用变刚度单元模拟真实木结构梁柱的榫卯连接，用虚拟单元的不同赐度条件反映真实的半刚性连接，将变刚度单元加入有限
本文以软件移植为线索,结合具体实践内容,探讨了异种操作系统平台下运用仿真技术实现应用软件移植的方法.
针对河流水环境中信息的不确定性问题，将河流水流速以及弥散系数和衰减系数等参数视作未确知参量，并以灰参数的形式表示，运用灰色理论建立了河流一维水质灰色微分模型．在数值求解
为了支持家庭网络中多业务的要求,本文在支持多优先级队列调度算法的基础上令服务时间配额(服务率)随缓冲队列长度而变化,提出了一种基于反馈控制的服务时间自适应分配的队列
研究了以光催化微臭氧氧化为主体的光化学激发氧化技术，以粉末状二氧化钛（TiO2）为催化剂，对水中腐殖酸进行了光催化氧化研究．探讨了微量O3对腐殖酸的氧化作用，结果表明利用光催化微
利用NS-A型分解炉十分之一的冷态模型测试了炉、窑两路气的管道阻力特性,分解炉内的流场及物料停留时间.测试说明:1 要注意调节炉、窑两路气的管道阻力,以满足需要的流量分配
“啊，你身上发生什么了？一颗颗红红的，好像是……”同学一声尖叫，我脑子里第一个反应是：我出水痘（dòu）了。现在我们学校流行出水痘，我们班已有六位同学被水痘看中，看来我是第七个