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

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

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

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

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

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

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

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

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

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

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

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

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

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

簡(jiǎn)介：重慶大學(xué)碩士學(xué)位論文智能控制及其在樓宇自動(dòng)化系統(tǒng)中的應(yīng)用研究姓名幸明珂申請(qǐng)學(xué)位級(jí)別碩士專業(yè)控制理論與控制工程指導(dǎo)教師童明俶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