Browsing by Author "徐志文"

Now showing 1 - 2 of 2

ArCats局部性模型分析安全性質和活化性質
(2006) 徐志文; Zhi-Wen Hsu
近年來，局部性模型分析在自動化軟體驗證領域中佔有一席角色。局部性模型分析能夠成功的關鍵在於檢驗的系統模型具有良好的階層架構，同時盡量利用最小化的技術減化子系統的內部行為，達到減緩組態爆炸的發生。透過模型架構重構可以解決不良的模型架構，這增強局部性分析的效能。當利用局部性分析檢驗系統性質時，因為保留過多的系統性質到全域系統中，造成子系統無法最小化的結果，這將大幅消減局部性分析在模型驗證中的效能。在本篇論文中，我們根據ArCats和其在局部性分析中所提供的良好功能，開發出能夠檢測系統安全性質(safety)和活化性質(liveness)的功能，同時並能夠維持局部性分析的減緩狀態爆炸的優勢。在檢驗安全性質時，我們利用一種類似死結狀態的π狀態，讓違反安全性的系統行為能夠被偵測出來。而在檢驗活化性質時我們使用一種特殊的接受轉移（accept transition）來代表系統符合檢驗性質。這兩種在局部性分析中檢測性質，主要參考Cheung[28][29][30]的研究。但是由於ArCats是以CCS為基礎來提供模型架構重構的功能而Cheung的研究採用的是CSP，本篇論文將針對如何利用以CSP為基礎的驗證技術實做到以CCS為基礎的驗證工具中，同時探討與解決所面臨的困難。
教師教學效能與學校組織創新氣氛對創造力教學行為之影響
(2009) 徐志文; Hsu Chi-Wen
本研究以台灣地區國小、國中及高中教師為研究對象，探究不同背景變項教師在創造力教學行為上的差異，以及教師個人教學效能、所處學校組織創新氣氛與教師創造力教學行為之關係。本研究以「教學效能量表」、「學校組織創新氣氛量表」及「創造力教學行為量表」做為研究工具，針對956名教師施測，問卷回收率為70.29％。所得資料回收後分別採用平均數、標準差呈現統計數據；以t檢定、多元迴歸分析及階層線性模式考驗研究假設。研究結果如下：一、不同性別、教學年資、師資培育背景與教學科目的教師在創造力教學行為上無差異。二、任教不同學習階段的教師在創造力教學行為上有差異，其中國小教師自評其創造力教學行為優於國高中教師。三、不同參與創造力知能培訓情形的教師，在「創造力教學行為」上有差異，曾參與培訓者自評其創造力教學行為優於未參與者。四、教師的教學效能，屬於「有效教學技術」之「系統呈現教材內容」、「多元有效教學技術」及「建立師生和諧關係」等向度能正向影響創造力教學行為；而「教學自我效能」則對創造力教學行為沒有顯著影響。五、不同學校教師所知覺的學校組織創新氣氛，對於其創造力教學行為並無直接的影響。六、不同學校教師所知覺的學校組織創新氣氛，能對教師個人教學效能與創造力教學行為間的關係產生調節作用，其中領導效能能促進師生關係較差的教師產生創造力教學行為；團隊運作能促進教學技術較單調教師產生創造力教學行為，並使原本師生關係較和諧的教師有更多創造力教學行為。最終研究者依據研究結果，針對未來研究方向與教育實務工作提出建議，提供未來研究者做為參考。