等价闭包文档.doc

《等价闭包文档.doc》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、11等价闭包文档第一组：马畅，陶紫洁，孙朴莹，刘冰清等价闭包文档第一组第11页11等价闭包文档第一组：马畅，陶紫洁，孙朴莹，刘冰清目录1.等价闭包概述————————————————————32.等价闭包目的和要求—————————————————32.1实验目的———————————————————32.2实验要求———————————————————33.需求分析（基于每个功能点）—————————————44.软件设计——————————————————————44.1概要设计————————

2、———————————44.2详细设计———————————————————45.编码实现——————————————————————56.软件测试——————————————————————87.结论与心得体会——————————————————10第11页11等价闭包文档第一组：马畅，陶紫洁，孙朴莹，刘冰清等价闭包1.等价闭包概述1.1等价闭包的概述对于给定的集合A上关系R，对于A上关系S，若其满足①RS；②S是一个等价关系；③若A上关系S’满足上述两个条件，则必有SS’，则以下简称S为R的

3、等价闭包，记作S=Re1.2等价类的概述等价类（Equivalenceclass）在数学中，给定一个集合X和在X上的一个等价关系~，则X中的一个元素a的等价类是在X中等价于a的所有元素构成的集合的子集：a={X;X~a}2.等价闭包目的和要求2.1实验目的设计一款软件从文件中读取一个矩阵，完成等价闭包计算和等价类计算，运用到实际应用场景中。2.2实验要求①描述程序的结构和流程②提供程序源代码③由教师给出的测试样例（test1.txt—test8第11页11等价闭包文档第一组：马畅，陶紫洁，孙朴莹，刘

4、冰清.txt），给出输出结果，以检验程序的正确性④能够应用到实际场景中3.需求分析（基于每个功能点）实验平台：PC机,WindowsXP操作平台，VisualC++实验步骤以及调试分析（1）编写一个计算某关系的等价闭包与等价类的程序（2）将实际应用抽象成关系矩阵读入该程序进行计算（3）程序自动输出等价闭包与等价类4.软件设计4.1概要设计从六个测试文件中读取不同的矩阵，通过ReflexiveClosure()，isreflexiveClosure()，TransitiveClosure()，Symm

5、etricClosure()等计算闭包函数，还有isSymmetricClosure()，isreflexiveClosure()，isirreflexiveClosure()，isTransitiveClosure()，等判断函数来进行判断，最终得出相应的对称闭包，自反闭包，传递闭包，等价闭包。4.2详细设计（1）编写一个计算某关系的等价闭包与等价类的程序（2）将实际应用抽象成关系矩阵读入该程序进行计算第11页11等价闭包文档第一组：马畅，陶紫洁，孙朴莹，刘冰清（3）程序自动输出等价闭包与等价类R

6、eflexiveClosure()：通过把矩阵对角线的值改为1，即得自反闭包TransitiveClosure()：*/inti,j,k;for(k=0;k

7、为零，另一方也设为零，反之亦然。5．编码实现（只显示核心代码）BOOLRelation::OutputtoFile(charfilename[]){FILE*writefile;writefile=fopen(filename,"w");if(writefile==NULL){cout<<"Failtoopen.";returnFALSE;}else{fprintf(writefile,"%d",dimension);introw,column;第11页11等价闭包文档第一组：马畅，陶紫洁，

8、孙朴莹，刘冰清for(row=0;row