簡介：程序調(diào)試是軟件開發(fā)過程中最關(guān)鍵的環(huán)節(jié)之一，調(diào)試的開銷將直接影響到軟件的成本和軟件公司的收益。對于程序員來說，調(diào)試也是一個(gè)非常單調(diào)乏味的工作。因此，程序的自動(dòng)化調(diào)試方法成為了計(jì)算機(jī)領(lǐng)域的熱點(diǎn)課題，得到不同領(lǐng)域眾多研究者的關(guān)注，繼而出現(xiàn)了各種各樣的自動(dòng)化調(diào)試方法，如算法調(diào)試、切片技術(shù)、基于模型調(diào)試、基于概率調(diào)試、基于程序狀態(tài)調(diào)試、DELTA調(diào)試等等?，F(xiàn)有的大多數(shù)調(diào)試技術(shù)都是經(jīng)驗(yàn)性的，即依靠專家經(jīng)驗(yàn)和一些啟發(fā)式性質(zhì)。為此，劉詠梅教授分析了要基于第一原理為程序調(diào)試建立一個(gè)精確的理論基礎(chǔ)的重要性。本文研究的起點(diǎn)是張翔宇教授等人提出的一種程序調(diào)試的單謂詞開關(guān)方法，其主要思想是通過改變程序運(yùn)行過程中的一個(gè)謂詞實(shí)例的取值使得原來錯(cuò)誤的程序最終運(yùn)行得到正確的結(jié)果，然后根據(jù)被開關(guān)的謂詞利用切片技術(shù)來確定診斷范圍。但很多情況下，只對單個(gè)謂詞實(shí)例進(jìn)行開關(guān)并不能夠使程序得到正確的運(yùn)行。針對單謂詞開關(guān)算法的局限性，本文提出有界調(diào)試的多謂詞開關(guān)算法BOUNDEDDEBUGGINGVIAMULTIPLEPREDICATESWITCHINGALGITHM，BMPS，通過在程序運(yùn)行過程中開關(guān)多個(gè)謂詞實(shí)例來得到一個(gè)正確的運(yùn)行，且在此運(yùn)行中每個(gè)循環(huán)的執(zhí)行次數(shù)不超過一個(gè)給定的上界。BMPS算法可以通過一個(gè)可滿足性SATISFIABILITY，SAT求解器來實(shí)現(xiàn)。文中討論的程序錯(cuò)誤主要為右端RIGHTHSIDE，RHS錯(cuò)誤，即錯(cuò)誤出現(xiàn)在控制謂詞或者賦值語句的右邊。對于只含條件控制語句的程序，本文證明了BMPS算法對于RHS錯(cuò)誤是準(zhǔn)完備的，即真實(shí)錯(cuò)誤的部分語句一定會(huì)被BMPS算法返回。對于含循環(huán)的程序，本文證明了當(dāng)循環(huán)展開的次數(shù)足夠大時(shí)，BMPS算法對于RHS錯(cuò)誤是準(zhǔn)完備的。本文對所提BMPS算法進(jìn)行了初步的實(shí)驗(yàn)評估。本文深入分析了調(diào)試領(lǐng)域權(quán)威標(biāo)準(zhǔn)西門子標(biāo)準(zhǔn)中的TCAS程序，得出TCAS程序的41個(gè)錯(cuò)誤版本中有39個(gè)版本是RHS錯(cuò)誤。本文還對大量小型錯(cuò)誤C程序進(jìn)行了調(diào)試實(shí)驗(yàn)，實(shí)驗(yàn)結(jié)果表明BMPS能夠有效地鎖定錯(cuò)誤。

簡介：有色金屬行業(yè)是我國工業(yè)中的支柱產(chǎn)業(yè)之一。隨著金屬礦山的發(fā)展，地下礦山水災(zāi)已經(jīng)成為制約高效采礦的重要因素。礦井涌水若不能及時(shí)排出，不但會(huì)影響正常生產(chǎn)，嚴(yán)重時(shí)還會(huì)發(fā)生透水事故，嚴(yán)重威脅工人生命。因此及時(shí)有效地排出礦井涌水是礦山安全生產(chǎn)中的一項(xiàng)重要內(nèi)容之一。目前大多數(shù)地下金屬礦山的排水方式是人工手動(dòng)控制水泵進(jìn)行排水或者是使用繼電器進(jìn)行控制，這種方式工人勞動(dòng)強(qiáng)度大，操作復(fù)雜，很容易造成安全事故，故障率較高，極大的影響了礦山經(jīng)濟(jì)效益的提高。因此運(yùn)用自動(dòng)化技術(shù)實(shí)現(xiàn)高效、智能、低消耗完成礦井排水工作是當(dāng)前礦山發(fā)展的趨勢。本文結(jié)合大紅山銅礦485水倉水泵遠(yuǎn)程自動(dòng)化監(jiān)控改造項(xiàng)目，著重論述在改造過程中系統(tǒng)整體布局，水泵房管路閘閥的改造，液位計(jì)流量計(jì)等傳感器的選型，以PAC工業(yè)控制器為核心的自動(dòng)控制系統(tǒng)和用于遠(yuǎn)程監(jiān)控水泵的上位機(jī)軟件的開發(fā)。本文的主要工作和研究成果如下1整個(gè)自動(dòng)化監(jiān)控系統(tǒng)選用SCADA數(shù)據(jù)采集與監(jiān)視控制系統(tǒng)方式，主要有現(xiàn)場控制級包括水泵、傳感器、電磁閥等，過程控制級PAC控制模塊，監(jiān)督控制級上位機(jī)。2水泵房改造的主要內(nèi)容有用電磁閥代替原有的球閥并加裝旋啟式止回閥對水箱注水系統(tǒng)改造、采用介質(zhì)自控閘閥代替手動(dòng)閘閥對水泵出水管路進(jìn)行改造。3工業(yè)控制器選取碩華ADAM型PAC作為控制元件，PAC工業(yè)控制器分為CUP模塊、數(shù)字輸入模塊、數(shù)字輸出模塊和模擬輸入模塊4部分。其中電機(jī)啟動(dòng)觸點(diǎn)連接數(shù)字輸入模塊，電機(jī)繼電器線圈和電磁閥線圈連接數(shù)字輸出模塊，液位計(jì)和流量計(jì)連接模擬量輸入模塊。CUP模塊負(fù)責(zé)分析處理采集到的信息，并且發(fā)出指令。PAC控制器通過工業(yè)以太網(wǎng)與上位機(jī)相連接，實(shí)現(xiàn)遠(yuǎn)程監(jiān)視和控制。4上位機(jī)軟件開發(fā)部分主要有選擇MULTIPROG軟件作為PAC系統(tǒng)編程工具，組態(tài)王653作為SCADA系統(tǒng)上位機(jī)用戶界面開發(fā)軟件，選擇微軟公司的SQLSERVER2000作為數(shù)據(jù)庫管理系統(tǒng)DBMS。在本文研究成果的指導(dǎo)下，完成了水泵房的改造、PAC控制器的安裝和上位機(jī)軟件及數(shù)據(jù)庫的開發(fā)，完成了大紅山銅礦485水倉遠(yuǎn)程自動(dòng)化監(jiān)控系統(tǒng)，實(shí)現(xiàn)了本地手動(dòng)，遠(yuǎn)程自動(dòng)和遠(yuǎn)程手動(dòng)3種控制水泵的模式，并且做到了對水泵運(yùn)行狀態(tài)的實(shí)時(shí)監(jiān)控。

簡介：代碼覆蓋測試可以反映程序代碼被執(zhí)行的百分比從而真實(shí)反映軟件內(nèi)部被測試的情況實(shí)現(xiàn)對軟件測試工作完整性評估。本論文就代碼覆蓋測試中的代碼插裝技術(shù)、測試數(shù)據(jù)自動(dòng)生成以及軟件錯(cuò)誤定位等方面進(jìn)行研究旨在提高代碼覆蓋測試的效率并加速軟件測試與調(diào)試進(jìn)度。在對研究工作所需的基礎(chǔ)知識(shí)進(jìn)行介紹后本論文對影響覆蓋測試效率和有效性的代碼插裝技術(shù)展開研究通過在程序控制流圖中插入虛擬節(jié)點(diǎn)并結(jié)合程序之間的支配關(guān)系確定代碼插裝位置給出了一種插裝損耗較少的代碼插裝策略接著將指定程序節(jié)點(diǎn)的測試數(shù)據(jù)生成問題抽象成最優(yōu)化問題結(jié)合程序控制流以及程序路徑的執(zhí)行概率設(shè)計(jì)有效的適應(yīng)函數(shù)利用啟發(fā)式算法對其求解研究了自動(dòng)測試數(shù)據(jù)生成方法對未覆蓋的代碼進(jìn)行覆蓋以提高測試覆蓋率并從理論上和實(shí)驗(yàn)上分析和驗(yàn)證了該方法的可行性和高效性最后將代碼覆蓋測試所收集的一系列測試用例的執(zhí)行信息用于軟件錯(cuò)誤定位用實(shí)驗(yàn)的方法揭露現(xiàn)在基于代碼覆蓋的錯(cuò)誤定位方法中存在“結(jié)”的普遍性并歸納出相應(yīng)的解決方案在不影響定位效率的情況下對結(jié)語句進(jìn)行重排減輕了結(jié)對軟件錯(cuò)誤定位方法的影響同時(shí)針對存在多錯(cuò)誤的軟件提出了混合式的調(diào)試方法并研究了失敗測試用例的聚類算法以提高錯(cuò)誤定位效率。本論文的創(chuàng)新點(diǎn)主要體現(xiàn)在1提出了基于虛擬節(jié)點(diǎn)和超級塊支配圖的代碼插裝方法減少了探針插裝的數(shù)量及其在程序中的執(zhí)行次數(shù)從而減少了對因插裝所引起被測試程序的運(yùn)行性能的影響提高了代碼覆蓋測試的效率和有效性。2提出了基于路徑概率的測試數(shù)據(jù)生成方法提高了生成目標(biāo)測試數(shù)據(jù)的的幾率同時(shí)減少了生成數(shù)據(jù)所需的迭代次數(shù)有效地提高了程序的代碼覆蓋率。3提出了失敗測試用例的軟聚類方法提高了失敗用例歸屬于相應(yīng)的錯(cuò)誤聚焦簇的準(zhǔn)確性從而提高了錯(cuò)誤定位效率。最后將本論文的部分理論和方法開發(fā)了一套C語言代碼覆蓋測試工具并已在WEBEDA平臺(tái)中集成與應(yīng)用。

簡介：目前凡是帶有藍(lán)牙功能的終端，在進(jìn)入歐盟市場前，必須經(jīng)過其授權(quán)的檢測實(shí)驗(yàn)室，采用認(rèn)可的測試設(shè)備，依據(jù)標(biāo)準(zhǔn)EN300328檢測合格后，才可以進(jìn)入市場。2014年5月，歐盟發(fā)布了EN300328V181新版本標(biāo)準(zhǔn)，替代了原來的V171版本，自此之后，傳統(tǒng)的測試方法和測試設(shè)備已不能滿足新版標(biāo)準(zhǔn)的要求，如果授權(quán)實(shí)驗(yàn)室無法提交新的測試方案，將被取消相應(yīng)的資質(zhì)。論文根據(jù)EN300328V181的標(biāo)準(zhǔn)要求，設(shè)計(jì)了一套藍(lán)牙射頻自動(dòng)化測試系統(tǒng)，該系統(tǒng)可以完成藍(lán)牙設(shè)備的檢測任務(wù)。論文的研究工作主要包括1深入研究測試標(biāo)準(zhǔn)，結(jié)合藍(lán)牙技術(shù)原理，解析標(biāo)準(zhǔn)要求的測試用例，包括各測試用例地測試環(huán)境、測試條件、測試限值等。2通過對藍(lán)牙協(xié)議及射頻測試原理的分析，構(gòu)建出不同測試用例下的測試場景，合理組合相應(yīng)的射頻測試儀器，逐一實(shí)現(xiàn)了標(biāo)準(zhǔn)要求的測試任務(wù)。3設(shè)計(jì)開發(fā)了射頻切換單元和濾波器單元。能夠通過射頻切換單元快速、準(zhǔn)確地控制不同射頻鏈路的開關(guān)，從而實(shí)現(xiàn)不同測試場景要求的測試儀表地切換，完成藍(lán)牙射頻自動(dòng)化測試。4軟件編程借助SCPI可編程儀器標(biāo)準(zhǔn)命令，通過GPIB接口、網(wǎng)口等接口實(shí)現(xiàn)對各個(gè)測試儀表的控制?？梢暬娜藱C(jī)界面能夠?qū)崿F(xiàn)測試項(xiàng)目信息錄入、測試用例的篩選、測試數(shù)據(jù)分析及測試結(jié)果輸出，并且開放了可調(diào)試參數(shù)接口，方便研發(fā)調(diào)試，界面清晰，操作簡易。藍(lán)牙射頻自動(dòng)化測試系統(tǒng)開發(fā)順利完成，并投入到實(shí)驗(yàn)室的測試工作，精確、高效的檢測驗(yàn)證了論文工作的正確性和有效性。

簡介：本課題主要研究茶葉自動(dòng)化殺青機(jī)組的自動(dòng)化改造，實(shí)現(xiàn)對殺青機(jī)組的溫度、濕度、投葉量的自動(dòng)控制，包括電氣系統(tǒng)、控制和界面系統(tǒng)、軟件系統(tǒng)的設(shè)計(jì)和應(yīng)用。本論文首先對6CST50殺青機(jī)組的機(jī)械組成進(jìn)行了介紹，著重介紹了滾筒殺青機(jī)，并且在機(jī)械的基礎(chǔ)之上使用了可編程邏輯器、光電傳感器等電氣元件，進(jìn)而實(shí)現(xiàn)了殺青機(jī)組的自動(dòng)化控制。在自動(dòng)控制系統(tǒng)的部分，主要介紹了系統(tǒng)組成部分的選型以及與外部硬件連接方式，其中，三菱可編程邏輯控制器FX3U32MRESA和三菱變頻器D74015KCHT為選型的主要部分。然后用PLC軟件GXDESIGNER2和GTDEVELOPER兩個(gè)軟件分別對PLC控制和觸摸屏控制進(jìn)行了功能實(shí)現(xiàn)。最后將系統(tǒng)的干擾因素進(jìn)行分析，對可能的干擾因素提出了一些措施，并對機(jī)組的維護(hù)與保養(yǎng)提出了簡單的舉措。本課題中的機(jī)械部分已實(shí)現(xiàn)，并于某茶廠中投產(chǎn)，研究達(dá)到初步效果。本課題將PLC控制技術(shù)、變頻控制技術(shù)相結(jié)合，利用溫度與濕度兩個(gè)因素來對殺青機(jī)組進(jìn)行信息提供，使?jié)L筒殺青機(jī)組的自動(dòng)化控制程度、控制精度、抗干擾能力都得到了提高，具有非常重要的意義。

簡介：點(diǎn)擊查看更多基于SSH的辦公自動(dòng)化雙語系統(tǒng)的設(shè)計(jì)與實(shí)現(xiàn).pdf精彩內(nèi)容。

簡介：點(diǎn)擊查看更多基于配電自動(dòng)化系統(tǒng)單相接地故障定位的研究.pdf精彩內(nèi)容。

簡介：隨著用電量的增加供電質(zhì)量日益成為人們關(guān)注的焦點(diǎn)城市電網(wǎng)改造的深入進(jìn)行使10KV電網(wǎng)絡(luò)的供電可靠性有了較大的提高但網(wǎng)絡(luò)的復(fù)雜程度也隨之提高為了全面提高配運(yùn)營的各項(xiàng)技術(shù)經(jīng)濟(jì)指標(biāo)配電自動(dòng)化系統(tǒng)的建設(shè)勢在必行。本文重點(diǎn)對配電自動(dòng)化系統(tǒng)的功能進(jìn)行了較全面的分析包括數(shù)據(jù)采集和監(jiān)控、配網(wǎng)高級應(yīng)用軟件、配電管理、負(fù)荷管理、實(shí)時(shí)數(shù)據(jù)資源管理、重合器的配電網(wǎng)故障定位、FTU的配電網(wǎng)故障定位等符合配電網(wǎng)的實(shí)際情況實(shí)現(xiàn)了設(shè)計(jì)目標(biāo)實(shí)踐將會(huì)證明該系統(tǒng)功能完善本文在深入研究分析國內(nèi)外配網(wǎng)自動(dòng)化技術(shù)發(fā)展背景的基礎(chǔ)上結(jié)合豐臺(tái)科技園區(qū)配電自動(dòng)化的實(shí)施對配電自動(dòng)化所涉及到的一次網(wǎng)架造、通訊系統(tǒng)建設(shè)、主站和分站系統(tǒng)設(shè)計(jì)及配電網(wǎng)故障定位問題給出詳細(xì)說明較詳細(xì)地闡述了配網(wǎng)自動(dòng)化系統(tǒng)的整體設(shè)計(jì)方案給出了其軟件、硬件體系結(jié)構(gòu)。并在此基礎(chǔ)上對自動(dòng)化改造后相應(yīng)的配網(wǎng)可靠性指標(biāo)進(jìn)行了分析。

簡介：隨著計(jì)算機(jī)及網(wǎng)絡(luò)技術(shù)的飛速發(fā)展，INTERINTRA應(yīng)用在全球范圍內(nèi)日益普及，當(dāng)今社會(huì)正快速向信息化社會(huì)前進(jìn)，教育信息化建設(shè)的步伐在明顯加快。許多學(xué)校都已經(jīng)建立起自己的校園網(wǎng)，為學(xué)校建立自動(dòng)化辦公系統(tǒng)提供了良好的環(huán)境。網(wǎng)絡(luò)環(huán)境下實(shí)施自動(dòng)化辦公，可以最大限度地提高辦公效率和改進(jìn)辦公質(zhì)量，改善辦公環(huán)境和條件，減少或避免各種差錯(cuò)和弊病，縮短辦公處理周期，并用科學(xué)的管理方法，借助于各種先進(jìn)技術(shù)，提高管理和決策的水平。本文以網(wǎng)絡(luò)環(huán)境下學(xué)校自動(dòng)化辦公系統(tǒng)為背景，詳細(xì)闡述了本系統(tǒng)從設(shè)計(jì)到開發(fā)到實(shí)現(xiàn)的全過程，展示了本系統(tǒng)每個(gè)功能模塊的實(shí)現(xiàn)效果。本系統(tǒng)基于FRAMEWK20SQLSERVER2005開發(fā)，保證了技術(shù)架構(gòu)的合理性和技術(shù)的前瞻性。同時(shí)選用其他相關(guān)技術(shù)，使系統(tǒng)具有可伸縮性、可操作性和更好的性能，并且使實(shí)現(xiàn)手段擴(kuò)展到多種手段輔助辦公的形式上來，更充分地體現(xiàn)本系統(tǒng)的及時(shí)性、有效性。經(jīng)過深入細(xì)致地需求分析，借助UML活動(dòng)關(guān)系圖和UML類靜態(tài)圖，從系統(tǒng)的三層體系結(jié)構(gòu)入手，闡述了在用戶表示層、業(yè)務(wù)邏輯層、數(shù)據(jù)訪問層中各層體系結(jié)構(gòu)的分析與設(shè)計(jì)，并應(yīng)用AJAX技術(shù)來優(yōu)化頁面。采用生命周期法和快速原型法相結(jié)合的設(shè)計(jì)方法，在技術(shù)結(jié)構(gòu)上采用BROWSERSERVER架構(gòu)體系，減輕系統(tǒng)負(fù)載，加強(qiáng)開放性，方便系統(tǒng)維護(hù)升級。在系統(tǒng)方案的設(shè)計(jì)實(shí)施上遵循整體性、實(shí)用性、安全可靠性、模塊化設(shè)計(jì)、界面設(shè)計(jì)人性化的原則。從該系統(tǒng)實(shí)施后的試運(yùn)行情況來看，實(shí)現(xiàn)了設(shè)計(jì)目標(biāo)，滿足了學(xué)校日常辦公的需要，解決了辦公業(yè)務(wù)的跨部門處理，消除了學(xué)校內(nèi)部各類信息孤立的現(xiàn)象。使學(xué)校內(nèi)部人員能夠方便快捷地共享信息資源、交流信息、高效地協(xié)同工作，既兼顧個(gè)人辦公效率的提高，又可以實(shí)現(xiàn)群體協(xié)同工作，規(guī)范了辦公流程，大大提高了辦事效率，給學(xué)校帶來了實(shí)質(zhì)性的辦公模式的變革。

簡介：隨著信息技術(shù)的飛速發(fā)展，視頻監(jiān)控產(chǎn)品已經(jīng)深入到社會(huì)的各個(gè)領(lǐng)域，它在平安工程中扮演著重要的角色。而軟件測試正是視頻監(jiān)控產(chǎn)品開發(fā)的關(guān)鍵過程之一，對于確保視頻監(jiān)控產(chǎn)品質(zhì)量有著十分重要的作用。由于軟件系統(tǒng)規(guī)模的日益擴(kuò)大，邏輯性不斷加強(qiáng)以及功能的不斷拓展，因此軟件產(chǎn)品的系統(tǒng)測試變得更加困難和復(fù)雜，傳統(tǒng)的人工測試的局限性也越來越明顯。自動(dòng)化軟件測試技術(shù)正是在這樣的背景下受到了密切的關(guān)注，成為近年來軟件測試的重要研究方向，并且被越來越多的使用在軟件測試的各個(gè)階段。研究面向視頻監(jiān)控的自動(dòng)化測試技術(shù)的目的是為了節(jié)省測試成本、提高產(chǎn)品的測試效率、縮短研發(fā)周期，從而滿足人們對視頻監(jiān)控產(chǎn)品的需求。因此，設(shè)計(jì)并實(shí)現(xiàn)一種適合視頻監(jiān)控產(chǎn)品的自動(dòng)化測試方案具有重要的意義。本文詳細(xì)闡述了自動(dòng)化測試技術(shù)的基本理論，分析了自動(dòng)化測試在視頻監(jiān)控領(lǐng)域的發(fā)展和應(yīng)用價(jià)值。結(jié)合視頻監(jiān)控的業(yè)務(wù)邏輯性強(qiáng)和界面復(fù)雜的特點(diǎn)，對當(dāng)前的自動(dòng)化測試技術(shù)、工具、設(shè)計(jì)策略等優(yōu)缺點(diǎn)的進(jìn)行研究和比較，選擇合適的自動(dòng)化測試框架和工具，然后設(shè)計(jì)并實(shí)現(xiàn)了一種面向視頻監(jiān)控系統(tǒng)的自動(dòng)化測試方案，使之很好的應(yīng)用于視頻監(jiān)控版本測試、回歸測試、異常測試等。該設(shè)計(jì)方案是基于ROBOT自動(dòng)化測試框架和RFT界面自動(dòng)化測試工具而構(gòu)建的系統(tǒng)模型，利用XMLRPC遠(yuǎn)程控制協(xié)議實(shí)現(xiàn)ROBOT和RFT之間的通信和控制。其中ROBOT框架所采用的關(guān)鍵詞驅(qū)動(dòng)腳本技術(shù)，可以很好的應(yīng)用于是業(yè)務(wù)功能復(fù)雜的視頻監(jiān)控自動(dòng)化測試系統(tǒng)，從而實(shí)現(xiàn)了數(shù)據(jù)、業(yè)務(wù)和腳本三者完全分離。最后，對關(guān)鍵詞驅(qū)動(dòng)表設(shè)計(jì)進(jìn)行深入研究后，針對視頻監(jiān)控的測試策略和業(yè)務(wù)特點(diǎn)，設(shè)計(jì)了有效的自動(dòng)化測試用例，保證了產(chǎn)品的所有測試用例可以得到很好的驗(yàn)證。本方案的實(shí)現(xiàn)大大提高了視頻監(jiān)控系統(tǒng)軟件測試的效率，保證了軟件產(chǎn)品的質(zhì)量和系統(tǒng)可靠性，縮短了產(chǎn)品的研發(fā)周期，同時(shí)該方案也可以很好的應(yīng)用到其它基于界面的軟件產(chǎn)品測試中。

簡介：點(diǎn)擊查看更多基于工作流的高校辦公自動(dòng)化系統(tǒng)的研究與實(shí)現(xiàn).pdf精彩內(nèi)容。

簡介：10KV配電網(wǎng)新型饋線自動(dòng)化系統(tǒng)的研發(fā)對城鄉(xiāng)電網(wǎng)改造工程的深入和智能配電網(wǎng)的建設(shè)具有十分重要的意義。設(shè)計(jì)了10KV饋線自動(dòng)化系統(tǒng)主站的軟硬件平臺(tái)和通信系統(tǒng)對10KV饋線單相接地故障選線、定位算法和分布式發(fā)電條件下的饋線相間短路故障定位算法進(jìn)行了研究。介紹了基于FTU饋線自動(dòng)化系統(tǒng)主站的構(gòu)成和各部分的功能設(shè)計(jì)了饋線自動(dòng)化系統(tǒng)主站的硬件部分和軟件部分并且搭建了主站的通信網(wǎng)絡(luò)。分析了小電流接地系統(tǒng)發(fā)生單相接地故障后流過故障點(diǎn)的暫態(tài)電容電流和暫態(tài)電感電流指出暫態(tài)電容電流的自由振蕩分量幅值大且不受消弧線圈的影響可以作為選線和定位的判據(jù)。將暫態(tài)電容電流的自由振蕩分量定義為暫態(tài)零序電流的特征分量。接著分析了流過故障線路和正常線路保護(hù)安裝處暫態(tài)零序電流特征分量在幅值和極性上的差異提出了基于暫態(tài)零序電流特征分量幅值比較和極性比較的綜合選線方法。然后通過分析比較故障線路正常區(qū)段和故障區(qū)段兩端暫態(tài)零序電流特征分量的主諧振頻率和波形提出了比較相鄰FTU暫態(tài)零序電流特征分量近似熵的故障區(qū)段定位算法。最后對提出的選線、定位算法進(jìn)行了仿真驗(yàn)證。分析了分布式電源對配電網(wǎng)相問故障定位的影響提出了一種分布式發(fā)電條件下的饋線相間故障定位新算法。新算法沿用了矩陣算法的思想對網(wǎng)絡(luò)拓?fù)浜凸收闲畔⒌拿枋隹紤]了它們的方向性根據(jù)故障判定矩陣來定位故障區(qū)段不僅能定位兩端都有FTU的故障區(qū)段而且對于只有一端有FTU的饋線末端故障也能準(zhǔn)確定位。新算法原理簡單運(yùn)算量小對通信速率的要求低可靠性高。

簡介：通用裝備保障檢測車?yán)走_(dá)Ⅱ是通用裝備檢測車系列維修保障裝備，用于完成中繼級對炮兵情報(bào)、射擊指揮系統(tǒng)的性能檢測、故障診斷及修理。情報(bào)、射擊指揮系統(tǒng)的“中樞神經(jīng)”是電子設(shè)備，電子設(shè)備常采用印制電路板PCB結(jié)構(gòu)，PCB是電子設(shè)備維修工作的難點(diǎn)與重點(diǎn)。PCB測試時(shí)間主要花在故障診斷上，采用自動(dòng)測試代替人工測試可以大大縮短故障診斷時(shí)間，是快速修復(fù)PCB的最佳方法。本文在分析和研究印制電路板自動(dòng)測試系統(tǒng)的基礎(chǔ)上，針對傳統(tǒng)自動(dòng)測試系統(tǒng)中采用人工探頭和固定針床等進(jìn)行印制電路板測試點(diǎn)定位的不足，研制并開發(fā)了用于實(shí)現(xiàn)印制電路板診斷測試自動(dòng)化的探針定位設(shè)備。主要工作包括進(jìn)行了自動(dòng)探針定位設(shè)備的總體設(shè)計(jì)；解決了GPIBRS232C標(biāo)準(zhǔn)接口總線之間轉(zhuǎn)換問題；完成了定位設(shè)備的功能控制與應(yīng)用開發(fā)軟件的設(shè)計(jì)；研制了基于定位設(shè)備的印制電路板通用自動(dòng)檢測系統(tǒng)；進(jìn)行了定位設(shè)備的功能完善、應(yīng)用開發(fā)和推廣工作。自動(dòng)探針定位設(shè)備在情報(bào)、射擊指揮系統(tǒng)通用自動(dòng)檢測系統(tǒng)中的應(yīng)用結(jié)果表明在故障診斷中，使用定位設(shè)備能有效地實(shí)現(xiàn)印制電路板診斷測試自動(dòng)化；在測試開發(fā)中，使用定位設(shè)備能有效縮短測試程序開發(fā)周期；定位設(shè)備與固定針床相比，通用化程度高；定位設(shè)備與人工探頭相比，自動(dòng)化程度高。本文建立的定位設(shè)備硬件平臺(tái)還可應(yīng)用于其他電子裝備自動(dòng)測試系統(tǒng)中，利用本文設(shè)計(jì)的軟件能快速、方便地開發(fā)各種不同PCB的故障診斷程序。它的研制成功與推廣應(yīng)用，對軍用印制電路板的測試診斷乃至電子裝備的快速修理具有重要意義。

簡介：點(diǎn)擊查看更多軟件自動(dòng)化測試中測試用例最小化技術(shù)的研究.pdf精彩內(nèi)容。

簡介：PVA噴涂是彩色顯像管生產(chǎn)所必需的一道重要工序，改變傳統(tǒng)的人工操作方式，實(shí)現(xiàn)該工序自動(dòng)化，不僅可以大大減少操作工人的工作量，節(jié)約人力成本，提高彩管的生產(chǎn)效率，同時(shí)，自動(dòng)化的生產(chǎn)還可以大大提高產(chǎn)品的一致性和良品率，為彩管生產(chǎn)企業(yè)帶來巨大的經(jīng)濟(jì)效益。COMPOBUSD是一種開放的、多主控的器件網(wǎng)，它采用的是DEVICE通信規(guī)約，其他廠家的控制設(shè)備只要符合DEVICE標(biāo)準(zhǔn)，就可以接入其中的遠(yuǎn)程終端。在彩管生產(chǎn)的PVA噴涂工序中，日本安川公司生產(chǎn)的NX100智能機(jī)械手能夠快速、平穩(wěn)而且準(zhǔn)確的控制屏的搬送工作。經(jīng)過科研攻關(guān)，借助PLC網(wǎng)絡(luò)系統(tǒng)，通過COMPOBUSD控制NX100智能機(jī)械手，從而實(shí)現(xiàn)了PVA噴涂工序自動(dòng)化。本次設(shè)計(jì)中的PVA自動(dòng)噴涂裝置主要由機(jī)械手、吊蘭跟蹤規(guī)正裝置、屏規(guī)正裝置、兩個(gè)屏排出裝置和三個(gè)噴涂鍋這幾部分組成。機(jī)械手主要完成對屏的搬送；吊蘭跟蹤規(guī)正裝置實(shí)現(xiàn)對移動(dòng)中的吊蘭進(jìn)行定位；屏規(guī)正裝置為將要投入到噴涂鍋里的屏進(jìn)行定位；屏排出裝置做為發(fā)生故障時(shí)為屏預(yù)備的放置臺(tái)；噴涂鍋通過高速運(yùn)轉(zhuǎn)為屏均勻的噴涂一層PVA膜。整個(gè)COMPOBUSD通信系統(tǒng)主要由三個(gè)遠(yuǎn)程通信單元、九個(gè)遠(yuǎn)程數(shù)字輸入單元、五個(gè)遠(yuǎn)程繼電器輸出單元組成。PVA噴涂工序?qū)崿F(xiàn)自動(dòng)化，不僅滿足了高生產(chǎn)工藝的要求，提高了生產(chǎn)效率，節(jié)約了人力成本，而且為生產(chǎn)節(jié)拍的進(jìn)一步提高打下了基礎(chǔ)。面對現(xiàn)在競爭激烈的市場形勢，具有非常重要的實(shí)用價(jià)值。