1.引子一阶逻辑：规则：如果A是人，那么A会死(人是会死的）已知事实：柏拉图是人推理事实：柏拉图会死其思想就是对于已知事实使用非常确定的规则进行推理，希望能发现未知的事实。但是在现实世界中，很少有规则是没有意外的，比如：好人有好报(才怪呢)，郎才配女貌(也不一定)，功到自然成(更是屁话)，甚至连是人就会死都不一定(如果你相信电影《那个男人来自地球》所言其实的话）。那末，我们如何对这类的知识进行建模呢？马尔可父逻辑网提供了一种表示该知识的模型。它通过对规则引
系统 2019-08-12 09:27:14 2855
sql中把varchar类型转换为int型然后进行排序如果我们数据库的ID设置为varchar型的在查询的时候orderbyid的话我们是不希望看到如下情况的。我们可以把varchar转换为int然后进行排序一、[sql]select*fromyourtableorderbycast(yourcolasint);适用于SQLServerOracle二、[sql]select*fromyourtableorderbyconvert(int,yourcol);
系统 2019-08-12 01:54:18 2855
http://acm.timus.ru/problem.aspx?space=1&num=1888先分成几个连通块然后枚举每个点为起点计算它所在的连通块以它为起点得到的差（可能不存在）然后更新此连通块的最大差如果某个连通块的最大差不存在则无解如果每个连通块的最大差都存在则需要分两种情况如果只有一个连通块则这个连通块的最大差就是最终的最大差如果有多个连通块则最大差就是49因为每个联通块的起点不确定代码：#include#include
系统 2019-08-12 01:52:43 2855
最近接手了别人的一个DOTNET项目，编译、调试一切都OK（心里暗暗高兴），发布吧，结果放到服务器上一运行出现ConfigurationError错误，提示：“Accesstothepath"c:\wwwroot\jsweb\web.config"isdenied.”。记得几年前做DOTNET项目经常遇到这个错误，于是努力回忆原来是怎么改的，所有权限设置了一溜够，2多小时还是没解决。果断放弃，先下班回家。路上突然想起IIS在对待web.config的注释上
系统 2019-08-12 01:33:35 2855
文章目录第1章Python入门第2章感知机第3章神经网络第4章神经网络的学习第5章误差反向传播第6章与学习相关的技巧1.各种参数更新的方法2.权重的初始值第7章卷积神经网络原书链接（感谢作者，书是真的经典，建议购买纸质书）：https://github.com/zjcao/books/blob/master/%E3%80%8A%E6%B7%B1%E5%BA%A6%E5%AD%A6%E4%B9%A0%E5%85%A5%E9%97%A8%EF%BC%9A%E5
系统 2019-09-27 17:55:57 2854
概述个人遇到过小的需求，windows自动水群发送垃圾消息，使用一些特别简单易上手的小工具，快速实现功能需求（而不是使用一些重量级的还需要额外花时间去熟悉功能语法的大工具，如UI自动化工具sikulix）。在一番摸索下，得出一番结论：对于多平台的UI自动复杂操作，还是去学sikulix吧，这不是啃一点win32api获取窗口句柄就能轻松解决的，毕竟sikulix是MIT大佬折腾出来的。而且，原理也更复杂（通过使用opencv对窗体控件进行识别，进而实现控制
系统 2019-09-27 17:46:41 2854
http://joesen.f2blog.com/read-27.html（转）http://www.lionsky.net/MyWebsite/downsoft/index.aspx（提示多个日历控件下载，还有其他的比如：编辑器，控件都不错的，大家可以去看看）JSCalendar1.0jscalendar-1.0.rar(60.78KB,下载:3513次)应该说是现在最全，最方便的日历，支持UTF-8及世界上所有的语言，很好用，就是文件大了一些。国内的J
系统 2019-08-29 23:27:16 2854
类加载器是Java最强大的特征之一。但是开发者常常忘记类加载组件。类加载器是在运行时负责寻找和加载类文件的类。Java允许使用不同的类加载器，甚至自定义的类加载器。Java程序包含很多类文件，每一个都与单个Java类相对应，这些类文件不像静态C程序，一次性加载入内存，它们随时需要随时加载。这就是类加载器与众不同的地方。它从源文件（通常是.class或.jar文件）获得不依赖平台的字节码，然后将它们加载到JVM内存空间，所以它们能被解释和执行。默认状态下，应
系统 2019-08-29 23:17:40 2854
原载于《数学传播》第十二卷第一期广中平佑先生(H.Hironaka)是本世纪最杰出的数学家之一，任教于美国哈佛大学，是1970年Fieldsmedal的得主，也是1975年日本文化勋章的得奖人。去年（民国七十六年）六月，广中先生以国科会邀请讲习访问我国，台湾大学以英语发表演讲，其中之一便是〈数学中的创造性〉。本文系依据教育资料馆广中先生演讲之现场录音，采逐句翻译而写成，以便同时配合教育数据馆的配音工作。广中先生的演讲十分精彩，给予译者无限启发，极愿与读者分
系统 2019-08-29 23:16:56 2854
分给测试组一个Users权限的用户，使用VirtualMachineConsole运行出现屏幕所示。给虚拟机目录添加Users的写权限后问题解决。Trackba
系统 2019-08-29 22:07:06 2854
