簡介：點(diǎn)擊查看更多自動(dòng)化測試工具的研究——一種CDMA2000系統(tǒng)自動(dòng)化測試工具.pdf精彩內(nèi)容。

簡介：現(xiàn)代化城市的發(fā)展十分迅捷，幸好同時(shí)人們對環(huán)境保護(hù)的意識(shí)在不斷增強(qiáng)，逐漸感受到城市集中供熱事業(yè)是多么的重要。過去供暖企業(yè)大多是建起鍋爐房然后以燃煤的方式來為居民提供熱能，但同時(shí)引起的燃煤污染和噪音污染又會(huì)對城市居民造成很大的影響，能源浪費(fèi)的現(xiàn)象同樣也很嚴(yán)重。迫于形勢，集中供熱系統(tǒng)正在漸漸取代傳統(tǒng)的鍋爐房供暖方式。怎樣才能同時(shí)滿足居民區(qū)住房對供暖質(zhì)量的要求，工業(yè)生產(chǎn)對熱能的需求以及做到對能源的最大程度的節(jié)約，正在慢慢成為供暖企業(yè)日益考慮的大難題。作為確保供熱質(zhì)量的中間環(huán)節(jié)，換熱站所起到的作用顯然是不可替代的。本次設(shè)計(jì)在考慮到居民供熱質(zhì)量的保障，生產(chǎn)成本的降低，能源的盡量節(jié)約這幾方面前提下，決定將某一居民小區(qū)的鍋爐房并入城市總的集中供熱系統(tǒng)中。設(shè)計(jì)了一種基于GPRS和PROFIBUSDP的換熱站智能遠(yuǎn)程監(jiān)控系統(tǒng)，針對換熱站二次網(wǎng)供水溫度所具有的時(shí)變性和非線性這兩項(xiàng)復(fù)雜的問題，構(gòu)造了由模糊控制器和遺傳算法PID控制器組成的二級(jí)控制器并通過SIMULINK仿真平臺(tái)加以驗(yàn)證。同時(shí)，為了實(shí)現(xiàn)本地監(jiān)控站可以實(shí)時(shí)監(jiān)控各種運(yùn)行參數(shù)并且可以向遠(yuǎn)程監(jiān)控中心有選擇性的上傳這些參數(shù)選用WINCC監(jiān)控軟件、GPRS無線數(shù)據(jù)通信模塊CP12427和GPRS通信管理軟件SINAUTMICROSC分別來對各主要運(yùn)行參數(shù)實(shí)施本地實(shí)時(shí)監(jiān)控和無線遠(yuǎn)程監(jiān)控以達(dá)到目的。實(shí)際運(yùn)行效果表明，該設(shè)計(jì)中串級(jí)控制器的應(yīng)用很合理，前級(jí)控制器對控制過程中由于干擾和參數(shù)變化對控制效果帶來的不利影響起到大大減弱的作用，使其具有很好的動(dòng)態(tài)特性，后級(jí)控制器則是通過遺傳算法來對PID的三個(gè)參數(shù)進(jìn)行優(yōu)化得到最優(yōu)組合，從而最終實(shí)現(xiàn)對二次供水溫度的控制。此外，該設(shè)計(jì)增強(qiáng)了控制系統(tǒng)的智能化程度，并且換熱站智能遠(yuǎn)程監(jiān)控系統(tǒng)能夠減輕工作人員的工作強(qiáng)度，大大提高了經(jīng)濟(jì)效益與社會(huì)效益。

簡介：在一臺(tái)自動(dòng)扶梯中梯級(jí)是數(shù)量最多的部件。由于梯級(jí)數(shù)量眾多又是經(jīng)常運(yùn)動(dòng)的部件因此一臺(tái)自動(dòng)扶梯的質(zhì)量在很大程度上取決于梯級(jí)的結(jié)構(gòu)和質(zhì)量。CAE技術(shù)己成為機(jī)械產(chǎn)品開發(fā)中的一項(xiàng)重要工具通過對梯級(jí)進(jìn)行有限元分析可以保證強(qiáng)度要求減少實(shí)驗(yàn)次數(shù)并取信于消費(fèi)者。ANSYS是當(dāng)前世界上應(yīng)用最廣的有限元分析軟件之一具有強(qiáng)大的有限元分析功能廣泛應(yīng)用于結(jié)構(gòu)分析。而且它具有良好的開放性具有參數(shù)化程序設(shè)計(jì)語言APDL、用戶界面設(shè)計(jì)語言UIDL和用戶程序特性UPFS等二次開發(fā)功能。本論文以蘇州江南嘉捷電梯有限公司生產(chǎn)的梯級(jí)為研究對象從以下幾個(gè)方面對梯級(jí)進(jìn)行了探討首先介紹了梯級(jí)的分類結(jié)構(gòu)及尺寸對梯級(jí)在運(yùn)行過程中的各個(gè)區(qū)段的受載情況進(jìn)行了分析建立了梯級(jí)在工作區(qū)段的力學(xué)模型并介紹了梯級(jí)的振動(dòng)來源及對舒適性的影響。其次初步開發(fā)了梯級(jí)的參數(shù)化有限元分析系統(tǒng)。運(yùn)用參數(shù)化程序設(shè)計(jì)語言APDL引入?yún)?shù)化變量和判斷、循環(huán)等流程控制命令詳細(xì)說明了梯級(jí)參數(shù)化模塊的開發(fā)過程。先建立模板分析過程然后整理對應(yīng)的LOG文件實(shí)現(xiàn)扶梯梯級(jí)分析系統(tǒng)的參數(shù)化模塊。然后運(yùn)用ANSYS的用戶界面設(shè)計(jì)語言UIDL可以開發(fā)簡單的用戶界面。而本課題的特點(diǎn)正是需要輸入的參數(shù)簡單明了。本文以梯級(jí)為例說明通過ANSYS對UIDL控制文件的調(diào)用以及對菜單控制文件和對話框控制文件的編輯實(shí)現(xiàn)梯級(jí)分析系統(tǒng)的界面模塊設(shè)計(jì)。在模型參數(shù)改變后用戶只需要通過用戶界面輸入更改參數(shù)就可以產(chǎn)生自動(dòng)進(jìn)行有限元分析的ANSYS輸入文件。最后運(yùn)行此梯級(jí)專有分析系統(tǒng)得到了梯級(jí)靜態(tài)實(shí)驗(yàn)和動(dòng)態(tài)實(shí)驗(yàn)的有限元分析結(jié)果顯示了該系統(tǒng)能夠避免大量的重復(fù)操作提高分析效率。而且輸入界面簡單明了非專業(yè)人員也可以運(yùn)用該系統(tǒng)進(jìn)行梯級(jí)分析。本文開發(fā)的梯級(jí)參數(shù)化有限元分析系統(tǒng)其分析結(jié)果對梯級(jí)的設(shè)計(jì)制造具有一定的指導(dǎo)意義。

簡介：軟件自動(dòng)化測試技術(shù)的應(yīng)用，大大提高了軟件測試的效率，降低了軟件測試人員的工作強(qiáng)度和測試成本。然而，由于軟件系統(tǒng)的技術(shù)背景、應(yīng)用領(lǐng)域、開發(fā)環(huán)境各不相同，自動(dòng)化測試所涉及的測試案例的范圍非常廣泛，測試案例庫龐大。測試腳本的集中管理、調(diào)度及其與對應(yīng)測試工具的接口調(diào)用，也日益成為軟件自動(dòng)化測試過程所關(guān)心的核心問題。本論文通過結(jié)合主流測試工具腳本管理功能，從擴(kuò)展性和實(shí)用性出發(fā)，設(shè)計(jì)和實(shí)現(xiàn)了一個(gè)能夠適應(yīng)不同階段、不同類型測試腳本的自動(dòng)化管理工具。從而顯著提高了自動(dòng)化測試的效率，更好地維護(hù)和管理測試腳本。本論文的主要工作和貢獻(xiàn)有1深入分析了現(xiàn)有測試腳本管理工具的功能，并指出了其不足之處。2對測試腳本管理工具，進(jìn)行了系統(tǒng)需求功能分析。主要包括腳本的分類、查找、歸檔和版本管理；測試管理工具與其它測試工具（單元測試、自定義測試腳本、自動(dòng)化測試腳本）的對接及調(diào)用；遠(yuǎn)程測試環(huán)境下的測試腳本管理及調(diào)度需求等。3設(shè)計(jì)了測試腳本管理工具的系統(tǒng)架構(gòu)。主要包括系統(tǒng)組件設(shè)計(jì)、系統(tǒng)部署圖、模塊接口設(shè)計(jì)和公用組件庫設(shè)計(jì)。4完成了測試腳本管理工具的核心模塊設(shè)計(jì)。主要包括用戶登錄、腳本管理主界面、遠(yuǎn)程代理機(jī)配置及狀態(tài)、第三方測試工具接口參數(shù)設(shè)置、測試腳本分類、測試腳本歸檔、用戶權(quán)限管理以及對應(yīng)的數(shù)據(jù)庫表設(shè)計(jì)。5通過2個(gè)具體軟件測試項(xiàng)目，對測試管理工具進(jìn)行了功能測試和性能測試，驗(yàn)證了本測試腳本管理工具的可用性和有效性。本文設(shè)計(jì)實(shí)現(xiàn)的腳本管理工具，能夠和復(fù)雜的測試需求與環(huán)境有機(jī)結(jié)合起來，并在各個(gè)測試工具的接口調(diào)用上能夠最大程度的實(shí)現(xiàn)對接，對復(fù)雜應(yīng)用環(huán)境下軟件測試質(zhì)量的提高有著長遠(yuǎn)的作用。通過不斷增加新的測試腳本管理類型，本工具已成功應(yīng)用到多個(gè)類型的軟件測試項(xiàng)目之中。

簡介：點(diǎn)擊查看更多基于現(xiàn)場總線的自動(dòng)化倉庫控制技術(shù)研究及應(yīng)用.pdf精彩內(nèi)容。

簡介：該論文借鑒國外居民住宅小區(qū)配電自動(dòng)化系統(tǒng)設(shè)計(jì)理念針對北京華清嘉園居民小區(qū)提出了一套可實(shí)施的新型居民住宅小區(qū)配電自動(dòng)化系統(tǒng)設(shè)計(jì)方案該居民住宅小區(qū)配電自動(dòng)化系統(tǒng)設(shè)計(jì)功能主要集中于五個(gè)方面即數(shù)據(jù)采集、監(jiān)視與控制、故障隔離與供電恢復(fù)、地理信息系統(tǒng)及數(shù)據(jù)統(tǒng)計(jì)與報(bào)表設(shè)計(jì)方案中在采用南瑞RCS9000系列、雙電公司SD9520裝置的同時(shí)采用了新開發(fā)的SD9630塑殼開關(guān)運(yùn)行狀態(tài)采集裝置檢測塑殼開關(guān)的運(yùn)行狀態(tài)并將運(yùn)行狀態(tài)傳回到集控中心中間站采用了新開發(fā)的SD9860電纜故障指示器完成電纜故障的識(shí)別集控中心的設(shè)計(jì)實(shí)現(xiàn)了整個(gè)小區(qū)配電自動(dòng)化系統(tǒng)的集中通訊、實(shí)時(shí)監(jiān)控、統(tǒng)計(jì)與管理功能高、低壓開關(guān)實(shí)現(xiàn)了自動(dòng)控制、狀態(tài)檢測和無功補(bǔ)償?shù)?

簡介：辦公自動(dòng)化系統(tǒng)主要是為機(jī)關(guān)工作人員處理政務(wù)提供一個(gè)辦公輔助手段目前OA軟件的主要弊端是開發(fā)手段單一技術(shù)含量低為用戶考慮得少軟件的柔性構(gòu)造功能較差該文的工作針對金質(zhì)辦公自動(dòng)化系統(tǒng)子系統(tǒng)信息管理模塊的設(shè)計(jì)和實(shí)現(xiàn)研究將群件平臺(tái)、分布式應(yīng)用、三層計(jì)算模式及網(wǎng)絡(luò)等眾多技術(shù)集成在一起的解決這些弊端的開發(fā)系統(tǒng)的方法金質(zhì)辦公自動(dòng)化系統(tǒng)在公司已有的GWP開發(fā)平臺(tái)上開發(fā)出金質(zhì)辦公自動(dòng)化的原型系統(tǒng)在原型系統(tǒng)的基礎(chǔ)上引導(dǎo)用戶提出需求進(jìn)行需求調(diào)研基于業(yè)務(wù)流程規(guī)范梳理金質(zhì)辦公自動(dòng)化系統(tǒng)各個(gè)模塊的業(yè)務(wù)進(jìn)行業(yè)務(wù)建模針對金質(zhì)辦公自動(dòng)化系統(tǒng)的要求從軟件開發(fā)角度研究了利用MVC技術(shù)實(shí)現(xiàn)辦公自動(dòng)化系統(tǒng)開發(fā)的方法該文重點(diǎn)介紹信息管理模塊的開發(fā)和實(shí)現(xiàn)信息管理模塊采用迭代和增量的方法開發(fā)根據(jù)需求以及業(yè)務(wù)建模規(guī)范對研究室及其負(fù)責(zé)的信息管理模塊進(jìn)行了業(yè)務(wù)建模建立詳細(xì)的業(yè)務(wù)模型實(shí)現(xiàn)了研究室業(yè)務(wù)過程分析和設(shè)計(jì)的可視化設(shè)計(jì)了研究室的工作分工樹圖、山東質(zhì)監(jiān)信息刊物采編發(fā)布流程的業(yè)務(wù)協(xié)作流程圖和研究室信息主管的職責(zé)執(zhí)行流程圖基于建模結(jié)果將應(yīng)用信息管理模塊的用戶分為5類他們各自應(yīng)用信息管理模塊的不同部分和不同功能由此得出信息管理模塊的系統(tǒng)概覽圖針對每一種用戶進(jìn)一步細(xì)化需求進(jìn)而得出三種用戶的數(shù)據(jù)處理用例圖然后詳細(xì)介紹了在IBMWEBSPHERESTUDIOAPPLICATIONDEVELOPER51環(huán)境和浪潮已有的GWP框架下采用MVC三層設(shè)計(jì)模式結(jié)合J2EE技術(shù)開發(fā)信息管理模塊的方法作為應(yīng)用作者的貢獻(xiàn)是建議使用迭代和增量相結(jié)合的方法來構(gòu)成軟件開發(fā)的生命周期從而使整個(gè)開發(fā)過程進(jìn)度安排合理保證了測試和實(shí)施的順利進(jìn)行交付給用戶的產(chǎn)品滿足他們的要求其次基于電子政務(wù)的業(yè)務(wù)流程設(shè)計(jì)規(guī)范梳理質(zhì)監(jiān)局的業(yè)務(wù)流程設(shè)計(jì)了質(zhì)監(jiān)信息和會(huì)議管理兩個(gè)模塊的業(yè)務(wù)流程另外金質(zhì)辦公自動(dòng)化系統(tǒng)主要是實(shí)現(xiàn)無紙化辦公作者在原有的工作流框架中增加正文和套用模板兩部分功能實(shí)現(xiàn)系統(tǒng)與WD的無縫集成以及在文檔正文中套用公文模板的功能

簡介：該文以啤酒發(fā)酵過程為工程背景對啤酒發(fā)酵過程的自動(dòng)化及優(yōu)化算法在啤酒發(fā)酵中的應(yīng)用技術(shù)進(jìn)行研究這對利用高新技術(shù)提升傳統(tǒng)產(chǎn)業(yè)的綜合技術(shù)水平具有現(xiàn)實(shí)意義該文的創(chuàng)新點(diǎn)和主要工作在于啤酒發(fā)酵是個(gè)動(dòng)態(tài)過程必須按定的工藝要求發(fā)酵過程反應(yīng)溫度曲線進(jìn)行控制以達(dá)到產(chǎn)品的質(zhì)量要求以前國內(nèi)有關(guān)啤酒發(fā)酵的控制類文獻(xiàn)研究的是如何通過先進(jìn)控制方法提高控制精度使得發(fā)酵過程嚴(yán)格按照工藝溫度曲線進(jìn)行減小誤差而該文首次利用優(yōu)化算法尋找最優(yōu)工藝溫度曲線在啤酒發(fā)酵過程動(dòng)力學(xué)模型的基礎(chǔ)上對過程進(jìn)行優(yōu)化在固定的發(fā)酵時(shí)間內(nèi)利用蟻群算法得到的一系列優(yōu)化溫度曲線中找出一條最優(yōu)的工藝溫度曲線使得發(fā)酵過程最后酒精量達(dá)到足夠大的值同時(shí)保證副產(chǎn)品濃度最低而且啤酒沒有因?yàn)榘l(fā)酵溫度過高而變質(zhì)當(dāng)前很多啤酒廠仍然沿用著多年前的自控裝置而這些自控裝置隨著生產(chǎn)的擴(kuò)大和自控要求的不斷提高已經(jīng)無法滿足生產(chǎn)的需要開發(fā)一套全新的控制系統(tǒng)硬件加軟件的成本較高所以很多廠家提出對老系統(tǒng)的擴(kuò)展改造要求熟悉老系統(tǒng)的硬件和軟件的技術(shù)人員已經(jīng)不多該課題結(jié)合杭州西湖啤酒廠發(fā)酵車間改造項(xiàng)目研究了老系統(tǒng)SIEMENSS5系列PLC開發(fā)和新系統(tǒng)SIEMENSS7系列PLC開發(fā)之間的結(jié)合問題在對老系統(tǒng)影響盡量少的要求下采用適當(dāng)?shù)耐ㄓ嵎绞讲5源程序進(jìn)行修改圓滿完成了系統(tǒng)結(jié)合的工作同時(shí)研究了多功能面板S7200系列PLC程序開發(fā)中的問題以及工控軟件中表格的比較和實(shí)現(xiàn)等問題這些經(jīng)驗(yàn)是在控制系統(tǒng)實(shí)際開發(fā)中積累起來的對相應(yīng)的工程技術(shù)人員有一定的參考價(jià)值

簡介：隨著技術(shù)、經(jīng)濟(jì)的發(fā)展變電所開關(guān)等設(shè)備具備了遠(yuǎn)方控制的可能電網(wǎng)調(diào)度自動(dòng)化系統(tǒng)達(dá)到了實(shí)用化要求為了進(jìn)一步提高變電所安全運(yùn)行水平及減員增效的目標(biāo)改變變電所運(yùn)行管理方式由變電所有人值班向無人值班運(yùn)行管理方式的轉(zhuǎn)變成為中國電力系統(tǒng)進(jìn)入九十年代以后在變電所運(yùn)行管理模式改革的重要環(huán)節(jié)該論文是以鞍山紅一變集控站和寧遠(yuǎn)無人值班變電所為背景在查閱了國內(nèi)外相關(guān)文獻(xiàn)的基礎(chǔ)上對無人值班變電所自動(dòng)化技術(shù)進(jìn)行了較為詳細(xì)的介紹并對國內(nèi)外無人值班變電所的發(fā)展?fàn)顩r進(jìn)行了簡要的比較紅一變集控站采用FJNT2000監(jiān)控系統(tǒng)可以通過當(dāng)?shù)氐男畔⒉杉到y(tǒng)和控制操作機(jī)構(gòu)對其所屬的多個(gè)變電所進(jìn)行監(jiān)視和操作寧遠(yuǎn)變電所采用綜合自動(dòng)化系統(tǒng)模式即利用變電所自動(dòng)化技術(shù)對變電所二次設(shè)備包括控制、信號(hào)、測量、保護(hù)、自動(dòng)裝置、遠(yuǎn)動(dòng)裝置的功能重新組合對變電所實(shí)施自動(dòng)監(jiān)視、測量、控制和協(xié)調(diào)變電所綜合自動(dòng)化系統(tǒng)可以收集到較齊全的數(shù)據(jù)和信息經(jīng)過計(jì)算機(jī)進(jìn)行計(jì)算和判斷可以方便地監(jiān)視和控制變電所內(nèi)各種設(shè)備的運(yùn)行完成對相關(guān)設(shè)備的操作與有人值班變電所相比無人值班變電所具有無可比擬的優(yōu)越性、先進(jìn)性和科技性為電網(wǎng)穩(wěn)定、可靠、安全地運(yùn)行提供了更為有力的保證

簡介：生產(chǎn)過程自動(dòng)化是一門綜合性的技術(shù)學(xué)科，綜合利用自動(dòng)控制器儀表學(xué)科以及計(jì)算機(jī)學(xué)科的理論服務(wù)于化學(xué)工程學(xué)科更是大家所研究的目標(biāo)。本文從化工生產(chǎn)出發(fā)，結(jié)合山東新華制藥股份有限公司的雙乙烯酮生產(chǎn)工藝過程，對自動(dòng)化過程控制系統(tǒng)在生產(chǎn)過程中的應(yīng)用和改進(jìn)進(jìn)行了一些探索。本論文主要研究在雙乙烯酮工藝生產(chǎn)中完善和優(yōu)化自動(dòng)化過程控制系統(tǒng)，進(jìn)行穩(wěn)定有效的自動(dòng)化過程檢測、控制和報(bào)警連鎖，提高產(chǎn)品的質(zhì)量和生產(chǎn)安全性。通過對自動(dòng)化過程控制系統(tǒng)的發(fā)展程度和雙乙烯酮生產(chǎn)工藝過程進(jìn)行了較詳細(xì)的分析和研究，找出了在雙乙烯酮工藝生產(chǎn)中自動(dòng)化過程控制系統(tǒng)對質(zhì)量控制、安全環(huán)保、節(jié)能及系統(tǒng)等方面存在的問題，并逐一對問題進(jìn)行剖析，設(shè)計(jì)了相應(yīng)改進(jìn)方案，并組織了方案實(shí)施。1過程控制系統(tǒng)檢測的防干擾措施，采用屏蔽、隔離、接地等技術(shù)，消除干擾，保證裂解爐的電流值和裂解爐溫度數(shù)值變化平穩(wěn)。2采用自動(dòng)控制技術(shù)，設(shè)計(jì)了磷酸三乙酯的流量控制和安全罐液位的自動(dòng)排放，提高了產(chǎn)品的質(zhì)量，降低了操作人員的勞動(dòng)強(qiáng)度和提高了工藝生產(chǎn)的安全性能。3安全報(bào)警與連鎖的應(yīng)用，對車間27個(gè)重要參數(shù)進(jìn)行了報(bào)警方案的設(shè)計(jì)，并對報(bào)警信息和報(bào)警燈進(jìn)行設(shè)置。同時(shí)對泵的狀態(tài)監(jiān)控也進(jìn)行了相應(yīng)的設(shè)計(jì)，使開停泵有語音提示，便于及時(shí)發(fā)現(xiàn)故障。4節(jié)能措施的實(shí)施，電能是雙乙烯酮工藝生產(chǎn)中消耗最多的能源，對用能情況進(jìn)行合理監(jiān)控，發(fā)現(xiàn)耗能異常，及時(shí)處理，減少能源消耗。5廢水排放指標(biāo)的在線檢測設(shè)計(jì)及儀器制作。按照工藝要求，設(shè)計(jì)了廢水檢測方案，主要對廢水的PH和電導(dǎo)率進(jìn)行在線檢測和發(fā)布。測控原理是對廢水的參數(shù)采集、采樣、檢測、排放、留樣和清洗進(jìn)行控制，檢測數(shù)據(jù)可以記錄、查詢、報(bào)警。便于對生產(chǎn)車間排放廢水進(jìn)行實(shí)時(shí)監(jiān)控和保障正常生產(chǎn)。6系統(tǒng)優(yōu)化和完善，根據(jù)實(shí)際需要，對過程控制系統(tǒng)進(jìn)行了部分的硬件更新和軟件組態(tài)調(diào)整。特別是系統(tǒng)冗余，使三臺(tái)上位機(jī)都為主站，修改互備，功能相同。通訊使用工業(yè)以太網(wǎng)技術(shù)，速度快，能力強(qiáng)、可靠性高。運(yùn)行結(jié)果表明，系統(tǒng)具有安全、穩(wěn)定等優(yōu)點(diǎn)，系統(tǒng)投入運(yùn)行后提高了雙乙烯酮的產(chǎn)品質(zhì)量，提高了工藝生產(chǎn)的自動(dòng)化程度，大大減輕了操作人員的勞動(dòng)強(qiáng)度，完善了生產(chǎn)過程的在線集中監(jiān)控，在質(zhì)量、安全、環(huán)保及節(jié)能等方面創(chuàng)造了顯著的經(jīng)濟(jì)效益與社會(huì)效益。

簡介：可信軟件的不斷發(fā)展，進(jìn)一步推動(dòng)了形式化方法的深入研究。形式化方法具有嚴(yán)格的數(shù)學(xué)語言和精確的邏輯語義，從而保證軟件在開發(fā)過程中的正確性。形式化方法主要包括形式化推導(dǎo)和形式化驗(yàn)證兩個(gè)部分。形式化推導(dǎo)是通過對問題程序規(guī)約進(jìn)行精確變換，最終得到算法程序。形式化驗(yàn)證是在對軟件進(jìn)行規(guī)約的基礎(chǔ)上驗(yàn)證軟件是否具有所期望的性質(zhì)。形式化方法對保證軟件正確性和可靠性具有十分重要的意義。本文從形式化推導(dǎo)和自動(dòng)化驗(yàn)證兩方面研究提高算法程序正確性的有效途徑。在形式化推導(dǎo)方面，采用基于遞推技術(shù)的算法形式化方法開發(fā)算法程序，通過程序規(guī)約變換技術(shù)對形式化程序規(guī)約進(jìn)行等價(jià)變換，得到問題求解的遞推關(guān)系和循環(huán)不變式，以此為基礎(chǔ)得到算法程序。該方法不僅清晰地展示了算法的設(shè)計(jì)思路與過程，而且有效保證了算法程序的正確性。在自動(dòng)化驗(yàn)證方面，選擇ISABELLE定理證明器為工具。ISABELLE傳統(tǒng)應(yīng)用領(lǐng)域?yàn)閿?shù)學(xué)定理證明，本文結(jié)合驗(yàn)證需要在對其內(nèi)置類型庫和規(guī)則庫進(jìn)行擴(kuò)充的基礎(chǔ)上，探索將它應(yīng)用于算法程序自動(dòng)化驗(yàn)證以及問題求解序列遞推關(guān)系自動(dòng)化驗(yàn)證的有效方法。論文從三個(gè)層面深入剖析了ISABELLE定理證明器，從三個(gè)部分展示了ISABELLE的理論證明過程。結(jié)合本文兩方面驗(yàn)證工作的需要，對ISABELLE的類型庫和規(guī)則庫進(jìn)行了擴(kuò)充，完成了新添加規(guī)則的內(nèi)部形式轉(zhuǎn)換和正確性驗(yàn)證，以及新類型的嵌入；然后以此擴(kuò)充的ISABELLE類型庫和規(guī)則庫為基礎(chǔ)，采用后推證明方式，結(jié)合DIJKSTRA最弱前置謂詞方法，給出了算法程序自動(dòng)化驗(yàn)證的基本流程，并對若干問題的算法程序進(jìn)行了自動(dòng)化驗(yàn)證；同時(shí)，為了避免手工推導(dǎo)遞推關(guān)系帶來的人為性錯(cuò)誤，基于以上擴(kuò)充的ISABELLE規(guī)則庫，對本文實(shí)例中推導(dǎo)得到的遞推關(guān)系實(shí)現(xiàn)了進(jìn)一步自動(dòng)化驗(yàn)證。研究表明，上述工作有效提高了算法程序正確性證明和問題求解序列遞推關(guān)系正確性驗(yàn)證的效率。

簡介：點(diǎn)擊查看更多基于CDMA的電力自動(dòng)化遠(yuǎn)程圖像監(jiān)控方案.pdf精彩內(nèi)容。

簡介：本課題主要是針對萬維公司設(shè)計(jì)開發(fā)的，專門用于公司內(nèi)部員工信息交流的系統(tǒng)，是該公司電子運(yùn)維系統(tǒng)的一個(gè)組成部分。本文以該公司協(xié)同辦公自動(dòng)化系統(tǒng)的實(shí)施開發(fā)為例，從辦公自動(dòng)化的發(fā)展現(xiàn)狀談起，結(jié)合公司的實(shí)際情況，在用戶需求分析的基礎(chǔ)上，提出協(xié)同辦公自動(dòng)化系統(tǒng)的基本目標(biāo)，并闡述了系統(tǒng)的總體結(jié)構(gòu)設(shè)計(jì)和功能模塊設(shè)計(jì)，構(gòu)建了一個(gè)以ASE技術(shù)和后臺(tái)數(shù)據(jù)庫為基礎(chǔ)、建立在BROWSERSERVERDATABASE三層構(gòu)架之上的、基于WINDOWS操作系統(tǒng)平臺(tái)的辦公自動(dòng)化系統(tǒng)。它通過有效整合的個(gè)人管理、信息管理、知識(shí)管理、人事管理、工作管理、系統(tǒng)管理等核心辦公需求，使企業(yè)內(nèi)部人員能方便快捷地共享信息，高效地協(xié)同工作，同時(shí)為企業(yè)迅速搭建起一個(gè)協(xié)同、高效、集成的現(xiàn)代化、便捷式的辦公自動(dòng)化環(huán)境，全面提升企業(yè)在信息化新時(shí)代的核心競爭力。在實(shí)現(xiàn)方法上，該系統(tǒng)采用BS模式，以SQLSERVER2005作為網(wǎng)絡(luò)數(shù)據(jù)庫，利用服務(wù)器端的編程技術(shù)和VISUALC語言進(jìn)行系統(tǒng)開發(fā)，同時(shí)在系統(tǒng)中應(yīng)用了當(dāng)今流行的AIAX、MVC模式等最新技術(shù)。另外，本文還對、BS、UML、XMLFRAMEWK20等主要相關(guān)技術(shù)進(jìn)行了討論。

簡介：隨著計(jì)算機(jī)、通信和自動(dòng)化技術(shù)的迅猛發(fā)展，網(wǎng)絡(luò)化已成為測量系統(tǒng)發(fā)展的趨勢。而基于現(xiàn)場總線網(wǎng)絡(luò)的測量系統(tǒng)則是目前發(fā)展的主流?，F(xiàn)場總線是連接智能現(xiàn)場設(shè)備和自動(dòng)化系統(tǒng)的全分散、數(shù)字式、雙向、多變量、多點(diǎn)、多站的通信網(wǎng)絡(luò)。現(xiàn)場總線技術(shù)利用數(shù)字通信代替了傳統(tǒng)的4～20MA模擬信號(hào)，大大減少了傳感器與主控系統(tǒng)的連線以及通信帶寬，有效降低了系統(tǒng)成本與復(fù)雜度，實(shí)現(xiàn)了分布式智能監(jiān)測，對水質(zhì)測量領(lǐng)域的技術(shù)進(jìn)步起到了巨大的推動(dòng)作用。在眾多現(xiàn)場總線標(biāo)準(zhǔn)中，PROFIBUS現(xiàn)場總線以其國際化、開放式、高靈活性、高可靠性等優(yōu)勢，在工業(yè)自動(dòng)化測控領(lǐng)域內(nèi)得到廣泛的應(yīng)用。本文首先分析了PROFIBUS現(xiàn)場總線的協(xié)議，功能和特點(diǎn)，深入研究了PROFIBUS現(xiàn)場總線的報(bào)文結(jié)構(gòu)，為下文的設(shè)計(jì)實(shí)現(xiàn)打下了基礎(chǔ)。接著針對實(shí)際項(xiàng)目的需求，研究設(shè)計(jì)了基于PROFIBUSDP的自動(dòng)化網(wǎng)絡(luò)測量系統(tǒng)，介紹了該系統(tǒng)的總體結(jié)構(gòu)。針對系統(tǒng)要監(jiān)測的溫度、鹽度、溶解氧和PH值信號(hào)，分別研究確定了四種參數(shù)的測量原理和實(shí)現(xiàn)方法。系統(tǒng)的硬件設(shè)計(jì)主要側(cè)重于PROFIBUSDP從站的硬件設(shè)計(jì)，包括智能儀表單片機(jī)主機(jī)板外圍電路設(shè)計(jì)，電源模塊電路設(shè)計(jì)，PROFIBUSDP接口模塊電路和轉(zhuǎn)接口電路設(shè)計(jì)以及液晶顯示模塊設(shè)計(jì)。系統(tǒng)軟件設(shè)計(jì)包括系統(tǒng)總體程序設(shè)計(jì)，智能儀表和接口卡通信協(xié)議設(shè)計(jì)，智能儀表數(shù)據(jù)采集模塊和AD轉(zhuǎn)換模塊設(shè)計(jì)，接口卡初始化與智能儀表數(shù)據(jù)交換模塊程序設(shè)計(jì)，液晶顯示驅(qū)動(dòng)模塊設(shè)計(jì)，主站PLC數(shù)據(jù)處理程序設(shè)計(jì)，WINCC組態(tài)監(jiān)控畫面設(shè)計(jì)以及鍵盤操作，串口通信等常規(guī)模塊設(shè)計(jì)。實(shí)驗(yàn)證明，本文設(shè)計(jì)的系統(tǒng)充分發(fā)揮了PROFIBUS現(xiàn)場總線作為底層測控網(wǎng)絡(luò)的強(qiáng)大功能，優(yōu)化了控制，提高了性能和易操作性，系統(tǒng)運(yùn)行穩(wěn)定可靠，測量精度高，滿足了項(xiàng)目的需求。

簡介：自動(dòng)化立體倉庫是隨著現(xiàn)代物流發(fā)展的大背景應(yīng)運(yùn)而生的是現(xiàn)代機(jī)械技術(shù)、信息技術(shù)、自動(dòng)化控制理論應(yīng)用于企業(yè)管理實(shí)踐最新的產(chǎn)物。由于應(yīng)用于不同行業(yè)、不同物資儲(chǔ)存管理自動(dòng)化立體庫又各具特點(diǎn)。本論文主要闡述煙草行業(yè)煙絲自動(dòng)化立體倉庫的設(shè)計(jì)和改進(jìn)工作以青島卷煙廠為實(shí)例進(jìn)行分析研究。論文首先綜述了國內(nèi)外自動(dòng)化立體倉庫的研究現(xiàn)狀。從發(fā)展的過程及研究的情況看主要將立庫的設(shè)計(jì)、規(guī)劃和實(shí)施建設(shè)等方面作為研究的主要內(nèi)容重點(diǎn)研究提高設(shè)備利用率、空間利用率和人員工作效率等問題?？傊S著現(xiàn)代信息技術(shù)的高速發(fā)展立庫的自動(dòng)化程度、操作精準(zhǔn)度和速度都在不斷提升。其次概述了自動(dòng)化立體倉庫的功能與分類以及立庫設(shè)計(jì)時(shí)要考慮的基本原則。另外對用于測算立庫人員、設(shè)備利用效率的公式也進(jìn)行了總結(jié)以期在后續(xù)工作中使倉庫容積、人員、設(shè)備都得到充分有效的利用。再次全面研究煙絲立體庫和輸送系統(tǒng)的改造。畫出煙絲立體庫的平面布局圖、煙絲立體庫的作業(yè)流程圖并寫出了詳細(xì)的作業(yè)過程。對傳統(tǒng)的輸送系統(tǒng)改造升級(jí)畫出了改造后的AGV輸送系統(tǒng)的布局圖減少了通道數(shù)量、機(jī)械數(shù)量和冗余人員的數(shù)量提高自動(dòng)化程度和作業(yè)效率。最后結(jié)合以上改進(jìn)措施對青島卷煙廠實(shí)施煙絲立體倉庫項(xiàng)目進(jìn)行了規(guī)劃、設(shè)計(jì)并提出了詳盡的實(shí)施方案。經(jīng)實(shí)踐檢驗(yàn)實(shí)施立體倉庫之后該廠物流管理、自動(dòng)化和實(shí)時(shí)反應(yīng)水平較以前都有很大改善。青島卷煙廠是實(shí)施自動(dòng)化立體倉庫較早的煙草企業(yè)之一。1997年建成使用的成品自動(dòng)化立體倉庫是在國家經(jīng)貿(mào)委立項(xiàng)的重大科技項(xiàng)目通過了國家煙草專賣局公司科技項(xiàng)目鑒定并獲科技進(jìn)步一、二等獎(jiǎng)。在成功建設(shè)實(shí)施成品卷煙自動(dòng)化立體倉庫的基礎(chǔ)上實(shí)施易地技術(shù)改造過程中。擬規(guī)劃建設(shè)原料、煙絲、輔料、咀棒、成品五座自動(dòng)化立體倉庫。其中煙絲立體倉庫項(xiàng)目為易地技改新建項(xiàng)目沒有成熟經(jīng)驗(yàn)可以借鑒。所以對此項(xiàng)目進(jìn)行設(shè)計(jì)及實(shí)施非常必要和重要。經(jīng)近幾年的實(shí)踐檢驗(yàn)建立煙絲立體倉庫之后該廠物流管理、自動(dòng)化和實(shí)時(shí)反應(yīng)水平較以前都有很大改善。實(shí)現(xiàn)了卷煙生產(chǎn)從制絲到包裝的全過程自動(dòng)化提高了生產(chǎn)管理、煙葉配方準(zhǔn)確性提升了卷煙內(nèi)在質(zhì)量和內(nèi)在品質(zhì)競爭力。項(xiàng)目實(shí)施過程中獲得1項(xiàng)實(shí)用新型專利和1項(xiàng)發(fā)明專利。