簡介：二十一世紀是中國氣象事業(yè)騰飛的世紀。中國氣象局要求各地氣象部門要切實做好服務(wù)當?shù)卣c社會生產(chǎn)工作。優(yōu)質(zhì)的氣象服務(wù)需要全面、及時、精確的氣象資料作為基礎(chǔ)。陜西省目前氣象資料的存儲現(xiàn)狀是“多種數(shù)據(jù)庫系統(tǒng)并存，一種業(yè)務(wù)獨占一個數(shù)據(jù)庫”，缺少統(tǒng)一規(guī)劃和頂層設(shè)計，進一步開發(fā)與維護比較困難。資料管理與數(shù)據(jù)共享存在諸多不便。本文研究國內(nèi)外資料存儲技術(shù)的發(fā)展與應(yīng)用現(xiàn)狀。分析了氣象行業(yè)資料的特點與業(yè)務(wù)要求，對各種氣象資料進行了詳細的歸納與整理。對目前陜西省氣象部門各種氣象資料進行規(guī)范化處理，設(shè)計并實現(xiàn)了統(tǒng)一集成的氣象資料庫、統(tǒng)一集中的數(shù)據(jù)存儲結(jié)構(gòu)與質(zhì)量控制方法，提出了氣象資料服務(wù)應(yīng)用模型與接口規(guī)范。設(shè)計并建立了氣象資料自動化存儲系統(tǒng)，實現(xiàn)了氣象資料自動存儲。最后對系統(tǒng)進行了詳細測試，確保了系統(tǒng)可用性與健壯性。氣象資料自動化存儲系統(tǒng)建立了準確、全面的陜西省氣象資料庫，實現(xiàn)了氣象資料統(tǒng)一的、系統(tǒng)的自動化存儲及共享，大大增強了陜西省氣象部門資料存儲、共享的手段，有力地提升了氣象資料應(yīng)用的水平。本文目前只是完成了氣象資料的整理，資料庫的創(chuàng)建與自動化系統(tǒng)的建立。以后還需在元數(shù)據(jù)的管理、氣象資料的分析以及提高行業(yè)用戶服務(wù)質(zhì)量等方面做進一步研究。

簡介：本文對武漢“銷品茂”辦公自動化系統(tǒng)設(shè)計及其工作流的實現(xiàn)進行了研究。文章結(jié)合系統(tǒng)事務(wù)工作流轉(zhuǎn)特點，提出了基于LOTUSNOTES的可控制工作流的設(shè)計方案。重點對文檔審批事務(wù)可控制工作流設(shè)計方法進行了研究搭建NOTES下OA系統(tǒng)工作流模型，根據(jù)其思路設(shè)計其中的公文流轉(zhuǎn)的方法，為提高系統(tǒng)效率，提出了運用流程配置和環(huán)節(jié)控制的工作流實踐關(guān)鍵技術(shù)的設(shè)計方法。其中流程配置可實施主動監(jiān)控，對工作流過程動態(tài)地進行維護；環(huán)節(jié)控制可靈活實現(xiàn)辦公流程的自定義，通過賦予用戶一定的自主權(quán)限，主動控制流轉(zhuǎn)的發(fā)生。最后在可控制工作流設(shè)計思路下，對數(shù)據(jù)庫、導航器、表單、視圖、文件夾進行了系統(tǒng)設(shè)計實現(xiàn)。

簡介：該文首先逐步深入地對軟件測試、面向?qū)ο筌浖y試、自動化軟件測試和面向?qū)ο筌浖卧獪y試進行了介紹和分析最后主要集中精力于基于設(shè)計模型規(guī)格描述的自動化單元測試技術(shù)研究提出了一種使用經(jīng)過擴充的狀態(tài)圖規(guī)格描述作為輸入的自動化單元測試方法該方法直接存取被測試對象狀態(tài)變量可以實現(xiàn)充分測試作者設(shè)計開發(fā)了該方法的一個原型實現(xiàn)該方法還存在須要解決的問題狀態(tài)定義對狀態(tài)變量的取值規(guī)律要求很可能是具有復雜規(guī)律的離散分布如果沒有其它機制的支持不可能建模出這種復雜的分布規(guī)律解決這個問題對該方法的實用化和產(chǎn)品化很重要是作者下一步的研究方向

簡介：安全協(xié)議是實現(xiàn)安全的分布式系統(tǒng)的基礎(chǔ)，所以保證其正確地工作至關(guān)重要。不幸的是，安全協(xié)議的設(shè)計存在一些非常微妙的細節(jié)，很難保證在設(shè)計過程中就能發(fā)現(xiàn)可能存在的漏洞。為此，在過去的20年間，研究人員提出了許多嚴格的形式化分析方法用于協(xié)議的安全性分析。其中，一種名為“BAN邏輯”1的基于邏輯推理的分析方法，因其以通俗的概念來偵測協(xié)議中存在的漏洞和冗余，而獲得了廣泛的應(yīng)用和好評。GNY2是BAN的眾多后繼者中的一員，它擴展了BAN邏輯中的許多內(nèi)容使得便于利用GNY開發(fā)自動化驗證系統(tǒng)?；谛问竭壿嫷乃枷?，一種名為“信任多集”3的形式化分析方法被提出來，它明確指明了保證密碼協(xié)議足夠安全的充分必要條件，同時對于存在安全性缺失的密碼協(xié)議，能夠有限度地給出構(gòu)造攻擊的結(jié)構(gòu)。本文將闡述，信任多集在經(jīng)過改進和完善后，不僅可用于手工分析也便于開發(fā)自動驗證系統(tǒng)。BMFPACKAGE就是基于“信任多集”所開發(fā)出的一套自動化驗證系統(tǒng)。它由PROLOG語言編寫的分析器BMFANALYZER和可視化建模工具VISUALBMF組成。它借鑒了南非開普敦大學基于GNY邏輯所開發(fā)的SPEAR2系統(tǒng)4。本文的結(jié)構(gòu)如下第2章主要介紹安全協(xié)議，安全協(xié)議的漏洞以及可能的攻擊；第3，4章進入正題開始介紹安全協(xié)議的形式化分析；第5，6章是信任多集的改進及其自動化實現(xiàn)，這也是我的主要工作。

簡介：南昌大學碩士學位論文基于工作流的企業(yè)辦公自動化系統(tǒng)設(shè)計姓名彭津琳申請學位級別碩士專業(yè)軟件工程指導教師謝軍；鄭煒20111213ABSTRACTABSTRACTENTERPRISEOFFICEAUTOMATIONSYSTEMINTHEENTERPRISEINFORMATIZATIONPROCESSOFGREATIMPORTANCE，0街CEAUTOMATIONSOFTWAREDEVELOPMENTANDUTILIZATIONTOMAXIMIZEOFFICECLERKSWORKAUTOMATION，ELECTRONIC，SPECIALIZATION，GREATLYREDUCETHELABORINTENSITYMAKEFULLUSEOFINFORMATION，IMPROVEWORKEFFICIENCYANDWORKQUALITYTHEPURPOSEOFRAISINGPRODUCTIVITYATTHESAMETIME，THEOFFICEAUTOMATIONINVARIOUSDATASOURCESANDTHEAPPLICATIONOFHETEROGENEOUSDATABASEDATASHARE，DATAEXCHANGEHASBECOMEINCREASINGLYPROMINENTPROBLEMACCORDINGTOENTERPRISE’SACTUALWORK，INTRODUCEDINTHEWINDOWSNT／2000NETWORKENVIRONMENTTAKINGLOTUSDOMINOASTHEDEVELOPMENTPLATFORM，TOTHEENTERPRISEOFFICEAUTOMATIONSYSTEMBASEDONWEBDESIGNCONSTRUCTIONANDDEVELOPMENTMADEASYSTEMELABORATE，TOTHEENTERPRISEOFFICEAUTOMATIONSYSTEMDEVELOPMENTPROCESSOFWORKFLOWTECHNOLOGYANDKEYTECHNOLOGYAREDISCUSSEDINDETAILDISCUSSESTHEENTERPRISEOFFICEAUTOMATIONSYSTEMFRAMEWORKDESIGNANDIMPLEMENTATIONINDOMINOBASEDONB／SMODELOFOFFICEAUTOMATIONSYSTEMINTEGRATIONTECHNOLOGYTHEOFFICEAUTOMATIONSYSTEMDEVELOPMENTINTHEFACEOFTHEHETEROGENEOUSDATASOURCEDATAEXCHANGEPROBLEM，PUTFORWARDTOSUPPORTTHERELATIONALDATABASEANDTHENUMBEROFDOCUMENTS’ACCORDINGTOPOOLDATAOBIECTMODELANDTHEHETEROGENEOUSDATASOURCEINTEGRATIONVISIONTHISTOPICRESEARCHSIGNIFICANCELIESINTHROUGHTOTHEOFFICEAUTOMATIONSYSTEMTHEMODELANALYSIS，MAKEFULLUSEOFGROUPWARETECHNOLOGYWWWTECHNOLOGYWORKFLOWTECHNOLOGYTOCONSTRUCTTHEENTE印RISEOFFICEAUTOMATIONSYSTEM，WHICHWILLGREATLYIMPROVETHEDAILYOFFICEBUSINESSANDDECISIONMAKINGEFFICIENCYIMPROVETHEREACTIONSPEEDOFTHEENTERPRISES，DECISIONMAKINGABILITYSTRENGTHENTHEMANAGEMENTOFTHENORMATIVESEXOFTHEPROCESSKEYWORDSDESIGN；ENTERPRISEOA；WORKFLOWTECHNIQUE；HETEROGENEOUSDATASOURCESINTEGRATION

簡介：隨著國民經(jīng)濟的持續(xù)發(fā)展，電網(wǎng)規(guī)模在不斷擴大。滿足各類用戶的供電需求是電網(wǎng)運營的主要任務(wù)之一。為此，電網(wǎng)建設(shè)與改造必須依靠科技進步。應(yīng)用電網(wǎng)變電站自動化技術(shù)是電網(wǎng)建設(shè)與改造中現(xiàn)代化管理的重要手段，是電網(wǎng)建設(shè)與改造的基礎(chǔ)和重點。本論文重點研究電網(wǎng)供電系統(tǒng)中的變電站綜合自動化技術(shù)。變電站綜合自動化技術(shù)是電網(wǎng)供電系統(tǒng)中關(guān)鍵技術(shù)之一，它在電網(wǎng)資源控制與管理優(yōu)化方面起著重要的作用。對電網(wǎng)實施安全可靠高效率的管理，能夠提高企業(yè)生產(chǎn)經(jīng)營效益，促進國民經(jīng)濟發(fā)展。論文從分析變電站自動化技術(shù)現(xiàn)狀與發(fā)展入手，首先概述變電站自動化技術(shù)的現(xiàn)狀，分析了存在的問題和發(fā)展趨勢。然后，對其相關(guān)技術(shù)進行了詳細地學習與分析。重點學習傳輸規(guī)約標準化、微機綜合保護控制器、故障錄波、電子式互感器等技術(shù)。在對這些技術(shù)學習的基礎(chǔ)上，從標準化、數(shù)字化、網(wǎng)絡(luò)化方向出發(fā)，制定蘭州石化中央4號變電站綜合自動化系統(tǒng)設(shè)計方案，采用分層分布式控制結(jié)構(gòu)。研究在數(shù)據(jù)幀中加入標志字節(jié)LB和定時對數(shù)據(jù)緩存寄存器檢查，判斷數(shù)據(jù)幀類型的方法，解決數(shù)據(jù)幀傳輸正確率低的問題，編寫便于員工掌握和操作的人機界面軟件，完善PT斷線故障檢測功能，并對工程進行實施。從工程建設(shè)結(jié)果可以看出，中央4號變電站綜合自動化系統(tǒng)的研究與建設(shè)從根本上改變了原有的運行模式，增強了變電站運行的安全可靠性，提高了變電站自動化控制水平。同時，也為公司電力系統(tǒng)的發(fā)展奠定堅實的理論基礎(chǔ)。

簡介：點擊查看更多Windows可安裝文件系統(tǒng)自動化測試框架的研發(fā).pdf精彩內(nèi)容。

簡介：軟件測試是軟件生命周期的一個重要階段。軟件測試技術(shù)，特別是軟件測試自動化技術(shù)是當前國際軟件界最有爭議、亟待發(fā)展的技術(shù)。目前，國內(nèi)外許多研究機構(gòu)和公司都進行了大量的軟件測試的研究和應(yīng)用的工作。錄制回放和數(shù)據(jù)驅(qū)動是目前比較流行的兩種自動化測試框架類型。前者通過自動化工具自動錄制用戶操作，生成線性腳本。測試人員通過回放這些腳本來進行回歸測試。這種方法的缺點是腳本可重復利用率低，維護成本非常高。后者數(shù)據(jù)驅(qū)動測試框架，通過分離測試數(shù)據(jù)與測試腳本，運行時將測試數(shù)據(jù)關(guān)聯(lián)至測試腳本，實現(xiàn)多個測試用例共享一段測試腳本，腳本利用率和可維護性都得到了極大地提高。本文結(jié)合數(shù)據(jù)驅(qū)動的測試理論，開發(fā)了一套APIAPPLICATIONPROGRAMMINGINTERFACE，應(yīng)用程序接口自動化測試系統(tǒng)，針對INVENTAPI進行測試，從而提供高質(zhì)量的API給用戶進行INVENT二次開發(fā)。本文分析了數(shù)據(jù)驅(qū)動的自動化測試系統(tǒng)的特征，并研究了API測試的過程，最終設(shè)計了基于數(shù)據(jù)驅(qū)動的API自動化測試系統(tǒng)，采用VB作為測試腳本，以XML格式存儲數(shù)據(jù)文件。該系統(tǒng)包括測試輸入輸出系統(tǒng)、測試用例管理系統(tǒng)和測試執(zhí)行控制系統(tǒng)三個子系統(tǒng)。論文通過結(jié)構(gòu)圖、流程圖、類圖等形式詳細論述了這三個子系統(tǒng)的設(shè)計、功能與工作流程。其中測試輸入輸出系統(tǒng)是實現(xiàn)數(shù)據(jù)驅(qū)動測試的關(guān)鍵模塊，測試腳本通過該系統(tǒng)提供的接口獲取測試用例文件中的數(shù)據(jù)，同時測試腳本也通過該模塊實現(xiàn)測試結(jié)果的輸出。而測試用例管理系統(tǒng)則提供了功能強大的可視化界面，幫助測試人員根據(jù)不同的測試用例設(shè)計方法生成測試用例文件。測試執(zhí)行控制系統(tǒng)負責測試環(huán)境的初始化、執(zhí)行測試以及生成測試報告等工作。本文的最后給出了運用所開發(fā)的系統(tǒng)對一個實際的API進行測試的例子，展示了測試輸入輸出系統(tǒng)、測試用例管理系統(tǒng)和測試執(zhí)行控制系統(tǒng)如何相互配合完成對測試全過程的支持，以達到提高測試效率和測試質(zhì)量的目的。通過實踐可以看出，利用本系統(tǒng)開發(fā)測試腳本，測試腳本開發(fā)人員利用簡單易用的VB即可編寫出高質(zhì)量的測試腳本。測試用例也可以非常靈活、方便地通過測試用例管理工具生成。由于腳本與數(shù)據(jù)分離，測試腳本的維護以及測試用例的擴展都非常方便，測試人員擴展測試用例后甚至都不需要修改測試腳本，這也是本文設(shè)計的測試系統(tǒng)的顯著特點。

簡介：隨著用電量的增加，供電質(zhì)量日益成為人們關(guān)注的焦點。我國國民經(jīng)濟的迅速發(fā)展對配電網(wǎng)供電質(zhì)量及經(jīng)濟運行指標等提出了更高的要求。城市電網(wǎng)改造的深入進行使10KV配電網(wǎng)絡(luò)的供電可靠性有了較大的提高，但網(wǎng)絡(luò)的復雜程度也隨之提高，為了全面提高配網(wǎng)運營的各項技術(shù)經(jīng)濟指標，配電自動化系統(tǒng)的建設(shè)勢在必行。電力一次、二次設(shè)備及電子和通訊技術(shù)的發(fā)展，也為城市配電網(wǎng)自動化的實施提供了條件。本文結(jié)合冠縣配電網(wǎng)改造及配電自動化的實施對配電自動化所涉及到的一次網(wǎng)架改造、通訊系統(tǒng)建設(shè)、主站和分站系統(tǒng)設(shè)計及配電網(wǎng)故障定位問題給出詳細說明。論文在深入研究分析國內(nèi)外配網(wǎng)自動化技術(shù)發(fā)展背景的基礎(chǔ)上，首先分析了配網(wǎng)一次系統(tǒng)的網(wǎng)架結(jié)構(gòu)對實施配網(wǎng)自動化的影響，給出了冠縣配電網(wǎng)一次系統(tǒng)的改造方案。較為詳細地闡述了配網(wǎng)自動化系統(tǒng)的整體設(shè)計方案，給出了其軟件、硬件體系結(jié)構(gòu)。本文重點對配電自動化系統(tǒng)的功能進行了較全面的分析，包括數(shù)據(jù)采集和監(jiān)控、配電網(wǎng)高級應(yīng)用軟件（網(wǎng)絡(luò)拓撲、狀態(tài)估計、潮流計算、網(wǎng)損計算、負荷預測等）、配電管理、負荷管理、實時數(shù)據(jù)資源管理、重合器的配電網(wǎng)故障定位、FTU的配電網(wǎng)故障定位等。本文給出的配電網(wǎng)自動化系統(tǒng)設(shè)計方案，符合配電網(wǎng)的實際情況，實現(xiàn)了設(shè)計目標。實踐將會證明該系統(tǒng)功能完善，使用方便，完全滿足實際需求，可進一步提高供電企業(yè)的管理水平。

簡介：軟件測試是保證軟件質(zhì)量的重要手段，軟件測試一般分為手工測試和自動測試。軟件自動測試技術(shù)能夠完成許多手工測試無法實現(xiàn)或難以實現(xiàn)的測試。自動化測試工具作為保證軟件質(zhì)量和可靠性的關(guān)鍵技術(shù)手段正日益受到廣泛的重視。手機行業(yè)在短短幾年內(nèi)發(fā)展迅猛，用戶對功能、性能、穩(wěn)定性的要求越來越高，這就對手機的軟件測試提出了更高的要求。傳統(tǒng)的手機軟件測試的主要方式是采用手工測試，但隨著手機軟件開發(fā)周期的日益縮短以及手機軟件系統(tǒng)的日趨復雜，純粹的手工測試已很難在規(guī)定的時間內(nèi)保證軟件的質(zhì)量。因此，國外一些大型的手機廠商陸續(xù)研發(fā)出自己的一些自動化測試工具，也有專業(yè)的測試工具研發(fā)廠商在致力于這類自動化測試工具的研發(fā)。本文通過對當前的手機軟件自動化測試系統(tǒng)的分析比較，總結(jié)其不足并得出這些不足的設(shè)計來源。在此基礎(chǔ)上提出了一套手機軟件自動化測試系統(tǒng)的改進方法。改進的自動化測試系統(tǒng)將從手機控制方式，腳本設(shè)計方法和結(jié)果分析三個方面進行設(shè)計實現(xiàn)。本改進方法采用軟件方式控制手機運行，簡化測試系統(tǒng)硬件需求，降低系統(tǒng)搭建的難度。測試腳本設(shè)計采用面向?qū)ο蠹夹g(shù)，并利用關(guān)鍵字驅(qū)動模式，增強測試腳本的結(jié)構(gòu)性和靈活性，并具備很強擴展性。采用結(jié)構(gòu)性文本對測試結(jié)果進行存儲和比較，使得測試期望結(jié)果準確實時，真實反映當前軟件版本的功能特性。從而提高測試結(jié)果分析的效率，減少人力參與。經(jīng)分析驗證，改進后的自動化測試系統(tǒng)能大大提高整個測試流程的效率。

簡介：信息化系統(tǒng)能給應(yīng)用的業(yè)務(wù)領(lǐng)域帶來巨大的變革，但是隨著業(yè)務(wù)領(lǐng)域行業(yè)的功能細化與服務(wù)全面化，伴之而來的是給相關(guān)業(yè)務(wù)領(lǐng)域的信息化系統(tǒng)開發(fā)帶來了巨大的挑戰(zhàn)，即要求系統(tǒng)開發(fā)人員同時精通相關(guān)業(yè)務(wù)及軟件開發(fā)兩個領(lǐng)域的知識，這對開發(fā)人員是不現(xiàn)實的。此外，成功開發(fā)信息系統(tǒng)的前提是滿足客戶的需求，如何對客戶的業(yè)務(wù)需求全面、準確地理解是信息系統(tǒng)開發(fā)的關(guān)鍵和基礎(chǔ)。在現(xiàn)實的信息系統(tǒng)開發(fā)中對需求的理解不夠全面、不準確的事常有發(fā)生。影響業(yè)務(wù)需求建模的因素有很多，比如自然語言特有的歧義性，業(yè)務(wù)人員、開發(fā)人員、測試人員由于技術(shù)知識背景不同，造成對業(yè)務(wù)需求的理解不一致等?？赡茉斐山桓兜男畔⑾到y(tǒng)部不能按照客戶的需求運轉(zhuǎn)，給社會帶來巨大損失。針對上述問題，本文研究基于業(yè)務(wù)規(guī)則的形式化表達以及業(yè)務(wù)規(guī)則分析方法在自動化測試中的應(yīng)用，業(yè)務(wù)規(guī)則分析方法能消除對業(yè)務(wù)需求理解不全面、不準確的問題。經(jīng)過深入的理論研究發(fā)現(xiàn)，最終能作為標準的是業(yè)務(wù)本身，業(yè)務(wù)由一系列的規(guī)則組成，軟件需求無外乎是對業(yè)務(wù)的某種表達，但是這種表達即不完全也未必全然正確，業(yè)務(wù)有其內(nèi)在的“邏輯”，這種邏輯可以通過“業(yè)務(wù)分析”的過程予以揭示，這種邏輯是獨立于IT技術(shù)的。不管有沒有相應(yīng)的計算機應(yīng)用，任何業(yè)務(wù)都可以表達為流程（業(yè)務(wù)流）、規(guī)則和要素。在得到一種業(yè)務(wù)意圖的所有業(yè)務(wù)規(guī)則后，按業(yè)務(wù)流，以時間軸為中心線將業(yè)務(wù)規(guī)則形式化表達出來，形式化表達出來的每一條規(guī)則語句都是該業(yè)務(wù)意圖的一條分支路徑。本文采用將業(yè)務(wù)規(guī)則完全組合的方法，所以生成的業(yè)務(wù)規(guī)則語句涵蓋了業(yè)務(wù)意圖的所有分支路徑。在本文中還建立了規(guī)則語句篩選模塊，該模塊對組合后的規(guī)則語句進行篩選，篩選掉在業(yè)務(wù)系統(tǒng)中無實際意義的規(guī)則語句，最終得到的業(yè)務(wù)規(guī)則語句能真實、全面代表真實的業(yè)務(wù)需求。高度復雜的業(yè)務(wù)系統(tǒng)不僅給系統(tǒng)的開發(fā)帶來了很大的難度，也給軟件測試帶來了極大的挑戰(zhàn)。軟件測試是軟件質(zhì)量保證的重要手段，在軟件開發(fā)及驗收的過程中得到了高度重視，因此對高效、準確、自動化的軟件測試方法的需求也日趨迫切。一條規(guī)則語句代表一個業(yè)務(wù)意圖的解決分支路徑，由于規(guī)則語句由原子規(guī)則組成（在軟件測試中一條規(guī)則語句代表一個測試用例，原子規(guī)則代表測試用例中的一個屬性），因此業(yè)務(wù)規(guī)則語句能與測試數(shù)據(jù)進行自動化組合，這就能自動化生成測試用例，將在軟件中的自動化應(yīng)用在測試用例生成階段。本文基于所研究的業(yè)務(wù)規(guī)則分析方法設(shè)計了業(yè)務(wù)分析平臺BAPBUSINESSANALYSISPLATFM，該平臺實現(xiàn)了業(yè)務(wù)規(guī)則組合、規(guī)則語句篩選、測試用例生成等功能，由該BAP平臺生成的測試用例可應(yīng)用于基于WEBSERVICE服務(wù)接口的自動化測試。此外，本文所研究的業(yè)務(wù)規(guī)則分析方法在設(shè)計與實現(xiàn)報表系統(tǒng)自動化測試平臺中也得到了有效地應(yīng)用。

簡介：繼控制自動化、管理信息化與辦公自動化后，設(shè)備維護信息化與自動化已成為水電站建設(shè)和改造的焦點。自20世紀90年代以來，一些大型電廠陸續(xù)開展“狀態(tài)檢修”系統(tǒng)建設(shè)，在機組狀態(tài)監(jiān)測、分析及診斷方面取得了較大的進展，但由于認識、技術(shù)和管理多方面的原因，沒有達到預定的目標。為了明確水電站維護領(lǐng)域研究、開發(fā)和建設(shè)的最終目標，加速維護現(xiàn)代化，提出了水電站維護自動化的概念。首先對維護自動化進行了定義，即由維護系統(tǒng)自動地完成各種維護行為。這些行為包括自動狀態(tài)監(jiān)測、自動維護決策和自動維護實施。給出了系統(tǒng)運行模型，模型清楚地描述了系統(tǒng)運動狀態(tài)和設(shè)備健康狀況之間的關(guān)系?？刂谱詣踊褪歉鶕?jù)我們的愿望自動地控制系統(tǒng)的狀態(tài)，使系統(tǒng)優(yōu)質(zhì)地完成指定的任務(wù)；而維護自動化的目的是自動地維護設(shè)備，使設(shè)備在健康狀態(tài)下運行。此外還對維護系統(tǒng)、控制系統(tǒng)和管理系統(tǒng)的集成進行了描述。根據(jù)系統(tǒng)構(gòu)成、行為描述及評價關(guān)系模型，制訂了一套水電設(shè)施自動監(jiān)測、分析與診斷的方法1運動狀態(tài)監(jiān)測與分析。在控制系統(tǒng)的基礎(chǔ)上，補充監(jiān)測設(shè)施的運行狀態(tài)，并采用越限判斷、梯度計算、關(guān)聯(lián)分析等方法，捕捉設(shè)施健康狀態(tài)異常信息。2設(shè)施性能評價。根據(jù)完成規(guī)定任務(wù)過程中的運行狀態(tài)變化曲線，計算設(shè)施完成任務(wù)的性能指標，并通過與標準和規(guī)程中的性能要求對比，以及與歷史上同樣條件下完成同樣任務(wù)質(zhì)量的對比，檢測設(shè)施功能的失效和健康狀態(tài)的降低。3故障樹分析。以在運行狀態(tài)分析和設(shè)施性能評價中檢測出來的異常現(xiàn)象為線索，根據(jù)故障樹模型，查找并列出嫌疑設(shè)備清單。4故障或降級診斷。采用模型參考故障診斷、簽名分析等方法，對故障和健康狀況降低進行診斷定位。在掌握設(shè)備健康狀況的基礎(chǔ)上，綜合水情、電力市場、物資供應(yīng)采購與倉儲、檢修人力與物力、檢修場地等信息，考慮水利與航運調(diào)度等約束條件，以可靠性為中心，以經(jīng)濟效益最優(yōu)為目標，做出檢修決策，包括維修設(shè)備、維修等級、維修時間。目前，雖然維護實施還需要由人工來完成，但實施方案和工藝的設(shè)計可以由計算機專家系統(tǒng)根據(jù)檢修規(guī)程自動地完成，在數(shù)字機組上實施和優(yōu)化，并采用三維可視化仿真等虛擬現(xiàn)實手段培訓、指導檢修人員。同時，長江電力已開展水輪機葉片打磨與補焊機器人的研究，可以預計將來在虛擬機組上設(shè)計好的檢修實施方案可以直接輸出給機器人，由機器人實施。中國長江電力股份有限公司與華中科技大學合作，自2001年開始開展最優(yōu)維護信息系統(tǒng)研究，目前已在葛洲壩電站建立了10臺機組和4臺變壓器的健康狀況監(jiān)測系統(tǒng)和遠程監(jiān)測與診斷系統(tǒng)，并采用三維可視化仿真技術(shù)建立了數(shù)字機組。該系統(tǒng)在葛洲壩電站的設(shè)備分析、故障預警與檢修中發(fā)揮了重要作用。為實現(xiàn)維護自動化邁出了堅實的一步。

簡介：V8310RIL_；機械科學研究院碩士研究生學位論文基于計算機的摩擦學測試和自動化技術(shù)『UM卅。世，LF0堪甜N。J垃那J女牝IIU機RN’墅。H州、L，蚓圮TTIBOHGICAL’FESTINGANTIAUTTCOLLTRNJTECHOLTTGYBASEDOLLCOMLUTERAS1DYNSIGNALLHCE5SJRLTSI～TUNCPSTRASCLHLANDCOTROLOFELECIROMOTORFLTQUENCYINVERTEL培養(yǎng)R位專、№研究方向研究生指導老師武漢材料保護塒究所機械設(shè)計及理論摩擦學測證技術(shù)肖蟑李健研究蚰00塑墨一一一塑塑登蘭墮壅墮堡主嬰塞生堂堡堡塞算機軟件技術(shù)，實現(xiàn)了對銷盤摩擦試驗機的自動化改造。通過幾種材料在精確性、可比性和重現(xiàn)性方面的摩擦學性能測試，驗證了所取得的成果。關(guān)鍵詞摩擦學測試試驗機變頻器信號處理接121計算機軟件ABSTRACTTHEPHENOMENAOFFRICTIONANDWEARISVERYCOMPLEX，THEREAREMANYAFFECTINGFACTORS，SOTHESTUDYOFTRIBOLOGICALMAINLYDEPENDSONTESTINGTECHNOLOGYWHICHISVERYIMPORTANTANDBASICPARTINTHESTUDYOFTRIBOLOGICALTRIBOLOGICALTESTINGDEALSWITHTHERANGEFROMFIELDTESTTOLABORATORYSIMULATIVETESTTHETRIBOLOGICALTESTERISTHEPRIMARYTOOLINTRIBOLOGICALTESTING。BECAUSEOFTHESYSTEMICCHARACTEROFTRIBOLOGICALPROBLEM，THEAFFECTINGOFDATAPROCESSING，AUTOCONTROLANDMACHINEINTELLIGENCETORELIABILITYACCURACYANDAPPLICABILITYOFTESTERBECOMEINCREASINGLYSTANDOUTITISMEANINGFULTOMAKEUSEOFABUNDANTSOFTHARDPCRECOURSE，ANDBUILDATESTINGSYSTEMWITHPROPERPARAMETERMEASUREMENTANDCOMPUTERDATACOLLECTION，CONTROLBASEDONPCTHE。SIGNALPROCESSOFRESISTANCESTRAINSENSORCONTROLOFELECTROMOTORFREQUENCYINVERTERANDCOMPUTERMEASURINGTECHNOLOGYWHICHWIDELYINVOLVEDINLABORATORYWASSTUDIEDINTHISPAPERTHEMAININNOVATIONSANDPRODUCTIONOFTHEPAPERAREDESCRIBEDASBELOW1ITHASBEENDEEPLYSTUDIEDTHATTHETHEORYOFRESISTANCESTRAINSENSORANDRELATEDSIGNALPROCESSTECHNOLOGYWHICHINCLUDEPROBLEMSOFMAGNIFICATION，F(xiàn)ILTERTRANSFORMATIONANTIJAMMING，ANDETC；ANDDEVELOPTHESENSORSIGNALTRANSITIONWHICHCANREFLECTTHEVARIATIONOFTRIBOLOGICALPARAMETERS，ANDWHICHISFITFORCOMPUTERCOLLECTIONITHASTHESPECIALTYOFHI曲PRECISION，STABLEPERFORMANCE，STRONGABILITYOFEXPANSIBILITYITHASBEENAPPLIEDTOMANYKINDSOFRESISTANCESTRAINSENSORANDPROVIDEDTHESTUDYCONDITIONFORFUTURE。2ITHASBEENSTUDIEDTHATTHEPAPERSTUDYTHERELATEDRUNNINGPROBLEMSOFELECTROMOTORCONTROLLEDBYFREQUENCYINVERTER，THELOCALIZATIONOFTHEAPPLICATIONOFFREQUENCYINVERTERINTRIBOLOGICALTESTINGTECHNOLOGYWASANALYZED，PROBLEMOFTIMING，EXPORTRIGIDITYANDBRINGH

簡介：隨著制冷系統(tǒng)控制器技術(shù)的不斷發(fā)展，控制器的軟件規(guī)模也在不斷擴大。另外，由于市場的激烈競爭，軟件開發(fā)周期也在不斷縮短。在有限的開發(fā)時間內(nèi)如何保證規(guī)模龐大的控制器軟件的質(zhì)量，即如何高效地進行控制器軟件測試，成為軟件開發(fā)團隊急需解決的課題之一。軟件的自動化測試技術(shù)能夠幫助軟件的開發(fā)人員和測試人員在更短的時間內(nèi)開發(fā)出更高質(zhì)量的產(chǎn)品，通過代替重復度很高的手動測試從而提高測試的效率和準確性。當今，軟件的自動化測試技術(shù)已經(jīng)成為軟件測試技術(shù)研究的熱點之一。制冷系統(tǒng)控制器軟件的功能性測試尚處于手動測試階段，測試效率低下。本課題研究的目的就是設(shè)計并實現(xiàn)一款針對制冷系統(tǒng)控制器軟件進行自動化測試的工具，以提高測試的效率。本論文的主要工作有1研究了軟件自動化測試理論、工具以及嵌入式控制器軟件的測試方法。2針對制冷系統(tǒng)嵌入式控制器的特點，設(shè)計自動化軟件測試平臺。3基于關(guān)鍵字驅(qū)動測試方法，實現(xiàn)了自動化測試腳本語言的語法定義及其解釋器的軟件設(shè)計。4設(shè)計與實現(xiàn)了控制器所使用通信協(xié)議的軟件架構(gòu)。5通過編寫多個測試腳本，對自動化測試工具及平臺進行了驗證。通過將自動化測試工具應(yīng)用到某實際控制器軟件開發(fā)項目中去，對其功能進行了驗證，結(jié)果表明該測試方案是可行的和有效的。今后，通過不斷增加新的測試功能與測試庫，該自動化測試工具還將應(yīng)用到多個制冷系統(tǒng)控制器的軟件開發(fā)測試項目中去。

簡介：重慶大學碩士學位論文智能控制及其在樓宇自動化系統(tǒng)中的應(yīng)用研究姓名幸明珂申請學位級別碩士專業(yè)控制理論與控制工程指導教師童明俶2001525ABSTRACTBASEDONTHEINVESTIGATIONANDSTUDYINTHECHONGQINGELECTRICPOWERBUILDING，THISPAPERSTUDIESTHEINTELLIGENTCONTROLANDITSPRINCIPLEAPPLICATIONINTHEBUILDINGAUTOMATIONSYSTEMBASSINCE1980’SINORDERTOSOLVECOMPLEXCENTREIPROBLEMSTHATTRADITIONALCONTROLTHEORYCANNOTHANDLE，ANEWLYINTERDISCIPLINE，INTELLIGENTCONTROLTECHNIQUE，COMESINTOBEINGBASEDONCOMPUTERTECHNIQUE，COMMUNICATIONTECHNIQUE，AUTOMATIONTECHNIQUE，ARTIFICIALINTELIGENCE，THISDISCIPLINEHASTHEFUNCTIONOFSTUDYINGADAPTINGORGANIZINGANDSOONITISVERYFITFURDEALINGWITHTHOSEUNCERTAINTYSTRONGNONLINEAR，INCOMPLETIONANDIMMODELINGCOMPLEXCONTROLPROBLEMSITHASBECOMEONEOFTHOSEHEATEDRESEARCHTOPICSINTHEFIELDOFCONTROLALLOVERTHEWORLDONTHEOTHERHAND，WITHTHEDEVELOPMENTOFSOCIETYANDECONOMYPEOPLEPUTFORWARDHIGHERREQUIREMENTTOWARDTHEFUNCTION，ENVIRONMENT，MANAGEMENTLEVELOFINTELLIGENTBUILDINGASAMAINPARTOFINTELLIGENTBUILDINGTHESCALEOFBASISINCREASINGLYENLARGEDWITHTHECONTROLREQUIREMENTIMPROVED，THEINTELLIGENTCONTROLTECHNIQUEHASSEEKINTOBASASARESEARCHTOPIC，THISPAPERHASITSOWNTHEORETICALVALUEANDPRACTICALSIGNIFICANCEINIMPULSINGTHEAPPLICATIONOFINTELLIGENTCONTROLINBASTHISPAPERFIRSTLYINTRODUCESTHEHISTORY，DEVELOPMENTANDTHEMAINCONTENTOFINTELLIGENTCONTROLTHEORY；SUMMARIESCOMPONENTSANDTHESYSTEMCONSTRUCTIONOFBAS；ILLUSTRATESTHEPRINCIPLEAPPLICATIONOFINTELLIGENTCONTROLINBAS；DISCUSSESTHEWORKPRINCIPLEANDSUPERVISIONMETHODOFAIRCONDITIONSYSTEMINBAS；INTRODUCESTHEDESIGN，CARRYINGOUTOFBASBASEDONTHEABOVE。THISPAPERIMPROVESTRADITIONALAIRCONDITIONCONTROLSYSTEM。BYINTRODUCINGREALTIMEEXPERTCONTROLSYSTEMINTOAIRCONDITIONSYSTEMBESIDES，ITDETAILLYILLUSTRATESTHESYSTEMCONSTRUCTION，HARDWARECONSTRUCTION，SOFTWAREDESIGN，ANDESTABLISHESTHEKNOWLEDGEBASEOFTHESYSTEMFINALLY，THISPAPERTAKESSUMMERWORKDAYASANEXAMPLE，SIMULATESANDCOMPARESTHEENERGYCONSUMPTIONBETWEENTRADITIONALANDREALTIMEEXPERTAIRCONDITIONCONTROISYSTEMTHESIMULATIONRESULTSHOWSTHATREALTIMEEXPERTCONTROLSYSTEMCALLSAVEENERGYABOUT15030％WECALLCONCLUDETHATREALTIMEEXPERTAIRCONDITIONCONTROLSYSTEMHASAGREATEFFECTFORENERGYSAVING，IMPROVINGMANAGEMENTANDRELIABILITYOFTHESYSTEMANDEXTENDINGLIFEOFTHEINSTRUMENTSKEYWORDSINTELLIGENTCONTROLBUILDINGAUTOMATIONSYSTEMAIRCONDITIONSYSTEMREALTIMEEXPERTAIRCONDITIONCONTROLSYSTEM