1.引子一阶逻辑：规则：如果A是人，那么A会死(人是会死的）已知事实：柏拉图是人推理事实：柏拉图会死其思想就是对于已知事实使用非常确定的规则进行推理，希望能发现未知的事实。但是在现实世界中，很少有规则是没有意外的，比如：好人有好报(才怪呢)，郎才配女貌(也不一定)，功到自然成(更是屁话)，甚至连是人就会死都不一定(如果你相信电影《那个男人来自地球》所言其实的话）。那末，我们如何对这类的知识进行建模呢？马尔可父逻辑网提供了一种表示该知识的模型。它通过对规则引
系统 2019-08-12 09:27:14 2789
怎样在Word中插入代码并保持样式不变我们有时候需要在word中添加一段我们写的代码，但是把代码粘贴到word文档中之后就发现所有的代码的样子都变了，我们可以采用下边的方法来实现保持代码原来的样式和颜色高亮1.这种方法适合于讲VisualStudio中的代码粘贴到word文档中a.在word中选择插入选项卡，然后点击对象b.在弹出的窗口中选择OpenDocument文本，之后会弹出一个新的word窗口，将VisualStudio中的代码复制粘贴到这里保存关
系统 2019-08-12 09:26:58 2789
原文NSIS：IfFileExists+Goto实现简单跳转在用户手册中有相关示例，但也许有的同学没有发现，那么我再发一个，仅供入门学习参考。IfFileExists要检测的文件文件存在时跳转的标记[文件不存在时跳转的标记]检测"要检测的文件"是否存在(可以用通配符，或目录)，并当文件存在时跳转到"文件存在时跳转"，否则跳转到"文件不存在时跳转"。Goto要跳转的标记|+偏移|-偏移|用户变量(目标地址)如果指定了标记，则跳转到“要跳转的标记”。如果指定了
系统 2019-08-12 01:55:20 2789
症状:可以通过sqlserver身份验证用户名:sa登陆sql但无法使用windows身份验证登陆环境:win7系统安装系统的时候win7提示输入用户名（客户可以用户名自定义用户名个性化）问题方向：为何无法使用windows身份登陆？而可以使用sqlserver身份登陆。理论来说win7系统完全支持sql2005，就算是sql2008也可以完全支持。解决问题方向:windows身份的权限问题。解决方法:使用"sa"用户登录sqlserver，安全性>登录名
系统 2019-08-12 01:54:32 2789
SQLSERVER2012在ORDERBY子句中加入了新元素offset,允许用户在排序完成的结果集中自定义输出行范围，大大简化了分页SQL的书写方式和效率。以下是与以前的两种分页方式的简单对比usemastergosetnocountongosetshowplan_textongo--2012的OFFSET分页方式selectnumberfromspt_valueswheretype='p'orderbynumberoffset10rowsfetchne
系统 2019-08-12 01:54:20 2789
不同的SQL语句写法，往往会带来很大的性能差异，我们怎么才能知道执行SQL查询开销呢？MySQL为我们提供了EXPLAIN关键词，在你的select语句前加上EXPLAIN关键词，MySQL将解释它是如何处理的SELECT查询，提供有关表如何联接和联接的次序，所扫描的记录数等相关信息，你可以凭借这些信息，来优化你的SQL查询。EXPLAINselectid,usernamefromuserinfowhereusernamelike'%peng%';我们在查
系统 2019-08-12 01:53:35 2789
SQLServer2008联机丛书（2009年5月）ROW_NUMBER(Transact-SQL)返回结果集分区内行的序列号，每个分区的第一行从1开始。Transact-SQL语法约定[http://msdn.microsoft.com/zh-cn/library/ms177563.aspx]语法ROW_NUMBER()OVER([])参数
系统 2019-08-12 01:53:26 2789
一、创建存储过程CREATEPROC存储过程名称[参数列表（多个以“,”分隔）]ASSQL语句例：CREATEPROCupGetUserName@intUserIdINT,@ostrUserNameNVARCHAR(20)OUTPUT--要输出的参数ASBEGIN--将uName的值赋给@ostrUserName变量，即要输出的参数SELECT@ostrUserName=uNameFROMuUserWHEREuId=@intUserIdEND其中CREAT
系统 2019-08-12 01:52:28 2789
OpenCASCADEConictoBSplineCurves-Parabolaeryar@163.comAbstract.RationalBezierCurvecanrepresentconiccurvessuchascircle,ellipse,hyperbola,.etc.ButhowtoconvertaconiccurvetoBSplinecurveisstillquestion,i.e.RepresentaconiccurveinBSplinef
系统 2019-08-12 01:33:28 2789
一、变量命名1、只能包含字母、数字和下划线，并且不能以数字开头，2、不应该跟系统中已有的环境变量重名3、命名要有含义二、变量赋值变量名称=值var_name=value等号两边不能有空格[root@hao~]#NAME=jerry[root@hao~]#echo$NAMEjerry三、bash:变量类型1、环境变量脚本在执行时会启动一个子shell进程。命令行中启动的脚本会继承当前shell环境变量，也就是说环境变量的作用域为当前shell进程及其子she
系统 2019-08-12 01:33:16 2789
