论文部分内容阅读
运用计算机代数中的Groebner基理论,对有界闭连通域上的单重非线性循环程序的终止性问题进行研究,建立了可计算的终止性判定算法.该算法将这类循环的终止性判定问题归约为有无不动点的判定问题.
有界闭连通域上的非线性循环终止性分析
【摘 要】
：
运用计算机代数中的Groebner基理论,对有界闭连通域上的单重非线性循环程序的终止性问题进行研究,建立了可计算的终止性判定算法.该算法将这类循环的终止性判定问题归约为有
【机 构】
：
自动推理与认知重庆市重点实验室（中国科学院重庆绿色智能技术研究院）
【出 处】
：
软件学报
【发表日期】
：
2016年3期
【基金项目】
：
国家自然科学基金（61572024,61103110,11171053）
其他文献
我们要建设和完善高技能人才培养体系,就要建立健全技能人才教育培训机制,建立健全以能力业绩为导向的技能人才评价机制,建立健全高技能人才快速成长机制,建立健全引导广大劳
当我们挥手告别2010，回望当然是必须的。而每个人在盘点属于自己的2010年时，其实难免有成功有失落，有欣慰有遗憾。个体之间的差异性，更注定了难免会“几家欢喜几家愁”。不过。如果要盘点2010年最给力的热词。“给力”二字即便不名列榜首，至少也当之无愧，榜上有名。 事实上，“给力”其实更多反映了民众的期待，毕竟，作为个体的力量的确相当有限，而相形之下，作为整体的社会，以及凝聚了举国之力的回家，无疑
《市场营销》是一门集理论与实践于一体的综合性课程，最为理想的教学模式是理论一实践一反思一提炼经验一形成知识。模块教学法、多媒体案例教学法、热点讨论法、体验式教学法
通过对视频监控数据的特点和传统存储方案进行分析,提出一种高性能分布式存储系统解决方案.不同于传统的基于文件存储的方式,设计了一种逻辑卷结构,将非结构化的视频流数据以
会计是随着经济活动的发展而不断发展的。随着新经济时代的到来，会计教育目的必然会因应经济环境而发生变化，体现环境变迁对于会计教育的要求，同时会计教育的目的必须体现会计职