1.引子一階邏輯：規(guī)則：如果A是人，那么A會(huì)死(人是會(huì)死的）已知事實(shí)：柏拉圖是人推理事實(shí)：柏拉圖會(huì)死其思想就是對(duì)于已知事實(shí)使用非常確定的規(guī)則進(jìn)行推理，希望能發(fā)現(xiàn)未知的事實(shí)。但是在現(xiàn)實(shí)世界中，很少有規(guī)則是沒有意外的，比如：好人有好報(bào)(才怪呢)，郎才配女貌(也不一定)，功到自然成(更是屁話)，甚至連是人就會(huì)死都不一定(如果你相信電影《那個(gè)男人來自地球》所言其實(shí)的話）。那末，我們?nèi)绾螌?duì)這類的知識(shí)進(jìn)行建模呢？馬爾可父邏輯網(wǎng)提供了一種表示該知識(shí)的模型。它通過對(duì)規(guī)則引
系統(tǒng) 2019-08-12 09:27:14 2537
OEMAddressTable一般在ARM架構(gòu)的CPU上，物理地址都是統(tǒng)一編址的，尋址空間為4GB(32BitCPU)。也就是說，針對(duì)一個(gè)ARM的處理器，它可以訪問的物理空間是4GB。在WinCE中，ARM中的4GB物理地址空間將被映射為512MB的虛擬內(nèi)存空間。OEMAddressTable就是一個(gè)4GB物理地址空間到WinCEKernel中的512MB虛擬地址空間的映射表。在BSP中，會(huì)定義OEMAddressTable來描述系統(tǒng)中可訪問的物理空間及對(duì)
系統(tǒng) 2019-08-12 09:26:45 2537
在網(wǎng)上看到有個(gè)人的博客,寫了個(gè)openstack云5天學(xué)習(xí)資料。對(duì)于英文不怎么好的童鞋來說，感覺還能夠。能夠?qū)penstack有所了解和認(rèn)識(shí)，對(duì)興許openstack更加深入的學(xué)習(xí)有非常大的幫組。OpenStack云第一天http://manual.blog.51cto.com/3300438/965389OpenStack云第二天http://manual.blog.51cto.com/3300438/967858OpenStack云第三天http:/
系統(tǒng) 2019-08-12 01:33:03 2537
又一個(gè)多月沒冒泡了，其實(shí)最近學(xué)了些東西，但是沒有安排時(shí)間整理成博文，后續(xù)再奉上。最近還寫了一個(gè)發(fā)郵件的組件以及性能測(cè)試請(qǐng)看《NET開發(fā)郵件發(fā)送功能的全面教程(含郵件組件源碼)》，還弄了個(gè)MSSQL參數(shù)化語法生成器，會(huì)在9月整理出來，有興趣的園友可以關(guān)注下我的博客。分享原由，最近公司用到，并且在找最合適的方案，希望大家多參與討論和提出新方案。我和我的小伙伴們也討論了這個(gè)主題，我受益匪淺啊……博文示例：GUID生成Int64值后是否還具有唯一性測(cè)試Random
系統(tǒng) 2019-08-12 01:31:54 2536
第四章基本編輯命令的擴(kuò)展啟動(dòng)vi時(shí)的選項(xiàng)前進(jìn)到指定位置vi+nfile打開文件到第n行,等同于vi–cnfilevi+file打開文件到最后一行vi+/patternfile打開文件到模式首次出現(xiàn)的位置vi–c/'youmake'這里的引號(hào)是為了適應(yīng)shell的規(guī)定只讀方式vi–Rfilename或viewfilename如果決定要對(duì)文件進(jìn)行編輯,那么可以通過在write命令上添加感嘆號(hào)來忽略只讀方式：:w!:wq!恢復(fù)緩沖區(qū)輸入ex–r或vi–r將得到系
系統(tǒng) 2019-08-12 09:27:43 2534
我們時(shí)常需要查詢系統(tǒng)相關(guān)的信息，比如頁面大小，整數(shù)大小之類，如果編寫程序去計(jì)算會(huì)比較繁瑣，這里有一個(gè)很有用的命令，可以用來獲取系統(tǒng)相關(guān)信息。它就是getconf。$getconfPAGE_SIZE4096$getconfINT_MAX2147483647查看Ubuntu操作系統(tǒng)位數(shù)Fromhttp://wiki.ubuntu.org.cn/UbuntuSkills#.E6.9F.A5.E7.9C.8B.E7.B3.BB.E7.BB.9F.E6.98.AF3
系統(tǒng) 2019-08-12 09:27:27 2534
1卸載fcitx相關(guān)軟件包如果系統(tǒng)安裝了fcitx相關(guān)東西,需要卸載，因?yàn)樵吹膄citx版本太低．請(qǐng)謹(jǐn)慎，后果自負(fù)．a(chǎn)pt-getpurgefcitx-*2手動(dòng)下載最新的fcitx軟件包手動(dòng)麻煩，且安裝順序有依賴，上個(gè)腳本．#!/bin/bash##TheMITLicense(MIT)#Copyright(c)2014fishcried(tianqing.w@gmail.com)#pkgs="fcitx-libs_4.2.8.4-3~bpo70+1_amd
系統(tǒng) 2019-08-12 09:27:03 2534
FollowupforN-Queensproblem.Now,insteadoutputtingboardconfigurations,returnthetotalnumberofdistinctsolutions.#include#include#includeusingnamespacestd;classSolution{public:intres=0;inttotalNQueens(intn){vec
系統(tǒng) 2019-08-12 09:26:51 2534
執(zhí)行shell腳本時(shí)出現(xiàn)badinterpreter:Nosuchfileordirectory錯(cuò)誤，一般是因?yàn)閘inux無法識(shí)別出Windows的DOS格式，此時(shí)只需將文件格式轉(zhuǎn)換成unix的即可方法如下：1、編輯出錯(cuò)文件vimfilename2、查看該格式（報(bào)錯(cuò)文件格式是DOS）:setff3、修改格式:setff=unix4、保存退出:wq!5、搞定badinterpreter:Nosuchfileordirectory解決
系統(tǒng) 2019-08-12 09:27:13 2533
矩陣和圖像的操作(1)cvAbs，cvAbsdiff，cvAbsDiffS它們的結(jié)構(gòu)為：voidcvAbs(//取src中元素的絕對(duì)值，寫到dst中constCvArr*src,constdst);voidcvAbsDiff(//src1減去src2的差的絕對(duì)值存入dstconstCvArr*src1,constCvArr*src2,constdst);voidcvAbsDiffs(//src中每一個(gè)元素減去value存入dst中constCvArr*sr
系統(tǒng) 2019-08-12 01:33:29 2533
中華傳統(tǒng)文化源于《易》，成于孝，孝為德之本。孝順：孝則順，不孝則不順。不久前，參加Thoughtworks組織的一場(chǎng)自動(dòng)化測(cè)試的分享，同事由于出差國(guó)外不能參加，特意囑托我提問兩個(gè)問題：在互聯(lián)網(wǎng)這個(gè)將“敏捷”與“持續(xù)集成”進(jìn)行積極實(shí)踐的環(huán)境里，“敏捷測(cè)試”與“自動(dòng)化測(cè)試”成了一個(gè)大家經(jīng)常探討的話題，那么自動(dòng)化測(cè)試最佳的實(shí)行時(shí)間是在什么時(shí)候？如何推行最有效的自動(dòng)化測(cè)試？以下謹(jǐn)代表個(gè)人觀點(diǎn)：個(gè)人整理了一些測(cè)試最佳實(shí)踐并參考查閱了一些測(cè)試?yán)碚摰臅志C合了個(gè)人工
系統(tǒng) 2019-08-12 09:27:25 2532
（一）Keystone端的操作（二）如何在OpenStack服務(wù)上部署Keystone中間件（三）詳細(xì)配置keystonemiddlewareOpenStack項(xiàng)目如果要使用Keystone作為統(tǒng)一的身份與權(quán)限管理系統(tǒng),需要做一定的設(shè)置工作,我們將這些設(shè)置劃分為在Keystone端進(jìn)行的操作和在其他OpenStack服務(wù)端進(jìn)行的操作,本文介紹在Keystone端如何為其他服務(wù)建立對(duì)應(yīng)的"服務(wù)用戶"和維護(hù)整個(gè)系統(tǒng)的服務(wù)目錄.OenStack中用戶使用身份憑證
系統(tǒng) 2019-08-12 09:27:19 2532
@echo安裝WindowService@SetPath=C:\WINDOWS\Microsoft.NET\Framework\v2.0.50727;@Setsvn_dir=%cd%installutilE:\地域連攜\AreaConnection\BIN\debug\Necsoft.Medical.Area.Svc.exe@echo成功！@echo卸載WindowService@SetPath=C:\WINDOWS\Microsoft.NET\Frame
系統(tǒng) 2019-08-12 01:33:14 2530
分久必合合久必分。按照螞蟻社區(qū)的目前做法看，主題一定不能過于模糊．但是也不能過于細(xì)．既不能按照像豆瓣按一本書、一張光碟、一個(gè)地方等來組織．也不能像論壇一樣按照板塊來組織。按照百度帖吧或者博啦360的形式是可以的。要能夠機(jī)器組織和用戶自組織相結(jié)合。這時(shí)也許會(huì)問“比如我喜歡養(yǎng)狗，但是如果去看相關(guān)咨詢的時(shí)候，我還是愿意去專業(yè)的網(wǎng)站。你考慮過這個(gè)問題嗎？以后會(huì)劃分的越來越細(xì)，專業(yè)網(wǎng)站會(huì)層出不窮，像flickrxiaonei這樣的網(wǎng)站。”沒錯(cuò)。這也是傳統(tǒng)搜索引擎所遇
系統(tǒng) 2019-08-12 01:31:44 2529
網(wǎng)上看到很多單點(diǎn)登錄的原理和實(shí)例，講的像廣告一樣。哎，我看了好幾天還是看不明白。但是項(xiàng)目需要這個(gè)功能，于是，我自己做了一個(gè)。發(fā)布出來，希望像我一樣的需求的人能早些解決問題。思路：使用第三方認(rèn)證。那么就要用到跨域訪問（就是變量要在不同ip地址下實(shí)現(xiàn)訪問），大白話說，就是網(wǎng)絡(luò)訪問。我不會(huì)Socket,就用Remoting吧！（Application不可以，因?yàn)樗荒芸缰鳈C(jī)）看代碼：1，建類庫StatusService，在它里面建類LoginListusingS
系統(tǒng) 2019-08-12 01:31:58 2527
