CSDN专家博客精华版

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

2007年12月17日

摘要: 消解原理: 在我们前面所说的谓词公式,推理规则和置换合一等概念基础上我们进一步研究消解原理. 什么是消解? 我们举个例子:如果存在公式E1\/E2和另一个公式~E2\/E3,那么E1\/E3在逻辑上就成立,这就是消解,我们称E1\/E3为E1\/E2和~E2\/E3的消解式. 在说明消解过程之前,我们先说明任意一谓词演算公式可以化成一个字句集.变换过程如下: ... 阅读全文

posted @ 2007-12-17 11:23 csdnexpert 阅读(95) 评论(0) 推荐(0)

摘要: 我们来讲讲高级求解技术:1.规则演绎系统:我们用if-then规则来求解问题: IF if1 if2 if3 ... THEN then1 then2 then3 ...如果then后面是新断言,那么称为规则演绎系统,如果then后面是用于规定动作我们称为反应式系统.我们说说规则演绎系统,通常我们把规则演绎系统中每个if为... 阅读全文

posted @ 2007-12-17 11:23 csdnexpert 阅读(110) 评论(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 阅读(207) 评论(0) 推荐(0)

摘要: “给你二十万元,三年之内你能够赚回多少钱?”——问题摆在面前的时候,大部分人不会说我三年就会把这些赔光,可是事实总是那么无情。 中国软件业最近一次高潮并不是发生在即将过去的2000年,而是1年前的“红色正版风暴”。今年的无论是“I软件”还是“金山.NET”,终究给人一种概念炒作的嫌疑。今年中国软件业不管是思路还是发展方向,都齐刷刷的转向了Internet,仿佛没有Internet作为支撑... 阅读全文

posted @ 2007-12-17 11:23 csdnexpert 阅读(109) 评论(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 阅读(115) 评论(0) 推荐(0)

摘要: 王敏坚·中国程序员站点Delphi5.0是非常优秀的RAD开发工具,越来越多的人开始认识到这一点并转而使用它,但它也不是完美无缺的,实际上通过手工优化可以极大的提高它为我们工作的效率,我通过实践摸索出一些经验,借电脑报一角与大家分享:一:实现控件面板的平滑滚动:安装过许多控件的朋友都知道,在众多的控件中选择一个实在不是一件轻松的事,鼠标要不停点击,如果能平滑滚动该多好啊,好在Borland的专... 阅读全文

posted @ 2007-12-17 11:23 csdnexpert 阅读(108) 评论(0) 推荐(0)

摘要: 这是在Linux下面最常用的一个统一的链表结构,Linux就是用这个结构将所有的Driver、Device什么的都分别串在一起。我觉得写得非常好,大家来看一看。-----------------------------------------------------------------------------------------------------#ifndef _LINUX_LI... 阅读全文

posted @ 2007-12-17 11:23 csdnexpert 阅读(113) 评论(0) 推荐(0)

摘要: OICQ是Internet网上常用的通信软件,本文将给出OICQ最新版99c的口令加密方法、与服务器进行通讯的加密方法和用户之间的加密加信方法。一、 口令加密每个oicq帐号的口令都保存在本地的一个文件中。登录oicq时,先将输入的口令与本地的文件进行比较。如果口令与文件中保存的不符,将提示"输入的密码与上次成功登录的密码不一致,是否到服务器验证?"。OICQ 99c的口令文件为matrix.... 阅读全文

posted @ 2007-12-17 11:23 csdnexpert 阅读(129) 评论(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 阅读(203) 评论(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 阅读(98) 评论(0) 推荐(0)

上一页 1 ··· 55 56 57 58 59 60 61 62 63 ··· 520 下一页