簡(jiǎn)介：北京工業(yè)大學(xué)碩士學(xué)位論文自動(dòng)化軟件測(cè)試方法及其在公安GIS系統(tǒng)中的應(yīng)用研究姓名高峰申請(qǐng)學(xué)位級(jí)別碩士專業(yè)軟件工程指導(dǎo)教師姚偉力孫丕龍20061001北京T業(yè)人學(xué)T程碩I學(xué)位論空ABSTRACTWITHTHERAPIDDEVELOPMENTOFTHEPUBLICSECURITYCAREERITISMOREANDMOI℃NECESSARYTODEVELOPTHEGEOGRAPHYINFORMATIONSYSTEMGISFORTHEPUBLICSECURITYTHEGISCANBEUSEDINLOTSOFTHEPUBLICSECURITYFIELDSMANYPOLICESERVICESNEEDTHESUPPORTOFTHEGISTHEQUALITYANDRELIABILITYOFSYSTEMHAVEDRAWNMOTOATTENTIONOFDEVELOPERSANDTHEPUBLICSECURITYDEPARTMENTSSOFTWARETESTINGISANIMPORTANTMEAL塢TOASSURETHEQUALITYOFSOFTWAREANDENHANCETHERELIABILITYOFSOFTWARE，ESPECIALLYTOTHEGIS，WHICHCONCERNEDWITHPEOPLE’SLIFEANDPROPERTYTHEREFORE，PROCESSINGSOFTWARETESTINGRATIONALLYAND。COMPLETELYBEFORETHEDISTRIBUTIONISSIGNIFICANTTOASSURETHEQUALITYOFSOFTWAREMANUALSOFTWARETESTINGAPPROACHESAFEHIGHLYCOST，HARDEXECUTEDANDINEFFECTIVESOITISNOTSUITABLEFORLARGESCALESOFTWARESYSTEMAUTOMATICSOFTWARETESTINGMETHODSCARLFFFLHANCETHEQUALITYANDEFFICIENCYOFSOFTWARETESTANDWILLPLAYMOREIMPORTANTROLEINTLLEFUTUREKEYTECHNOLOGIESOFAUTOMATICSOFTWARETESTINGAREINTRODUCED，INCLUDINGTESTINGPROCESSANDSCRIPTLANGUAGESTHEDESIGNANDIMPLEMENTOFAGISFORPOLICEAREINTRODUCEDDETAILEDLYAPRACTICALTESTINGORGANIZATIONMODELISBUILT，BASEDONCONCURRENTENGINEERINGANDTHEIDEAOFIMPROVINGSOFTWAREPROCESSTHEMODELEMPHASIZESCOOPERATIVEWORKINGANIMPROVEDMANAGEMENTPATTERNOFSOFTWARETESTINGISPROPOSED，WHICHPLAYANACTIVEROLETHROUGHTHEWHOLESTAGESOFTHESOFTWAREDEVELOPMENTACCORDINGTOTHECHARACTERISTICOFTHEDEVELOPMENTPROCESSOFGIS，ADATADRIVENMODELANDSOMEEFFECTIVETESTINGMETHODSAREDESIGNED，ANDPRACTICALLYAPPLIEDINTESTINGOFTHEGISFORTHEPUBLICSECURITYTHEDESIGNANDIMPLEMENTOFTHEGISTESTINGMETHODAREEMPHASIZEDINTHETHESISANALYZETHEARCHITECTUREOFTHEDATADRIVENAUTOMATIONTESTING，AUTOMATIONTESTINGMETHODOLOGY，COMPONENTSANDFLOWANEXAMPLEISTAKENFORDEMONSTRATINGTHEAPPLICATIONOFTAFINFUNCTIONALTESTINGOFTHESYSTEMPRACTICEIMPLEMENTSONAPRACTICALGUIHAVEPROVEDTOBEHI【曲LYEFFICIENTKEYWORDSGEOGRAPHYINFORMATIONSYSTEM；ACOLONYCOOPERATIONTESTINGORGANIZATIONMODEL；AUTOMATICSOFTWARETESTII

簡(jiǎn)介：滕州電網(wǎng)是棗莊電網(wǎng)的重要組成部分，位于棗莊電網(wǎng)西北部，通過500KV棗莊站與山東電網(wǎng)聯(lián)絡(luò)。滕州供電公司經(jīng)過近幾年的綜合自動(dòng)化改造，所轄23座變電站全部改為微機(jī)保護(hù)系統(tǒng)。根據(jù)省集團(tuán)公司“增加電網(wǎng)科技含量、減人增效的要求”，要想實(shí)現(xiàn)變電站的無人值守，就必須建設(shè)一套能可靠地、實(shí)時(shí)監(jiān)測(cè)變電站設(shè)備運(yùn)行狀況的自動(dòng)化系統(tǒng)，使監(jiān)控人員在調(diào)度中心就可掌握變電站設(shè)備的運(yùn)行情況，并進(jìn)行一些簡(jiǎn)單的操作。經(jīng)過綜合自動(dòng)化改造后的變電站端已具備上傳信息的條件，現(xiàn)在就需要建設(shè)與變電站端相配套的遠(yuǎn)動(dòng)主站系統(tǒng)，實(shí)現(xiàn)遠(yuǎn)方監(jiān)控，實(shí)現(xiàn)真正意義上的“無人值守”變電站。根據(jù)這一要求，本論文主要做了以下主要工作L、根據(jù)本地電網(wǎng)的實(shí)際和電力系統(tǒng)的技術(shù)發(fā)展情況，給出了調(diào)度自動(dòng)化主站系統(tǒng)的功能要求和基本配置要求。2、利用當(dāng)今先進(jìn)的計(jì)算機(jī)技術(shù)，設(shè)計(jì)出符合無人值守變電站要求的調(diào)度自動(dòng)化主站系統(tǒng)，重點(diǎn)進(jìn)行了硬件的選型設(shè)計(jì)及軟件的功能設(shè)計(jì)。3、結(jié)合現(xiàn)場(chǎng)使用情況，給出了系統(tǒng)主要軟件功能的調(diào)試方法。4、對(duì)系統(tǒng)的安全防護(hù)及主站的運(yùn)行環(huán)境提出了要求并落實(shí)了方案。5、對(duì)運(yùn)行過程中發(fā)現(xiàn)的主站系統(tǒng)的不足及需要完善的功能提出了要求，并確定了今后電力調(diào)度自動(dòng)化系統(tǒng)發(fā)展的趨勢(shì)。

簡(jiǎn)介：隨著網(wǎng)絡(luò)技術(shù)和計(jì)算機(jī)技術(shù)的不斷提高，辦公自動(dòng)化系統(tǒng)得到了迅速的發(fā)展，并被廣泛應(yīng)用于政府機(jī)關(guān)、企事業(yè)及教育機(jī)構(gòu)的日常工作中。因此，開發(fā)出一個(gè)成功的辦公自動(dòng)化系統(tǒng)，對(duì)大幅度提高團(tuán)體工作效率有重要意義。本人根據(jù)實(shí)際項(xiàng)目的開發(fā)需求，通過研究大量文獻(xiàn)資料，詳細(xì)分析并設(shè)計(jì)了中國(guó)海洋大學(xué)人才交流中心的辦公自動(dòng)化系統(tǒng)并運(yùn)用ASP技術(shù)完成了系統(tǒng)的實(shí)現(xiàn)。本課題的意義主要是建立現(xiàn)代化的辦公自動(dòng)化系統(tǒng)來完成信息的收集、整理、傳遞和分析，實(shí)現(xiàn)信息大范圍、有控制、高效率、低成本的共享和利用。并及時(shí)、主動(dòng)地獲取決策所需的信息以輔助決策，實(shí)現(xiàn)管理現(xiàn)代化和決策科學(xué)化。本課題的目標(biāo)主要是針對(duì)辦公業(yè)務(wù)的實(shí)際情況和需求，制定了基于WEB的辦公自動(dòng)化系統(tǒng)的設(shè)計(jì)方案，運(yùn)用INTER和ASP開發(fā)技術(shù)，采用BS瀏覽器服務(wù)器模式，建立一個(gè)基于WEB的辦公自動(dòng)化系統(tǒng)。系統(tǒng)目標(biāo)就是通過建立基于WEB的辦公自動(dòng)化系統(tǒng)，以改善辦公條件與環(huán)境，減輕工作人員負(fù)擔(dān)，提高辦公質(zhì)量和工作效率，加快管理工作規(guī)范化、科學(xué)化、網(wǎng)絡(luò)化的進(jìn)程。本課題的工作主要是對(duì)辦公自動(dòng)化系統(tǒng)的相關(guān)技術(shù)諸如系統(tǒng)應(yīng)用模型、系統(tǒng)開發(fā)技術(shù)和安全技術(shù)等進(jìn)行了研究和探討。然后以這些相關(guān)技術(shù)為基礎(chǔ)，設(shè)計(jì)了系統(tǒng)的總體結(jié)構(gòu)，并分析了實(shí)際情況，對(duì)系統(tǒng)的功能進(jìn)行了劃分。系統(tǒng)共包括內(nèi)部信息交流模塊、人員信息管理模塊、薪資管理模塊、公共信息管理模塊、帳號(hào)管理模塊等5大功能模塊組，及12個(gè)功能模塊。本系統(tǒng)在實(shí)際使用中，能夠滿足高效率處理日常工作的需要，有效地完成各項(xiàng)工作，具有較高的理論和實(shí)際意義。

簡(jiǎn)介：在汽車車身制造焊裝過程中，制造精度是關(guān)鍵質(zhì)量控制因素，它可以影響到大批量生產(chǎn)的一致性。目前保證車身精度最有效手段是采用在線測(cè)量技術(shù)對(duì)焊裝線上車身實(shí)行100％在線測(cè)量，實(shí)時(shí)、動(dòng)態(tài)監(jiān)控生產(chǎn)線，及時(shí)發(fā)現(xiàn)誤差，并根據(jù)當(dāng)前測(cè)量數(shù)據(jù)和歷史數(shù)據(jù)規(guī)律對(duì)產(chǎn)生誤差的原因做出客觀判斷，調(diào)整相關(guān)夾具或狀態(tài)參數(shù)，控制車身精度在要求的范圍內(nèi)?，F(xiàn)代化大生產(chǎn)對(duì)生產(chǎn)和工藝設(shè)備提出了柔性化的要求，因此發(fā)展測(cè)量速度快、自動(dòng)化程度高、柔性好的在線檢測(cè)系統(tǒng)已成為國(guó)內(nèi)外公認(rèn)的趨勢(shì)。機(jī)器人柔性坐標(biāo)測(cè)量系統(tǒng)由于具備了工業(yè)機(jī)器人快速靈活可編程以及視覺傳感器測(cè)量快速非接觸的特點(diǎn)，因而能夠很好的適應(yīng)目前汽車生產(chǎn)中柔性生產(chǎn)線的需要。本文所做的主要內(nèi)容，正是為了發(fā)揮課題組在視覺檢測(cè)方面的優(yōu)勢(shì)，使已有的激光視覺檢測(cè)站能更好的滿足汽車生產(chǎn)企業(yè)柔性生產(chǎn)線的自動(dòng)化控制與管理的需求。為此，本課題完成了以下工作⑴研究柔性坐標(biāo)測(cè)量系統(tǒng)在現(xiàn)有車身制造工藝和工廠環(huán)境下的控制和管理方式，分析測(cè)量系統(tǒng)對(duì)自動(dòng)化控制的需求；⑵測(cè)量系統(tǒng)自動(dòng)化控制的設(shè)計(jì)與實(shí)現(xiàn)；⑶測(cè)量系統(tǒng)內(nèi)部網(wǎng)絡(luò)和對(duì)外網(wǎng)絡(luò)的設(shè)計(jì)與實(shí)現(xiàn)；⑷掌握PLC等系統(tǒng)的組建、配置和編程方法，并編寫自動(dòng)化程序；⑸進(jìn)行測(cè)量系統(tǒng)的可靠性設(shè)計(jì)并加以實(shí)施，以保證工位的長(zhǎng)期穩(wěn)定運(yùn)行；⑹進(jìn)行測(cè)量系統(tǒng)的安全性設(shè)計(jì)并加以實(shí)施，以保證工位的長(zhǎng)期安全運(yùn)行；⑺在設(shè)計(jì)和建造實(shí)施的全部過程中，深入了解并堅(jiān)決貫徹執(zhí)行各類標(biāo)準(zhǔn)；⑻完成項(xiàng)目的總結(jié)并形成規(guī)范化的文檔。

簡(jiǎn)介：工作流技術(shù)是實(shí)現(xiàn)企業(yè)業(yè)務(wù)過程建模、業(yè)務(wù)過程仿真分析、業(yè)務(wù)過程優(yōu)化、業(yè)務(wù)過程管理與集成從而最終實(shí)現(xiàn)業(yè)務(wù)過程自動(dòng)化的核心技術(shù)研究和推廣工作流技術(shù)對(duì)于促進(jìn)制造業(yè)信息化具有重要的現(xiàn)實(shí)意義工作流與數(shù)據(jù)管理技術(shù)的結(jié)合為業(yè)務(wù)過程自動(dòng)化提供了技術(shù)實(shí)現(xiàn)手段該文針對(duì)業(yè)務(wù)過程自動(dòng)化實(shí)現(xiàn)過程中涉及到的相關(guān)問題進(jìn)行了研究該文首先分析了企業(yè)工作流模型的組成以及模型之間的相互關(guān)系在此基礎(chǔ)上結(jié)合應(yīng)用實(shí)際總結(jié)了過程模型、組織模型的建立過程其次該文對(duì)基于工作流的業(yè)務(wù)過程自動(dòng)化實(shí)現(xiàn)方法進(jìn)行了分析著重研究了基于群件LOTUSDOMINO的實(shí)現(xiàn)方法在對(duì)基于DOMINO的工作流實(shí)現(xiàn)原理進(jìn)行研究的基礎(chǔ)上總結(jié)了基本的工作流實(shí)現(xiàn)方式并設(shè)計(jì)了過程定義與執(zhí)行程序相互分離的流程定制方式的實(shí)現(xiàn)方案針對(duì)業(yè)務(wù)過程數(shù)據(jù)管理給出了非結(jié)構(gòu)化數(shù)據(jù)管理和數(shù)據(jù)源集成的解決方法最后該文以某飛機(jī)制造公司辦公自動(dòng)化系統(tǒng)的設(shè)計(jì)開發(fā)過程為例對(duì)業(yè)務(wù)過程自動(dòng)化實(shí)現(xiàn)過程中的關(guān)鍵問題如組織模型的建立、業(yè)務(wù)過程模型的建立與分析、基于工作流的業(yè)務(wù)流程實(shí)現(xiàn)方法、用戶權(quán)限設(shè)置、WEB客戶端設(shè)計(jì)與實(shí)現(xiàn)等問題給出了具體的解決方法該辦公自動(dòng)化系統(tǒng)運(yùn)行穩(wěn)定、正常實(shí)現(xiàn)了企業(yè)辦公業(yè)務(wù)的自動(dòng)化

簡(jiǎn)介：該論文是關(guān)于以太網(wǎng)在變電站自動(dòng)化系統(tǒng)中應(yīng)用的研究對(duì)原KT2000自動(dòng)化系統(tǒng)進(jìn)行改造開發(fā)出改進(jìn)版主要工作分為兩個(gè)部分第一部分是研制該改進(jìn)型系統(tǒng)中的通信管理機(jī)開發(fā)出將以太網(wǎng)通信技術(shù)和串行通信技術(shù)相結(jié)合的通信管理機(jī)包括通信管理機(jī)的軟硬件系統(tǒng)的設(shè)計(jì)和調(diào)試另外一個(gè)部分是設(shè)計(jì)變電站監(jiān)控系統(tǒng)軟件結(jié)構(gòu)使用ACTIVEX控件技術(shù)開發(fā)出與通信管理機(jī)通信控件和自動(dòng)抄表控件論文在對(duì)變電站自動(dòng)化系統(tǒng)中通信網(wǎng)絡(luò)的要求和發(fā)展趨勢(shì)以及以太網(wǎng)技術(shù)性能和相關(guān)網(wǎng)絡(luò)協(xié)議進(jìn)行分析的基礎(chǔ)上確定了以一個(gè)以太網(wǎng)接口和4個(gè)串行通信接口結(jié)合的通信管理機(jī)實(shí)現(xiàn)方案通信管理機(jī)采用了模塊化的硬件設(shè)計(jì)調(diào)試方便軟件設(shè)計(jì)采用了分層分模塊的設(shè)計(jì)方法結(jié)構(gòu)清晰代碼可復(fù)用性強(qiáng)論文中根據(jù)系統(tǒng)中對(duì)抄表自動(dòng)化的需要利用已有的通信管理機(jī)的硬件系統(tǒng)和部分軟件模塊根據(jù)部頒多功能電能表通信規(guī)約設(shè)計(jì)和開發(fā)出集中抄表裝置論文對(duì)通信管理機(jī)和集中抄表裝置內(nèi)的軟件處理流程進(jìn)行了詳細(xì)介紹論文在分析了變電站監(jiān)控系統(tǒng)功能和需求的基礎(chǔ)上運(yùn)用軟件工程理論對(duì)監(jiān)控軟件系統(tǒng)的結(jié)構(gòu)進(jìn)行了合理的劃分和設(shè)計(jì)論文介紹了軟件開發(fā)的多線程技術(shù)和ACTIVEX控件技術(shù)運(yùn)用這些技術(shù)使用設(shè)計(jì)開發(fā)出與通信管理機(jī)通信的控件和自動(dòng)抄表控件論文中詳細(xì)說明了這兩個(gè)控件的運(yùn)行和處理流程目前KT2000改進(jìn)型系統(tǒng)已經(jīng)完成調(diào)試投入實(shí)際運(yùn)用通過實(shí)際運(yùn)行證明通信管理機(jī)和集中抄表裝置與通信管理機(jī)通信的控件和自動(dòng)抄表控件工作情況良好

簡(jiǎn)介：本文根據(jù)3GPP規(guī)范，對(duì)WCDMA的話音業(yè)務(wù)和數(shù)據(jù)業(yè)務(wù)所具有的不同特性分別進(jìn)行了分析。對(duì)于話音業(yè)務(wù)，由于WCDMA系統(tǒng)容量反向受限的特性，本文首先側(cè)重對(duì)其反向鏈路容量進(jìn)行深入的理論分析；其次，對(duì)其中幾個(gè)重要的參數(shù)的取值進(jìn)行了分析、計(jì)算和確定；最后，對(duì)反向鏈路容量進(jìn)行了計(jì)算及仿真，并對(duì)仿真結(jié)果進(jìn)行了分析后得出其反向鏈路容量特性。對(duì)于數(shù)據(jù)業(yè)務(wù)，首先分析了其分組數(shù)據(jù)業(yè)務(wù)的特性及其行業(yè)應(yīng)用，結(jié)合配電自動(dòng)化通信對(duì)通信系統(tǒng)的需求，提出了基于WCDMA技術(shù)的配電自動(dòng)化系統(tǒng)；其次，對(duì)WCDMA應(yīng)用于配網(wǎng)自動(dòng)化通信系統(tǒng)的解決方案進(jìn)行深入分析和設(shè)計(jì)；最后，對(duì)其系統(tǒng)性能進(jìn)行分析及評(píng)價(jià)，并實(shí)現(xiàn)了其規(guī)約的轉(zhuǎn)換。

簡(jiǎn)介：合肥工業(yè)大學(xué)碩士學(xué)位論文饋線自動(dòng)化若干軟件模塊的設(shè)計(jì)與實(shí)現(xiàn)姓名宋永剛申請(qǐng)學(xué)位級(jí)別碩士專業(yè)控制理論與控制工程指導(dǎo)教師陶維青200331DESIGNANDREALIZATIONOFSOMESOFTWAREMODULESFORFEEDERAUTOMATIONABSTRACTPASFEEDERAUTOMATIONSYSTEMISANINTEGRATEDSYSTEMTHATMONITORINGHARMONIZINGANDCONTROLLINGFORDEVICEOFDISTRIBUTIONLINEWITHTHEHIGH一LEVELDEVELOPMENTOFDISTRIBUTION’SCONSTRUCTIONPASISBECOMINGTHEMOSTPARTOFPOWERDISTRIBUTIONAUTOMATIONSYSTEMITSCONTENTMAINLYINCLUDINGTHEFOLLOWINGTWOFACETSONEISCOMMONSTATECHECKINGDATAMEASURINGANDOPTIMIZINGTHEVOLTAGETHEOTHERISFAULT一CHECKINGFAULT一INSULATEDPOWER一TRANSFERRINGANDNONFAULTREGIONSPOWERSUPPLYRECOVERYINFAULTSTATETHISISSUEEXPOUNDSANDDISCUSSESTHEDEVELOPMENTSTATUSANDMAINFUNCTIONSOFFASPROVIDESANECONOMICALANDAPPLIEDPROJECTJUSTASQIANSHANDISTRIBUTIONAUTOMATIONSYSTEMFOREXAMPLEEXPLORINGSOMERELATIVESOFTWAREMODULESWITHVISUALCFORSYSTEM’SDEMANDTHEVARIABLEDICTIONARYEDITORBASEDONSHAREMEMORYAFFORDSMAINTENANCEFUNCTIONFORSYSTEMSREAL一TIMEDATABASETHEHISTORICALDATAMANAGEMENTMODULEBASEDONOLEDBACCESSTECHNOLOGYFORSQLSERVERDATABASEHASBETTERACCESSINGRATETHANOTHERSSYSTEMALSOREALIZESMORENORMATIVEPOWERREPORTFORMSWITHUSINGCAPIFUNCTIONSEXPLORINGCOMADD一INFOREXCELKEYWORDSFEEDERAUTOMATIONPOWERDISTRIBUTIONAUTOMATIONVARIABLEDICTIONARYCOMADDINGENERALPOWERREPORTFORMS

簡(jiǎn)介：語(yǔ)義WEB和WEB服務(wù)是WWW發(fā)展的兩個(gè)重要趨勢(shì)，這兩種技術(shù)的結(jié)合產(chǎn)生了另一個(gè)新興的研究課題語(yǔ)義WEB服務(wù)。語(yǔ)義WEB服務(wù)是指用語(yǔ)義WEB標(biāo)記語(yǔ)言來描述服務(wù)的語(yǔ)義，使WEB服務(wù)成為計(jì)算機(jī)可以理解的實(shí)體，從而支持服務(wù)的自動(dòng)發(fā)現(xiàn)、執(zhí)行和組合等?；谡Z(yǔ)義WEB的服務(wù)自動(dòng)組合技術(shù)，目標(biāo)是使軟件AGENT能根據(jù)用戶的需求將各種已有的WEB服務(wù)自動(dòng)地組合起來、協(xié)同工作完成用戶的任務(wù)，使服務(wù)可以靈活地滿足用戶的需求，實(shí)現(xiàn)“按需服務(wù)”。語(yǔ)義WEB服務(wù)組合研究領(lǐng)域的一個(gè)重要的問題是如何形式化描述語(yǔ)義WEB服務(wù)組合，如何驗(yàn)證服務(wù)組合的正確性。語(yǔ)義WEB服務(wù)組合涉及多個(gè)WEB服務(wù)通信協(xié)作，以及推理，這些特點(diǎn)使得語(yǔ)義WEB服務(wù)組合的驗(yàn)證更加困難。而且，語(yǔ)義WEB服務(wù)的組合語(yǔ)言作為一種基于本體標(biāo)記語(yǔ)言O(shè)WL的服務(wù)組合方法，建模理論基礎(chǔ)比較薄弱，組合正確性的保證較弱。而錯(cuò)誤的模型會(huì)導(dǎo)致運(yùn)行的失敗，運(yùn)行失敗就會(huì)給開發(fā)帶來不必要的損失，因此模型的正確性、無死鎖性等問題，在它正式被實(shí)施前必須得到形式上的模擬與檢驗(yàn)。本文針對(duì)上述問題，研究AI規(guī)劃、有色PETRI網(wǎng)如何形式化及其驗(yàn)證語(yǔ)義WEB服務(wù)的自動(dòng)組合，并提出了一種基于PI演算的語(yǔ)義WEB服務(wù)組合的建模方法，利用PI演算的并發(fā)計(jì)算操作符，將語(yǔ)義WEB服務(wù)組合建模為一組并發(fā)執(zhí)行的服務(wù)組合，在此基礎(chǔ)上驗(yàn)證WEB服務(wù)組合的正確性。主要研究?jī)?nèi)容包括以下五個(gè)方面1研究AI規(guī)劃、有色PETRI網(wǎng)如何實(shí)現(xiàn)對(duì)語(yǔ)義WEB服務(wù)的形式化描述及其驗(yàn)證方法，得出利用有色PETRI網(wǎng)驗(yàn)證語(yǔ)義WEB服務(wù)組合的優(yōu)點(diǎn)和缺點(diǎn)。2在對(duì)語(yǔ)義WEB服務(wù)組合的模型及其描述語(yǔ)言O(shè)WLS和PI演算研究的基礎(chǔ)上，提出了一種基于PI演算形式化、驗(yàn)證語(yǔ)義WEB服務(wù)的自動(dòng)組合的方法。該方法可以保證語(yǔ)義WEB服務(wù)自動(dòng)組合的正確性以降低由于WEB服務(wù)執(zhí)行的失敗帶來的開銷。3對(duì)于用PI演算形式化描述和建模的語(yǔ)義WEB服務(wù)組合進(jìn)行正確性的驗(yàn)證，對(duì)于驗(yàn)證后的WEB服務(wù)組合給出反饋意見。4本文對(duì)語(yǔ)義WEB服務(wù)組合的驗(yàn)證不是停留在架構(gòu)層面上，而是直接對(duì)語(yǔ)義WEB服務(wù)組合語(yǔ)言編寫的程序代碼進(jìn)行驗(yàn)證，因此更具有可行性和實(shí)用性。5利用PI演算形式化、驗(yàn)證語(yǔ)義WEB服務(wù)組合，解決了語(yǔ)義WEB服務(wù)中基于語(yǔ)義的不同組合序列的模型也能匹配的問題，不僅證明了組合模型的正確性，還證明了需求模型的正確性。

簡(jiǎn)介：近年來，黃委會(huì)提出了建設(shè)“三條黃河”的宏偉目標(biāo)，數(shù)字水調(diào)是數(shù)字黃河建設(shè)的主要組成部分，也是直接關(guān)系到國(guó)計(jì)民生的大計(jì)。在“數(shù)字水調(diào)”建設(shè)中，引黃涵閘測(cè)流自動(dòng)化是實(shí)現(xiàn)這一目標(biāo)的關(guān)鍵環(huán)節(jié)。在引黃涵閘自動(dòng)測(cè)流系統(tǒng)中，最核心的內(nèi)容就是引水原始數(shù)據(jù)的采集和處理。目前，山東黃河至今沒有開發(fā)類似的系統(tǒng)對(duì)黃河流量等基本要素進(jìn)行采集，也沒有對(duì)相關(guān)數(shù)據(jù)處理的先例。采集的數(shù)據(jù)是否準(zhǔn)確、完整，是否滿足處理的要求，數(shù)據(jù)傳輸是否安全，數(shù)據(jù)處理是否合理精確，直接關(guān)系到自動(dòng)化測(cè)流的成敗。本課題在經(jīng)過調(diào)查研究的基礎(chǔ)上，確定使用超聲波技術(shù)進(jìn)行數(shù)據(jù)采集，并設(shè)計(jì)了數(shù)據(jù)采集的地點(diǎn)，數(shù)據(jù)采集的內(nèi)容及實(shí)現(xiàn)過程。組建了結(jié)構(gòu)良好的信息網(wǎng)絡(luò)，使原始數(shù)據(jù)得到安全、完整地進(jìn)行傳輸，開發(fā)了針對(duì)性較強(qiáng)的管理軟件，對(duì)原始數(shù)據(jù)進(jìn)行計(jì)算、處理，并將該系統(tǒng)作為一個(gè)節(jié)點(diǎn)接入黃河廣域網(wǎng)，使網(wǎng)內(nèi)任一用戶在得到授權(quán)后都可查詢、瀏覽該系統(tǒng)內(nèi)引水的有關(guān)信息。設(shè)計(jì)完成后，該課題在德州市局李家岸引黃涵閘進(jìn)行了現(xiàn)場(chǎng)實(shí)施，安裝了軟、硬件設(shè)備，對(duì)系統(tǒng)進(jìn)行了綜合調(diào)試。系統(tǒng)投入了試運(yùn)行后，運(yùn)用一系列的措施對(duì)系統(tǒng)進(jìn)行檢驗(yàn)。對(duì)流速和水位數(shù)據(jù)采集的準(zhǔn)確性、傳輸?shù)陌踩约皵?shù)據(jù)處理的正確性進(jìn)行了驗(yàn)證，使用人工測(cè)流和系統(tǒng)測(cè)流的數(shù)據(jù)進(jìn)行了實(shí)際對(duì)比，對(duì)系統(tǒng)的整體性能進(jìn)行分析論證，證明了該系統(tǒng)的準(zhǔn)確性。從此實(shí)現(xiàn)了山東黃河引黃涵閘真正意義的“24小時(shí)”在線式測(cè)流。

簡(jiǎn)介：不銹鋼冶煉是一個(gè)復(fù)雜的過程，真空吹氧精煉法，簡(jiǎn)稱VOD法VACUUMOXYGENDECARBURIZATION是冶煉高品質(zhì)不銹鋼的重要方法。其具有冶煉工藝復(fù)雜，控制參數(shù)易變，影響因素多等特點(diǎn)。針對(duì)該特點(diǎn)，設(shè)計(jì)人員提出過很多控制方法，如PID控制，專家系統(tǒng)，學(xué)習(xí)系統(tǒng)等。本文深入研究了VOD冶煉的工藝發(fā)展歷史，和冶煉工藝的具體要求，系統(tǒng)分析了控制平臺(tái)的軟硬件設(shè)計(jì)要求。針對(duì)系統(tǒng)具有的時(shí)變性強(qiáng)，影響因素多，對(duì)快速性要求高的特點(diǎn)，提出了各功能單獨(dú)編譯統(tǒng)一調(diào)用的方案，在現(xiàn)場(chǎng)運(yùn)行具有運(yùn)行穩(wěn)定，冶煉效果良好的特點(diǎn)。吹氧控制系統(tǒng)是冶煉系統(tǒng)中的關(guān)鍵部分，具有時(shí)變性，同時(shí)對(duì)快速性也有很高的要求。為了解決這一問題，采用模糊控制作為系統(tǒng)中吹氧部分的控制算法。在認(rèn)真研究工藝要求的基礎(chǔ)上，在現(xiàn)場(chǎng)調(diào)試中采集了大量可靠的數(shù)據(jù)資料，在離線狀態(tài)下通過總結(jié)專家的經(jīng)驗(yàn)并結(jié)合數(shù)據(jù)進(jìn)行反復(fù)推算，最終總結(jié)出有效的模糊控制規(guī)則。通過MAMDANI極大極小法對(duì)模糊規(guī)則進(jìn)行推斷后，最終形成模糊決策，滿足了吹氧系統(tǒng)對(duì)實(shí)時(shí)性，快速性的要求。在系統(tǒng)實(shí)際運(yùn)行中，真空度的誤差符合要求，氧氣流量控制達(dá)到設(shè)計(jì)標(biāo)準(zhǔn)，不僅在連續(xù)生產(chǎn)中取得了良好的效果，而且為同類型的冶煉控制提供了良好的借鑒。

簡(jiǎn)介：近年來隨著計(jì)算機(jī)的不斷普及，計(jì)算機(jī)已經(jīng)不再是陌生的高檔設(shè)備。很多行業(yè)已經(jīng)離不開計(jì)算機(jī)。在電力行業(yè)中，更是如此繼電保護(hù)，到故障錄波器，到視頻監(jiān)控系統(tǒng)都離不開微機(jī)保護(hù)和電腦。其中，從變電站中的繼電保護(hù)的發(fā)展看，繼電保護(hù)從以往使用的繼電器型保護(hù)到采用單片機(jī)的微機(jī)型保護(hù)，再發(fā)展到現(xiàn)在的具備基本網(wǎng)絡(luò)功能的微機(jī)型保護(hù)，微機(jī)的應(yīng)用比以前更加廣泛、深入。另一方面由于基于TCPIP協(xié)議的以太網(wǎng)具有的速度快、成本低、誤碼低等的優(yōu)越性，以太網(wǎng)的應(yīng)用也越來越廣泛。如何將單獨(dú)的微機(jī)聯(lián)系起來，利用計(jì)算機(jī)和網(wǎng)絡(luò)進(jìn)行變電站設(shè)備的集中管理控制靠的是基于以太網(wǎng)的變電站綜合自動(dòng)化系統(tǒng)。本文的目標(biāo)就是利用自動(dòng)化設(shè)計(jì)軟件（“組態(tài)王”）建立一個(gè)110KV變電站綜自系統(tǒng)的基本模型。利用基本的輸入量和輸出量，實(shí)現(xiàn)綜自監(jiān)控系統(tǒng)的遙調(diào)、遙測(cè)、遙控、遙信的“四遙”基本功能，再進(jìn)一步地實(shí)現(xiàn)報(bào)表、事件順序記錄和事故追憶、繪圖及顯示、實(shí)時(shí)數(shù)據(jù)采集與處理、數(shù)據(jù)庫(kù)管理等高級(jí)應(yīng)用功能。此外，對(duì)目前各廠家系統(tǒng)所存在的一些不完善地方在此提出改進(jìn)方法。主要是1信號(hào)的邏輯合并和分類。2做出正常、異常的狀態(tài)判斷，并在主界面顯現(xiàn)出來。3通過刀閘位置的判別，顯示設(shè)備當(dāng)前的運(yùn)行的狀態(tài)（運(yùn)行狀態(tài)、檢修狀態(tài)）。

簡(jiǎn)介：點(diǎn)擊查看更多變電站綜合自動(dòng)化監(jiān)控主站系統(tǒng)的研制.pdf精彩內(nèi)容。

簡(jiǎn)介：點(diǎn)擊查看更多交互式排版軟件自動(dòng)化測(cè)試的設(shè)計(jì)與實(shí)現(xiàn).pdf精彩內(nèi)容。

簡(jiǎn)介：隨著并行計(jì)算機(jī)的大量涌現(xiàn)，如何開發(fā)并行程序以便充分有效利用并行計(jì)算機(jī)資源已成為非常重要但又十分困難的問題。在目前缺乏普遍接受的并行程序設(shè)計(jì)語(yǔ)言的情況下，自動(dòng)并行化是解決這一問題的有效途徑之一。所謂自動(dòng)并行化編譯技術(shù)就是指通過多種技術(shù)手段自動(dòng)檢測(cè)串行程序中潛在的并行性，并將串行程序轉(zhuǎn)變?yōu)榈葍r(jià)的高效并行程序的技術(shù)。由于并行化編譯的研究依賴于實(shí)驗(yàn)性方法，而實(shí)驗(yàn)性方法往往會(huì)對(duì)并行化編譯系統(tǒng)提出很多要求，這些要求需要有不同的技術(shù)來解決，如何將這些技術(shù)有效地集成，是開發(fā)并行化編譯系統(tǒng)的關(guān)鍵。當(dāng)今國(guó)際上3個(gè)比較有影響力的并行化編譯系統(tǒng)SUIF、POLARIS、AFT與理想的要求還存在差距。POLARIS與AFT只能實(shí)現(xiàn)串行FTRAN程序的并行化，SUIF雖然對(duì)串行FTRAN與串行C都能進(jìn)行并行化，但對(duì)FTRAN的并行化是通過把FTRAN轉(zhuǎn)換成C完成的，這在一定程度上阻礙了某些并行性的發(fā)掘。而且要在這3個(gè)系統(tǒng)上支持新的語(yǔ)言或者實(shí)現(xiàn)新的并行優(yōu)化算法是一件比較困難的事情，因此迫切需要一個(gè)具有良好可擴(kuò)展性的自動(dòng)并行化編譯系統(tǒng)。AGASSIZ是一個(gè)可擴(kuò)展的自動(dòng)并行化編譯系統(tǒng)，它可以把串行程序變換為并行程序，并為編譯技術(shù)的研究提供了良好的平臺(tái)。通過面向?qū)ο蟮脑O(shè)計(jì)，對(duì)多種語(yǔ)言的支持以及與后端編譯器有效整合使得AGASSIZ一定程度上彌補(bǔ)了現(xiàn)有自動(dòng)并行化編譯系統(tǒng)通用性和可擴(kuò)展性差的不足。