论文部分内容阅读
利用符号动力学理论中有关一维离散映射的函数和区间的转换图方法及相关结论,证明一类非线性循环程序不终止的必要条件是在该程序循环区间上有不动点或者周期点存在,并给出相应的终止性验证算法。利用该算法可以验证一维有界闭区间上的非线性循环程序的终止性。最后,给出计算实例演示该算法的算法步骤。
有界闭区间并上的非线性循环程序的终止性验证
【摘 要】
：
利用符号动力学理论中有关一维离散映射的函数和区间的转换图方法及相关结论,证明一类非线性循环程序不终止的必要条件是在该程序循环区间上有不动点或者周期点存在,并给出相应的终止性验证算法。利用该算法可以验证一维有界闭区间上的非线性循环程序的终止性。最后,给出计算实例演示该算法的算法步骤。
【机 构】
：
西南石油大学理学院
【出 处】
：
计算机应用与软件
【发表日期】
：
2012年10期
【基金项目】
：
国家自然科学基金重点项目（91018012）, 国家重点基础研究发展计划项目（2011CB302400）
其他文献
增量式频繁项集挖掘是当前研究的热点,基于FP-Growth的Pre-FUFP算法有效处理了频繁模式的更新,但需递归遍历FP-tree,导致效率较低。提出Pre-FIUT算法,引入频繁超度量树结构,提高了获得频繁项集挖掘效率;基于FIUT的Pre-FIUT可通过查看频繁超度量树叶子结点的支持度确定频繁项集,并与次频繁项集概念相结合进行增量式频繁项集挖掘。实验表明,Pre-FIUT算法能快速扫描和更新
1病例简介`患者,女,27岁,蒙族.2000年3月份因左面部抽搐来我科就诊.细问病史得知,1个月前无明显诱因出现,且于精神紧张时加重,其中以口角抽搐最为明显,每次持续1～2min,每日发
生物质的燃烧过程能够实现具有生态意义的碳的零排放,是理想的替代煤炭等化石燃料的选择。在大型电站锅炉上进行生物质与煤粉的混燃是目前的研究热点之一。本文以一台670MW煤粉锅炉为研究对象,应用数值模拟计算的方法,研究了生物质及生物质气化气作为混合燃料耦合煤粉燃烧过程,考察了生物质燃料喷入位置、颗粒粒径、气体再燃等因素对于燃烧过程及氮氧化物的影响。本文首先采用数值模拟方法并结合锅炉实际运行数据,分析了锅
提出一种通用的拼接网格通量守恒算法应用于拼接网格"找重"过程,为拼接网格预处理提供了高效、可靠的插值方法。该算法灵活利用图形学中"多边形裁剪"原理和曲线积分公式得到拼接面上相交多边形及其面积,算法实现复杂度低,简单并健壮性较好,能够通用于结构网格和非结构网格问题。实验结果表明在大网格量、复杂拼接区域时该拼接网格插值计算方法仍能得到较理想的结果。
我科近年来应用磷酸钙骨水泥(calcium phosphate cement,CPC)修复35例老年人牙髓底穿孔,取得了满意的效果.报告如下.
天，缓缓亮了，可我的心却忐忑不安——今天，期末考！多希望时间能停留在这一刻……唉，无奈，只能在半梦半醒中，洗漱，吃饭，收拾完书包，踏着慵懒的步伐，极不情愿地走在上学的路上。 今天，阳光且算明媚，仿佛在帮我化解面对考试的巨大压力。沉重的书包背在肩上，脚却轻飘飘的。急匆匆走进教室，教室里早已满座，却安静得似乎一个人也没有。 坐在座位上，放下书包，我犹豫了。不知道该从哪一科开始复习，也不知道还有哪些
目的比较两种不同的氢氧化钙制剂用于乳牙活髓切断的临床疗效.方法选择5～7岁28例患儿62颗诊断为深龋或早期牙髓炎的乳磨牙,随机分成2组行活髓切断,根髓断面分别覆盖Calvital(C
圆锥曲线中常见于一类问题，这类问题的特点是条件中的两直线斜率之和或之积是一个指定常数．这种问题的求解方法多种多样，但是采用齐次化方法，可以将这两种题型统一处理．接下来谈谈
电大远程开放教育的改革实践不能完全达到预期效果。原因在于教学模式设计和教学实践之间存在脱节现象，考核模式的内容与方法也有明显弊端。受偏远地区的网络条件限制，使得一些