DH算法C语言实现

大连海事大学

人工智能基础课程实验报告

（2011-2012学年第一学期）

王浩算法

班 级：

学 号：

姓 名：

指导老师：

2011年 12月 7日

王浩算法的实现

一．实验内容

实现命题逻辑框架内的王浩算法。

1.将命题逻辑中的王浩算法推广至下述命题语言的情形之下：

(1).命题变量符号：p1,p2,p3,……

(2).逻辑连接符：﹁，︿，﹀，->，……

(3).间隔符：（，）……

2.在上述1中所定义的命题语言中实现王浩算法。

二．实验目的

熟练掌握命题逻辑中的王浩算法。

三．实验要求

1.实验题目必须由个人独立完成，允许自行参考相关文献资料，但严禁同学间相互拷贝和抄袭程序以及文档资料。实验结束后一周内上交实验报告和实验文档资料。

2.提交的文档资料包括设计文档和程序源代码。设计文档和程序源代码以书面文档方式提供（用A4纸打印），并提交电子文档备查。

四．数据结构

给定公式，例如：(p1->(q1->r1))->((p1->q1)->(p1->r1))

函数inite主要作用是负责将符号初始化成树的结构。

函数clone复制一棵完全相同的符号树。

函数restruct查找所有&，|， <->等符号，并将其拆分成新形式：！，->符号。

函数searching王浩算法的主要函数。

函数show和output:显示符号串和推理过程。

五．实验结果

公式正确

公式错误

六．实验总结

公式不是恒真的时候，不一定是恒假的，王浩算法实质上是一个反向推理过程，它把给定的公式化成合取范式，然后通过判断每个子句是否恒真的来判定给定的公式是否是恒真的。所以，王浩算法不能说明公式恒假，只能说明不是恒真的。程序中的move函数十分重要，有的时候可能出现程序不能运行的情况所以，写这个函数时候是非常谨慎小心的。

经典算法SIFT实现即代码解释：

以下便是sift源码库编译后的效果图：

为了给有兴趣实现sift算法的朋友提供个参考，特整理此文如下。要了解什么是sift算法，请参考：九、图像特征提取与匹配之SIFT算法。ok，咱们下面，就来利用Rob Hess维护的sift 库来实现sift算法：

首先，请下载Rob Hess维护的sift 库：

/hess/code/sift/

下载Rob Hess的这个压缩包后，如果直接解压缩，直接编译，那么会出现下面的错误提示：

编译提示:error C1083: Cannot open include file: 'cxcore.h': No such file or

directory，找不到这个头文件。

这个错误，是因为你还没有安装opencv，因为：cxcore.h和cv.h是开源的OPEN

CV头文件,不是VC++的默认安装文件,所以你还得下载OpenCV并进行安装。然后，可以在OpenCV文件夹下找到你所需要的头文件了。

据网友称，截止2010年4月4日，还没有在VC6.0下成功使用opencv2.0的案例。所以，如果你是VC6.0的用户请下载opencv1.0版本。vs的话，opencv2.0,1.0任意下载。

以下，咱们就以vc6.0为平台举例，下载并安装opencv1.0版本、gsl等。当然，你也可以用vs编译，同样下载opencv（具体版本不受限制）、gsl等。

请按以下步骤操作：

一、下载opencv1.0

/projects/opencvlibrary/files/opencv-win/1.0/OpenCV_1.0.exe/download

二、安装opencv1.0，配置Windows环境变量

1、安装注意：假如你是将OpenCV安装到C:/Program Files/OpenCV（如果你安装的时候选择不是安装在C盘，则下面所有对应的C盘都改为你所安装在的那个“X盘”，即可），在安装时选择"将/OpenCV/bin加入系统变量"，打上“勾”。（Add/OpenCV/bin to the systerm PATH。这一步确认选上了之后，下面的检查环境变量的步骤，便可免去）

实验五 查找的实现

一、 实验目的

1．通过实验掌握查找的基本概念；

2．掌握顺序查找算法与实现；

3．掌握折半查找算法与实现。

二、 实验要求

1． 认真阅读和掌握本实验的参考程序。

2． 保存程序的运行结果，并结合程序进行分析。

三、 实验内容

1、建立一个线性表，对表中数据元素存放的先后次序没有任何要求。输入待查数据元素的关键字进行查找。为了简化算法，数据元素只含一个整型关键字字段，数据元素的其余数据部分忽略不考虑。建议采用前哨的作用，以提高查找效率。

2、查找表的存储结构为有序表，输入待查数据元素的关键字利用折半查找方法进行查找。此程序中要求对整型量关键字数据的输入按从小到大排序输入。

一、顺序查找

顺序查找代码：

#include"stdio.h"

#include"stdlib.h"

typedef struct node{

int key;

}keynode;

typedef struct Node{

keynode r[50];

int length;

}list,*sqlist;

int Createsqlist(sqlist s)

{

int i;

printf("请输入您要输入的数据的个数:\n");

scanf("%d",&(s->length));

printf("请输入您想输入的%d个数据;\n\n",s->length);

for(i=0;ilength;i++)

scanf("%d",&(s->r[i].key));

printf("\n");

printf("您所输入的数据为:\n\n"); for(i=0;ilength;i++)

printf("%-5d",s->r[i].key);

printf("\n\n");

return 1;

}

int searchsqlist(sqlist s,int k)

{

int i=0;

#include

#include

#include

# define m 50

int no1; //进程数

int no2; //资源数

int r;

int allocation[m][m],need[m][m],available[m],max[m][m];

char name1[m],name2[m]; //定义全局变量

void main()

{

void check();

void print();

int i,j,p=0,q=0;

char c;

int request[m],allocation1[m][m],need1[m][m],available1[m];

printf("**********************************************\n");

printf("* 银行家算法的设计与实现 *\n");

printf("**********************************************\n");

printf("请输入进程总数:\n");

scanf("%d",&no1);

printf("请输入资源种类数: \n");

scanf("%d",&no2);

printf("请输入Max矩阵:\n");

for(i=0;i

for(j=0;j

scanf("%d",&max[i][j]); //输入已知进程最大资源需求量

printf("请输入Allocation矩阵:\n");

for(i=0;i

for(j=0;j

scanf("%d",&allocation[i][j]); //输入已知的进程已分配的资源数

for(i=0;i

for(j=0;j

need[i][j]=max[i][j]-allocation[i][j]; //根据输入的两个数组计