【摘 要】
：
计算机科学最高奖图灵奖获得者Knuth指出,算法是计算机科学的核心。算法的设计和理解对开发高效、正确的软件至关重要。本文选取平方数问题、几何级数求和问题和多项式求值这
【机 构】
：
江西师范大学省高性能计算技术重点实验室
【基金项目】
：
国家自然科学基金资助项目（60773054）, 科技部合作项目（2008DFA11940）
论文部分内容阅读
计算机科学最高奖图灵奖获得者Knuth指出,算法是计算机科学的核心。算法的设计和理解对开发高效、正确的软件至关重要。本文选取平方数问题、几何级数求和问题和多项式求值这3个经典数学问题,使用支持算法程序形式化的PAR方法和PAR平台,从待求解问题的精确功能描述出发,使用PAR方法和PAR平台的推理和变换规则,经过一系列等价变换,最后得到正确的算法程序。这一系列形式化推演的过程揭示了这3个经典数学问题的奥妙,事实说明PAR方法和PAR平台在算法程序设计过程中可以发挥更大的作用。
其他文献
综合考虑计算的效率，根据真实存在的离散粒子系统的特点，进行元胞自动机模型的建立和规则设计，并以一个三维螺旋空间为例进行仿真和分析。实例表明，该方法在三维复杂空间中运行，元
脱毒甘薯是利用生物技术，通过茎尖组织培养，对普通甘薯进行病毒脱除，再经过组织快繁而获得的甘薯良种，它是生物工程技术研究的成果，是对传统甘薯生产技术的重大改革。潍坊市自1992
雷达辐射源信号通过射频、脉冲重复周期、脉宽、天线转速等属性来描述。然而这些属性并不是在每个雷达数据库中都对识别起作用,通过粗糙集理论对其属性进行约简和规则提取,并
视频通信中压缩码流在信道传输时,由于信道不理想等原因,容易发生数据包的损坏或者丢失,为了对抗信道差错提高误码环境下的视频质量,提出一种基于H.264后处理的边缘检测和多
网络硬盘（简称网盘），是一种云存储技术，是用户在互联网中独有的数据存储空间。本文从用户使用网盘的角度出发，采用网络嗅探工具Ethereal，通过捕获网盘客户端传输文件的数据包的方式
在分析了界面定制技术及XML在嵌入式系统中应用的基础上,本文提出了一种基于XML的嵌入式界面定制技术,并将此应用于uC/OS-II实时操作系统下的全站仪系统软件的界面设计开发中。利用该技术可以通过修改XML文件的方式改变用户界面的显示,而无需对相关程序进行重新烧录,实现了用户界面设计与应用模块的分离。