-----------------------------------------------------------------------------------------------------------------------------------------reboot重启shutdown-rnow立刻重启(root用户使用)halt立刻关机loginname、w、who、whoami显示登陆用户名logout登出-------------
系统 2019-08-12 09:27:19 2446
1.引子一阶逻辑:规则:如果A是人,那么A会死(人是会死的)已知事实:柏拉图是人推理事实:柏拉图会死其思想就是对于已知事实使用非常确定的规则进行推理,希望能发现未知的事实。但是在现实世界中,很少有规则是没有意外的,比如:好人有好报(才怪呢),郎才配女貌(也不一定),功到自然成(更是屁话),甚至连是人就会死都不一定(如果你相信电影《那个男人来自地球》所言其实的话)。那末,我们如何对这类的知识进行建模呢?马尔可父逻辑网提供了一种表示该知识的模型。它通过对规则引
系统 2019-08-12 09:27:14 2446
1.特性1:支持ACID事务特性;2:高可用;3:可处理上十亿节点与关系;4:非常快的查询速度单一实例可以操作上十亿个节点与关系,当数据吞吐量不足的时候,可以进行分布式布署。在数据关系复杂的情况下,每秒可处理成百万的join操作。2.两种用法Neo4j它有两种用法,一是作为单独服务向外提供使用,另一种是嵌入到程序中被某一个程序完全占有。具体用法学习之后再介绍。类EmbeddedGraphDatabas,它是嵌入式使用中常用到的类,一般用作单个实例,另一个类
系统 2019-08-12 09:27:02 2446
在当前项目开发过程中,客户有根据数据库数据生成WORD文档的需求,在和同事沟通的过程中,找到了两个解决方案1.先通过程序生成报表样式的HTML页面,然后修改HTML页面的后缀名为DOC。2.定制WORD文档的模板文件,在C#中操作WORD模板,生成新的WORD文档。第一方案简单,只需要改动文件的扩展名就行了,但是也存在了一些问题,譬如生成的WORD文档样式的丢失。这样对于客户来说可能是一个无法通过的方案。第二方案比较复杂,需要调用OFFICE的WORD组件
系统 2019-08-12 09:26:49 2446
sql中把varchar类型转换为int型然后进行排序如果我们数据库的ID设置为varchar型的在查询的时候orderbyid的话我们是不希望看到如下情况的。我们可以把varchar转换为int然后进行排序一、[sql]select*fromyourtableorderbycast(yourcolasint);适用于SQLServerOracle二、[sql]select*fromyourtableorderbyconvert(int,yourcol);
系统 2019-08-12 01:54:18 2446
sp_helpindex@objname='ma_lot'--判断某表的索引是不是存在IFEXISTS(SELECT*FROMSYSINDEXESWHEREname='test')PRINT'cunzai'DROPINDEXma_lot.testGOELSEPRINT'bucunzai'--创建索引CREATECLUSTEREDINDEXtestONdbo.mm(MName)sql索引
系统 2019-08-12 01:54:07 2446
今天刚忙完,便抽空做了fc14下的虚拟机的测试,总体感觉在2.6.35的kernel下启动和配置虚拟机的速度比原来要快乐许多,下面就带着各位体验一下吧。(硬件测试环境:IBMR52,2g内存,物理机配置较低毕竟是几年前的,呵呵。艰苦吧!)迁移虚拟机650)this.width=650;"border="0"alt="在Fedora14alpha下测试Kvm情况(视频)_第1张图片"src="http://img.it610.com/image/produc
系统 2019-08-12 01:33:11 2446
python版本:python3.7.4Demo:#!/usr/bin/envpython#-*-coding:utf-8-*-#################################################author:SkyJ#date:2019/7/17################################################importosimportsysimportstringimportdatetime
系统 2019-09-27 17:49:38 2445
margin和padding用来隔开元素,margin是隔开元素与外边,padding是隔开元素里边。例子h2:程序代码h2{font-size:1.5em;background-color:#ccc;margin:1em;padding:3em;}元素四边可以设置的属性:margin-top,margin-right,margin-bottom,margin-left,padding-top,padding-right,padding-bottomand
系统 2019-08-29 23:51:43 2445
在这里我们一块看一下form中几个控件,因为form控件较多这里只简单看几个比较有代表性的。TextField这个是最基本的form控件了,我们看一段代码:Ext.QuickTips.init();//显示提示信息Ext.form.Field.prototype.msgTarget=side;//验证未通过时在对应的控件右侧显示红色提示vartfUserName=newExt.form.TextField({id:"userName",name:userN
系统 2019-08-29 23:48:34 2445