1.引子一阶逻辑：规则：如果A是人，那么A会死(人是会死的）已知事实：柏拉图是人推理事实：柏拉图会死其思想就是对于已知事实使用非常确定的规则进行推理，希望能发现未知的事实。但是在现实世界中，很少有规则是没有意外的，比如：好人有好报(才怪呢)，郎才配女貌(也不一定)，功到自然成(更是屁话)，甚至连是人就会死都不一定(如果你相信电影《那个男人来自地球》所言其实的话）。那末，我们如何对这类的知识进行建模呢？马尔可父逻辑网提供了一种表示该知识的模型。它通过对规则引
系统 2019-08-12 09:27:14 2777
原文:删除MySQL重复数据删除MySQL重复数据项目背景在最近做的一个linux性能采集项目中，发现线程的程序入库很慢，再仔细定位，发现数据库里面很多冗余数据。因为在采集中，对于同一台设备，同一个时间点应该只有一个数据，然而，数据库中存入了多个数据。对于如何造成了这个结果，一时没有想清楚，但为了解决入库慢的问题，首先要删除冗余数据。问题描述数据库的表结构很简单，如下：+----------------+--------------+------+----
系统 2019-08-12 01:55:38 2777
SymptomsAccessingcertainJIRApagesresultin:SEVERE:Internalservererrorcom.atlassian.jira.issue.index.SearchUnavailableException:com.atlassian.util.concurrent.LazyReference$InitializationException:com.atlassian.jira.util.RuntimeIOExc
系统 2019-08-12 01:54:32 2777
症状:可以通过sqlserver身份验证用户名:sa登陆sql但无法使用windows身份验证登陆环境:win7系统安装系统的时候win7提示输入用户名（客户可以用户名自定义用户名个性化）问题方向：为何无法使用windows身份登陆？而可以使用sqlserver身份登陆。理论来说win7系统完全支持sql2005，就算是sql2008也可以完全支持。解决问题方向:windows身份的权限问题。解决方法:使用"sa"用户登录sqlserver，安全性>登录名
系统 2019-08-12 01:54:32 2777
最近接手了别人的一个DOTNET项目，编译、调试一切都OK（心里暗暗高兴），发布吧，结果放到服务器上一运行出现ConfigurationError错误，提示：“Accesstothepath"c:\wwwroot\jsweb\web.config"isdenied.”。记得几年前做DOTNET项目经常遇到这个错误，于是努力回忆原来是怎么改的，所有权限设置了一溜够，2多小时还是没解决。果断放弃，先下班回家。路上突然想起IIS在对待web.config的注释上
系统 2019-08-12 01:33:35 2777
OpenCASCADEConictoBSplineCurves-Parabolaeryar@163.comAbstract.RationalBezierCurvecanrepresentconiccurvessuchascircle,ellipse,hyperbola,.etc.ButhowtoconvertaconiccurvetoBSplinecurveisstillquestion,i.e.RepresentaconiccurveinBSplinef
系统 2019-08-12 01:33:28 2777
PCurve-CurveonSurfaceeryar@163.comAbstract.本文通过给出曲面上曲线PCurve的定义来对OpenCascade中的CurveOnSurface进行理解，并介绍了OpenCascade对应的类BRep_CurveOnSurface实现。通过Tcl脚本输出的球的拓朴信息，分析PCurve的实际应用。Keywords.OpenCascade,ACIS,PCurve,CurveonSurface,ParametricSur
系统 2019-08-12 01:33:09 2777
如果是用MacBook的xcode来进行开发，多多少少觉得屏幕空间有点不够用，特别是有多个视图控制器的时候。xcode可以在一个界面中打开多个子界面,然后可以轻松跳转而互不影响，如下图所示。操作方式：option+shift，然后点击要打开的文件，会出现以下选项~可以直接点击“+”添加Tab，这个看图还是明了的。xcode用Tab建立了多个子界面
系统 2019-08-12 01:32:54 2777
安装插件简易方法：菜单--》Preferences->浏览插件包会打开C:\DocumentsandSettings\用户名\ApplicationData\SublimeText2\Packages把下面三个插件放里面，以后可以直接使用线安装插件default菜单：汉化包PackageControl插件：方便在线安装插件ConvertToUTF8插件：解决GBK文件乱码汉化包下载：点这里！！SublimeText2.0.1版本Build2217汉化包
系统 2019-08-12 01:31:48 2777
