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