数据库课程设计15923.docxVIP

课程设计报告目 录1课程设计的目的……………………………………………… 12课程设计要求 ……………………………………………… 13课程设计报告内容……………………………………………… 13.1递归和递归条件 ………………………………………… 13.2设计用例 ………………………………………… 13.3 Ackermann函数的C++实现 ………………………………… 23.4程序N-S图及流程图 ………………………………………… 3 3.5测试结果 ………………………………………………… 43.6程序验证 ………………………………………………… 64总结 …………………………………………… 85附录(参考文献)…………………………………………… 8程序设计方法是编程的指导思想，决定了我们用什么样的方式组织编写程序，一个程序的成功与否完全由它决定；语言和环境是编写程序的工具，程序由他们制造；而算法则是灵魂，是解决问题（处理数据）的方法步骤；而数据结构则是我们加工的对象，也是我们编写程序的根本目的。本课程设计的目的是使学生学习并掌握综合运用《程序设计方法学》、《面向对象编程思想》及相关课程所学知识，分析和解决实际问题。通过实践，将课本上的知识加以运用，培养良好的程序设计思维和编程习惯，提高程序设计的能力，将程序设计方法和编程思想良好地结合起来。递归和递归条件一个对象部分地由自己组成或按它自己定义的则称为递归。一个问题要采用递归方法来解决时，要符合下面三个条件：1.可以把要解决的问题转化为一个新的问题，而这个新的问题的解法和原来的相同，只是所处理的对象有规律地递增或者递减。2.可以应用这个转化过程使问题得到解决3.必定要有一个明确的结束递归的条件3.2 设计用例Ackermann函数：y+1 ,x=0 Ack(x-1,y) ,y=0 Ack(x-1,Ack(x,y-1)) ,x0y0核心算法：int Ack(int x,int y) { if (x==0) { return y+1; } else { if (y==0) { return Ack(x-1,1); } else { return Ack(x-1,Ack(x,y-1)); }} }3.3 Ackermann函数的C++实现流程图:3.5 测试结果 在输入文本输入参数测试。II．输入0和1，输出计算结果为2III.输入1和0，输出结果为2 Ack(1,0)=Ack(1-1,1)=A(0,1)=1+1=2IV.输入1，2，输出结果为4 Ack(1,2)=Ack(0,Ack(1,1)) =Ack(0,Ack(0,Ack(1,0))) =Ack(0,Ack(0,Ack(0,1)) =Ack(0,Ack(0,2) =Ack(0,3) =4以上可以看出，测试结果和预期计算结果相同。接下来证明本程序的正确性。3.6程序验证先说几个概念。函数不动点：对于函数f(x),若存在xo属于R,使f(xo)=xo成立，则称点（xo,xo）为函数的不动点。函数的最小不动点：按照某种偏序小于等于其他不动点的不动点。以下为定义在整数上的递归程序：P：F（x,y）= if x=y then y+1else F(x,F(x-1,y+1))考虑下列函数： f1(x,y):if x=y then y+1 else x+1 f2(x,y):if x=y then x+1 else y-1 f3(x,y):if (x=y)even(x-y) then x+1 else undefined可以发现，对任意i，若将程序P中所有出现的F用fi代替，则=两边将产生同样的部分函数fi（x,y）三 if x=y then y+1 else fi(x,fi(x-1,y+1))函数f1,f2,f3称为程序的不动点。其中f3f1, f3f2,称f3称函数的最小不动点。更一般的，每个递归程序都有唯一的最小不动点，我们记为fp (下标为字母P)。符号w表示无定义（undefined）。 现在开始证明。 证明过程：我们使用结构归纳法在上进行证明（