论文部分内容阅读
详尽分析了循环不变式和囿界函数在循环研制中的地位和作用,并讨论了其构造方法。
试论循环不变式和囿界函数在循环研制中的地位和作用
【摘 要】
：
详尽分析了循环不变式和囿界函数在循环研制中的地位和作用,并讨论了其构造方法。
【机 构】
：
湖北师范学院计算机科学系
【出 处】
：
湖北师范学院学报：自然科学版
【发表日期】
：
1998年6期
其他文献
玉米中含有的各种营养成分远高于大米、白面,特别是它含有人体所需的粗纤维量是大米、白面的4倍～8倍.黄玉米中富含维生素A,对人的视力有益;含有胡萝卜素、维生素B1、维生素B2
报道雄白蜡虫的生物生态学特性．分析不同产地白蜡虫雄虫的泌蜡能力与生态环境的关系．结果表明，雄虫泌蜡能力与繁育它的栖息地的生态条件密切相关．
给出中心二次曲线方程化简的一种新方法,并将此方法推广到三维欧氏空间E3的中心二次曲面上去.
对玉溪市野生食用菌资源进行调查,发现玉溪市野生食用茵经济价值较大的有2纲,5目,13科,20属,43种.
在全面分析秦岭林区森林资源现状的基础上,提出对森林实行科学管理、分类区划、集约经营的思路,分别不同类型采取相应的经营管理措施,充分发挥林地生产力,提高生态效益、经济
自国民党退守台湾到2000年走下执政舞台，台湾当局负责大陆事务的机构几经变动。退台初期，台湾当局的大陆事务几乎由国民党一手包办，1987年，台湾当局开放民众探亲后，为了适应新的两
研究构建人基质金属蛋白酶7（MMP-7）的原核表达载体，并进行原核表达获得重组蛋白MMP-7。以人肾肿瘤组织总RNA为模板，PCR方法获得MMP-7成熟蛋白的基因序列，构建含10xhis标签的原核表
目的探讨侧窦(横窦-乙状窦)区硬脑膜动静脉瘘(LSDAVF)的血管内栓塞治疗的方法及有效性。方法回顾性分析2011年7月至2016年6月血管内栓塞治疗的10例LADAVF的临床资料,经右侧股
结合实验教学改革的探索与实践,对综合性、设计性和研究探索性实验的特征进行了分析与探讨。为准确地理解、界定并有效地建设综合性、设计性、研究探索性实验,推进实验教学改
政党是质的规定性和量的规定性的辩证统一，马克思主义政党的质的规定性就是它的先进性。党的先进性必然处于不断的创新之中，体现为作风创新。作风创新有外延式的创新和内涵式的