论文部分内容阅读
对有界闭域上的线性赋值循环程序终止性问题进行研究。利用Jordan标准型技术将原循环程序的终止性问题约减为终止性等价的具有简单结构的循环程序的终止性问题。证明了当线性迭代映射满足一定条件时，该类循环程序不可终止的充分必要条件是：迭代映射在有界闭域上有不动点或周期轨。
有界闭域上的线性赋值循环终止性分析
【摘 要】
：
对有界闭域上的线性赋值循环程序终止性问题进行研究。利用Jordan标准型技术将原循环程序的终止性问题约减为终止性等价的具有简单结构的循环程序的终止性问题。证明了当线性
【机 构】
：
中国科学院重庆绿色智能技术研究院自动推理与认知重庆市重点实验室
【出 处】
：
软件学报
【发表日期】
：
2014年6期
【基金项目】
：
国家自然科学基金（61103110）,重庆市科技攻关项目（cstc2012ggB40004）
其他文献
子波变换是在８０年代初才开始发展起来的崭新的数学分析方法。它适宜于分析研究信号的局部性质。子波变换在地震资料分析、图像处理、声音信号分析、分形、抽样、湍流以及大气和
橘子不仅营养丰富，男女老幼都喜食，而且全身皆可入药，有较高的药用和食疗价值。平时，人们在吃橘子的时候常把吃剩的橘皮、橘络等统统扔进垃圾桶，殊不知橘子一身都是宝，皆可入药。
在深入剖析沥青混合料桥面铺装层病害产生原因的基础上,提出具体的防治建议,对于提高沥青混合料桥面铺装层的工程质量有一定的借鉴价值.
本文从理论分析、资料诊断和正压模式数值试验三个方面研究了瞬变的涡度通量的辐合与辐散风产生的涡度源之间的关系及它们在对流层上层定常波维持中的作用。结果表明，瞬变涡度
本文建立一个区域中α尺度数值预报业务系统，对其各模块技术方案进行了介绍，并给出１９９４年１￣１０月共１０个月的预报统计检验分析和不同季节里三个典型天气学个例的试验结果。系统自投入业务运
为了节约能源，降低污染，现代车用柴油机的优势已日益凸显，正在开发的一些先进技术，将进一步把柴油机推向车用动力的主流。
利用位于南海中北部的西沙观测站１９５９￣１９８８年３０年常规地面观测资料和１９８０￣１９８８年９年探空资料，分析了西沙地区季风变化气候特征。３０年的地面观测资料平均结果表明，西沙地区５月中旬西南（或南）风建立，对流突然
感冒分为普通感冒和流行性感冒两种.普通感冒俗称"伤风",是最常见的上呼吸道疾病,主要表现为鼻咽部粘膜炎症.流行性感冒也称"流感",是由流感病毒引起的急性呼吸道传染病.这种
为了进一步检验和修改本文部分作者先前初步提出的影响夏季西北干旱气候形成的因子及如何相互作用形成西北干旱气候的物理图一文继续用一全球大气环流谱模式，设计了５组试验利用
利用兰州城市和郊区皋兰县冬季同期的湍流观测资料，分析了城市和郊区的湍流强度、脉动速度标准差和湍流的欧拉时间积分尺度等湍流特征量，并与其他地区的湍流观测量进行了对比，从