算法归纳设计策略与循环不变式

来源 :福州大学学报:自然科学版 | 被引量 : 0次 | 上传用户:mvcexq
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
分析了算法归纳设计策略与循环不变式之间的关系,提出把算法设计与循环不变式的构建相结合的思想,并通过实例说明其有效性和重要性。
其他文献
目的研究单光子发射计算机断层成像术(SPECT)平面和断层骨显像对青少年腰椎峡部裂(spondylolysis)的诊断价值。方法 115腰痛青少年患者行骨扫描,男66例,女49例,年龄11~22岁,平均(15
"三个代表"重要思想是贯穿江泽民"七一"重要讲话的一根主线."三个代表"重要思想是经过长期、全面、深入思考的科学总结."三个代表"重要思想内容丰富、内涵深刻、观点鲜明、辩
摘 要:科技的发展冲击着传统的教学方式,现在线上学习已走入教学,成为重要的教学辅助手段。网络教学以资源共享、多向交流、资源存储为特点,让课堂变得更加有趣。利用“班班通”“校园通”等让师生联系更加密切。通过最大限度地调动学生的视听感官,增加学生的感受值,提高学生的学习能力和增加学生的积极性。让学生在放松、灵活的氛围中增强意会美、鉴赏美、联想美、创作美、成长美的能力,并且提高教学效率。   关键词:
研究某类大系统. 在适当条件下得到此系统有界解的存在一个充分条件.
特约综述是对某一特定主题的新进展提供详细和全面的叙事性分析,高度关注先前已经发表的重要观点。论文通常包括简短的非结构式摘要、介绍、主题分类的小标题和总结。与其他类
张澍教授首先对心律失常的常见和危害进行概述:心律失常的发生率具有普遍性、常见性、多发性的特点;其表现形式具有隐蔽性、混淆性、突发性的特点;而其危害往往是长期性、致残性
常规支气管镜检查多在局部麻醉下进行,患者咳嗽明显,痛苦比较大。无痛支气管镜检查在全身麻醉下进行。患者痛苦小,容易接受,内镜操作医生操作更加容易。我院呼吸内科与麻醉科合作
目的探讨^18F-脱氧葡萄糖(FDG)正电子发射体层摄影(PET)/计算机体层摄影(CT)显像在顽固性癫痫患者定位与治疗决策中的价值。方法顽固性原发癫痫患者84例,均行FDG显像、头皮脑电图检查