用谓词表示法表示修道士和野人的问题 在河的左岸有三个修道士，三个野人和一条船，修道士想用这条船把所有的人都运到河对岸，但要受到以下条件限制： （1） 修道士和野人都会划船，但船一次只能装运两个人。 （2） 在任何岸边，野人数不能超过修道士，否则修道士会被野人吃掉。 假定野人愿意服从任何一种过河安排，请规划出一种确保修道士安全的过河方案。要求写出所用谓词的定义、功能及变量的个体域。
资源简介：用谓词表示法表示修道士和野人的问题 在河的左岸有三个修道士，三个野人和一条船，修道士想用这条船把所有的人都运到河对岸，但要受到以下条件限制： （1） 修道士和野人都会划船，但船一次只能装运两个人。 （2） 在任何岸边，野人数不能超过修道士，否则修...
上传时间： 2014-01-18
上传用户：star_in_rain
资源简介：人工智能中的八数码问题：附有详细的注释 我们可以将八数码问题看成移动空格的问题.在不断的移动空格过程当中不断改变棋盘的布局,使之到达目标状态. 用一个open表(本程序采用序栈)的节点,从中选择一个总体代价最小的节点(不妨设为A节点,栈不为空时)是否是...
上传时间： 2016-06-05
上传用户：hj_18
资源简介：野人过河问题属于人工智能学科中的一个经典问题,问题描述如下: 有三个牧师(也有的翻译为传教士)和三个野人过河,只有一条能装下两个人的船,在河的任何一方或者船上,如果野人的人数大于牧师的人数,那么牧师就会有危险.
上传时间： 2013-12-17
上传用户：yuanyuan123
资源简介：三个野人和三个传教士要过河。 (1). 有三个野人和三个传教士要过河。 (2).只有一条船过河，船上每次只能座最多两个人。 (3).任何时候，野人的数量不能比传教士多。否则野人就要吃了传教士。 (4).最终三个野人和三个传教士都要过到河的对面。
上传时间： 2016-10-16
上传用户：wkchong
资源简介：用分支限界法求解背包问题（0/1背包） 1.问题描述：已知有N个物品和一个可以容纳TOT重量的背包，每种物品I的重量为Weight，价值为Value。一个只能全放入或者不放入，求解如何放入物品，可以使背包里的物品的总价值最大。 2.设计思想与分析：对物品的选...
上传时间： 2016-02-09
上传用户：我们的船长
资源简介：算法设计:著名的n后问题:在nXn的棋盘上放彼此不受攻击的n个皇后,按国际象棋的规则,任何2个皇后不在同一行或同一列或同一斜线上. 本算法才用回朔法来解决.
上传时间： 2013-12-18
上传用户：h886166
资源简介：本论文主要研究多种子带滤波器组设计以及它们在通信系统中的干扰抑制和检测系统中的信号消噪等应用问题。整篇论文分三个方面:①结构化完全重构滤波器组设计②完全重构非均匀滤波器组设计③滤波器组的应用研究。（用caj可以打开）
上传时间： 2015-12-28
上传用户：lz4v4
资源简介：先對故障依序編碼為陣列形式在用免疫演算法去做計算模擬得到正確的解答
上传时间： 2013-12-21
上传用户：R50974
资源简介：自己动手编的俄罗斯方块游戏。 具有开始、暂停、继续、结束、记分、七种图形方块的变换和不同下落速度等功能。 在游戏窗口下方设置四个用鼠标控制的按键，分别实现开始、暂停、继续和结束功能；窗口右侧显示得分和下一个方块的预览；上方四个子菜单，分别为...
上传时间： 2014-11-05
上传用户：as275944189
资源简介：摘要: 本文介绍了基于FPGA 的出租车计价器系统的功能、设计思想和实现, 该设计采用模块化自上而下的层次化设计,顶 层设计有5 个模块,各模块中子模块采用VHDL 或图形法设计。在Max+plusⅡ下实现编译、仿真等,最后成功下载到FPGA 芯 片中。完成了可预置自动计...
上传时间： 2013-12-09
上传用户：llandlu
资源简介：利用浏览器隐藏图片 运行环境：XPSP2+IE6.0和TT；VC++ 6.0 注意事项：工程压缩包中的convert\Release\convert.exe是示例程序。 在这个目录中有两个BMP文件，其中2.bmp是经过我用PhotoShop处理过的，用来做隐藏文件。1.bmp是正常显示的文件。 运行程序后...
上传时间： 2015-08-29
上传用户：hn891122
资源简介：TLCD99 组件用来模拟液晶显示的。在制作的时候一个弹出式菜单可以用在该控件上，不需要任何 BMP 图象的操作它可以简单的产生液晶显示的数字。可以调整液晶显示数字的大小和范围。
上传时间： 2016-12-19
上传用户：zhenyushaw
资源简介：注意: 1. OS.jar为Java打包可执行文件 2. 由于时间,和界面空间问题,每个进程的资源拥有情况没有详细列明.如果要认真检查 程序的正确性,可以重新编译运行,然后查看Dos界 面下的输出.因为Dos界面下会输出 每个进程的资源情况(包括每个进程对每类资源的最大需求,...
上传时间： 2015-02-28
上传用户：15071087253
资源简介：485的msp430通讯,包括主机和从机的程序.多机通讯,例子是三个弹片机,可以扩展多个,硬件终端电阻要求120,
上传时间： 2013-12-26
上传用户：sxdtlqqjl
资源简介：《加密与解密》第二版电子版 随书光盘(一)演示部分 2003年 本书在第一版的基础上,更新了第一版中的过时内容。 本书共分三个部分。 第一部分介绍与加密和解密技术相关的基础知识。 第二部分全面讲述各种最新的软件加密与解密技术及方法，如静态分析技术...
上传时间： 2014-11-22
上传用户：fredguo
资源简介：《加密与解密》随书光盘(二)工具 本书在第一版的基础上,更新了第一版中的过时内容。 本书共分三个部分。 第一部分介绍与加密和解密技术相关的基础知识。 第二部分全面讲述各种最新的软件加密与解密技术及方法，如静态分析技术，动态分析技术，序列号，警...
上传时间： 2014-01-09
上传用户：清风冷雨
资源简介：《加密与解密》随书光盘(三)工具 本书在第一版的基础上,更新了第一版中的过时内容。 本书共分三个部分。 第一部分介绍与加密和解密技术相关的基础知识。 第二部分全面讲述各种最新的软件加密与解密技术及方法，如静态分析技术，动态分析技术，序列号，警...
上传时间： 2014-12-04
上传用户：qweqweqwe
资源简介：《加密与解密》随书光盘(四)工具 本书在第一版的基础上,更新了第一版中的过时内容。 本书共分三个部分。 第一部分介绍与加密和解密技术相关的基础知识。 第二部分全面讲述各种最新的软件加密与解密技术及方法，如静态分析技术，动态分析技术，序列号，警...
上传时间： 2015-04-23
上传用户：Divine
资源简介：《加密与解密》随书光盘(五)习题 本书在第一版的基础上,更新了第一版中的过时内容。 本书共分三个部分。 第一部分介绍与加密和解密技术相关的基础知识。 第二部分全面讲述各种最新的软件加密与解密技术及方法，如静态分析技术，动态分析技术，序列号，警...
上传时间： 2014-01-10
上传用户：cuiyashuo
资源简介：通信系统的仿真,在现在的毕业设计和课程设计中都有要求的
上传时间： 2014-01-08
上传用户：lanjisu111
资源简介：交通灯实验 1．掌握交通灯控制原理 2．掌握用DSP方法驱动交通灯的方法。 17.2 实验原理 在本实验中交通灯用发光二极管模拟。这种发光二极管有三个引脚。一个接地，另外两个接驱动电平。它能发三种不同颜色的光。
上传时间： 2015-06-07
上传用户：shawvi
资源简介：本文件为进销存管理系统的代码 在VB的环境下运行 用比较简单的结构完成的
上传时间： 2015-06-17
上传用户：维子哥哥
资源简介：用来查看VirtualKey值的程序,在编程的时候,如在设计热键的时候有用.
上传时间： 2013-12-13
上传用户：aix008
资源简介：这个软件是有三个非常好用的vb控件组成，可以查看时间，查看文件，显示名片等，由此可见vb也是比较强大的
上传时间： 2015-08-26
上传用户：1109003457
资源简介：自制USB键盘,含源码,原理图 用了一个4*4的小键盘,有0-9十个数字键, Num Lock键,Caps Lock键,Shift键,Ctrl键,Alt键,回车键等。 最多可以有三个键同时按下，如果相交的话，最多只能两个键按下
上传时间： 2013-12-10
上传用户：lps11188
资源简介：机械手臂的设计,有三个关节和两个手臂,大家共同
上传时间： 2015-11-19
上传用户：lwwhust
资源简介：IRQ4中断有三个中断源：1KHz、2Kz和4KHz,每一个中断分别控制与IOA0-IOA1,IOA2-IOA3和IOA4-IOA7相连的LED灯
上传时间： 2015-11-24
上传用户：sk5201314
资源简介：数字水印技术是指用信号处理的方法在数字化的多媒体数据中嵌入隐蔽的标记，这种标记通常是不可见的，只有通过专用的检测器或阅读器才能提取。数字水印在信息隐藏及图象隐藏方面有着极为广泛的应用。
上传时间： 2015-12-03
上传用户：洛木卓
资源简介：计算机操作系统实验,读者和写者问题.设置了缓冲池,有详细的注解.
上传时间： 2015-12-27
上传用户：大三三
资源简介：HannoiTower游戏 有三个盘子 其中一个安上小下大的顺序摆放,通过其中一个塔移到另一个塔上,移动过程中任然是上小下大的.可以选择级别和记录时间及分数
上传时间： 2014-01-23
上传用户：ggwz258
