

已閱讀1頁,還剩60頁未讀, 繼續(xù)免費(fèi)閱讀
版權(quán)說明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請進(jìn)行舉報或認(rèn)領(lǐng)
文檔簡介
1、該文對將有限自動機(jī)理論用于測控軟件自動生成的技術(shù)進(jìn)行了研究,旨在開發(fā)能夠生成測控程序的軟件自動生成系統(tǒng).在對軟件自動生成技術(shù)和工業(yè)控制領(lǐng)域的測控程序?qū)嵗M(jìn)行深入分析的基礎(chǔ)上,改進(jìn)有限自動機(jī)理論中有限自動機(jī)的形式化定義及其化簡算法,通過研究,設(shè)計(jì)實(shí)現(xiàn)了一個自動生成測控程序的系統(tǒng)平臺.在對自動生成系統(tǒng)需求分析的基礎(chǔ)上,建立了該系統(tǒng)的總體軟件結(jié)構(gòu),形成了自動生成系統(tǒng)的整體框架.該課題提出為測控程序建立有限自動機(jī)模型,將有限自動機(jī)的狀態(tài)轉(zhuǎn)換圖作
溫馨提示
- 1. 本站所有資源如無特殊說明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請下載最新的WinRAR軟件解壓。
- 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請聯(lián)系上傳者。文件的所有權(quán)益歸上傳用戶所有。
- 3. 本站RAR壓縮包中若帶圖紙,網(wǎng)頁內(nèi)容里面會有圖紙預(yù)覽,若沒有圖紙預(yù)覽就沒有圖紙。
- 4. 未經(jīng)權(quán)益所有人同意不得將文件中的內(nèi)容挪作商業(yè)或盈利用途。
- 5. 眾賞文庫僅提供信息存儲空間,僅對用戶上傳內(nèi)容的表現(xiàn)方式做保護(hù)處理,對用戶上傳分享的文檔內(nèi)容本身不做任何修改或編輯,并不能對任何下載內(nèi)容負(fù)責(zé)。
- 6. 下載文件中如有侵權(quán)或不適當(dāng)內(nèi)容,請與我們聯(lián)系,我們立即糾正。
- 7. 本站不保證下載資源的準(zhǔn)確性、安全性和完整性, 同時也不承擔(dān)用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。
最新文檔
- 循環(huán)有限自動機(jī)和有限自動機(jī)的路代數(shù).pdf
- 細(xì)胞自動機(jī)在密碼中的應(yīng)用.pdf
- 時間自動機(jī)及其應(yīng)用研究.pdf
- 元胞自動機(jī)在圖像并行加密中的應(yīng)用研究.pdf
- 有限自動機(jī)理論05章下推自動機(jī)
- 元胞自動機(jī)有限元法及其在邊坡工程中的應(yīng)用研究.pdf
- 有限自動機(jī)的化合與等價于(輸入)存貯線性有限自動機(jī)問題.pdf
- 域上的有限自動機(jī).pdf
- 學(xué)習(xí)自動機(jī)及其在隨機(jī)定位應(yīng)用中的研究.pdf
- 同步格值自動機(jī)和同步格值有限自動機(jī).pdf
- 細(xì)胞自動機(jī)在桿系結(jié)構(gòu)中的應(yīng)用.pdf
- 基于擴(kuò)展下推自動機(jī)的Java程序安全相關(guān)行為模型自動生成.pdf
- 元胞自動機(jī)模型及其應(yīng)用研究.pdf
- 矩陣模型在有限自動機(jī)上的應(yīng)用.pdf
- 等價性在自動機(jī)極小化中的應(yīng)用.pdf
- 細(xì)胞自動機(jī)及其在圖像處理中的應(yīng)用.pdf
- 自動機(jī)理論在驗(yàn)證PSL中的應(yīng)用.pdf
- 元胞自動機(jī)模型應(yīng)用及模糊元胞自動機(jī).pdf
- 有限群自動機(jī)的研究及其推廣.pdf
- 模糊有限自動機(jī)的拓?fù)湫再|(zhì).pdf
評論
0/150
提交評論