|
2007年12月17日
摘要:
我们讲一讲A*算法:我们描述一个特别的估价函数f(n),它能估算出从起始节点到n最小代价路径的代价和节点n到一目标节点的最小代价路径的代价总和.我们在介绍A*算法之前先介绍一些有用的记号:k(n,m)表示从节点n到m的之间的最小代价路径的代价,m和n必须是连通的. h*(n)表示n到整个目标节点集合的所有最小代价路径中最小的一个,也就是说h*(n)是n到目标节点的最小代价.我们定义g*(n)=... 阅读全文
摘要:
盲目搜索的效率很低,耗费很多时间和空间,如果我们能找出一种用于从排,及选择最有希望的节点.我们称这种搜索为"启发式搜索"或"信息搜索".进行这种搜索需要有关的信息,这信息称为启发信息,它可以分为3种: 1.用于决定哪个为最有希望的节点,以免盲目的搜索 2.决定从排的顺序. 3.决定那些节点应从搜索树中丢弃.我们下面就讲一讲第一种,也就是判断哪个为最有希望的节点:有序搜索:又称为有最好优先搜索(... 阅读全文
摘要:
置换和合一:置换:在谓词逻辑中一个重要的规则是假元推理,它是由合式公式W1和W1=>W2产生合式公式W2,另一个重要的规是则全称化推理:它是由合式公式(\-/x)W(x)产生合式公式W(A).例一: 表达式P[x,f(y),B]的4个置换是:s1={z/x,w/y}s2={C/y}s3={q(z)/x,A/y}s4={c/x,A/y}可以得到:P[x,f(y),B]s1=P[z,f(w),B]... 阅读全文
摘要:
AI(5)不知你学过离散数学没有,如果学过下面的可以跳过,没学过的最好找一本书学学.我们来看看知识表示法的另一种表示方法:谓词逻辑法谓词逻辑的基本组成部分为:谓词符号,变量符号,函数符号和常量符号,例如要表示机器人(ROBOT)在房间(ROOM)里,我们可以用简单的原子公式:INROOM(ROBOT,ROOM)其中ROBOT和ROOM为常量符号,INROOM为谓词符号,可以当成是一个函数,一个... 阅读全文
摘要:
消解原理: 在我们前面所说的谓词公式,推理规则和置换合一等概念基础上我们进一步研究消解原理. 什么是消解? 我们举个例子:如果存在公式E1\/E2和另一个公式~E2\/E3,那么E1\/E3在逻辑上就成立,这就是消解,我们称E1\/E3为E1\/E2和~E2\/E3的消解式. 在说明消解过程之前,我们先说明任意一谓词演算公式可以化成一个字句集.变换过程如下: ... 阅读全文
摘要:
我们来讲讲高级求解技术:1.规则演绎系统:我们用if-then规则来求解问题: IF if1 if2 if3 ... THEN then1 then2 then3 ...如果then后面是新断言,那么称为规则演绎系统,如果then后面是用于规定动作我们称为反应式系统.我们说说规则演绎系统,通常我们把规则演绎系统中每个if为... 阅读全文
摘要:
作者: Seaky 发表日期: 1999-10-14 23:29:18 返回《VC论坛》 快速返回 我用如下的方法截取屏幕,但我发现截取整个800x600x24屏幕需约200ms,有没有更快的方法? 越快越好! HDC hScrDC,hMemDC; HBITMAP hBitmap,hOldBitmap; hScrDC=CreateDC("DISPLAY",NULL,NULL,NULL); hM... 阅读全文
摘要:
“给你二十万元,三年之内你能够赚回多少钱?”——问题摆在面前的时候,大部分人不会说我三年就会把这些赔光,可是事实总是那么无情。 中国软件业最近一次高潮并不是发生在即将过去的2000年,而是1年前的“红色正版风暴”。今年的无论是“I软件”还是“金山.NET”,终究给人一种概念炒作的嫌疑。今年中国软件业不管是思路还是发展方向,都齐刷刷的转向了Internet,仿佛没有Internet作为支撑... 阅读全文
摘要:
对于VC++初学者,可能会遇到这样一个问题:一个基于Dialog的MFC AppWizard应用程序,再Insert一个对话框,如何同时显示这两个对话框呢? ---- 其实这个问题很简单,想要在屏幕上同时显示两个对话框,并且这两个对话框都可以被激活,则至少第二个对话框应该为非模态对话框。启动非模态对话框的方法与启动一个普通窗口的步骤是一样的,即先调用窗口类的Create()函数创建一个窗口对... 阅读全文
摘要:
作者:夏青虫---- 在我们编制Delphi应用程序,常常需要提供一个密码验证框,对应用程序的使用者进行身份核对。如果能有一个通用的密码验证框,便能够为我们的工作节约不少的时间,更能使我们编制的程序小而快。 以下的程序为你提供了这样的一个DLL文件。 //文件名为CheckPasswordForm.dpr;编译此文件生成CheckPasswordForm.dll l... 阅读全文
|