论文部分内容阅读
提出一种判定这类线性循环程序是否终止的新方法，该方法通过分析循环变量每次迭代后的状态．最后得到循环条件的满足与否只是与变量的初始值和迭代的次数有关，从而判断该循环程序是否终止。根据该方法，不但能判断这一类程序是否终止，对于不是对所有输入都终止的程序．还能够给出程序终止的输入条件。
一类线性循环程序的终止性判定
【摘 要】
：
提出一种判定这类线性循环程序是否终止的新方法，该方法通过分析循环变量每次迭代后的状态．最后得到循环条件的满足与否只是与变量的初始值和迭代的次数有关，从而判断该循环程序
【机 构】
：
西华大学数学与计算机学院,川北医学院计算机与数学教研室
【出 处】
：
现代计算机：下半月版
【发表日期】
：
2009年7期
其他文献
就数据仓库与操作数据存储作一个比较，提出操作数据存储（oDs）建设的意义。根据某单位数据中心分期建设的需求，制订数据仓库结合操作数据存储，在一期独立建设操作数据存储的方案。
总结了洛阳市"九五"科技扶贫的成效,找出了存在的问题,并提出了今后搞好科技扶贫工作的对策:增强科技扶贫意识,加大科技投入力度,加速科技成果的转化和应用,围绕公路沿线发展
目前高校信息化建设的重点已经向网络安全水平和管理水平的提高方面转移．其中如何限制非业务带宽应用．提高网络带宽有效利用率成为校园网发展中一个不可忽视的问题。以沈阳建筑
大气污染治理技术课程标准以企行业的职业岗位能力为基准,兼顾学生职业迁移能力的培养,将教学内容分解成6个学习情境,每个学习情境以完成典型的工作任务为载体开展教学,建立
基于外加电场可改善材料的超塑性和钢与铜超塑性固态压接的可行性,将材料电致超塑性效应与固态压接技术有机结合以开发新的电致超塑性固态压接技术,具有重要的使用价值和工业
应用联机分析处理技术选择用户ARPU值作为客户细分的维度．依据用户平均收入ARPU值进行分类．按客户的消费额高低将客户分成高中低几档客户．然后采用数据挖掘聚类分析中的K—means
由我国国情决定,自然资源分布不均衡,在枯水期和丰水期南北差异巨大,甚至发生干旱和洪涝灾害,使得人们的财产及人身安全受到了很大的影响。我国在花费大量人力、物力建造了如
针对钛合金与不锈钢焊接时,接头中因大量Fe-Ti等金属间化合物生成而开裂的问题,尝试了一种涂层为匹配面的钛合金与不锈钢搭接电阻钎焊工艺.通过对不同厚度热喷涂层下钎焊接头
对全国75所高职院校心理健康教育工作现状的问卷调查说明,高职院校心理健康教育工作在机构设置、经费投入、师资队伍、课题建设等方面还存在一些问题,必须通过推进工作专业化