早在Skype還在beta時就買了skyout的點數，後來正式開放後，skype對每個買了skyout的客戶都送了5塊歐元的點數，最近又看到skype要出Voicemail(skyin台灣還沒開放)，並學gmail針對買過點數的用戶透用邀請函來試用這skype vm，可試用一個月，不過價格有點貴，三個月要5塊歐元、一年要15塊歐元，其實早已經有人寫了Skype答錄機，SAM，只支援win，而sky vm試用後，如果不在線上，在播放問候語後就會錄音，自己也可以錄製問候語。整體使用後，功能跟SAM差不多，只差在SAM必須登入，所以如果不想花錢還是用SAM比較划算。
March 2005 Archives
最近把家中網站搬到TotalChoice Hosting，這間的費用真是便宜，一年不到一千五，在PCZONE有人談論到自動備份，在TotalChoice Hosting Family Forums有看到用PHP寫的備份Script，這樣就可以不用每次登入Cpanel去執行備份了。
不過這篇自動備份並沒有透過SSL去wget，所以要改成
wget https://$cpuser:$cppass@www.$domain:2083/getbackup/backup-$domain-$T.tar.gz -O $store_dir/backup-$domain-$T.tar.gz -o $store_dir/backup-$domain-$T.log
這樣會更安全些。
下載虛擬主機自動備份script檔案
2005-11-16 補充：新版的wget要加額外的參數 --no-check-certificate 變成
wget https://$cpuser:$cppass@www.$domain:2083/getbackup/backup-$domain-$T.tar.gz
--no-check-certificate -O $store_dir/backup-$domain-$T.tar.gz -o $store_dir/backup-$domain-$T.log
在emome看到中華電信三月底要推出手機部落格，看到其費用，天啊!GPRS要算錢，上傳每通還要1.5元，別人下載也要1.5元，網外3元。
看到這樣的費用，應該是有錢的小孩才會用手機寫部落格吧。目前台灣行動上網的問題應該是出在費率，就算拉攏blogger，使用的人應該還是寥寥無幾。
借用一下中華電信的LOGO，應該不算侵權吧。
意外在Emome看到這則訊息，中華電信 emome 徵求合作夥伴，便想到以前的照片美化系統應該也可以應用到照片手機，那這樣是否也可以去參加這說明會，^_^，不過重點還是在GPRS費率，小弟想到的方法是透過MMS傳送到Server端，再透過MMS傳回客戶手機端，雖然這樣可以解決手機平台問題，但是費用會高很多，如果是寫成手機端應用程式，那只能用J2ME，但是手機運算能力不高，這樣百萬像素手機可能會跑很久。
右圖是Flickr Taiwan會前會的兩位美女，借用他們照片來試看看，或許也可以跟這些網路相簿結合，自動美化照片中有人臉的區域，這下又要運算更久了。
最近Google Desktop Search推出中文版beta，想到能否利用GDS搜尋放在自己架設主機上的資料，因為自己用NB空間太小，所以就想GDS是否能讓別台電腦也能搜尋到本機資料，在Donald's Blog看到介紹Google Desktop Proxy，其網頁也談到另一套叫DNKA - remote desktop search tool這能控制存取權。
在O'Reilly Network: Google Your Desktop在下方的討論中談到Lan Search Tool和Google Desktop Search Plugin for FireFox；而Google Desktop Search Plugin for FireFox讓這樣的查詢更完善。
之後又找到一篇Hacking Google Desktop Search: Part I
說到只要下載TCP/IP port redirection utility就不需要裝上述的remote、proxy等等軟體，個人推薦這方法，方便又好用，自己寫個BAT檔放在啟動中，就可以開機執行，但是那網頁的command line有誤，必須修正成
datapipe 192.168.x.x 1180 127.0.0.1 4664
才能讓其他電腦搜尋。
再整合上述的Google Desktop Search Plugin for FireFox，如果要使用Remote Google Desktop Search，必須改C:\Program Files\Mozilla Firefox\searchplugins\GoogleDesktopXXX.src中的
action="http://192.168.x.x:1180/search"
searchForm="http://192.168.x.x:1180/search"
這樣之前所做的定時產生檔名索引就不需要了，透過Google Desktop Search更可以查詢到內容，這樣那些電子書就更容易尋找和索引了。如果需要支援chm的檔案格式，必須另外裝Larry's Help File Indexerplug-in。GDS還提供API讓人開發更多的plug-in。
補充(2005-03-16)
關於要搜尋網芳上的網路磁碟或是Linux上的Samba，可以參考Google Desktop Search Tips的設定方法。這樣就可以串聯更多的資料了。
Before you begin, right click on the GDS icon in the tasktray and click Exit. Click OK when asked.
Let's say we have a drive mapped to H: and one mapped to M:
* Open up Notepad and make the following entry !C:
* Highlight all that (don't forget that last tab) and copy it to the clipboard
* Open up regedit (Start - Run - Regedit)
* Navigate to the key HKEY_CURRENT_USER\Software\Google\Google Desktop\HistoricalCapture\Crawler
* Double click on the CRAWL_DIRS entry and paste in the entries you made in Notepad. Note: The tabs will appear as little boxes.
* Click OK
* Do the same thing for CQF_FILE, but put in *[tab]|
* Next, double click on the CRAWL_FILE entry. Delete any entry that is in there. Most likely DONE if you have finished indexing. This last bit will cause your machine to index everything again including your mapped drives.
* Click OK
* As a shortcut to the above, you can see the optional method below.
* Start the GDS system again and allow your system to index all the files.
看到Charles談到延誤半年的The Matrix Online可以參加上市前的測試，就非常想看看那兩兄弟所構思的母體又有怎樣的延伸，其實說到駭客任務，就不得不提一下之前看的攻殼2，因為駭客任務很多的想法都是來至攻殼機動隊，而建構者就像是攻殼1的傀儡王，是不具實體的生命體，而攻殼2更延續了靈魂與記憶的議題。
迷幻機器跟Bluescreen有蠻深入的討論。
其實，早在攻殼1之前就看過一部史蒂芬金的電影(The Lawnmower Man)，劇中一位智障兒因常常遭人欺負，且喜歡割草，所以大家都叫他割草人，鄰居是位從事智能開發的科學家，就利用他做實驗，之後變的聰明絕頂，卻變得怪異，更將自己upload到Cyberspace，後來透過網路來報復。這部跟攻殼的少校一樣都拋棄了皮囊而達到神的境界，推薦這部給喜歡駭客任務和攻殼的朋友們。
補充(2005-03-17)
才玩兩天就不能玩了，要Preorder才能參加Beta測試。
之前談到Executable UML，但是那只能做模擬，卻不能給予一些錯誤的反例，來去驗證是否會發生，所以就必須透過正規方法(Formal Methods)來驗證UML設計是否正確，比較方便是利用Model Checking(算是正規方法的一種)來檢查。
目前Model Checking的工具包括SPIN、AsmL、SMV等等，理論主要是利用時序邏輯(Temporal Logic)和有限狀態機(Finite State Machine)，且不只用在軟體設計，硬體設計、安全分析、自動控制都有透過Model Checking來分析是否安全。
可是像SPIN就必需學Promela語言，AsmL要學C#，所以不知道有沒有工具能夠轉譯UML的狀態圖(State Diagram)，這樣就不需要再學其他語言，直接轉換就可以去驗證，幸運地，找到Hugo/RT這套直接透過ArgoUML就可以轉譯成SPIN、UPPAAL、KIV的格式，且SPIN跟UPPAAL還能做Assertion檢查，Assertion在這是一個假設的情境或劇情(正常或反例)，Model Checking工具如果出現Assertion的錯誤，就代表設計有錯誤，並且可以Report出這異常的路徑來修正設計，只可惜目前只支援XMI1.0很多UML工具都已經不支援1.0，所以只好使用很難用的ArguUML(0.16不能畫Sequence Diagram *_*，開發人員沒包裝好)，或是自行撰寫UTE(Hugo/RT的格式)的檔案，希望Hugo/RT趕快支援UML2.0跟XMI2.0，我看畢業前應該是不會出現。天啊!怎麼這麼冷(這有兩種涵義，天氣真的很冷，內容太冷沒人想看^_^)!!
補充(2005-03-07)
寫信去Hugo/RT的作者之一，詢問如何retranslation，意外幫忙找到一個bug，Hugo/RT網站上還將提供bug的人列出，^_^，我也在上面。
補充(2005-03-07)
詳細的Model Checking介紹。
補充(2005-06-14)，另一個介紹Model Checking的網頁，有相關的工具。
在Mozilla@Taiwan討論區看到有人POST這教學使用FF來即時翻譯網頁，原來是利用翻譯網站所提供的線上翻譯服務，透過JavaScript來傳遞網頁變數(location.href)，這樣就不需要每次都到翻譯網站輸入網址翻譯，這方法真是妙，而robin所提供的書籤沒有IBM翻譯，小弟就幫忙加入了，不過支援亞洲字型似乎有些問題，但英翻中倒是不錯。
Download TransButton_Pro書籤
補充(2005-03-04)
感謝quawn的留言，指出zonble是此方法的原構想者"再來兩個Bookmarklet"。
2005-10-18補充:更新FireFox即時翻譯書籤，增加Google Language Tools。
Eclipse真的是很好的開發工具。
整理一下Bookmarks的好連結，以免埋沒在茫茫的Bookmarks。
Getting Started with Eclipse and the SWT
Eclipse-Plugins.info
Eclipse Plugin Resource Center
Eclipse Quickstart Page
C++ GUI Programming on Windows 2000
Eclipse-Wiki.Info
Official Eclipse 3.0 FAQs
Eclipse Metrics plugin
Jython Development Tools for Eclipse
PatternBox: Design Pattern Editor Plugin for Eclipse
RMI Plugin for Eclipse
Tutorial for building J2EE Applications using JBOSS and ECLIPSE
EclipseME J2ME Plugin
目前看過的UML Tools可以做模擬的，大概就只有Rhapsody，(RoseRT沒用過，也能simulation，最近改稱為Rational Rose Technical Developer)，這套工具可以快速產生Ada、C++和Java的程式碼，且可以產生各種嵌入式系統平台(VxWorks)的程式(NASA火星探險者就用這開發的)，並做到State Diagram和Sequence Diagram的動態模擬及追蹤，而最早聽到i-logix這家公司是透過東海資科的同學介紹，過年前，請到i-logix香港分公司來lab DEMO，感受到快速開發的神奇，和各種嵌入式平台的Code generator，不過最重要還是可執行，先轉換成C++程式碼再去捕捉Event Trigger，直接就可看出設計上有無問題，省去還要載入到Target Device測試的時間。右圖分別為Sequence Diagram和State Diagram的模擬畫面。
那有沒有open source的UML模擬工具?不然Rhapsody一套要上百萬，剛好找到一套UniMod for Eclipse；Eclipse真的是很棒的IDE，Taiwan CNET的Eclipse照亮Java眾生有介紹到；這套可以動態模擬State Diagram，可惜的是支援的UML圖不多，不過可以當作UML的輔助工具。未來Model Driven Architecture更成熟的話，平台問題就會慢慢減少，只要透過PSM(Platform Specific Model)就可以轉換，並把焦點放在PIM(Platform Independent Model)上。
Continue reading Executable UML.
Recent Comments