/**//*清單4演示了org.apache.commons.lang.dateutils和 org.apache.commons.lang.dateformatstringutils類的部分功能。還有其他許多方法可以進行同樣的操作，但輸入格式不同。故而，如果萬一您必須分析和格式化乙個日期值，只需要借助提供的方法之一，利用一行**就可以實現了。
執行清單4中**後的輸入如清單5所示。*/
//清單5. 輸出
the time right now is >>sat apr 09 14:40:41 gmt+05:30 2005
is same day >> true
is same instant >> false
date after rounding >>sat apr 09 15:00:00 gmt+05:30 2005
date after truncation >>sat apr 09 14:00:00 gmt+05:30 2005
parsed date is >>thu mar 24 11:03:26 gmt+05:30 2005
parsed date is >>thu mar 24 11:03:00 gmt+05:30 2005
parsed date is >>thu mar 24 00:00:00 gmt+05:30 2005
now >>14:40:43
/**//*在清單4中，我們建立了兩個日期，這兩個日期僅有一秒的差別。然後使用issameinstant()和issameday()方法檢查這兩個日期是否相同。接下來將日期進行捨入和截斷，然後使用在陣列中指定的各種格式對特殊日期用例進行解析。
將您的應用程式整合到第三方應用程式時，經常不能完全確定輸入的格式。我曾經做過乙個對舊版應用程式的整合，對於每個問題，該應用程式似乎總是有三個答案。所以，如果必須對此類應用程式提供的日期進行解析，您需要提供三個和四個不同的日期格式。清單4中使用parsedate()方法就是為了完成這項任務。這樣，即使輸入有變化，仍然能更對日期進行解析。還要注意，陣列內模式的順序與輸入的順序並不相同，但該方法仍然找到了適當的模式，並據此進行解析。
最後，我們按照iso_time_no_t_format格式（hh:mm:ss）對日期進行格式化並列印輸入。*/
hive應用例項1
我們沿用之前hadoop wordcount的結果資料 hadoop icity0 hadoop fs cat wc out part r 00000 warning hadoop home is deprecated.beautiful1 day1 dear2 hello2 hometown1 h...
KLEE應用例項1
原文 這個例項用來引導你完成乙個最簡單的測試。1 下面是乙個待測試的函式，int get sign int x 這個函式就是根據輸入的x，返回 1 0 1表示x的符號。2 符號化輸入 為了利用klee測試這個函式，首先需要設定符號化輸入，也就是把輸入變數符號化。這裡用到 klee make symb...
awk sed 應用例項1
昨天，一位群友在群裡面問如何使用 sed 生成目標格式的問題。問題的詳細描述如下 乙個檔案中有多行資料，每一行資料的格式如下 a b c d x y輸出資料格式如下 a b b i c i d e v b g e 通過對輸入與輸出的分析，不難看出開頭的乙個欄位要新增 b 字尾，中間字段新增 i 字尾...