1.引子一阶逻辑：规则：如果A是人，那么A会死(人是会死的）已知事实：柏拉图是人推理事实：柏拉图会死其思想就是对于已知事实使用非常确定的规则进行推理，希望能发现未知的事实。但是在现实世界中，很少有规则是没有意外的，比如：好人有好报(才怪呢)，郎才配女貌(也不一定)，功到自然成(更是屁话)，甚至连是人就会死都不一定(如果你相信电影《那个男人来自地球》所言其实的话）。那末，我们如何对这类的知识进行建模呢？马尔可父逻辑网提供了一种表示该知识的模型。它通过对规则引
系统 2019-08-12 09:27:14 2705
OEMAddressTable一般在ARM架构的CPU上，物理地址都是统一编址的，寻址空间为4GB(32BitCPU)。也就是说，针对一个ARM的处理器，它可以访问的物理空间是4GB。在WinCE中，ARM中的4GB物理地址空间将被映射为512MB的虚拟内存空间。OEMAddressTable就是一个4GB物理地址空间到WinCEKernel中的512MB虚拟地址空间的映射表。在BSP中，会定义OEMAddressTable来描述系统中可访问的物理空间及对
系统 2019-08-12 09:26:45 2705
原文:SQLServer：FUNCTION/CURSOR/PROCEDURE/TRIGGER一.FUNCTION:在sqlserver2008中有3中自定义函数：标量函数/内联表值函数/多语句表值函数，首先总结下他们语法的异同点：同点：1.创建定义是一样的：a,CREATEFUNCTIONF_NAME(传入的参数名称传入参数的类型)b,RETURNS返回值类型c,AS异点：1.标量函数返回的是一个数据类型值，内联表值函数返回的是一个table，而多语句返回
系统 2019-08-12 01:55:39 2705
临时需要将Mysql中一张表导出成Excel表格，有个phpexcel的插件可以用，我觉得有点麻烦，况且我是临时要备份的，就直接自己写了。
系统 2019-08-12 01:54:42 2705
C#获取时间，日期//C#里内置的DateTime基本上都可以实现这些功能，巧用DateTime会使你处理这些事来变轻松多了//今天DateTime.Now.Date.ToShortDateString();//昨天，就是今天的日期减一DateTime.Now.AddDays(-1).ToShortDateString();//明天，同理，加一DateTime.Now.AddDays(1).ToShortDateString();//本周(要知道本周的第一
系统 2019-08-12 01:32:32 2705
SQLSERVER2008中,ReportingService不再依赖于IIS,这带来很多利处，不过这也意味着不能够直接通过配置IIS的虚拟目录部署来实现匿名访问了。下面我们就看一下在SSRS2008中怎么能够实现报表的“匿名访问”，不过对于一个正式项目来说，建议不要并且从不允许匿名来访问报表。1.实现IReportServerCredentials接口对于使用Asp.Net的ReportViewer控件，实现IReportServerCredential
系统 2019-08-12 01:32:31 2705
原文NSIS：使用WinVer.nsh头文件判断操作系统版本AtLeastWin检测是否高于指定版本IsWin检测指定版本（唯一限定版本）AtMostWin检测是否低于指定版本允许的值：95、98、ME、NT4、2000、XP、2003、Vista、2008、7、2008R2示例1：01name"使用头文件判断操作系统"02outfile'使用头文件判断操作系统.exe'0304!in
系统 2019-08-12 01:32:12 2705
运行环境：python3.6.0初学opencv，看着程序跟书本都一样啊，突然报了以下错误Traceback(mostrecentcalllast):File"E:/Python/Projects/week1/不是闹着玩儿嘞/example/test.py",line3550,incv.imshow("image",img)cv2.error:OpenCV(4.1.0)C:\projects\opencv-python\opencv\modules\hig
系统 2019-09-27 17:52:36 2704
这些技巧主要讲meta标签设置的，其实与符合web标准关系不大，只要注意在最后加"/"关闭标签就可以，但是既然是入门教程，就写得详细一点吧。收藏夹小图标首先制作一个16x16的icon图标，命名为favicon.ico，放在根目录下。然后将下面的代码嵌入head区：程序代码
系统 2019-08-29 23:39:43 2704
1.可创建项目类型可通过FlexBuilder2.0创建下面3种类型的项目：Flex2项目：基于FlexFramework；AS3.0项目：创建ActionScript3.0，使用AS动态绘制界面等。Flex库项目：创建自己的库文件，将Flex组件或者其他资源封装在一起，形成一个SWC文件，FlexFramework就被封装为一个SWC文件。可在任何地方使用。2.创建Flex项目FlexProject选择菜单：File->New->FlexProjectF
系统 2019-08-29 23:25:41 2704
