Time of Update: 2018-12-05
注【2011-05-18】:暴力法確實很慢,這裡的例子用手頭的機跑一個平均30s。園子裡wuzy翻譯了國外的一篇解數獨教程裡的演算法快很多:http://www.cnblogs.com/emanonwzy/archive/2011/05/12/2044881.html#2096360==========================================================public class ShuDuTest { private static int[][]
Time of Update: 2018-12-05
Personal Package Archives (PPA) allow you to upload Ubuntu source packages to be built and published as an apt repository by Launchpad。添加PPA命令:sudo add-apt-repository <ppa-name> 其中ppa-name一般軟體首頁上會給出。比如安裝fcitx時的命令如下:sudo add-apt-repository ppa:
Time of Update: 2018-12-05
轉自:http://www.javaeye.com/news/18725 Structural(結構模式)Adapter:把一個介面或是類變成另外一種。java.util.Arrays#asList()javax.swing.JTable(TableModel)java.io.InputStreamReader(InputStream)java.io.OutputStreamWriter(OutputStream)javax.xml.bind.annotation.adapters.XmlAda
Time of Update: 2018-12-05
今天客戶強烈要求在軟體中添加清除IE緩衝的功能,好吧,藉助批處理完成了,代碼相當噁心,記下來備用吧。JAVA代碼:String cmd = "cmd /K set \"z=HKCU\\Software\\Microsoft\\Windows\\CurrentVersion\\Explorer\\Shell Folders\" & for %a in (cache history cookies) do ( for /f \"tokens=2*\" %b in (\'reg query \
Time of Update: 2018-12-05
作業系統:Mainframe operating systems include:OS family, including: OS/360, OS/MFT, OS/MVT, OS/VS1, OS/VS2, MVS, OS/390, z/OSDOS family, including: DOS/360, DOS/VS, DOS/VSE, z/VSEVM family, including: CP/CMS, VM/370, VM/XA, VM/ESA, z/VMSpecial purpose
Time of Update: 2018-12-05
ANTLR 是一個 LL(k) 文法分析器——也就是說,它遵循自頂向下的文法分析演算法,具有從左至右地分析輸入資料流的先行分析 k 標記。Antlr(ANother Tool for Language
Time of Update: 2018-12-05
一、使用 Equinox 開發 OSGi 應用程式地址:http://www.ibm.com/developerworks/cn/education/opensource/os-eclipse-osgi/index.html教程簡介:本教程就將示範如何在 Eclipse 環境下利用 Equinox 架構進行 OSGi 應用開發。首先解釋了實現上述應用程式所必需瞭解的基本概念和基礎知識,並結合範例程式碼示範 OSGi 開發的一些重要技術,最後探討了基於 OSGi
Time of Update: 2018-12-05
來自:http://macrochen.javaeye.com/blog/220817servletContext.getRealPath("/") , 這個是得到應用的絕對路徑, 比如:F:\apache-tomcat-5.5.17\webapps\baiyao\ requset.getContextPath() 獲得應用程式名稱,比如/baiyaorequest.getServletPath() 這個是得到引用的路徑, 但是不包括應用程式名稱,
Time of Update: 2018-12-05
以下內容主要來自維基百科形式科學是指主要研究對象為抽象形態的科學,如邏輯、數學、計算理論、資訊理論、統計學等。專門研究語言的文法的數學和電腦科學分支叫做形式語言理論,它只研究語言的文法而不致力於它的語義。在電腦科學中,形式語言是:某個字母表上,一些有限長字串的集合,而形式文法是描述這個集合的一種方法。形式文法之所以這樣命名,是因為它與人類自然語言中的文法相似的緣故。形式文法描述形式語言的基本想法是,從一個特殊的初始符合出發,不斷的應用一些產生式規則,從而產生出一個字串的集合。產生式規則指定了某些
Time of Update: 2018-12-05
/*首先定義一個DAO異常,繼承自RuntimeException。繼承RuntimeException的原因是可以給業務層自由選擇是否處理異常,且不用在介面中聲明拋出異常,避免介面汙染。*/class DAOException extends RuntimeException {//...}//定義DAO介面interface DAO {void create(PO po);PO research(Object poId);void update(PO po);void delete(PO
Time of Update: 2018-12-05
當使用者在瀏覽器中輸入一個需要登入的網址時,系統會首先自動從Hosts檔案中尋找對應的IP地址,一旦找到,系統會立即開啟對應網頁,如果沒有找到,則系統再會將網址提交DNS網域名稱解析伺服器進行IP地址的解析。 linux位置:/etc/hosts windows位置:c:/windows/system32/driver/etc/hosts修改host檔案訪問appspot的方法:1 ping www.google.com 得到IP地址,假設IP為203.208.46.1462
Time of Update: 2018-12-05
轉自:http://www.w3.org/XML/1999/XML-in-10-points.html1. XML is for structuring dataStructured data includes things like spreadsheets, address books, configuration parameters, financial transactions, and technical drawings. XML is a set of rules (you
Time of Update: 2018-12-05
最近自己折騰視窗管理器,看了很多linux啟動的資料,感覺這篇文章分析的最詳細,轉過來收藏。原文地址:http://hi.baidu.com/loring_zhang/blog/item/cb126dfdcf489f77034f56bf.html============================================安裝好的ubuntu預設的是從圖形介面啟動,這不免讓人搞不懂系統是怎麼啟動並執行。相對於傳統的shell,ubuntu
Time of Update: 2018-12-05
轉自:http://www.chentaoqian.com/archives/751為單個Web應用 配置逾時時間可以在web.xml中使用<session-config>元素,如<web-app><!–filter.listener,servlet,and servlet- mapping等元素要在session-config之前–> <session-config> <session-timeout>15 </session-
Time of Update: 2018-12-05
一、互斥量(mutex) 互斥量本質上是一把鎖,在訪問共用資源前對互斥量進行加鎖,在訪問完成後釋放互斥量上的鎖。 對互斥量進行加鎖以後,任何其它試圖再次對互斥量加鎖的線程將會被阻塞直到當前線程釋放該互斥鎖。如果釋放互斥鎖時有多個線程阻塞,所有在該互斥鎖上的阻塞線程都會變成可運行狀態,第一個變為運行狀態的線程可以對互斥量加鎖,其它線程將會看到互斥鎖依然被鎖住,只能回去再次等待它重新變為可用。在這種情況下,每次只有一個線程可以向前執行。二、訊號量(semaphore) 互斥量只能用於一個資源的
Time of Update: 2018-12-05
lua3.2.2中,結構體lua_State大概是最重要的資料結構了,下面是它的關係圖,用GraphViz繪製。這是dot檔案digraph lua_State {graph [rankdir="LR"];node [shape="plaintext"];"lua_State" [label="\[lua_State]|\<stack>struct Stack stack|\<Cstack>struct C_Lua_Stack
Time of Update: 2018-12-05
源碼/* * setjmp和longjmp示範*/#include <stdio.h>#include <setjmp.h>jmp_buf g_jmp;#define ERR_LESS 1#define ERR_GREATER 2void test(int a) {if (a < 10) { longjmp(g_jmp, ERR_LESS); } else if (a > 10) { longjmp(g_jmp,
Time of Update: 2018-12-05
最近升級到ubuntu1204,感覺unity其實還是蠻好用的,不過有很多功能還需要完善,如沒法清楚記錄等。其實用命令還是可以清除的:一、刪除曆史文檔:rm ~/.local/share/zeitgeist/activity.sqlitezeitgeist-daemon --replace二、不記錄曆史:echo "LOCKED from edits - use chattr -i to re allow" > ~/.local/share/recently-used.xbel &
Time of Update: 2018-12-05
一、使用 synchronized 關鍵字。synchronized(anObject) { value = map.get(key);} 二、使用 JDK1.5提供的鎖(java.util.concurrent.locks.Lock)。lock.lock(); value = map.get(key); lock.unlock(); 三、使用 JDK1.5
Time of Update: 2018-12-05
轉自:http://www.w3school.com.cn/xmldom/dom_htmlelement.aspHTMLElement 對象表示 HTML 中的一個元素。HTMLElement 對象的屬性一個 HTML 文檔中的每個元素都有和元素的 HTML 屬性對應的屬性。這裡列出了所有 HTML 標籤都支援的屬性。其他的屬性,都特定於某種具體的 HTML 標籤。HTMLElement 對象繼承了 Node 和 Element