【摘要】：總控及通訊分系統(MCS)作為浸沒式光刻機中與浸沒液體控制相關的三個子系統的上位機系統,是形成穩態流場,實現浸沒式光刻的重要控制系統。三個被控子系統功能相互獨立,系統運行工序復雜,系統之間耦合度低,控制差異大,加之浸沒式光刻機控制系統的集成化和模塊化程度要求越來越高。為了降低系統設計的復雜度和實現系統的控制時序設計,采用系統建模方法簡化MCS控制系統設計具有現實意義。本文針對MCS控制系統設計過程中的兩大問題,提出采用有限狀態機實現控制系統狀態化,利用正交法對系統狀態進行分析,并設計系統狀態轉移機制實現系統控制時序設計,利用Stateflow仿真驗證狀態轉移機制的合理性,最后搭建了MCS控制系統運行平臺,通過系統集成運行和測試證明采用有限狀態機方法能簡化MCS控制系統設計的目的。具體工作如下：1、介紹課題研究背景,分析MCS控制系統設計過程中的兩大問題,提出有限狀態機理論的解決方法,闡述MCS控制系統設計的整體方案,并描述系統功能和設計需求。2、設計MCS控制系統的硬件方案,對各硬件模塊進行選型分析并搭建MCS控制系統的硬件平臺。3、設計了MCS控制系統的軟件架構,利用正交法對系統狀態進行分析。通過控制流程分析了解系統的時序控制過程,利用UML用例圖和時序圖分析系統的交互。采用有限狀態機方法建立狀態轉移機制,最后采用Stateflow軟件仿真分析所設計的狀態轉移機制的合理性。4、集成MCS控制系統的軟硬件平臺,測試系統功能,驗證系統時序控制的有效性,并對采用有限狀態機理論設計的時序控制模塊和信號分析模塊進行性能測試。
[Abstract]:As the host computer system of three subsystems related to submerged liquid control, (MCS) is an important control system for the formation of steady flow field and the realization of immersion lithography. The functions of the three controlled subsystems are independent of each other, the operation procedure of the system is complex, the coupling degree between the systems is low, and the control difference is great. In addition, the integration and modularization of the control system of the submerged lithography machine are more and more demanding. In order to reduce the complexity of the system design and realize the control timing design of the system, it is of practical significance to simplify the design of the MCS control system by using the system modeling method. Aiming at the two major problems in the design of MCS control system, this paper proposes a finite state machine (FSM) to realize the state of the control system. The orthogonal method is used to analyze the state of the system, and the system state transition mechanism is designed to design the control sequence of the system. The rationality of the state transition mechanism is verified by Stateflow simulation. Finally, the running platform of the MCS control system is built. It is proved by system integration and test that the design of the MCS control system can be simplified by using the finite state machine method. The specific work is as follows: 1. Introduce the research background, analyze the two problems in the design of MCS control system, put forward the solution of finite state machine theory, expound the overall scheme of MCS control system design. Secondly, the hardware scheme of MCS control system is designed, the hardware platform of each hardware module is selected and analyzed, and the hardware platform of MCS control system is built. 3. The software architecture of MCS control system is designed. The state of the system is analyzed by orthogonal method. The sequence control process of the system is understood by analyzing the control flow, and the interaction of the system is analyzed by using the UML use case diagram and the sequence diagram. The finite state machine method is used to establish the state transition mechanism. Finally, the rationality of the designed state transition mechanism is analyzed by using Stateflow software. Finally, the software and hardware platform of the MCS control system is integrated and the function of the system is tested. The validity of the timing control is verified, and the performance of the timing control module and the signal analysis module designed by the finite state machine theory are tested.
【學位授予單位】：浙江大學
【學位級別】：碩士
【學位授予年份】：2015
【分類號】：TN305.7;TP273

【相似文獻】

相關期刊論文 前10條

1 張涌,錢樂秋,王淵峰;基于確定有限狀態機的測試輸入序列選取[J];計算機研究與發展;2002年09期

2 陳云芳;王汝傳;楊學剛;;基于擴展有限狀態機的誘騙服務器關鍵技術研究[J];計算機科學;2004年06期

3 趙保華;錢蘭;周顥;郭雄輝;;基于有限狀態機的錯誤診斷算法[J];電子與信息學報;2006年09期

4 劉霞;年小玲;游霞;;消除EFSM中狀態遷移不確定的方法[J];攀枝花學院學報;2006年04期

5 徐衛林;羅林;;有限狀態機的可靠性設計研究[J];現代電子技術;2007年01期

6 夏銀水;王倫耀;葉錫恩;;劃分有限狀態機的低功耗實現模型[J];計算機輔助設計與圖形學學報;2007年05期

7 向培素;田珂;田野;;非確定部分有限狀態機的一種新的一致性關系及其測試[J];西南民族大學學報(自然科學版);2007年06期

8 李煒;吳建國;劉政怡;;非完全確定有限狀態機最小閉覆蓋的有效算法[J];四川大學學報(工程科學版);2007年S1期

9 李曉鋒;宋銳;曾小寶;;有限狀態機在嵌入式系統中的實現及應用[J];廣西輕工業;2008年04期

10 楊京開;鄧培民;易忠;;模糊有限狀態機的一些性質[J];模糊系統與數學;2010年01期

相關會議論文 前10條

1 李煒;吳建國;劉政怡;;非完全確定有限狀態機最小閉覆蓋的有效算法[A];第四屆中國軟件工程大會論文集[C];2007年

2 李煒;劉政怡;吳建國;;基于完全確定有限狀態機的控制器綜合的驗證[A];全國第19屆計算機技術與應用（CACIS）學術會議論文集（下冊）[C];2008年

3 李煒;許中衛;劉政怡;劉露露;;非完全確定有限狀態機最小化有效算法的研究[A];2005年“數字安徽”博士科技論壇論文集[C];2005年

4 鄒循進;葉云青;陳孝威;;C++游戲開發中可重用動態有限狀態機設計與實現[A];第三屆和諧人機環境聯合學術會議（HHME2007）論文集[C];2007年

5 方敏;;基于分層有限狀態機的計算機取證推理方法[A];2008年計算機應用技術交流會論文集[C];2008年

6 劉曉明;賴祥;黃松;;一種基于鄰接矩陣的有限狀態機路徑產生方法[A];全國第19屆計算機技術與應用（CACIS）學術會議論文集（下冊）[C];2008年

7 王宗義;;有限狀態機原理在OA系統中的運用[A];廣西計算機學會25周年紀念會暨2011年學術年會論文集[C];2011年

8 張劍鳴;楊正球;;基于Struts架構的考核系統軟件的設計[A];2007北京地區高校研究生學術交流會通信與信息技術會議論文集（上冊）[C];2008年

9 閆宏偉;李慧;李金城;;基于指令集操作的Verilog HDL有限狀態機設計方法[A];第十七屆全國青年通信學術年會論文集[C];2012年

10 談國新;周穆雄;鐘正;;虛擬場景中多Agent行為交互技術研究[A];第六屆和諧人機環境聯合學術會議（HHME2010)、第19屆全國多媒體學術會議（NCMT2010）、第6屆全國人機交互學術會議（CHCI2010）、第5屆全國普適計算學術會議（PCC2010）論文集[C];2010年

相關重要報紙文章 前1條

1 記者 常麗君;納米線計算機推遲摩爾法則大限[N];科技日報;2014年

相關碩士學位論文 前10條

1 楊凱;基于有限狀態機理論的MCS控制系統的設計與實現[D];浙江大學;2015年

2 張粟;大型多人在線角色扮演類游戲中有限狀態機系統的設計與實現[D];北京交通大學;2010年

3 黃麗雯;嵌入式Web服務器中有限狀態機的設計與實現[D];東北大學;2005年

4 譚同超;有限狀態機及其應用[D];華南理工大學;2013年

5 朱挺;低功耗有限狀態機的綜合與優化研究[D];浙江大學;2004年

6 許固鎮;關于直覺模糊有限狀態機若干問題的討論[D];廣西師范大學;2011年

7 常珂;基于有限狀態機的建模技術在備品備件管理系統中的實現[D];北京郵電大學;2010年

8 劉路路;基于非完全確定有限狀態機模型的控制器綜合的形式驗證[D];安徽大學;2006年

9 董煥珍;基于EFSM的UIO序列的生成研究[D];青島大學;2009年

10 苗志鋒;基于有限狀態機的IP協議研究[D];蘭州理工大學;2005年

，

本文編號：2378862