|
|||
|
摘要：
消解原理: 在我们前面所说的谓词公式,推理规则和置换合一等概念基础上我们进一步研究消解原理. 什么是消解? 我们举个例子:如果存在公式E1\/E2和另一个公式~E2\/E3,那么E1\/E3在逻辑上就成立,这就是消解,我们称E1\/E3为E1\/E2和~E2\/E3的消解式. 在说明消解过程之前,我们先说明任意一谓词演算公式可以化成一个字句集.变换过程如下: ... 阅读全文
posted @ 2007-12-17 11:23 csdnexpert 阅读(93) 评论(0) 推荐(0)
摘要：
我们来讲讲高级求解技术:1.规则演绎系统:我们用if-then规则来求解问题: IF if1 if2 if3 ... THEN then1 then2 then3 ...如果then后面是新断言,那么称为规则演绎系统,如果then后面是用于规定动作我们称为反应式系统.我们说说规则演绎系统,通常我们把规则演绎系统中每个if为... 阅读全文
posted @ 2007-12-17 11:23 csdnexpert 阅读(106) 评论(0) 推荐(0)
摘要：
作者: Seaky 发表日期: 1999-10-14 23:29:18 返回《VC论坛》 快速返回 我用如下的方法截取屏幕，但我发现截取整个800x600x24屏幕需约200ms，有没有更快的方法？ 越快越好！ HDC hScrDC,hMemDC; HBITMAP hBitmap,hOldBitmap; hScrDC=CreateDC("DISPLAY",NULL,NULL,NULL); hM... 阅读全文
posted @ 2007-12-17 11:23 csdnexpert 阅读(204) 评论(0) 推荐(0)
摘要：
在C#里只需要调用PInvoke (Platform Invocation) 服务。C# 支持一种sysimport属性支持这种调用。下面是完整的语法形式(在例子里没有用到所有的参数）:[sysimport(dll=dllName,name=functionName,charset=characterSetToBeUsed)]给出一个调用Win32 MessageBox函数的例子:using ... 阅读全文
posted @ 2007-12-17 11:23 csdnexpert 阅读(113) 评论(0) 推荐(0)
摘要：
王敏坚·中国程序员站点Delphi5.0是非常优秀的RAD开发工具，越来越多的人开始认识到这一点并转而使用它，但它也不是完美无缺的，实际上通过手工优化可以极大的提高它为我们工作的效率，我通过实践摸索出一些经验，借电脑报一角与大家分享：一：实现控件面板的平滑滚动：安装过许多控件的朋友都知道，在众多的控件中选择一个实在不是一件轻松的事，鼠标要不停点击，如果能平滑滚动该多好啊，好在Borland的专... 阅读全文
posted @ 2007-12-17 11:23 csdnexpert 阅读(104) 评论(0) 推荐(0)
摘要：
这是在Linux下面最常用的一个统一的链表结构，Linux就是用这个结构将所有的Driver、Device什么的都分别串在一起。我觉得写得非常好，大家来看一看。-----------------------------------------------------------------------------------------------------#ifndef _LINUX_LI... 阅读全文
posted @ 2007-12-17 11:23 csdnexpert 阅读(112) 评论(0) 推荐(0)
摘要：
OICQ是Internet网上常用的通信软件，本文将给出OICQ最新版99c的口令加密方法、与服务器进行通讯的加密方法和用户之间的加密加信方法。一、 口令加密每个oicq帐号的口令都保存在本地的一个文件中。登录oicq时，先将输入的口令与本地的文件进行比较。如果口令与文件中保存的不符，将提示"输入的密码与上次成功登录的密码不一致，是否到服务器验证？"。OICQ 99c的口令文件为matrix.... 阅读全文
posted @ 2007-12-17 11:23 csdnexpert 阅读(126) 评论(0) 推荐(0)
摘要：
用 Delphi 编写 VxD 设备驱动程序(转)关键词：Delphi控件杂项作者：Emil Biserov(dinfo@mail.primorye.ru)(Russion) 英语翻译：Vitaly Zayko(zayko@vitsoftware.com) 中文翻译改编：Riceball(teditor@mailroom.com) 前言 用 Delphi 3.0 编写 VxD 设备驱动程序，... 阅读全文
posted @ 2007-12-17 11:23 csdnexpert 阅读(199) 评论(0) 推荐(0)
摘要：
就是用CPUID指令。这是Pentinum处理器加入的指令，但VC居然不支持它，搞不懂微软在搞什么飞机。不过没关系，我们自己来。#define cpuid __asm _emit 0x0F __asm _emit 0xA2// CPUID的指令代码就是0x0FA2__asm{ mov eax, 1; cpuid; // EAX=1时，CPUID指令返回EAX=CPU版本信息，EDX=... 阅读全文
posted @ 2007-12-17 11:23 csdnexpert 阅读(96) 评论(0) 推荐(0)
摘要：
作者：rix (rix@securiweb.net)backend注：本文来自Phrack56期的《SMASHING C++ VPTRS》。正如大多数国外黑客的文章，技术原理及应用都讲得比较详细，但所提供的源代码似乎总是会存在不大不小的问题。这也许是因为他们觉得应该让读者自己去研究和调试，以更好地掌握这些技术。或许以后我也会这样做。；）测试环境： 操作系统：Red Hat 6.1 (i386... 阅读全文
posted @ 2007-12-17 11:23 csdnexpert 阅读(205) 评论(0) 推荐(0) |
|||
浙公网安备 33010602011771号