 |
Philipz學習日誌此Blog是為了將每天的學習心得、偶然的發現跟突發奇想記錄下來，並與大家分享，以免白白將突然的想法或發現隨時間淡忘掉。 |
|
Philipz學習日誌此Blog是為了將每天的學習心得、偶然的發現跟突發奇想記錄下來，並與大家分享，以免白白將突然的想法或發現隨時間淡忘掉。 |
之前談到電玩教育，主要是教育小孩，那CashFlow就算是教育成人的遊戲了，最早看到這遊戲是在窮爸爸富爸爸書上，之後(大概是三年前)參加安泰人壽所辦的理財活動，才看到那紙牌遊戲，其實這紙牌遊戲很花時間，就像小時候玩大富翁一樣，要有人當銀行，大部分時間都是在算錢，而CashFlow推出了電腦遊戲，這樣就可以省去那金錢交易時間，又可以獨自一人來玩，也免去找"欠腳"的麻煩；不過仍然有些不大適當的規則，如當低價股票(1塊或5塊)可以購買時，買進大量(沒錢用貸款的)，之後就等待上漲，這樣可以很快較到達Fast Track。
整個遊戲主要的目的應該是學會如何看資產負債表，了解非薪資收入大於必要花費時就可以不需工作，還有這遊戲設計買賣資產都要將細項拖拉至資產負債表，讓玩家瞭解如何分析個人財物報表。不過此遊戲並不耐玩，路線單調，抓到訣竅就可以很快達到願望，CashFlow202遊戲片不知有沒有改進，等玩過在告訴大家。
之前談到UML and Model Checking，卻沒談到如何實際應用及檢查方式，這篇Model Checking and Code Generation for UML State Machines and Collaborations是之前說到的Hugo/RT轉換工具的Paper，首先下載ArgoUML一套open source的UML工具；再下載Hugo/RT 0.42，個人是選UPPAAL的Model Checking tool。
1.先用ArgoUML將系統畫出，主要是class diagram跟state diagram。
如下圖：
2.透過Hugo/RT轉換成中間碼，Hugo/RT也提供直接轉換成Model Checking的語言，但因有些功能無法轉換，必須自行輸入，所以建議轉成中間碼UTE格式。
3.編輯UTE檔案，加入collaboration、interaction及assertion，其中assertion可以利用CTL(Computation tree logic)來檢查deadlock和是否會發生某些條件。例如此例就是ATM是否會有兩次密碼錯誤卻還能進入VerifyingCard的狀態。
EF的keyword如下圖所示。代表是否存在這個狀況。
4.編輯好存檔，再利用Hugo/RT轉成UPPAAL的檔案，且下所需要檢查的interaction和assertion，便會產生ta及q副檔名的兩個檔案。
5.再來就利用UPPAAL來驗證，開始剛產生的ta檔案，選verifier的tag就可以驗證是否會有不想要的情況。從結果可看出，並沒有輸入錯誤兩次還能在VerifyingCard狀態(紅燈)，但卻可以輸入錯誤零次還能在VerifyingCard狀態(綠燈)。
本文只是介紹使用方法，詳細內容可以看Model Checking and Code Generation for UML State Machines and Collaborations及Hugo/RT網站。
雖然測試也可能找到相同的錯誤或不一致情況，但是Model Checking在OOA時就可以去驗證檢查，Testing則必須要到OOP之後有程式碼才能檢查，所以成本會比Model Checking還要高(越晚修改，cost越高)，且Model Checking主要是檢查規格上的錯誤，無法去驗證效能和壓力，而這些主要是測試所要確認的。
2006-07-24 補充：本文的範例，蒸氣鍋爐，已刊登在IEICE TRANSACTIONS on Information and Systems，Constraint-Based Software Specifications and Verification Using UML。
Embedded.com - An introduction to model checking有詳細介紹Model Checking。
繼美國陸軍推出"America's Army"來吸引年輕人投身軍旅，並可作虛擬實境的射擊訓練，而聯合國世界糧食計劃署也推出"Food Force"，來教育小孩了解難民的處境及痛苦，想想這真是一個很棒的教育方式，小孩也可由被動化為主動，雖然這跟CAI教學是差不多的，但是遊戲更模擬了一些現實的情況，這是CAI所觸及不到的，且CAI劇情的變化大多都是單線式，因此電玩遊戲應該會比較受小孩歡迎。
在目前校園電腦普及下，小孩大多都接觸過CAI教學方式，但依舊稱作"上課"，孩子們仍會排斥，如果改為遊戲比賽，同儕競爭，潛移默化下，效果應該會比CAI來的更好。
TANET2001-引發學習動機的最佳方案：電腦遊戲談到史丹佛大學的研究者Malone和Lepper為將遊戲動機分為兩大部分：個人的動機與人際的動機。
個人動機(Individual Motivations)-1.挑戰(Challenge)2.好奇心(Curiosity)3.控制(Control)4.幻想(Fantasy)
人際動機(Interpersonal Motivations)-1.合作(Cooperation)2.競爭(Competition)3.認同(Recognition)
如果CAI包含上述的各項特點，那是否也是遊戲呢??
大學部的學弟們畢業專題就打算開發軟體工程的遊戲，預祝他們能順利!!
Yahoo新聞-玩「糧食力量」了解飢民
美國陸軍"America's Army"
糧食力量"Food Force"
引發學習動機的最佳方案：電腦遊戲全文
最近看到Sony Ericsson WorldQuest.05舉辦環球競賽遊戲，透過之前選出的六位各國選手，參加一連串利用手機來完成目標的競賽遊戲，第一站北京到藝術村-798工業基地，比賽方式：提供某部份藝術品照片再去找出藝術品利用照相手機拍出相同部份。第二站雅加達，透過手機食譜功能來製作出指定的料理。第三站斯德哥爾摩騎著具有自我介紹看版的腳踏車，說服路人投票給自己並拍照留念。第四站巴塞隆納到PUB利用具有閃光燈的照相手機拍照，並用電視撥出相片(看不懂比什麼)，線上遊戲是利用手機產生電子音樂。
當然這些線上遊戲都是利用Flash製作，呵呵，也是可以用之前的Flash Game的網路贈獎
來作弊，不過從最高分排名看來，相當多人作弊喔!!
至從寫了用Google Desktop Search建立公司文件搜尋，就常常上Google Desktop Search Plug-in找有沒有不錯的plug-in，發現到可以作多台電腦搜尋的Foldershare，除了可以透過GDS搜尋到檔案，並且可以設定開放目錄或特定檔案格式跟朋友共享，還有自己多部電腦上特定目錄的同步。
當設定好目錄，好友們就會收到通知，而且可以讓朋友發出邀請讓更多人讀取。Message Board可以共同討論留言。
很可惜的，其中很多功能都是要付費才有，例如朋友可以寫入等等，一個月要四塊多和六塊多美金。網路芳鄰的目錄無法共享。但還是相當不錯的軟體，可以搜尋GDS，且當有很多台電腦時可以同步，並分享給好友，真是個非常神奇的共享方式。
當朋友或是別台電腦有公佈新的分享目錄就會通知。
觀看別人分享目錄或是自己的同步目錄
下載前的icon和檔案格式，內容只是寫This is a FolderShare placeholder file. See http://www.foldershare.com for details 308046 76007025
晚上倒垃圾的時候，姑姑搬回五大箱的連宋玩具，對政治不感興趣的我頭一次看到這樣的玩具，姑姑說當時一個要賣一兩百，索性拿一對回來玩，而這樣的玩具現在卻當垃圾，總統大選國民黨真的是花很多錢，想想年初時，國民黨黨工發不出年終，裁員，最後還有人自殺。我想，這堆垃圾應該還是可以賣給每天去搖國旗的伯伯們，^_^，如果一個算五十塊，一箱有二十個，五箱五千塊。(有想要的人可以Email給我，免費送您喔!!)
下載當選加油聲音檔
最近家裏需要掃描目錄給客戶，但是至從把OS換成WINXP之後，那台Acer 620ST就像壞掉一樣，始終無法找出問題所在，即使重裝Driver也是一樣，但是機器又沒壞，實在捨不得在買一台新的，終於下定決心要買一台新的，但在NOVA始終找不到想買的機型(經過每個店家，都說"需要什麼，問看看喔!"，但是一問都沒賣掃瞄器，還一直叫我問)，又懶得去光華，索性回家用網路購物比較快。也因此就再試試看找出無法使用的問題，網路上找找有沒有相同情況，好死不死讓我找到這一篇Scanner - "cannot find required library"，只有倒數第二篇跟620ST有關，看了這篇姑且一試，反正Driver反覆裝了不下二十次了，就把C:\WINDOWS\twain_32\Mira3_42\NT5Supp.sti改名，沒想到，真的可以了，後來再試試才知道是這檔案作怪，WIN安裝Scanner會把這檔案一起放入twain_32目錄中，所以刪除NT5Supp.sti就可以了。(省了一筆錢)
其實WIN兩三年就改版一次，但是舊硬體卻不可能一起汰換，硬體商卻要常常跟著微軟更新Driver，相信很多人也是花很多時間在解決相容問題。希望這篇也可以讓您的620ST也起死回生。
Google所涉及的領域越來越大，除了最近新的Google Map(查51區好像是灰色一塊，可能是禁航區或是情報管制的關係。)，在舊有的領域仍不斷改進，Google Toolbar 3就增加了文字翻譯器，不需安裝Dr.eye等等翻譯軟體。(可憐的Dr.eye，除了盜版還要被Google夾殺，溫先生應該有保祐才對。)可是Google卻不眷顧FireFox的用戶，除了之前要跟Mozilla團隊合作加速查詢，卻不見將Toolbar完整移植到FireFox上。真希望能跟IE用戶一樣有這樣棒的Toolbar。
出處CSDN技術中心yangengchao的文章
小技巧:
熱鍵篇：
Template：Alt + /
修改處：視窗->喜好設定->工作台->按鍵->編輯->內容輔助。
個人習慣：Shift+SPACE(空白)。
簡易說明：編輯程式碼時，打sysout +Template啟動鍵，就
會自動出現：System.out.println(); 。
設定Template的格式：視窗->喜好設定->Java->編輯器->範本。
程式碼自動排版：Ctrl+Shift+F
修改處：視窗->喜好設定->工作台->按鍵->程式碼->格式。
個人習慣：Alt+Z。
自動排版設定：視窗->喜好設定->Java->程式碼格式製作程式。
樣式頁面->將插入tab(而非空白鍵)以內縮，該選項取消勾選
，下面空格數目填4，這樣在自動編排時會以空格4作縮排。
快速執行程式：Ctrl + F11
個人習慣：ALT+X
修改處：視窗->喜好設定->工作台->按鍵->執行->啟動前一次的啟動作業。
簡易說明：第一次執行時，它會詢問您執行模式，
設置好後，以後只要按這個熱鍵，它就會快速執行。
..我覺得很順手^__^
自動匯入所需要的類別：Ctrl+Shift+O
簡易說明：
假設我們沒有Import任何類別時，當我們在程式裡打入： BufferedReader buf =
new BufferedReader(new InputStreamReader(System.in)); 此時Eclipse會警示說沒有匯入類別，這時我們只要按下Ctrl+Shift+O
，它就會自動幫我們Import類別。
查看使用類別的原始碼：Ctrl+滑鼠左鍵點擊
簡易說明：可以看到您所使用類別的原始碼。
將選取的文字註解起來：Ctrl+/
簡易說明：Debug時很方便。
修改處：視窗->喜好設定->工作台->按鍵->程式碼->註解
視景切換：Ctrl+F8
個人習慣：Alt+S。
修改處：視窗->喜好設定->工作台->按鍵->視窗->下一個視景。
簡易說明：可以方便我們快速切換編輯、除錯等視景。
遍歷各編輯器: Ctrl+F6
簡易說明：可以方便我們快速切換編輯器， Ctrl+F6 彈齣當前所選編輯器的列錶
密技篇：
一套Eclipse可同時切換，英文、繁體、簡體顯示：
1.首先要先安裝完中文化包。
2.在桌面的捷徑後面加上參數即可，
英文-> -nl "zh_US"
繁體-> -nl "zh_TW"
簡體-> -nl "zh_CN"。
(其它語系以此類推)
像我2.1.2中文化後，我在我桌面的Eclipse捷徑加入參數-n1 "zh_US"。
"C:Program Fileseclipseeclipse.exe" -n "zh_US"
介面就會變回英文語系嚕。
利用Eclipse，在Word編輯文書時可不必將程式碼重新編排：
將Eclipse程式編輯區的程式碼整個複製下來(Ctrl+C)，直接貼(Ctrl+V)到
Word或WordPad上，您將會發現在Word裡的程式碼格式，跟Eclipse
所設定的完全一樣，包括字型、縮排、關鍵字顏色。我曾試過JBuilder
、GEL、NetBeans...使用複製貼上時，只有縮排格式一樣，字型、顏
色等都不會改變。
外掛篇：
外掛安裝：將外掛包下載回來後，將其解壓縮後，您會發現features、
plugins這2個資料夾，將裡面的東西都複製或移動到Eclipse的features
、plugins資料夾內後，重新啟動Eclipse即可。
讓Eclipse可以像JBuilderX一樣使用拖拉方式建構GUI的外掛：
1.Jigloo SWT/Swing GUI Builder ：
http://cloudgarden.com/jigloo/index.html
下載此版本：Jigloo plugin for Eclipse (using Java 1.4 or 1.5)
安裝後即可由檔案->新建->其它->GUI Form選取要建構的GUI類型。
2.Eclipse Visual Editor Project：
http://www.eclipse.org/vep/
點選下方Download Page，再點選Latest Release 0.5.0進入下載。
除了VE-runtime-0.5.0.zip要下載外，以下這2個也要：
EMF build 1.1.1: (build page) (download zip)
GEF Build 2.1.2: (build page) (download zip)
3.0 M8版本，請下載：
EMF build I200403250631
GEF Build I20040330
VE-runtime-1.0M1
安裝成功後，便可由File->New->Visual Class開始UI設計。
安裝成功後，即可由新建->Java->AWT與Swing裡選擇
所要建構的GUI類型開始進行設計。VE必須配合著對應
版本，才能正常使用，否則即使安裝成功，使用上仍會
有問題。
使用Eclipse來開發JSP程式：
外掛名稱：lomboz(下載頁面)
http://forge.objectweb.org/project/showfiles.php?group_id=97
請選擇適合自己版本的lomboz下載，lomboz.212.p1.zip表示2.1.2版，
lomboz.3m7.zip表示M7版本....以此類推。
lomboz安裝以及設置教學：
Eclipse開發JSP-教學文件
Java轉exe篇：
實現方式：Eclipse搭配JSmooth(免費)。
1.先由Eclipse製作包含Manifest的JAR。
製作教學
2.使用JSmooth將做好的JAR包裝成EXE。
JSmooth下載頁面：
http://jsmooth.sourceforge.net/index.php
3.製作完成的exe檔，可在有裝置JRE的Windows上執行。
Eclipse-Java編輯器最佳設定：
編輯器字型設定：工作台->字型->Java編輯器文字字型。
(建議設定Courier New -regular 10)
編輯器相關設定：視窗->喜好設定->Java->編輯器
外觀：顯示行號、強調對稱顯示的方括號、強調顯示現行行、
顯示列印邊距，將其勾選，Tab寬度設4，列印編距欄位設80。
程式碼協助：採預設即可。
語法：可設定關鍵字、字串等等的顯示顏色。
附註：採預設即可。
輸入：全部欄位都勾選。
浮動說明：採預設即可。
導覽：採預設即可。
使自動排版排出來的效果，最符合Java設計慣例的設定：
自動排版設定：視窗->喜好設定->Java->程式碼製作格式。
換行：全部不勾選。
分行：行長度上限設：80。
樣式：只將強制轉型後插入空白勾選。
內縮空格數目：設為4。
Eclipse的教學文件：
Eclipse 3.0系列熱鍵表 - 中英對照解說版 (by sungo)
Window+GCC+CDT用Eclipse開發C、C++ (by sungo)
其它：
擴充Eclipse的Java 開發工具(中文)
使用Eclipse開發J2EE 應用程式(中文)
使用Eclipse平台進行除錯(中文)
用Eclipse進行XML 開發(中文)
開發Eclipse外掛程式(中文)
國際化您的Eclipse外掛程式(英文)
將Swing編輯器加入Eclipse(英文)
如何測試你的Eclipse plug-in符合國際市場需求(英文)
Eclipse的相關網站：
http://eclipse-plugins.2y.net/eclipse/index.jsp
http://www.eclipseplugincentral.com/
Eclipse相關教學[簡體]
