三个经典数学问题的形式化开发

• 作者: 杨晨 苏昭 薛锦云
• 来源期刊: 计算机与现代化
• 学科: 工学
• 关键词: PAR方法 PAR平台 形式化推导
• 年，卷（期）: 2010,（8）
• 页码范围: 1-4
• 分类号: TP301.6
• 字数: 2960字
• 语种: 中文
• DOI: 10.3969/j.issn.1006-2475.2010.08.001

摘要

计算机科学最高奖图灵奖获得者Knuth指出,算法是计算机科学的核心.算法的设计和理解对开发高效、正确的软件至关重要.本文选取平方数问题、几何级数求和问题和多项式求值这3个经典数学问题,使用支持算法程序形式化的PAR方法和PAR平台,从待求解问题的精确功能描述出发,使用PAR方法和PAR平台的推理和变换规则,经过一系列等价变换,最后得到正确的算法程序.这一系列形式化推演的过程揭示了这3个经典数学问题的奥妙,事实说明PAR方法和PAR平台在算法程序设计过程中可以发挥更大的作用.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	薛锦云	江西师范大学省高性能计算技术重点实验室	77	745	15.0	23.0
2	杨晨	江西师范大学省高性能计算技术重点实验室	7	8	2.0	2.0
3	苏昭	江西师范大学省高性能计算技术重点实验室	2	5	1.0	2.0