中南大学离散数学实验报告(实验1ABC)
“离散数学”实验报告(实验1ABC)
专业
班级
学号
姓名
日期：2011.12.05
目录
一、实验目的 (3)
二、实验内容 (3)
三、实验环境 (3)
四、实验原理和实现过程（算法描述） (3)
1、实验原理 (3)
2、实验过程 (4)
五、实验数据及结果分析 (7)
A题型 (7)
B、C题型 (9)
六、源程序清单 (13)
A题部分源代码 (13)
B、C题部分源代码 (14)
七、其他收获及体会 (22)
离散数学实验报告1ABC
一、实验目的
熟悉掌握命题逻辑中的联接词、真值表、主范式等，进一步能用它们来解决实际问题。
二、实验内容
1. 从键盘输入两个命题变元P和Q的真值，求它们的合取、析取、条件和
双条件的真值。（A）
2. 求任意一个命题公式的真值表（B，并根据真值表求主范式（C））
三、实验环境
C或C＋＋语言编程环境实现。
四、实验原理和实现过程（算法描述）
1.实验原理
（1）合取：二元命题联结词。将两个命题P、Q联结起来，构成一个新的命题P∧Q, 读作P、Q的合取, 也可读作P与Q。这个新命题的真值与构成它的命题P、Q的真值间的关系为只有当两个命题变项P = T, Q = T时方可P∧Q =T, 而P、Q只要有一为F则P∧Q = F。这样看来，P∧Q可用来表示日常用语P与Q, 或P并且Q。
（2）析取：二元命题联结词。将两个命题P、Q联结起来，构成一个新的命题P∨Q, 读作P、Q的析取, 也可读作P或Q。这个新命题的真值与构成它的命题P、Q的真值间的关系为只有当两个命题变项P = F, Q = F时方可P∨Q =F, 而P、Q只要有一为T则P∨Q = T。这样看来，P∨Q可用来表示日常用语P或者Q。
（3）条件：二元命题联结词。将两个命题P、Q联结起来，构成一个新的命题P→Q, 读作P条件Q, 也可读作如果P，那么Q。这个新命题的真值与构成它的命题P、Q的真值间的关系为只有当两个命题变项P = T, Q = F时方可P→Q =F, 其余均为T。
（4）双条件：二元命题联结词。将两个命题P、Q联结起来，构成一个新的命题P←→Q, 读作P双条件于Q。这个新命题的真值与构成它的命题P、Q的真值间的关系为当两个命题变项P = T, Q =T时方可P←→Q =T, 其余均为F。
（5）真值表:表征逻辑事件输入和输出之间全部可能状态的表格。列出命题公式真假值的表。通常以1表示真，0 表示假。命题公式的取值由组成命题公式的命题变元的取值和命题联结词决定，命题联结词的真值表给出了真假值的算法。真值表是在逻辑中使用的一类数学表，用来确定一个表达式是否为真或有效。
（6）主范式：
主析取范式：在含有n个命题变元的简单合取式中,若每个命题变元与其否定不同时存在,而两者之一出现一次且仅出现一次,称该简单合取式为小项。由若干个不同的小项组成的析取式称为主析取范式;与A等价的主析取范式称为A的主析取范式。任意含n个命题变元的非永假命题公式A都存在与其等价的主析取范式,并且是惟一的。
主合取范式：在含有n个命题变元的简单析取式中,若每个命题变元与其否
定不同时存在,而两者之一出现一次且仅出现一次,称该简单析取式为大项。由若干个不同的大项组成的合取式称为主合取范式;与A等价的主合取范式称为A的主合取范式。任意含n个命题变元的非永真命题公式A都存在与其等价的主合取范式,并且是惟一的。
2.实验过程
（1）A题部分，首先是对各个输入量的处理，要确定输入的为0或1，否则则为出错，接下来就是运算处理，在C语言中本身支持的有与或非这三种，可以用!,&&,||来表示，而在这个实验中，不是与或非的可以通过转化而变为与或非的形式，具体流程图如下：
（2）B，C题部分，首先是输入一个合理的式子，然后从式子中查找出变量的个数，开辟一个二进制函数，用来生成真值表，然后用函数运算，输出结果，并根据结果归类给范式，最后输出范式。
函数部分，主要是3个函数，一个为真值表递加函数，通过二进制的加法原理递进产生，一个为分级运算函数，这个函数是通过判断括号，选出最内级括号的内容执行运算函数，这样一级一级向外运算，最后得出最终结果，剩下一个为
离散数学实验报告1ABC
主运算函数，按照运算符号的优先级按顺序进行运算，如先将所有非运算运算完，再执行与运算。如此运算。
离散数学实验报告1ABC
五、实验数据及结果分析
题A：
进入界面
正确运算结果
错误控制和输入正确后
退出
结果分析：
这道题比较简单，主要是读取值并进行计算，同时要注意输入的值要是0或1，如果不是，则进行错误提示，并进行重新输入。
离散数学实验报告1ABC B,C题：
欢迎界面
非运算
与运算
或运算
离散数学实验报告1ABC
蕴含运算
等值运算
综合运算
带括号的综合运算
离散数学实验报告1ABC
结果分析：
B,C题由于本身关系比较密切，故我直接将两个做在了一起，这个程序从功能上来说，达到了题目要求的各个功能，可以运算与，或，非，蕴含，等值条件组成的表达式，并且支持括号运算，所以，总体上来说，虽然还有一些不完善的部分，但是整体是比较可以的。
六、源程序清单
A题部分源代码：
#include
main()
{
int a[3];
int i=-1,j=-1;
char s;
tt:printf("***************************************\n");//标语
printf("** **\n");
printf("** 欢迎进入逻辑运算软件 **\n");
printf("** **\n");
printf("***************************************\n\n");
mm:printf("\n 请输入P的值（0或1）,以回车结束:");
scanf("%d",&i);//读取P的值
if (i==0||i==1);//校验输入的P值是否在允许范围内，出错则重新输入
else
{
printf("\n P的值输入有误，请重新输入");
goto mm;
}
nn:printf("\n 请输入Q的值（0或1）,以回车结束:");
scanf("%d",&j);//读取Q的值
if (j==0||j==1);//校验输入的Q值是否在允许范围内，出错则重新输入
else
{
printf("\n q的值输入有误，请重新输入");
goto nn;
}
a[0]=i&&j;//与运算
a[1]=i||j;//或运算
a[2]=(!i)||j;//蕴含运算，将其转化为与或非形式
a[3]=((!i)||j)&&((!j)||i);//等值运算，将其转化为与或非形式
printf("\n\n 合取：\n P/\\Q=%d\n",a[0]);//输出结果
printf(" 析取：\n P\\/Q=%d\n",a[1]);
printf(" 条件：\n P->Q=%d\n",a[2]);
printf(" 双条件：\n P<->Q=%d\n",a[3]);
bb:printf("\n是否继续运算？（y/n）");//询问是否继续操作
scanf("%s",&s);
if (s=='y'||s=='n')
{
if (s=='y')
{
system("cls"); //清屏
goto tt;//返回顶层
}else printf("欢迎下次再次使用！");//退出
}else
{printf("输入错误，请重新输入\n");//错误校验
goto bb;
}
}
BC题部分源代码：
#include "stdio.h"
#include "stdlib.h"
#include "string.h"
#include "conio.h"
#include "math.h"
#define N 50
void panduan(int b[N],int f);//赋值函数
int tkh (char sz[N], char ccu[N], int icu[N], int h0);//分级运算函数
int fkh (char sz[N], char ccu[N], int icu[N], int h0);//主运算函数
main()
{
int i1,i2,d=1,icu[N],kh=0,jg,j=0,h0;//icu[N]用于存放变量值,kh括号计数,jg存放结果
int bj=0,hq[N],h=0,x=0,xq[N];//hq[N]存放合取结果xq[N]存放析取结果
char sz[N],ccu[N],sz0[N],s;//sz[N]存放式子,ccu[N]存放变量,sz0[N]也是用于存放式子
hq[0]=-1;
xq[0]=-1;
printf("***************************************\n");//标语
printf("** **\n");
printf("** 欢迎进入逻辑运算软件 **\n");
printf("** (可运算真值表，主范式，支持括号) **\n");
printf("** **\n");
printf("** 用!表示非 **\n");
printf("** 用&表示与 **\n");
printf("** 用|表示或 **\n");
printf("** 用^表示蕴含 **\n");
离散数学实验报告1ABC
printf("** 用~表示等值 **\n");
printf("** **\n");
printf("***************************************\n\n");
printf("请输入一个合法的命题公式:\n");//输入式子
gets(sz);//读取式子
strcpy(sz0,sz);//复制式子
for(i1=0;i1 { if(sz[i1]==')' || sz[i1]=='(')//存储括号数量 kh++; if(sz[i1]>='a' && sz[i1]<='z' || sz[i1]>='A' && sz[i1]<='Z') { for(i2=0;i2 if(ccu[i2]==sz[i1])//去除重复变量 d=0; if(d==1) { ccu[j]=sz[i1]; j++; } d=1; } } printf("\nd该式子中的变量个数为：%d\n",j);//输出变量个数 h0=j; printf("\n输出真值表如下：\n \n"); //输出真值表表头 for(i1=0;i1 printf(" %c ",ccu[i1]); printf(" "); puts(sz); printf("\n"); for(i1=0;i1 icu[i1]=0; for(i2=0;i2 printf(" %d ",icu[i2]); jg=tkh(sz,ccu,icu,h0); //用函数求结果 if(jg==0)//结果为0，合取加1 hq[h++]=bj; else //否则，析取加1 xq[x++]=bj; printf(" %d\n",jg);//输出运算结果 strcpy(sz,sz0); for(i1=0;i1<(int)pow(2,j)-1;i1++) { ++bj; panduan(icu,j-1); //赋值变量 jg=tkh(sz,ccu,icu,h0); if(jg==0)//结果为0，合取加1 hq[h++]=bj; else //否则，析取加1 xq[x++]=bj; strcpy(sz,sz0); //恢复被修改的数组。 for(i2=0;i2 printf(" %d ",icu[i2]);//输出真值表前项 printf(" %d\n",jg);//输出运算结果 } if(hq[0]==-1)//不存在合取范式时 printf("\n该命题公式不存在主合取范式。\n"); else { printf("\n该命题公式的主合取范式：\n\t"); for(i1=0;i1 { if (i1>0)//判断并添加符号 printf("\\/"); printf("M(%d)",hq[i1]); //输出主合取范式} } if(xq[0]==-1)//不存在析取范式时 printf("\n该命题公式不存在主析取范式。\n"); else { printf("\n\n该命题公式的主析取范式：\n\t"); for(i1=0;i1 { if (i1>0)//判断并添加符号 printf("/\\"); printf("m(%d)",xq[i1]);//输出主析取范式} } printf("\n"); printf("\n欢迎下次再次使用！\n ");//结束 getch(); } void panduan(int b[N],int f) // 二进制赋值。 { int i; 离散数学实验报告1ABC i=f; if(b[f]==0)//加1 b[f]=1; else//进位 { b[f]=0; panduan(b,--i); } } int tkh (char sz[N],char ccu[N],int icu[N],int h0)//分级运算函数{ int i,j,h,s,kh=0,wz[N],a; char xs1[N],ckh[N]; //xs1用来保存括号内的字符 ckh用来保存括号。 s=strlen(sz); for(i=0;i if(sz[i]=='(' || sz[i]==')')//判断括号 { wz[kh]=i;//存储括号位置 ckh[kh]=sz[i];//存储括号类型 kh++; } if(kh==0) return fkh(sz,ccu,icu,h0);//如果无括号，直接运行 else { for(i=0;i if(ckh[i]==')')//找到第一个） break; for(j=wz[i-1]+1,h=0;j xs1[h]='\0'; a=fkh(xs1,ccu,icu,h0);//运行最内级括号的式子，得到结果 if(a==1)//判断并存储结果 sz[wz[i-1]]=1; else sz[wz[i-1]]=-2; for(j=wz[i-1]+1;j sz[j]=sz[j+wz[i]-wz[i-1]]; sz[j]='\0'; return tkh(sz,ccu,icu,h0);//循环执行 } } int fkh(char sz[N],char ccu[N],int icu[N],int h0)//主运算函数{ int i,h=0,j=0,j1=0,j2=0,j3=0,j4=0,j5=0,i1,i2,p1=-1,p2=-1,s; char dt[N]; s=strlen(sz); if(s==1) if(sz[0]==-2)//判断是否是最后一项 return 0; else return 1; //1 就是sz[0]的值、 else { for(i=0;i if(sz[i]=='!') { for(i1=0;i1 if(sz[i+1]==ccu[i1])//将变量赋值并给P1 p1=icu[i1]; if(sz[i+1]==-2)//如果是前运算结果的0，则P1等于0 p1=0; if(p1==-1)//如果是数字，直接给P1 p1=sz[i+1]; dt[j+2]=!p1;//非运算 sz[i]=j+2; j++; p1=0; for(i1=i+1;i1 sz[i1]=sz[i1+1];//将后续式子前移一项 } p1=-1; j1=j; for(i=0;i if(sz[i]=='&') { for(i1=0;i1 { if(sz[i-1]==ccu[i1])//将变量赋值并给P1 p1=icu[i1]; if(sz[i+1]==ccu[i1])//将变量赋值并给P2 p2=icu[i1]; } for(i2=2;i2 { if(sz[i-1]==i2) //如果为前计算结果，将结果赋值并给P1 离散数学实验报告1ABC p1=dt[i2]; if(sz[i+1]==i2) //如果为前计算结果，将结果赋值并给P2 p2=dt[i2]; } if(sz[i-1]==-2)//如果是前运算结果的0，则P1等于0 p1=0; if(sz[i+1]==-2)//如果是前运算结果的0，则P2等于0 p2=0; if(p1==-1) //如果是数字，直接给P1 p1=(int)(sz[i-1]); if(p2==-1)//如果是数字，直接给P2 p2=(int)(sz[i+1]); dt[j+2]=p1 && p2;//与运算 sz[i-1]=j+2; j++; j2++; p1=-1; p2=-1; for(i1=i;i1 sz[i1]=sz[i1+2]; i=i-1; } for(i=0;i if(sz[i]=='|') { for(i1=0;i1 { if(sz[i-1]==ccu[i1])//将变量赋值并给P1 p1=icu[i1]; if(sz[i+1]==ccu[i1])//将变量赋值并给P2 p2=icu[i1]; } for(i2=2;i2 { if(sz[i-1]==i2) //如果为前计算结果，将结果赋值并给P1 p1=dt[i2]; if(sz[i+1]==i2)//如果为前计算结果，将结果赋值并给P2 p2=dt[i2]; } if(sz[i-1]==-2)//如果是前运算结果的0，则P1等于0 p1=0; if(sz[i+1]==-2)//如果是前运算结果的0，则P2等于0 p2=0; if(p1==-1)//如果是数字，直接给P1 p1=sz[i-1]; if(p2==-1)//如果是数字，直接给P2 p2=sz[i+1]; dt[j+2]=p1 || p2;//或运算 sz[i-1]=j+2; j++; j3++; p1=-1; p2=-1; for(i1=i;i1 sz[i1]=sz[i1+2]; i--; } for(i=0;i if(sz[i]=='^') { for(i1=0;i1 { if(sz[i-1]==ccu[i1])//将变量赋值并给P1 p1=icu[i1]; if(sz[i+1]==ccu[i1])//将变量赋值并给P2 p2=icu[i1]; } for(i2=2;i2 { if(sz[i-1]==i2) //如果为前计算结果，将结果赋值并给P1 p1=dt[i2]; if(sz[i+1]==i2) //如果为前计算结果，将结果赋值并给P2 p2=dt[i2]; } if(sz[i-1]==-2)//如果是前运算结果的0，则P1等于0 p1=0; if(sz[i+1]==-2)//如果是前运算结果的0，则P2等于0 p2=0; if(p1==-1)//如果是数字，直接给P1 p1=sz[i-1]; if(p2==-1)//如果是数字，直接给P2 p2=sz[i+1]; dt[j+2]=!p1 || p2;//蕴含运算 sz[i-1]=j+2; j++; j4++; p1=-1; p2=-1; 离散数学作业7 离散数学数理逻辑部分形成性考核书面作业 本课程形成性考核书面作业共3次，内容主要分别是集合论部分、图论部分、 数理逻辑部分的综合练习，基本上是按照考试的题型(除单项选择题外) 安排练习题目，目的是通过综合性书面作业，使同学自己检验学习成果，找出掌握的薄弱知识点，重点复习，争取尽快掌握。本次形考书面作业是第三次作业，大家要认真及时地完成数理逻辑部分的综合练习作业。 要求：将此作业用A4纸打印出来，手工书写答题，字迹工整，解答题要有解答过程，要求本学期第17周末前完成并上交任课教师(不收电子稿)。并在07任务界面下方点击“保存”和“交卷”按钮，以便教师评分。 一、填空题 1 .命题公式P (Q P)的真值是T或1 ______ . 2?设P:他生病了，Q:他出差了. R:我同意他不参加学习.则命题“如果他生病或出差了，我就同意他不参加学习”符号化的结果为(P V Q)-R 3. ____________________________________________________________ 含有三个命题变项P，Q，R的命题公式P Q的主析取范式是__________________ _(P Q R) (P Q R)_ 4. 设P(x): x是人，Q(x): x去上课，则命题“有人去上课.” 可符号化为— x(P(x) Q(x))_ 5. 设个体域D = {a, b},那么谓词公式xA(x) yB(y)消去量词后的等值式为 (A(a) A(b)) (B(a) B(b))_ 6 .设个体域D = {1,2, 3}，A(x)为“x大于3”，则谓词公式(x)A(x)的真值为F 或0 ________________ . 7.谓词命题公式(x)((A(x) B(x)) C(y))中的自由变元为 ________ . 8 .谓词命题公式(x)(P(x) Q(x) R(x，y))中的约束变元为x _______ . 三、公式翻译题 1 .请将语句“今天是天晴”翻译成命题公式 中南大学 《通信原理》实验报告 学生姓名 指导教师 学院 专业班级 完成时间 数字基带信号 1、实验名称 数字基带信号 2、实验目的 （1）了解单极性码、双极性码、归零码、不归零码等基带信号波形特点。 （2）掌握AMI、HDB 3 码的编码规则。 （3）掌握从HDB 3 码信号中提取位同步信号的方法。 （4）掌握集中插入帧同步码时分复用信号的帧结构特点。 （5）了解HDB 3 （AMI）编译码集成电路CD22103。 3、实验内容 （1）用示波器观察单极性非归零码（NRZ）、传号交替反转码（AMI）、三阶高密度双极性码 （HDB 3）、整流后的AMI码及整流后的HDB 3 码。 （2）用示波器观察从HDB 3 码中和从AMI码中提取位同步信号的电路中有关波形。 （3）用示波器观察HDB 3 、AMI译码输出波形。 4、基本原理（简写） 本实验使用数字信源模块和HDB 3 编译码模块。 1、数字信源 本模块是整个实验系统的发终端，模块内部只使用+5V电压，其原理方框图如图1-1所示，电原理图如图1-3所示（见附录）。本单元产生NRZ信号，信号码速率约为170.5KB，帧结构如图1-2所示。帧长为24位，其中首位无定义，第2位到第8位是帧同步码（7位巴克码1110010），另外16位为2路数据信号，每路8位。此NRZ信号为集中插入帧同步码时分复用信号，实验电路中数据码用红色发光二极管指示，帧同步码及无定义位用绿色发光二极管指示。发光二极管亮状态表示1码，熄状态表示0码。 本模块有以下测试点及输入输出点： ? CLK 晶振信号测试点 ? BS-OUT 信源位同步信号输出点/测试点（2个） ? FS 信源帧同步信号输出点/测试点 ? NRZ-OUT(AK) NRZ信号(绝对码)输出点/测试点（4个） 图1-1中各单元与电路板上元器件对应关系如下： ?晶振CRY：晶体；U1：反相器7404 ?分频器U2：计数器74161；U3：计数器74193；U4：计数器40160 ?并行码产生器K1、K2、K3：8位手动开关，从左到右依次与帧同步码、数 《离散数学》实验报告专业网络工程 班级 姓名 学号 授课教师 二 O 一六年十二月 目录 实验一联结词的运算 实验二根据矩阵的乘法求复合关系 实验三利用warshall算法求关系的传递闭包实验四图的可达矩阵实现 实验一联结词的运算 一.实验目的 通过上机实验操作,将命题连接词运算融入到C语言的程序编写中,一方面加强对命题连接词运算的理解,另一方面通过编程实现命题连接词运算,帮助学生复习与锻炼C语言知识,将理论知识与实际操作结合,让学生更加容易理解与记忆命题连接词运算。 二.实验原理 (1) 非运算, 符号:? ,当P=T时 ,?P为F, 当P=F时 ,?P为T 。 (2) 合取, 符号: ∧ , 当且仅当P与Q的真值同为真,命题P∧Q的真值才为真;否则,P∧Q的真值为假。 (3) 析取, 符号: ∨ , 当且仅当P与Q的真值同为假,命题P∨Q的真值才为假;否则,P∨Q的真值为真。 (4) 异或, 符号: ▽ , 当且仅当P与Q的真值不同时,命题P▽Q的真值才为真;否则,P▽Q的真值为真。 (5) 蕴涵, 符号: →, 当且仅当P为T,Q为F时,命题P→Q的真值才为假;否则,P→Q 的真值为真。 (6) 等价, 符号: ? , 当且仅当P,Q的真值不同时,命题P?Q的真值才为假;否 则,P→Q的真值为真。 三.实验内容 编写一个程序实现非运算、合取运算、析取运算、异或运算、蕴涵运算、等价运算。四．算法程序 #include 中南大学 《通信电子线路》实验报告 学院信息科学与工程学院 题目调制与解调实验 学号 专业班级 姓名 指导教师 实验一振幅调制器 一、实验目的： 1．掌握用集成模拟乘法器实现全载波调幅和抑止载波双边带调幅的方法。 2．研究已调波与调制信号及载波信号的关系。 3．掌握调幅系数测量与计算的方法。 4．通过实验对比全载波调幅和抑止载波双边带调幅的波形。 二、实验内容： 1．调测模拟乘法器MC1496正常工作时的静态值。 2．实现全载波调幅，改变调幅度，观察波形变化并计算调幅度。 3．实现抑止载波的双边带调幅波。 三、基本原理 幅度调制就是载波的振幅（包络）受调制信号的控制作周期性的变化。变化的周期与调制信号周期相同。即振幅变化与调制信号的振幅成正比。通常称高频信号为载波信号。本实验中载波是由晶体振荡产生的10MHZ高频信号。1KHZ的低频信号为调制信号。振幅调制器即为产生调幅信号的装置。 在本实验中采用集成模拟乘法器MC1496来完成调幅作用，图2-1为1496芯片内部电路图，它是一个四象限模拟乘法器的基本电路，电路采用了两组差动对由V1－V4组成，以反极性方式相连接，而且两组差分对的恒流源又组成一对差分电路，即V5与V6，因此恒流源的控制电压可正可负，以此实现了四象限工作。D、V7、V8为差动放大器V5与V6的恒流源。进行调幅时，载波信号加在V1－V4的输入端，即引脚的⑧、⑩之间；调制信号加在差动放大器V5、V6的输入端，即引脚的①、④之间，②、③脚外接1KΩ电位器，以扩大调制信号动态范围，已调制信号取自双差动放大器的两集电极（即引出脚⑹、⑿之间）输出。 图2-1 MC1496内部电路图 用1496集成电路构成的调幅器电路图如图2－2所示，图中VR8用来调节引出脚①、④之间的平衡，VR7用来调节⑤脚的偏置。器件采用双电源供电方式（＋12V，－9V），电阻R29、R30、R31、R32、R52为器件提供静态偏置电压，保证器件内部的各个晶体管工作在放大状态。 四、实验结果 1. ZD.OUT波形： 2. TZXH波形： 离散数学实验报告（实验ABC） 专业班级 学生姓名 学生学号 指导老师 完成时间 目录 第一章实验概述..................................... 错误!未定义书签。 实验目的....................................... 错误!未定义书签。 实验内容....................................... 错误!未定义书签。 实验环境....................................... 错误!未定义书签。第二章实验原理和实现过程........................... 错误!未定义书签。 实验原理....................................... 错误!未定义书签。 建立图的邻接矩阵，判断图是否连通 ............ 错误!未定义书签。 计算任意两个结点间的距离 ................... 错误!未定义书签。 对不连通的图输出其各个连通支 ................ 错误!未定义书签。 实验过程（算法描述）........................... 错误!未定义书签。 程序整体思路 ............................... 错误!未定义书签。 具体算法流程 ................................ 错误!未定义书签。第三章实验数据及结果分析........................... 错误!未定义书签。 建立图的邻接矩阵并判断图是否连通的功能测试及结果分析错误!未定义书签。 输入无向图的边 .............................. 错误!未定义书签。 建立图的连接矩阵 ............................ 错误!未定义书签。 其他功能的功能测试和结果分析................... 错误!未定义书签。 计算节点间的距离 ............................ 错误!未定义书签。 判断图的连通性 .............................. 错误!未定义书签。 输出图的连通支 .............................. 错误!未定义书签。 退出系统 .................................... 错误!未定义书签。第四章实验收获和心得体会........................... 错误!未定义书签。 操作系统原理试验报告 班级： 学号： 姓名： 实验一：CPU调度 一、实验内容 选择一个调度算法，实现处理机调度。 二、实验目的 多道系统中，当就绪进程数大于处理机数时，须按照某种策略决定哪些进程优先占用处理机。本实验模拟实现处理机调度，以加深了解处理机调度的工作。 三、实验题目 1、设计一个按优先权调度算法实现处理机调度的程序； 2、设计按时间片轮转实现处理机调度的程序。 四、实验要求 PCB内容： 进程名/PID； 要求运行时间（单位时间）； 优先权； 状态： PCB指针； 1、可随机输入若干进程，并按优先权排序； 2、从就绪队首选进程运行：优先权-1/要求运行时间-1 要求运行时间=0时，撤销该进程 3、重新排序，进行下轮调度 4、最好采用图形界面； 5、可随时增加进程； 6、规定道数，设置后备队列和挂起状态。若内存中进程少于规定道数，可自动从后备 队列调度一作业进入。被挂起进程入挂起队列，设置解挂功能用于将指定挂起进程解挂入就绪队列。 7、每次调度后，显示各进程状态。 实验二：内存管理 一、实验内容 主存储器空间的分配和回收 二、实验目的 帮助了解在不同的存储管理方式下，应怎样实现主存空间的分配和回收。 三、实验题目 在可变分区管理方式下，采用最先适应算法实现主存空间的分配和回收。 四、实验要求 1、自行假设主存空间大小，预设操作系统所占大小并构造未分分区表； 表目内容：起址、长度、状态（未分/空表目） 2、结合实验一，PCB增加为： {PID，要求运行时间，优先权，状态，所需主存大小，主存起始位置，PCB指针} 3、采用最先适应算法分配主存空间； 4、进程完成后，回收主存，并与相邻空闲分区合并 .1、Vo类说明（数据存储结构） 进程控制块PCB的结构： Public class PCB{ //进程控制块PCB，代表一个进程 //进程名，作为进程的标识； private String name; //要求运行时间，假设进程运行的单位时间数； private int time; //赋予进程的优先权，调度时总是选取优先数小的进程先执行； private int priority; //状态，假设有“就绪”状态（ready）、“运行”状态（running）、 //“后备”状态（waiting）、“挂起”状态(handup) private String state; //进程存放在table中的位置 private int start; //进程的大小 private int length; //进程是否进入内存，1为进入，0为未进入 private int isIn; //进程在内存中的起始位置 private int base; //进程的大小 private int limit; //一些get和set方法以及构造器省略… }; 离散数学作业7 离散数学数理逻辑部分形成性考核书面作业 本课程形成性考核书面作业共3次，内容主要分别是集合论部分、图论部分、数理逻辑部分的综合练习，基本上是按照考试的题型（除单项选择题外）安排练习题目，目的是通过综合性书面作业，使同学自己检验学习成果，找出掌握的薄弱知识点，重点复习，争取尽快掌握。本次形考书面作业是第三次作业，大家要认真及时地完成数理逻辑部分的综合练习作业。 要求：将此作业用A4纸打印出来，手工书写答题，字迹工整，解答题要有解答过程，要求本学期第17周末前完成并上交任课教师（不收电子稿）。并在07任务界面下方点击“保存”和“交卷”按钮，以便教师评分。 一、填空题 1．命题公式()P Q P →∨的真值是 1或T ． 2．设P ：他生病了，Q ：他出差了．R ：我同意他不参加学习. 则命题“如 果他生病或出差了，我就同意他不参加学习”符号化的结果为 （P ∨Q ）→R ． 3．含有三个命题变项P ，Q ，R 的命题公式P ∧Q 的主析取范式是 (P ∧Q ∧R)∨(P ∧Q ∧?R) ． 4．设P (x )：x 是人，Q (x )：x 去上课，则命题“有人去上课．” 可符号化为 ?x(P(x) ∧Q(x)) ． 5．设个体域D ＝{a , b },那么谓词公式)()(y yB x xA ?∨?消去量词后的等值式为 (A(a) ∨A(b)) ∨((B(a) ∧B(b)) ． 6．设个体域D ＝{1, 2, 3}，A (x )为“x 大于3”，则谓词公式(?x )A (x ) 的真值为 0(F) ． 7．谓词命题公式(?x )((A (x )∧B (x )) ∨C (y ))中的自由变元为 y ． 8．谓词命题公式(?x )(P (x ) →Q (x ) ∨R (x ，y ))中的约束变元为 x ． 三、公式翻译题 1．请将语句“今天是天晴”翻译成命题公式． 设P ：今天是晴天。 姓 名： 学 号： 得 分： 教师签名： 机械基础实验报告 (机械类) 中南大学机械基础实验教学中心 2011年8月 目录 训练一机构运动简图测绘 (1) 实验二动平衡实验 (3) 实验三速度波动调节实验 (4) 实验四机构创意组合实验 (5) 实验五平面机构创新设计及运动测试分析实验 (6) 实验六螺栓联接静动态实验 (7) 实验七螺旋传动效率实验 (8) 实验八带传动实验 (9) 实验九液体动压轴承实验 (10) 实验十机械传动性能综合测试实验 (12) 实验十一滚动轴承综合性能测试分析实验 (13) 实验十二机械传动设计及多轴搭接实验 (14) 实验十三减速器拆装实验 (15) 训练一机构运动简图测绘 专业班级第组姓名成绩 1.一个正确的“机构运动简图”应能说明哪些内容?绘制机构运动简图的基本步骤是什么? 2.机构自由度与原动件的数目各为多少?当机构自由度=原动件的数目,机构的 运动是否确定? 五.收获与建议 实验二动平衡实验 专业班级第组姓名成绩一、实验目的: 二?设备名称: 三?实验数据 实验转速: 四.思考题: 转子动平衡为什么要在左右两个平面上进行平衡? 实验三速度波动调节实验专业班级第组姓名成绩一?实验目的: 二?设备名称: 三?实验数据 1?当转速不变时,采用不同的飞轮,数据记录: 结论:当转速不变时,飞轮转动惯量越大,则机构的速度波动越二?当飞轮不变时,转速变化,数据记录: 结论:当飞轮不变时,转速越大,则机构的速度波动越 实验四机构创意组合实验 专业班级第组姓名成绩 一、机构运动简图(要求符号规范标注参数) 二、机构的设计方案图(复印件) 三、机构有____________个活动构件?有______个低副,其中转动副_______个, 移动副__________个,有____________复合铰链,在_________处?有________处?有__________个虚约束,在__________处? 四、机构自由度数目为F=3n-2PL-PH=3X-2X-0= 五、机构有_________个原动件 在___________处用__________驱动,在__________处用___________驱动? 六、针对原设计要求,按照实验结果简述机构的有关杆件是否运动到位?曲柄是 否存在?是否实现急回特性?最小传动角数值?是否有“卡住”现象?(原无要求的项目可以不作涉及) 七、指出在机构中自己有所创新之处? 八、指出机构的设计存在的不足之处,简述进一步改进的设想? 实验一MATLAB 中矩阵与多项式的基本运算 实验任务 1. 了解MATLAB命令窗口和程序文件的调用。 2 ?熟悉如下MATLAB的基本运算： ①矩阵的产生、数据的输入、相关元素的显示； ②矩阵的加法、乘法、左除、右除； ③特殊矩阵：单位矩阵、“ 1 ”矩阵、“0”矩阵、对角阵、随机矩阵的产生和运算； ④多项式的运算：多项式求根、多项式之间的乘除。 基本命令训练 1、>> eye(2) ans = 1 0 0 1 >> eye(4) ans = 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 1 2、>> ones(2) 1 1 ans = 1 1 >> ones(4) ans = 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 >> ones(2,2) ans = 1 1 1 1 >> ones(2,3) ans = 1 1 1 1 1 1 >> ones(4,3) ans = 1 1 1 1 1 1 1 1 1 1 1 1 3、>> zeros(2) ans = 0 0 0 0 >> zeros(4) ans = 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 >> zeros(2,2) ans = 0 0 0 0 >> zeros(2,3) ans = 0 0 0 0 0 0 >> zeros(3,2) ans = 0 0 0 0 00 4、随机阵>> rand(2,3) ans = 0.2785 0.9575 0.1576 0.5469 0.9649 0.9706 >> rand(2,3) 离散数学作业7 离散数学数理逻辑部分形成性考核书 面作业 本课程形成性考核书面作业共3次,内容主要分别就是集合论部分、图论部分、数理逻辑部分的综合练习,基本上就是按照考试的题型(除单项选择题外)安排练习题目,目的就是通过综合性书面作业,使同学自己检验学习成果,找出掌握的薄弱知识点,重点复习,争取尽快掌握。本次形考书面作业就是第三次作业,大家要认真及时地完成数理逻辑部分的综合练习作业。 要求:将此作业用A4纸打印出来,手工书写答题,字迹工整,解答题要有解答过程,要求本学期第17周末前完成并上交任课教师(不收电子稿)。并在07任务界面下方点击“保存”与“交卷”按钮,以便教师评分。 一、填空题 1.命题公式()P Q P →∨的真值就是 T 或1 . 2.设P :她生病了,Q :她出差了.R :我同意她不参加学习、 则命题“如果她生病或出差了,我就同意她不参加学习”符号化的结果为 (P ∨Q)→R . 3.含有三个命题变项P ,Q ,R 的命题公式P ∧Q 的主析取范式就是 )()(R Q P R Q P ?∧∧∨∧∧ . 4.设P (x ):x 就是人,Q (x ):x 去上课,则命题“有人去上课.” 可符号化为 ))()((x Q x P x ∧? . 5.设个体域D ＝{a , b },那么谓词公式)()(y yB x xA ?∨?消去量词后的等值式为 ))()(())()((b B a B b A a A ∧∨∨ . 6.设个体域D ＝{1, 2, 3},A (x )为“x 大于3”,则谓词公式(?x )A (x ) 的真值为 F 或0 . 7.谓词命题公式(?x )((A (x )∧B (x )) ∨C (y ))中的自由变元为 y . 8.谓词命题公式(?x )(P (x ) →Q (x ) ∨R (x ,y ))中的约束变元为 x . 三、公式翻译题 1.请将语句“今天就是天晴”翻译成命题公式. P 。，P 则今天是天晴设答:: 2.请将语句“小王去旅游,小李也去旅游.”翻译成命题公式. Q 。P ；，Q P ∧则小李去旅游小王去旅游设答::: 3.请将语句“如果明天天下雪,那么我就去滑雪”翻译成命题公式. Q 。P ；，Q P →则我去滑雪明天下雪设答;:: 4.请将语句“她去旅游,仅当她有时间.”翻译成命题公式. 制造系统自动化技术 实验报告 学院：机电工程学院 班级：机制**** 姓名：张** 学号： *********** 指导教师：李** 时间： 2018-11-12 实验一柔性自动化制造系统运行实验 1.实验目的 （1）通过操作MES终端软件，实现对柔性制造系统的任务下达和控制加工，让学生 了解智能制造的特征及优势。 （2）通过创意性的实验让学生了解自动化系统总体方案的构思。 （3）通过总体方案的构思让学生了解该系统的工作原理，并学会绘制控制系统流程图，掌握物料流、信息流、能量流的流动路径。 （4）通过总体方案的构思让学生掌握各机械零部件、传感器、控制元器件的工作原理及性能。 （5）通过实验系统运行让学生了解运行的可靠性、安全性是采用何种元器件来实现的，促进学生进行深层次的思考和实践。 2.实验内容 （1）仔细观察柔性自动化制造系统的实现，了解柔性自动化制造系统的各个模块，熟悉各个模块的机械结构。 （2）了解各种典型传动机构的组装、工作原理、以及如何实现运动方向和速度的改变； （3）学习多种传感器的工作原理、性能和使用方法； （4）了解典型驱动装置的工作原理、驱动方式和性能； （5）理解柔性制造系统的工作原理，完成柔性制造系统的设计、组装； （6）实现对柔性制造系统的控制与检测，完成工件抓取、传输和加工。 3.实验步骤 （1）柔性制造系统的总体方案设计； （2）进行检测单元的设计； （3）进行控制系统的设计； （4）上下料机构的组装与检测控制； （5）物料传输机构的组装与实现； （6）柔性制造系统各组成模块的连接与控制； （7）柔性制造系统各组成单元的状态与工件状态位置的检测； （8）对机器人手动操作，实现对工件的抓取、传输。 4. 实验报告 ①该柔性自动化制造系统由哪几个主要的部分组成； 主要由：总控室工作站、AGV小车输送物料机构、安川机器人上下料工作站、法那科机器人上下料工作站、ABB机器人组装工作站、视觉检测及传送工作站、激光打标工作站、堆垛机及立体仓储工作站。 ②画出该柔性自动化制造系统的物料传输系统结构简图； 《离散数学》 课程设计 学院计算机学院 学生姓名 学号 指导教师 评阅意见 提交日期 2011 年 11 月 25 日 引言 《离散数学》是现代数学的一个重要分支，也是计算机科学与技术，电子信息技术，生物技术等的核心基础课程。它是研究离散量（如整数、有理数、有限字母表等）的数学结构、性质及关系的学问。它一方面充分地描述了计算机科学离散性的特点，为学生进一步学习算法与数据结构、程序设计语言、操作系统、编译原理、电路设计、软件工程与方法学、数据库与信息检索系统、人工智能、网络、计算机图形学等专业课打好数学基础；另一方面，通过学习离散数学课程，学生在获得离散问题建模、离散数学理论、计算机求解方法和技术知识的同时，还可以培养和提高抽象思维能力和严密的逻辑推理能力，为今后爱念族皮及用计算机处理大量的日常事务和科研项目、从事计算机科学和应用打下坚实基础。特别是对于那些从事计算机科学与理论研究的高层次计算机人员来说，离散数学更是必不可少的基础理论工具。 实验一、编程判断一个二元关系的性质（是否具有自反性、反自反性、对称性、反对称性和传递性） 一、前言引语：二元关系是离散数学中重要的内容。因为事物之间总是可以 根据需要确定相应的关系。从数学的角度来看，这类联系就是某个集合中元素之间存在的关系。 二、数学原理：自反、对称、传递关系 设A和B都是已知的集合，R是A到B的一个确定的二元关系，那么集合R 就是A×B的一个合于R={(x,y)∈A×B|xRy}的子集合 设R是集合A上的二元关系： 自反关系：对任意的x∈A,都满足 计算机体系结构课程设计 学院：信息科学与工程学院 专业班级： 指导老师： 学号： 姓名： 目录 实验1 对指令操作码进行霍夫曼编码 (3) 一、实验目的 (3) 二、实验内容 (3) 三、设计思路 (4) 四、关键代码 (4) 五、实验截图 (5) 六、源代码 (5) 实验2 使用LRU 方法更新Cache (8) 一、实验目的 (8) 二、实验内容 (8) 三、设计思路 (9) 四、程序截图 (9) 五、实验代码 (9) 实验总结 (16) 参考文献 (16) 实验1 对指令操作码进行霍夫曼编码一、实验目的 了解和掌握指令编码的基本要求和基本原理 二、实验内容 1. 使用编程工具编写一个程序，对一组指令进行霍夫曼编码，并输出最后的编码结果以及对指令码的长度进行评价。与扩展操作码和等长编码进行比较。 2. 问题描述以及问题分析 举例说明此问题，例如： 下表所示： 对此组指令进行 HUFFMAN 编码正如下图所示： 最后得到的HUFFMAN 编码如下表所示： 最短编码长度为： H=0.45*1+0.30*2+0.15*3+0.05*4+0.03*5+0.01*6+0.01*6=-1.95. 要对指令的操作码进行 HUFFMAN 编码，只要根据指令的各类操作码的出现概率构造HUFFMAN 树再进行 HUFFAM 编码。此过程的难点构造 HUFFMAN 树，进行 HUFFAM 编 码只要对你所生成的 HUFFMAN 树进行中序遍历即可完成编码工作。 三、设计思路 观察上图，不难看出构造 HUFFMAN 树所要做的工作：1、先对各指令操作码的出现概率进行排序，构造一个有序链表。2、再取出两个最小的概率节点相加，生成一个生的节点加入到链表中，同时从两表中删除此两个节点。3、在对链表进行排序，链表是否只有一个节点，是则 HUFFAN 树构造完毕，否则继续做 2 的操作。为此设计一个工作链表（链表的元素时类，此类的功能相当结构。）、HUFFMAN 树节点、HUFFMAN 编码表节点。 四、关键代码 哈夫曼树重点在于如何排列权值大小不同的结点的顺序 private int leafNum; //叶子结点个数 private HaffmanNode[] hnodes; //哈夫曼树的结点数组 public HaffManCode(double[] weight) //构造指定权值集合的哈夫曼树 { int n = weight.length; //n个叶子结点 this.leafNum = n; this.hnodes = new HaffmanNode[2*n-1]; //n个叶子结点的哈夫曼树共有2n-1个结点 for(int i=0; i 离散数学作业答案 HEN system office room 【HEN16H-HENS2AHENS8Q8-HENH1688】 离散数学集合论部分形成性考核书面作 业 本课程形成性考核书面作业共3次，内容主要分别是集合论部分、图论部分、数 理逻辑部分的综合练习，基本上是按照考试的题型（除单项选择题外）安排练习题 目，目的是通过综合性书面作业，使同学自己检验学习成果，找出掌握的薄弱知识 点，重点复习，争取尽快掌握。本次形考书面作业是第一次作业，大家要认真及时地 完成集合论部分的综合练习作业。 要求：将此作业用A4纸打印出来，手工书写答题，字迹工整，解答题要有解答 过程，要求本学期第11周末前完成并上交任课教师（不收电子稿）。并在03任务界 面下方点击“保存”和“交卷”按钮，完成并上交任课教师。 一、填空题 1．设集合{1,2,3},{1,2} ==，则P(A)- A B P(B )={{3},{1,3},{2,3},{1,2,3}}，A? B={<1,1>,<1,2>,<2,1>,<2,2>,<3,1>,<3,2>} ． 2．设集合A有10个元素，那么A的幂集合P(A)的元素个数为 1024 ． 3．设集合A={0, 1, 2, 3}，B={2, 3, 4, 5}，R是A到B的二元关系， 则R的有序对集合为{<2,2>,<2,3>,<3,2>,<3,3>} ． 4．设集合A={1, 2, 3, 4 }，B={6, 8, 12}，A到B的二元关系 R＝} ∈ y x∈ y < > = {B , , x , 2 y A x 那么R－1＝{<6,3>,<8,4>} 5．设集合A=｛a, b, c, d｝，A上的二元关系R={ 机械制造工艺学实验报告 班级机械1301 姓名黄佳清 学号 07 中南大学机电学院 《机械制造工艺学》课程实验报告 实验名称：加工误差的统计分析 姓名：黄佳清班级：机械1301 学号： 07 实验日期： 2015 年 10 月 18 日指导教师：成绩： 1. 实验目的 （1）掌握加工误差统计分析方法的基本原理和应用。 （2）掌握样本数据的采集与处理方法，要求：能正确地采集样本数据，并能通过对样本 数据的处理，正确绘制出加工误差的实验分布曲线和图。 （3）能对实验分布曲线和图进行正确地分析，对加工误差的性质、工序能力及工艺 稳定性做出准确的鉴别。 （4）培养对加工误差进行综合分析的能力。 2. 实验内容与实验步骤 1．按加工顺序测量工件的加工尺寸，记录测量结果。 2．绘制直方图和分布曲线 1）找出这批工件加工尺寸数据的最大值x max和最小值x min，按下式计算出极差R。 R＝x max一x min 2）确定分组数K（K一般根据样本容量来选择，建议可选在8~11之间）。 3）按下式计算组距 d。 4）确定组界（测量单位：微米）。 5）做频数分布表。 6）计算x和 。 7）画直方图 以样本数据值为横坐标，标出各组组界；以各组频率密度为纵坐标，画出直方图。 8）画分布曲线 若工艺过程稳定，则误差分布曲线接近正态分布曲线；若工艺过程不稳定，则应根据实际情况确定其分布曲线。画出分布曲线，注意使分布曲线与直方图协调一致。 9）画公差带 在横轴下方画出公差带，以便与分布曲线相比较。 3．绘制图 1）确定样组容量，对样本进行分组 样组容量m 通常取4或5件。按样组容量和加工时间顺序，将样本划分成若干个样组。 2）计算各样组的平均值和极差 对于第i 个样组，其平均值和极差计算公式为： ∑==m j ij i x m x 1 1 式中 ——第i 个样组的平均值； ——第i 个样组的标准差； ——第i 个样组第j 个零件的测量值； ——第i 个样组数据的最大值； ——第i 个样组数据的最小值 3）计算图控制限（计算公式见实验原理） 4）绘制 图 以样组序号为横坐标，分别以各样组的平均值和极差R 为纵坐标，画出图，并在图上标出中心线和上、下控制限。 4． 按下式计算工序能力系数Cp 5． 判别工艺过程稳定性 可按下表所列标准进行判别。注意，同时满足表中左列3个条件，工艺过程稳定；表中右列条件之一不满足，即表示工艺过程不稳定。 《离散数学》实验报告 专业网络工程 班级 姓名 学号 授课教师 二 O 一六年十二月 目录 实验一联结词的运算 实验二根据矩阵的乘法求复合关系 实验三利用warshall算法求关系的传递闭包实验四图的可达矩阵实现 实验一联结词的运算 一．实验目的 通过上机实验操作，将命题连接词运算融入到C语言的程序编写中，一方面加强对命题连接词运算的理解，另一方面通过编程实现命题连接词运算，帮助学生复习和锻炼C语言知识，将理论知识与实际操作结合，让学生更加容易理解和记忆命题连接词运算。二．实验原理 (1) 非运算, 符号: ,当P=T时，P为F, 当P=F时，P为T 。 (2) 合取, 符号: ∧ , 当且仅当P和Q的真值同为真，命题P∧Q的真值才为真；否则，P∧Q的真值为假。 (3) 析取, 符号: ∨ , 当且仅当P和Q的真值同为假，命题P∨Q的真值才为假；否则，P∨Q的真值为真。 (4) 异或, 符号: ▽ , 当且仅当P和Q的真值不同时，命题P▽Q的真值才为真；否则，P▽Q的真值为真。 (5) 蕴涵, 符号: →, 当且仅当P为T,Q为F时，命题P→Q的真值才为假；否则，P→Q 的真值为真。 (6) 等价, 符号: ?, 当且仅当P,Q的真值不同时，命题P?Q的真值才为假；否则，P→Q的真值为真。 三．实验内容 编写一个程序实现非运算、合取运算、析取运算、异或运算、蕴涵运算、等价运算。四．算法程序 #include 第一章 1.假定A是ECNU二年级的学生集合，B是ECNU必须学离散数学的学生的集合。请用A 和B表示ECNU不必学习离散数学的二年级的学生的集合。 2.试求： (1)P(φ) (2)P(P(φ)) (3)P(P(P(φ))) 3.在1~200的正整数中，能被3或5整除，但不能被15整除的正整数共有多少个？ 能被5整除的有40个， 能被15整除的有13个， ∴能被3或5整除，但不能被15整除的正整数共有 66-13+40-13=80个。 第三章 1.下列语句是命题吗？ (1)2是正数吗？ (2)x2+x+1=0。 (3)我要上学。 (4)明年2月1日下雨。 (5)如果股票涨了，那么我就赚钱。 2.请用自然语言表达命题(p?→r)∨(q?→r)，其中p、q、r为如下命题： p：你得流感了 q：你错过了最后的考试 3.通过真值表求p→(p∧(q→p))的主析取范式和主合取范式。 4.给出p→(q→s),q,p∨?r?r→s的形式证明。 第四章 1.将?x(C(x)∨?y(C(y)∧F(x,y)))翻译成汉语，其中C(x)表示x有电脑，F(x,y) 表示x和y是同 班同学，个体域是学校全体学生的集合。 解： 学校的全体学生要么自己有电脑，要么其同班同学有电脑。 2.构造?x(P(x)∨Q(x)),?x(Q(x)→?R(x)),?xR(x)??xP(x)的形式证明。 解： ①?xR(x) 前提引入 ②R(e) ①US规则 ③?x(Q(x)→?R(x)) 前提引入 ④Q(e) →?R(e) ③US规则 ⑤?Q (e) ②④析取三段论 ⑥?x(P(x)∨Q(x)) 前提引入 ⑦P(e) ∨Q(e) ⑥US规则 ⑧P(e) ⑤⑦析取三段论 ⑨?x (P(x)) ⑧EG规则 第五章 大连民族学院 计算机科学与工程学院实验报告 实验题目：判断关系的性质 课程名称：离散数学 实验类型：□演示性□验证性□操作性□设计性□综合性 专业：班级：学生姓名：学号： 实验日期：年月日实验地点： 实验学时：实验成绩： 指导教师签字：年月日 实验报告正文部分（具体要求详见实验报告格式要求） 实验报告格式 [实验题目] 判断关系的性质 [实验目的] 使学生掌握利用计算机语言实现判断关系性质的基本方法。[实验环境] Microsoft Visual C++6.0 [实验原理] 实验内容与要求：对给定表示有穷集上关系的矩阵，确定这个关系是否是自反的或反自反的；对称的或反对称的；是否传递的。 通过二元关系与关系矩阵的联系，可以引入N维数组，以数组的运算来实现二元关系的判断。 图示： 程序源代码： #include scanf("%d",&M[i][j]); for(i=0;i 中南大学 X射线衍射实验报告 学院专业班级 姓名学号同组者 月日指导教师 实验 日期 评分分评阅人评阅日期 实验目的 1)掌握X射线衍射仪的工作原理、操作方法； 2)掌握X射线衍射实验的样品制备方法； 3)学会X射线衍射实验方法、实验参数设臵，独立完成一个衍射实验测试； 4)学会MDI Jade 6的基本操作方法； 5)学会物相定性分析的原理和利用Jade进行物相鉴定的方法； 6)学会物相定量分析的原理和利用Jade进行物相定量的方法。 本实验由衍射仪操作、物相定性分析、物相定量分析三个独立的实验组成，实验报告包含以上三个实验内容。 一、实验原理 1、X射线衍射仪 （1）X射线管 X射线管工作时阴极接负高压，阳极接地。灯丝附近装有控制栅，使灯丝发出的热电子在电场的作用下聚焦轰击到靶面上。阳极靶面上受电子束轰击的焦点便成为X射线源，向四周发射X射线。在阳极一端的金属管壁上一般开有四个射线出射窗口。转靶X射线管采用机械泵+分子泵二级真空泵系统保持管内真空度， 阳极以极快的速度转动，使电子轰击面不断改变，即不断改变发热点，从而达到提高功率的目的 （2）测角仪系统 测角仪圆中心是样品台，样品台可以绕中心轴转动，平板状粉末多晶样品安放在样品台上，样品台可围绕垂直于图面的中心轴旋转；测角仪圆周上安装有X 射线辐射探测器，探测器亦可以绕中心轴线转动；工作时，一般情况下试样台与探测器保持固定的转动关系（即θ-2θ连动），在特殊情况下也可分别转动；有的仪器中样品台不动，而X 射线发生器与探测器连动。 （3）衍射光路 ２、物相定性分析 1) 每一物相具有其特有的特征衍射谱，没有任何两种物相的衍射谱是完全相同 的 2) 记录已知物相的衍射谱，并保存为PDF 文件 3) 从PDF 文件中检索出与样品衍射谱完全相同的物相 4) 多相样品的衍射谱是其中各相的衍射谱的简单叠加，互不干扰，检索程序能 从PDF 文件中检索出全部物相 3、物相定量分析 物相定量分析——绝热法 在一个含有N 个物相的多相体系中，每一个相的RIR 值（参比强度）均为已知的情况下，测量出每一个相的衍射强度，可计算出其中所有相的质量分数： 其中某相X 的质量分数可表示为： ∑ == N A i i A i X A X X K I K I W 式中A 表示N 个相中被选定为内标相的物相名称 式中A O Al X O Al X A K K K 3 232= 右边是两个物相X 和A 的RIR 值，可以通过实测、计算或查找PDF 卡片获得。 样品中只含有两相A 和B ，并选定A 为内标物相，则有：(完整版)离散数学作业答案一
中南大学通信原理实验报告(截图完整)
离散数学实验报告
中南大学通信电子线路实验报告
离散数学实验报告
操作系统实验报告-中南大学
电大 离散数学作业7答案
中南大学机械基础实验报告机类
中南大学系统仿真实验报告
离散数学作业答案一
中南大学制造系统自动化技术实验报告整理
离散数学实验报告--四个实验!!!
中南大学 计算机体系结构实验报告
离散数学作业答案完整版
中南大学机械制造工艺学实验报告
离散数学实验报告()
离散数学作业答案
离散数学实验报告
中南大学x射线实验报告参考