论文部分内容阅读
算法是计算机科学的核心，算法设计对于开发正确、高效的程序至关重要。基于递推技术的算法设计方法通过形式化推导保证算法的可靠性，同时能较好地提高算法程序的效率。本文通过两个实例，详细介绍基于递推技术的算法设计方法形式化推导算法程序的过程。
基于递推技术的算法设计方法的应用研究
【摘 要】
：
算法是计算机科学的核心，算法设计对于开发正确、高效的程序至关重要。基于递推技术的算法设计方法通过形式化推导保证算法的可靠性，同时能较好地提高算法程序的效率。本文通过
【机 构】
：
江西师范大学计算机信息工程学院,南昌航空大学科技学院
【出 处】
：
计算机与现代化
【发表日期】
：
2012年6期
其他文献
【正】 清徐县清源镇西关村农民贾晋卿。自幼生长在蔬菜之乡,高中毕业后回村务农,便迷上了蔬菜研究,迷上了试验田。她把省吃俭用攒下准备盖新房的1400余元钱全部拿出,订阅了5
【正】 有些农民栽种果木不连片,地头埂埝上用洋槐树做围墙。目的是防人防牲畜。笔者认为,用洋槐树做围墙有三不好。①洋槐树的嫩稍是蚜虫的寄宿地。②洋槐横枝多,占地面
国际田联路跑标牌赛事认证10年来,对全球路跑赛事发展起到了引领作用。分析其发展情况,对中国路跑赛事的进一步国际化、可持续发展具有借鉴意义。运用文献资料调研法、访谈和
目的探讨手法复位治疗良性阵发性位置性眩晕的效果。方法206例良性阵发性位置性眩晕患者随机均分为两组。对照组采用强迫体位联合天麻素治疗,观察组采用手法复位联合天麻素治
目的探讨彩色多普勒超声对结节性甲状腺肿与甲状腺腺瘤的诊断价值。方法选择2015年7月至2017年7月我院收治的40例结节性甲状腺肿患者（甲状腺肿组）和40例甲状腺腺瘤患者（甲状腺腺
教学质量评价是高校提高教学质量的重要措施，科学合理的教学质量评价体系有利于教师改进教学工作，完善教学手段，提高教学质量。运用粗糙集理论对评价指标权重进行深入分析，从而分