CSDN专家博客精华版

为人民服务!
  首页  :: 新随笔  :: 管理
上一页 1 ··· 57 58 59 60 61 62 63 64 65 ··· 521 下一页

2007年12月17日

摘要: 消解原理: 在我们前面所说的谓词公式,推理规则和置换合一等概念基础上我们进一步研究消解原理. 什么是消解? 我们举个例子:如果存在公式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)

上一页 1 ··· 57 58 59 60 61 62 63 64 65 ··· 521 下一页