|
|||
|
摘要：
消解原理: 在我们前面所说的谓词公式,推理规则和置换合一等概念基础上我们进一步研究消解原理. 什么是消解? 我们举个例子:如果存在公式E1\/E2和另一个公式~E2\/E3,那么E1\/E3在逻辑上就成立,这就是消解,我们称E1\/E3为E1\/E2和~E2\/E3的消解式. 在说明消解过程之前,我们先说明任意一谓词演算公式可以化成一个字句集.变换过程如下: ... 阅读全文
posted @ 2007-12-17 11:23 csdnexpert 阅读(103) 评论(0) 推荐(0)
摘要：
我们来讲讲高级求解技术:1.规则演绎系统:我们用if-then规则来求解问题: IF if1 if2 if3 ... THEN then1 then2 then3 ...如果then后面是新断言,那么称为规则演绎系统,如果then后面是用于规定动作我们称为反应式系统.我们说说规则演绎系统,通常我们把规则演绎系统中每个if为... 阅读全文
posted @ 2007-12-17 11:23 csdnexpert 阅读(115) 评论(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 阅读(211) 评论(0) 推荐(0)
摘要：
“给你二十万元，三年之内你能够赚回多少钱？”——问题摆在面前的时候，大部分人不会说我三年就会把这些赔光，可是事实总是那么无情。 中国软件业最近一次高潮并不是发生在即将过去的2000年，而是1年前的“红色正版风暴”。今年的无论是“I软件”还是“金山.NET”，终究给人一种概念炒作的嫌疑。今年中国软件业不管是思路还是发展方向，都齐刷刷的转向了Internet，仿佛没有Internet作为支撑... 阅读全文
posted @ 2007-12-17 11:23 csdnexpert 阅读(114) 评论(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 阅读(106) 评论(0) 推荐(0)
摘要：
作者：rix (rix@securiweb.net)backend注：本文来自Phrack56期的《SMASHING C++ VPTRS》。正如大多数国外黑客的文章，技术原理及应用都讲得比较详细，但所提供的源代码似乎总是会存在不大不小的问题。这也许是因为他们觉得应该让读者自己去研究和调试，以更好地掌握这些技术。或许以后我也会这样做。；）测试环境： 操作系统：Red Hat 6.1 (i386... 阅读全文
posted @ 2007-12-17 11:23 csdnexpert 阅读(207) 评论(0) 推荐(0)
摘要：
基本形状开发Microsoft Corporation 2000年10月 适用于Microsoft Visio 2000 企业版Microsoft Visio 2000 专业版Microsoft Visio 2000 标准版Microsoft Visio 2000 技术版摘要： 本文介绍如何绘制您自己的 Microsoft Visio 形状。其中探讨了绘制 Visio SmartShapes ... 阅读全文
posted @ 2007-12-17 11:23 csdnexpert 阅读(145) 评论(0) 推荐(0)
摘要：
垂直对齐文本 在“格式”菜单上单击“文本”，然后单击“文本块”。 默认情况下是“居中”，使文本超出形状的高度，延伸到顶端和底端之外。选择“靠上”可使文本与形状的顶部对齐，只延伸到底端之外，这样看起来更分明。选择“靠下”可使文本底线与底端边界对齐。 水平对齐文本 在“格式”菜单上单击“文本”，然后单击“段落”。 现在您可以选择“靠左”、“居中”、“靠右”、“两端对齐”或“强制对齐”。如果希望文本... 阅读全文
posted @ 2007-12-17 11:23 csdnexpert 阅读(199) 评论(0) 推荐(0)
摘要：
Unix/Linux作坊原始文件：Linux IP Masquerade mini HOWTO Ambrose Au, achau@wwonline.com v1.00, 1 January 1997翻译日期：1997/04/14翻译维护：asdchen@ms1.hinet.net O-------------------------------... 阅读全文
posted @ 2007-12-17 11:23 csdnexpert 阅读(279) 评论(0) 推荐(0)
摘要：
本文适用于DX8, DX7 VS6中的MSDN所带的DXSDK较老，要查DX8或DX7有关的帮助可能不够方便。我们在DXDevList中看到过一组讨论，其中Tom Spilman先生发现一个好办法将DX7 Help 合并到MSDN中(DX8也同样如此)，Matthew Waddilove先生做了在VS6下的补充。我们按着他们介绍的方法在VS98下试用成功，并略有简化，感觉这种比较实用，因此整... 阅读全文
posted @ 2007-12-17 11:23 csdnexpert 阅读(134) 评论(0) 推荐(0) |
|||
浙公网安备 33010602011771号