【摘 要】
：
对赋值矩阵仅为一个Jordan块的特殊线性循环,构造了不可终止点集的一个子集,证明了此类循环的终止性可仅由该子集是否为空来判定,除此之外,该类循环的终止性被证明也可通过比
【机 构】
：
中国科学院重庆绿色智能技术研究院,重庆,401122
论文部分内容阅读
对赋值矩阵仅为一个Jordan块的特殊线性循环,构造了不可终止点集的一个子集,证明了此类循环的终止性可仅由该子集是否为空来判定,除此之外,该类循环的终止性被证明也可通过比较几个系数的符号来判定,而对一般的线性循环程序,提出了递归判定算法,使得这类循环的终止性可转化为上述特殊循环的终止性判定,最后,对N-不可终止点,给出了计算N的方法.
其他文献
目的：分析心血管病患者的临床特点、治疗方法、治疗效果。方法采用回顾性分析法分析我院近年来收治的80例心血管病患者的临床资料、治疗方法等。结果经过精心的治疗和健康教育
不寐，是以经常不能获得正常睡眠为特征的一种临床上十分常见的病证，患者通常称之为“失眠”。其病情轻者入睡困难，或就寢后难以入睡，或时寐时醒，醒后不能再次入睡；甚者彻夜不眠，日久
目的：重点探索中医联合西医应用于治疗骨折的有效性和安全性。方法挑选的研究对象是2013年年初—2014年年底在我院接受首次治疗的46例骨折患者，将骨折患者随机分成例数相同的两
目的：观察中西医结合治疗临床泌尿系统感染的疗效，为临床治疗提供科学的参考依据。方法随机选取2012年10月—2014年8月入住我院确诊为中、重度急性泌尿系统感染的患者100例，按随
本文结合实际介绍一种新的颅脑外伤的现代抢救模式，简述如何借助传统医学优势、中西医结合的诊断思路、现代高科技技术等实现颅脑损伤抢救的标准化、规范化、现代化，以供参考。
在城市集约用地的发展趋势下,高层住区日益成为大中城市的主流居住模式,本文通过对高层住区环境景观的发展现状及问题分析,探索解决策略,为今后高层住区环境规划设计提供借鉴
随着国家对塔城市喀浪古尔灌区续建配套与节水改造工程的逐年投资实施,塔城市的节水型农业得到了长足的发展,弧型底梯形渠道断面在干渠维修改造中得到了广泛的应用,以减少工
研究一类具分布时滞和阻尼项的偶阶半线性中立型微分方程解的振动性质,利用广义Riccati变换和积分平均技巧得到方程一切解均为振动的若干新的振动准则,推广、改进和统一了新
给出了求解约束优化问题的低阶精确罚函数的一种二阶光滑逼近方法,证明了光滑后的罚优化问题的最优解是原约束优化问题的ε-近似最优解,基于光滑后的罚优化问题,提出了求解约
在大型集团企业内部发展和推动分布式资源环境的建设与应用主要有以下目的:实现知识获取资源在企业内的优化配置,减少资源因重复建设造成的浪费;在企业内培育越来越多具备细