[00229337]一类有界闭连通域上的循环程序终止性判断方法

交易价格： 面议

类型： 发明专利

技术成熟度： 正在研发

专利所属地：中国

专利号：CN201510181105.6

交易方式： 完全转让许可转让技术入股

联系人：中科院重庆绿色智能技术研究院德领科技

所在地：重庆重庆市

服务承诺: 产权明晰; 资料保密
对所交付的所有资料进行保密; 如实描述

登录后向技术服务商咨询

咨询平台客服试试在线客服吧发布技术需求服务免费

技术详细介绍

摘要：本发明涉及一类有界闭连通域上的循环程序终止性判断方法，属于计算机技术领域。该方法包含以下步骤1)遍历程序，查找程序中的循环程序，提取出有界闭连通域上的循环程序；2)依次判断步骤一所述的有界闭连通域上的程序循环问题是否满足可归约为有无不动点的等效问题，如果不满足则无法判断程序循环是否终止；3)依次判断步骤二所述的可归约的循环程序的不动点是否在有界闭连通域上，如果全都不在，那么该循环程序是可终止的，否则为不可终止的。该方法将这类循环的终止性判定问题归约为有无不动点的判定问题，能准确的判断出该类循环的终止性问题。

成果推荐需求推荐评估专家推荐评估机构推荐

更多>

上海平正评估有限公司

服务分类：资产评估、无形资产评...

进入主页
连城资产评估有限公司

服务分类：资产评估、无形资产评...

进入主页

更多>