簡(jiǎn)介：網(wǎng)絡(luò)技術(shù)作為計(jì)算機(jī)技術(shù)與通訊技術(shù)相結(jié)合的產(chǎn)物，從上個(gè)世紀(jì)60年代開始，逐漸進(jìn)入人類社會(huì)，隨即開始給人類社會(huì)的工作和生活帶了巨大的便利。目前，國(guó)內(nèi)外的高校都擁有自己的校園網(wǎng)絡(luò)，為建設(shè)和使用高效的辦公自動(dòng)化系統(tǒng)打下了基礎(chǔ)。隨著高校自身的快速發(fā)展，對(duì)高校教育信息化建設(shè)提出了更高的要求，在此背景下，辦公自動(dòng)化系統(tǒng)迅速進(jìn)入高校，改變了學(xué)校傳統(tǒng)的工作模式和辦公手段，大大提高了辦公效率，降低了辦公成本，縮短了事務(wù)處理的時(shí)間周期，信息資源的發(fā)布、更新和共享更及時(shí)便捷。隨之而來(lái)的就是如何開發(fā)高?；鶎愚k公自動(dòng)化系統(tǒng)，使之與學(xué)校的辦公自動(dòng)化系統(tǒng)相輔相成就成為亟待解決的問題。本文針對(duì)許多商業(yè)機(jī)構(gòu)開發(fā)的高校辦公自動(dòng)化系統(tǒng)存在系統(tǒng)難以適應(yīng)基層環(huán)境具體要求的瓶頸，分析了目前高校辦公自動(dòng)化的現(xiàn)狀，闡述了構(gòu)建高校基層辦公自動(dòng)化系統(tǒng)的意義，研究了高校基層辦公自動(dòng)化系統(tǒng)的層次模式，通過(guò)對(duì)高?；鶎尤粘９ぷ骱托畔⑻幚淼恼{(diào)查和總結(jié)，結(jié)合高校實(shí)際情況，提出了基于校園網(wǎng)絡(luò)的高?；鶎愚k公自動(dòng)化系統(tǒng)解決方案。在此基礎(chǔ)上，開發(fā)設(shè)計(jì)了沈陽(yáng)藥科大學(xué)基礎(chǔ)學(xué)院基層辦公自動(dòng)化系統(tǒng)，并對(duì)實(shí)現(xiàn)該系統(tǒng)采用的關(guān)鍵技術(shù)做了深入研究。本文設(shè)計(jì)的系統(tǒng)以C撐語(yǔ)言、框架和SQLSERVER2005作為開發(fā)工具和信息存儲(chǔ)平臺(tái)，基于BS結(jié)構(gòu)構(gòu)建了網(wǎng)絡(luò)環(huán)境下高?；鶎愚k公自動(dòng)化系統(tǒng)的模式，實(shí)現(xiàn)了信息發(fā)布、文件傳遞、教學(xué)管理、行政辦公、日常服務(wù)等功能。通過(guò)在沈陽(yáng)藥科大學(xué)基礎(chǔ)學(xué)院近兩年的運(yùn)行使用，結(jié)果表明，應(yīng)用效果顯著。該系統(tǒng)具有運(yùn)行平臺(tái)簡(jiǎn)單、性能安全可靠、操作方便、易維護(hù)等特點(diǎn)，大大提高了基層學(xué)院的工作效率，為廣大師生、行政人員彼此之間以及與學(xué)校各部門之間的信息溝通提供了便捷、及時(shí)、經(jīng)濟(jì)的渠道。該系統(tǒng)的開發(fā)與設(shè)計(jì)，不僅為高?；鶎愚k公自動(dòng)化系統(tǒng)個(gè)性化方案的實(shí)施提供了嘗試，也為進(jìn)一步促進(jìn)高校教育信息化建設(shè)做出了貢獻(xiàn)。

簡(jiǎn)介：現(xiàn)代自動(dòng)化功能測(cè)試系統(tǒng)，作為測(cè)試界科學(xué)發(fā)展的最新成果，由于它的各項(xiàng)顯著優(yōu)勢(shì)，已經(jīng)廣泛運(yùn)用到世界范圍內(nèi)各個(gè)領(lǐng)域的制造業(yè)之中。而國(guó)內(nèi)功能測(cè)試的自動(dòng)化進(jìn)程卻一直進(jìn)展的相當(dāng)緩慢，雖然也有不少?gòu)S家在一直研究功能測(cè)試的自動(dòng)化儀器，并且也有少量產(chǎn)品已經(jīng)投放市場(chǎng)，但從目前的應(yīng)用情況來(lái)看，其實(shí)際應(yīng)用效果似乎不盡人意，遠(yuǎn)遠(yuǎn)達(dá)不到客戶預(yù)期的大大提高生產(chǎn)效率的要求。因此，積極研究一種高效的自動(dòng)化測(cè)試系統(tǒng)，已經(jīng)迫在眉睫。本文從回顧自動(dòng)化測(cè)試發(fā)展歷程出發(fā)，介紹了自動(dòng)化功能測(cè)試的理論研究與應(yīng)用情況，探討并提出了基于LABVIEW及TESTST的自動(dòng)化功能測(cè)試系統(tǒng)實(shí)現(xiàn)途徑。本文簡(jiǎn)述了自動(dòng)化功能測(cè)試的基本知識(shí)以及組建自動(dòng)化功能測(cè)試系統(tǒng)的基本流程，同時(shí)，借助于某品牌洗衣機(jī)控制板的自動(dòng)化功能測(cè)試實(shí)例展示了自動(dòng)化功能測(cè)試系統(tǒng)的搭建以及針對(duì)不同功能測(cè)試模塊所歸納提出的方案。本文開發(fā)的測(cè)試系統(tǒng)應(yīng)用于WINDOWS95982000NT環(huán)境，采用NINATIONALINSTRUMENTSCP公司的PCI6220數(shù)據(jù)采集卡，以LABVIEW及TESTST作為軟件平臺(tái)，結(jié)合I2CINTERINTEGRATEDCIRCUIT適配器和各類通道選擇卡，實(shí)現(xiàn)對(duì)洗衣機(jī)控制板各項(xiàng)狀態(tài)的控制，從而對(duì)各項(xiàng)狀態(tài)的正確與否進(jìn)行判斷，達(dá)到了快速、準(zhǔn)確并且高效的測(cè)試目的。本文通過(guò)對(duì)詳細(xì)測(cè)試實(shí)例的研究，針對(duì)不同的測(cè)試項(xiàng)目，比如電壓的采集，LCDLIQUIDCRYSTALDISPLAY屏幕字段的判別，LEDLIGHTEMITTINGDIODE的測(cè)試，都提出了不同的測(cè)試方案。相比傳統(tǒng)的測(cè)試方法，節(jié)省了人力、物力，并且提高了產(chǎn)品效率。

簡(jiǎn)介：隨著計(jì)算機(jī)軟件日益復(fù)雜，如何保證其正確性和可靠性成為十分緊迫的問題。模型檢測(cè)是一種驗(yàn)證有限狀態(tài)系統(tǒng)的時(shí)序邏輯屬性的形式化方法，已經(jīng)在硬件電路、驅(qū)動(dòng)程序和安全協(xié)議等領(lǐng)域獲得了巨大的成功。應(yīng)用模型檢測(cè)技術(shù)到高級(jí)程序設(shè)計(jì)語(yǔ)言實(shí)現(xiàn)的系統(tǒng)的難點(diǎn)是提取抽象模型，通常的辦法是手工構(gòu)造。然而這個(gè)方法存在一些不足，如成本過(guò)高，易引入建模錯(cuò)誤等，因此從源代碼中直接提取驗(yàn)證模型存在強(qiáng)烈的實(shí)際需求。貝爾實(shí)驗(yàn)室開發(fā)的SPIN是優(yōu)秀的模型檢測(cè)工具，其建模語(yǔ)言是PROMELA，而C語(yǔ)言是應(yīng)用最廣泛的程序設(shè)計(jì)語(yǔ)言之一，因此本文的主要研究?jī)?nèi)容定位于ANSIC程序的模型提取技術(shù)，從而達(dá)到使用SPIN自動(dòng)化模型檢測(cè)C程序的目的。本文設(shè)計(jì)了一套對(duì)ANSIC程序進(jìn)行模型提取的方法，較好地處理了C的大部分語(yǔ)言特性，特別是幾種復(fù)雜的結(jié)構(gòu)，比如遞歸函數(shù)、枚舉類型和指針等。并開發(fā)了一個(gè)模型提取工具C2SPIN。從功能上來(lái)說(shuō)，C2SPIN分為前端和后端。前端是一個(gè)分析器，具有對(duì)C源代碼進(jìn)行詞法分析和語(yǔ)法分析的功能。后端則是一個(gè)轉(zhuǎn)換器，實(shí)現(xiàn)了從C代碼到PROMELA代碼的系統(tǒng)轉(zhuǎn)換。而且，為了減小模型的規(guī)模，加快模型提取的速度或者提高模型的執(zhí)行效率，C2SPIN中使用了一些簡(jiǎn)單的抽象機(jī)制和優(yōu)化技術(shù)。C2SPIN顯著降低了建模的開銷。結(jié)合C2SPIN，SPIN能夠自動(dòng)地檢測(cè)使用C語(yǔ)言編寫的應(yīng)用程序中的多種錯(cuò)誤，比如死鎖等性質(zhì)。作者使用C2SPIN進(jìn)行了一定數(shù)量的測(cè)試。在實(shí)驗(yàn)中，依靠C2SPIN生成的模型，我們發(fā)現(xiàn)了SPIN430的一個(gè)語(yǔ)義錯(cuò)誤，以及HOLZMANN對(duì)兩個(gè)經(jīng)典互斥算法的實(shí)現(xiàn)中的活鎖錯(cuò)誤。因此我們認(rèn)為C2SPIN在檢測(cè)ANSIC程序方面具有一定的實(shí)用價(jià)值。

簡(jiǎn)介：點(diǎn)擊查看更多基于Intel多核架構(gòu)的循環(huán)語(yǔ)句自動(dòng)并行化關(guān)鍵技術(shù)的研究.pdf精彩內(nèi)容。

簡(jiǎn)介：點(diǎn)擊查看更多電網(wǎng)遠(yuǎn)方計(jì)費(fèi)自動(dòng)化信息管理系統(tǒng).pdf精彩內(nèi)容。

簡(jiǎn)介：軟件測(cè)試是軟件質(zhì)量保證的關(guān)鍵步驟J它對(duì)軟件項(xiàng)目的成功是至關(guān)重要的。而WEB應(yīng)用軟件的平臺(tái)無(wú)關(guān)、用戶群體巨大、動(dòng)態(tài)更新等特性決定了對(duì)WEB應(yīng)用軟件的測(cè)試要比對(duì)傳統(tǒng)軟件的測(cè)試更加嚴(yán)格從而對(duì)軟件測(cè)試提出了新的挑戰(zhàn)。為提高測(cè)試質(zhì)量和測(cè)試效率WEB測(cè)試需要通過(guò)測(cè)試自動(dòng)化來(lái)加以支持自動(dòng)化測(cè)試平臺(tái)的需求由此產(chǎn)生。本文所論述的自動(dòng)化測(cè)試平臺(tái)SAFE是為百度公司質(zhì)量部提供的基于關(guān)鍵字驅(qū)動(dòng)和數(shù)據(jù)驅(qū)動(dòng)的測(cè)試平臺(tái)。本人全程參與了SAFE20版本的設(shè)計(jì)和實(shí)現(xiàn)主要工作如下1參與完成了持續(xù)集成下SAFE平臺(tái)測(cè)試執(zhí)行流程的設(shè)計(jì)和實(shí)現(xiàn)功能包括從服務(wù)器上下載持續(xù)集成執(zhí)行包、搭建初始環(huán)境、定期執(zhí)行測(cè)試。2參與完成了SAFE平臺(tái)用例運(yùn)行模塊功能包括為用戶提供支持測(cè)試用例編寫的基礎(chǔ)庫(kù)、為用戶提供支持邏輯重用的模板、為用戶提供實(shí)現(xiàn)腳本與數(shù)據(jù)分離的數(shù)據(jù)重用功能、運(yùn)行測(cè)試用例。3參與完成了SAFE平臺(tái)用例分布式執(zhí)行模塊功能包括總控機(jī)環(huán)境管理、測(cè)試機(jī)管理、測(cè)試用例管理、通用功能管理。4獨(dú)立完成了SAFE平臺(tái)報(bào)告模塊功能包括將模塊的測(cè)試結(jié)果以報(bào)表的形式展現(xiàn)、將測(cè)試結(jié)果的歷史數(shù)據(jù)進(jìn)行統(tǒng)計(jì)并以圖表的形式展現(xiàn)、將單機(jī)多模塊的測(cè)試結(jié)果進(jìn)行匯總統(tǒng)計(jì)并生成單機(jī)匯總報(bào)告、將多機(jī)多模塊的測(cè)試結(jié)果按產(chǎn)品線進(jìn)行分級(jí)匯總并生成分級(jí)匯總報(bào)告。SAFE20平臺(tái)在百度公司質(zhì)量部?jī)?nèi)部試運(yùn)行期間得到了良好的評(píng)價(jià)現(xiàn)已被正式使用。在SAFE20平臺(tái)上執(zhí)行的用例已達(dá)1500個(gè)該平臺(tái)為百度質(zhì)量部的測(cè)試工作提供了有效的服務(wù)。

簡(jiǎn)介：該文首先介紹了變電站綜合自動(dòng)化系統(tǒng)在電力系統(tǒng)的重要地位在此基礎(chǔ)上介紹了基于IRMX實(shí)時(shí)操作系統(tǒng)的電力系統(tǒng)實(shí)時(shí)專家系統(tǒng)著重論述了基于IRMX的實(shí)時(shí)專家系統(tǒng)的應(yīng)用程序的設(shè)計(jì)該文論述的電力系統(tǒng)實(shí)時(shí)專家系統(tǒng)主要功能是連續(xù)、密切地監(jiān)視系統(tǒng)大量開發(fā)狀態(tài)參數(shù)不斷進(jìn)行邏輯運(yùn)算并判斷聯(lián)鎖長(zhǎng)件及時(shí)監(jiān)測(cè)各種故障情況并預(yù)防事故的發(fā)生根據(jù)各種監(jiān)測(cè)量的變化負(fù)荷波動(dòng)等運(yùn)行工況和監(jiān)視信息把監(jiān)控系統(tǒng)的機(jī)理性知識(shí)與豐富的私有知識(shí)有效地相互結(jié)合綜合分析然后通過(guò)推理機(jī)的推理過(guò)程對(duì)過(guò)程運(yùn)行工況做出準(zhǔn)確的判斷并選擇合適的策略來(lái)實(shí)施電力系統(tǒng)的管理與控制

簡(jiǎn)介：本文通過(guò)黨校系統(tǒng)目前辦公自動(dòng)化應(yīng)用技術(shù)和現(xiàn)狀的分析，提出了開發(fā)辦公自動(dòng)化OFFICEAUTOMATION簡(jiǎn)稱OA系統(tǒng)的必要性和緊迫性。結(jié)合當(dāng)前計(jì)算機(jī)技術(shù)的發(fā)展和黨校辦公特點(diǎn)，通過(guò)對(duì)天津市委黨校的組織體系和辦公處理的現(xiàn)狀的研究分析，提出了建立基于WEB的黨校辦公自動(dòng)化系統(tǒng)。本課題的目標(biāo)是根據(jù)目前天津市委黨校及其直屬各黨校辦公需要，開發(fā)在WEB工作環(huán)境運(yùn)行的辦公自動(dòng)化系統(tǒng)，系統(tǒng)建成后，可以通過(guò)此系統(tǒng)與直屬各區(qū)縣局黨校進(jìn)行同常辦公，節(jié)省公文流轉(zhuǎn)時(shí)間，實(shí)現(xiàn)信息及時(shí)交流和資源共享，形成無(wú)紙化辦公環(huán)境。本文論述了辦公自動(dòng)化系統(tǒng)的特點(diǎn)；介紹了B／S與C／S體系結(jié)構(gòu)，并對(duì)這兩種結(jié)構(gòu)進(jìn)行了分析與比較，闡明了各自的優(yōu)、缺點(diǎn)；分析了目前辦公自動(dòng)化系統(tǒng)的開發(fā)平臺(tái)，在研究基礎(chǔ)上，提出基于平臺(tái)進(jìn)行黨校辦公自動(dòng)化系統(tǒng)的開發(fā)。本文詳細(xì)介紹了黨校辦公自動(dòng)化系統(tǒng)的整個(gè)軟件設(shè)計(jì)過(guò)程，從需求分析，系統(tǒng)設(shè)計(jì)到最后天津市委黨校辦公自動(dòng)化系統(tǒng)的具體實(shí)現(xiàn)。本系統(tǒng)支持辦公信息資源的共享、公文的流轉(zhuǎn)、發(fā)送和接收單位內(nèi)外部郵件、報(bào)表管理、檔案管理等功能，實(shí)現(xiàn)高效協(xié)同工作的環(huán)境。黨校辦公自動(dòng)化系統(tǒng)的建設(shè)，將有助于提高辦公效率精簡(jiǎn)機(jī)構(gòu)，減少開支。基于WEB的辦公自動(dòng)化系統(tǒng)的研究和開發(fā)，對(duì)于改造傳統(tǒng)的辦公模式，提高行政管理水平有重要的意義。

簡(jiǎn)介：隨著現(xiàn)代工業(yè)控制技術(shù)的發(fā)展和成熟，傳統(tǒng)制造業(yè)領(lǐng)域采用先進(jìn)的、現(xiàn)代化的工業(yè)控制技術(shù)顯得尤其重要。從傳統(tǒng)工業(yè)領(lǐng)域中電鍍這一基礎(chǔ)工藝入手，闡述了自動(dòng)生產(chǎn)線綜合自動(dòng)化控制系統(tǒng)的組成和起到的重要作用。體現(xiàn)控制系統(tǒng)向網(wǎng)絡(luò)化、集成化、分布化、節(jié)點(diǎn)智能化的發(fā)展趨勢(shì)。使構(gòu)成企事業(yè)的各子系統(tǒng)由各自獨(dú)立分離的設(shè)備、功能和信息集成為一個(gè)相互關(guān)聯(lián)、完整和協(xié)調(diào)的綜合網(wǎng)絡(luò)系統(tǒng)，使系統(tǒng)信息得到高效、合理的分配和共享。通過(guò)直線電鍍生產(chǎn)綜合自動(dòng)化控制系統(tǒng)的應(yīng)用，將傳統(tǒng)工業(yè)中的勞動(dòng)密集型手工操作向計(jì)算機(jī)集中控制和管理轉(zhuǎn)換，提高生產(chǎn)率及提高產(chǎn)品質(zhì)量控制水平必將是其發(fā)展的方向。為提高阜錦開關(guān)廠的勞動(dòng)效率及產(chǎn)品質(zhì)量水平，對(duì)工藝過(guò)程的全程監(jiān)控顯得尤為重要。根據(jù)阜錦開關(guān)的實(shí)際情況情況，在廠內(nèi)建立綜合自動(dòng)化控制系統(tǒng)，對(duì)直線電鍍生產(chǎn)全面實(shí)行控制管理。

簡(jiǎn)介：為建設(shè)一條在國(guó)內(nèi)自動(dòng)化控制技術(shù)含量較高的一條扁鋼生產(chǎn)線，通過(guò)考察國(guó)內(nèi)外先進(jìn)水平的同類生產(chǎn)線以及與具有較高設(shè)計(jì)、制造設(shè)備的廠家技術(shù)人員多次技術(shù)交流，包括了高壓柜、變壓器、低壓柜和傳動(dòng)柜等的選型，配置熱檢、冷檢、面積傳感器等物料檢測(cè)儀器，劃分輥道電機(jī)組別，設(shè)置操作箱、操作臺(tái)并賦予其操作功能，按照設(shè)備區(qū)域和節(jié)點(diǎn)數(shù)量、功能要求設(shè)立CPU站和遠(yuǎn)程柜并匹配IO模塊等組件，組建通訊網(wǎng)絡(luò)。按照工藝需求，編寫控制程序，實(shí)現(xiàn)了對(duì)各種設(shè)備的控制，包括飛剪控制、活套控制、加送輥控制、倍尺剪控制、裙板控制、冷床控制、定尺剪控制、收集線及碼垛機(jī)控制和打包機(jī)控制實(shí)現(xiàn)了全線級(jí)聯(lián)調(diào)速度控制。最終形成了該論文中講述的方案，該方案得到了國(guó)內(nèi)多個(gè)自動(dòng)化公司的認(rèn)可。

簡(jiǎn)介：由于在軟件開發(fā)后期發(fā)現(xiàn)錯(cuò)誤進(jìn)行修改是早期發(fā)現(xiàn)進(jìn)行修改所需成本的好多倍，在動(dòng)態(tài)測(cè)試前對(duì)軟件進(jìn)行靜態(tài)分析可以盡早的發(fā)現(xiàn)軟件中的錯(cuò)誤和缺陷，提高了軟件的質(zhì)量，從而大大提高了開發(fā)后期的評(píng)審、測(cè)試甚至維護(hù)的效率，從總體上縮短軟件開發(fā)時(shí)間，降低了開發(fā)成本。如今軟件規(guī)模越來(lái)越大，軟件的復(fù)雜度也越來(lái)越高，手工測(cè)試變的很困難，另外手工測(cè)試要做很多重復(fù)性的勞動(dòng)，導(dǎo)致手工測(cè)試效率低。軟件測(cè)試分為靜態(tài)測(cè)試和動(dòng)態(tài)測(cè)試，而靜態(tài)分析是靜態(tài)測(cè)試的基礎(chǔ)。本文研究自動(dòng)化的靜態(tài)分析工具，能提高錯(cuò)誤檢查的效率，降低測(cè)試成本。本文研究的自動(dòng)化靜態(tài)分析工具主要有三個(gè)方面的功能一是對(duì)源代碼進(jìn)行規(guī)范性檢查；二是對(duì)源程序的靜態(tài)結(jié)構(gòu)分析；三是對(duì)源程序進(jìn)行代碼度量。對(duì)源程序進(jìn)行靜態(tài)分析，首先要提取出源程序的靜態(tài)信息，根據(jù)提取的靜態(tài)信息，對(duì)源程序進(jìn)行靜態(tài)分析。提取源程序的靜態(tài)信息主要有兩種方式一是開發(fā)源程序語(yǔ)言的靜態(tài)分析器來(lái)提取信息；二是從編譯源程序過(guò)程中產(chǎn)生的中間文件中提取源程序的靜態(tài)信息。本文實(shí)現(xiàn)的結(jié)果是通過(guò)嵌入開源工具對(duì)源代碼進(jìn)行規(guī)范性檢查，并建立一些最基本的規(guī)則集，能對(duì)基本的語(yǔ)法規(guī)則錯(cuò)誤進(jìn)行檢查；對(duì)源程序靜態(tài)結(jié)構(gòu)分析時(shí)，主要是實(shí)現(xiàn)函數(shù)、變量間的調(diào)用關(guān)系，而函數(shù)內(nèi)部的控制流、數(shù)據(jù)流有待實(shí)現(xiàn)，最后對(duì)源程序的復(fù)雜度進(jìn)行統(tǒng)計(jì)。

簡(jiǎn)介：隨著計(jì)算機(jī)所控制的對(duì)象的復(fù)雜程度不斷提高和軟件功能的不斷增強(qiáng)，軟件的規(guī)模也在不斷增大。為了保證所提交的軟件產(chǎn)品能夠滿足客戶的需求，以及在使用中的可靠性，必須對(duì)所開發(fā)的軟件產(chǎn)品進(jìn)行系統(tǒng)而全面的測(cè)試。從保證軟件質(zhì)量的角度來(lái)說(shuō)，軟件測(cè)試是軟件質(zhì)量保證工程的一個(gè)重要組成部分，也是最重要的質(zhì)量保證手段。隨著人們對(duì)軟件測(cè)試重要性的認(rèn)識(shí)越來(lái)越深刻，軟件測(cè)試階段在整個(gè)軟件開發(fā)周期中所占的比重也日益增大。軟件測(cè)試的時(shí)間、經(jīng)濟(jì)等成本也隨之上升。本文從測(cè)試的基本理論出發(fā)，詳細(xì)分析了面向?qū)ο蠹夹g(shù)對(duì)測(cè)試產(chǎn)生的影響，介紹了自動(dòng)化測(cè)試標(biāo)準(zhǔn)以及原理和方法。文章的主體部分，以外匯交易管理系統(tǒng)為背景，在分析實(shí)際測(cè)試需求的基礎(chǔ)上，設(shè)計(jì)了基于自動(dòng)化測(cè)試框架JUNIT，結(jié)合SUBVERSION版本控制系統(tǒng)、ANT構(gòu)建工具的測(cè)試平臺(tái)，并給出了相應(yīng)的實(shí)施方案。使用該測(cè)試系統(tǒng)解決了外匯交易管理系統(tǒng)中單元測(cè)試的難題，實(shí)現(xiàn)了測(cè)試自動(dòng)化。本文的內(nèi)容將軟件測(cè)試?yán)碚摵蜏y(cè)試實(shí)踐相結(jié)合，相信本文的研究可以為自動(dòng)化測(cè)試以及改善測(cè)試效率帶來(lái)一定的參考價(jià)值。

簡(jiǎn)介：煤礦安全生產(chǎn)事故中運(yùn)輸事故所占的比例非常高，而斜巷運(yùn)輸事故是運(yùn)輸事故的主要發(fā)生形式。經(jīng)過(guò)對(duì)各類斜巷運(yùn)輸事故的分析發(fā)現(xiàn)，斜巷安全設(shè)施的不完善或工人誤操作安全設(shè)施以及安全設(shè)施的防護(hù)效果差等是造成斜巷運(yùn)輸事故的主要原因。因此要實(shí)現(xiàn)斜巷的本質(zhì)安全首先應(yīng)解決斜井運(yùn)輸中原有的安全設(shè)施操作模式，使其達(dá)到自動(dòng)控制、互相閉鎖、安全可靠的目的。本課題通過(guò)研究開發(fā)副暗斜井安全設(shè)施自動(dòng)化控制系統(tǒng)，使用西門子S7系列高性能PLC控制器實(shí)現(xiàn)斜巷安全設(shè)施的集中、統(tǒng)一、自動(dòng)控制，對(duì)提高斜巷運(yùn)輸效率、安全設(shè)施工作可靠性、提升礦井精細(xì)化管理水平意義重大。在課題的研發(fā)過(guò)程當(dāng)中，作者通過(guò)大量調(diào)研國(guó)內(nèi)外煤礦安斜巷安全設(shè)施自動(dòng)化控制先進(jìn)技術(shù)的發(fā)展情況、使用情況和北宿煤礦斜巷安全生產(chǎn)具備條件，并參閱大量學(xué)術(shù)文獻(xiàn)了解和學(xué)習(xí)氣動(dòng)控制、電磁氣動(dòng)元件、接近傳感器、旋轉(zhuǎn)編碼器、紅外線傳感技術(shù)、可編程控制技術(shù)、視頻監(jiān)控技術(shù)、數(shù)據(jù)庫(kù)等煤礦生產(chǎn)應(yīng)用技術(shù)，并結(jié)合現(xiàn)場(chǎng)實(shí)際需要進(jìn)行了數(shù)據(jù)采集方式、控制方式的確定和設(shè)備選型，作者本人編寫制定的北宿煤礦斜井安全設(shè)施自動(dòng)化控制系統(tǒng)的設(shè)計(jì)與實(shí)現(xiàn)實(shí)施方案通過(guò)兗礦集團(tuán)有限公司科技項(xiàng)目論證專家組論證。在課題后期實(shí)施過(guò)程中，作者主持了系統(tǒng)設(shè)計(jì)、現(xiàn)場(chǎng)設(shè)備設(shè)施安裝、程序設(shè)計(jì)與調(diào)試、項(xiàng)目改進(jìn)、工業(yè)性試驗(yàn)等工作。實(shí)踐證明，副暗斜井安全設(shè)施自動(dòng)化控制系統(tǒng)能夠?qū)崿F(xiàn)安全設(shè)施的自動(dòng)化控制，提高斜巷運(yùn)輸效率、安全設(shè)施工作可靠性、提升礦井精細(xì)化管理水平，大大降低原先操作時(shí)的繁瑣程度，從而使人工操作時(shí)人為誤操作的機(jī)率減少，工人操作時(shí)的準(zhǔn)確性得到提高，同時(shí)也將相應(yīng)地提高設(shè)備運(yùn)轉(zhuǎn)的可靠性及生產(chǎn)效率。全面推進(jìn)斜巷運(yùn)輸安全設(shè)施的控制自動(dòng)化、全方位自動(dòng)安全防護(hù)工作，是實(shí)現(xiàn)礦井本質(zhì)安全運(yùn)輸?shù)谋赜芍?，是?shí)現(xiàn)斜巷本質(zhì)安全運(yùn)輸?shù)挠行緩健?

簡(jiǎn)介：政務(wù)信息化作為國(guó)家實(shí)施全面信息化的基礎(chǔ)和龍頭，越來(lái)越受到各級(jí)政府的高度重視。各級(jí)政府希望全面地運(yùn)用現(xiàn)代信息技術(shù)進(jìn)行辦公、管理和為社會(huì)提供公眾服務(wù)。鑒于目前大部分應(yīng)用僅限于通用軟硬件環(huán)境建設(shè)，缺乏有針對(duì)性的政務(wù)辦公管理，因此，迫切需要根據(jù)濱海區(qū)社保事務(wù)處的特點(diǎn)、角色以及在政府部門中所行使的職責(zé)來(lái)進(jìn)行信息化建設(shè)。本文針對(duì)濱海區(qū)社保事務(wù)處的情況設(shè)計(jì)并實(shí)現(xiàn)了以應(yīng)用為先導(dǎo)，能夠充分滿足當(dāng)前政務(wù)信息化以及可持續(xù)發(fā)展的濱海區(qū)社保事務(wù)處辦公自動(dòng)化系統(tǒng)。本文主要論述了濱海區(qū)社保處辦公自動(dòng)化系統(tǒng)的設(shè)計(jì)與實(shí)現(xiàn)，并對(duì)系統(tǒng)中的若干具體功能模塊的分析與實(shí)現(xiàn)進(jìn)行了詳細(xì)的描述。歸納起來(lái)本文的工作成果主要有以下幾個(gè)方面1通過(guò)對(duì)濱海區(qū)社保處日常辦公的需求調(diào)查與分析，設(shè)計(jì)并開發(fā)了基于技術(shù)平臺(tái)的單位電子辦公系統(tǒng)。2在研究工作流技術(shù)的基礎(chǔ)上，設(shè)計(jì)并開發(fā)了一套單位公文收發(fā)管理的工作流，使得濱海區(qū)社保處公文收發(fā)處理更加高效。3在安全機(jī)制設(shè)計(jì)上，除了應(yīng)用ASP的安全認(rèn)證和加密技術(shù)之外，還以用戶權(quán)限機(jī)制和系統(tǒng)操作日志機(jī)制的設(shè)計(jì)對(duì)系統(tǒng)的安全性能提供支持。本文利用軟件工程的方法，從系統(tǒng)分析、系統(tǒng)設(shè)計(jì)、軟件開發(fā)等方面描述了以濱海區(qū)社保事業(yè)處辦公為背景的政務(wù)系統(tǒng)。目前，此系統(tǒng)已經(jīng)在實(shí)際應(yīng)用中試運(yùn)行，且應(yīng)用情況良好。通過(guò)使用本系統(tǒng)社保處可以實(shí)現(xiàn)政府組織結(jié)構(gòu)和工作流程的優(yōu)化重組，超越時(shí)間和空間及部門之間的分隔限制，提高行政效率，降低行政成本，改進(jìn)政府工作，向社會(huì)提供優(yōu)質(zhì)和全方位的、規(guī)范而透明的、符合國(guó)際水準(zhǔn)的管理和服務(wù)。

簡(jiǎn)介：本文提出了一種基于可信度預(yù)測(cè)的多策略結(jié)合本體映射方法CMC系統(tǒng)。它不僅解決了現(xiàn)有的多策略結(jié)合的本體映射系統(tǒng)的缺點(diǎn)，還進(jìn)一步提升了映射效果。文中詳細(xì)介紹了CMC系統(tǒng)，特別是CMC系統(tǒng)基于可信度預(yù)測(cè)來(lái)結(jié)合各個(gè)映射策略（即各個(gè)子匹配器）結(jié)果的方法。該方法基于這樣一個(gè)事實(shí)，即每個(gè)子匹配器在不同的映射任務(wù)中具有相當(dāng)不同的表現(xiàn)。CMC系統(tǒng)首先預(yù)測(cè)各個(gè)子匹配器在當(dāng)前映射任務(wù)中的精確度，并相應(yīng)的計(jì)算它們的可信度；然后在結(jié)合器中，這些可信度被作為權(quán)值，用來(lái)把各基匹配器的結(jié)果結(jié)合成一個(gè)結(jié)果。介紹了兩種策略來(lái)進(jìn)行精確度的預(yù)測(cè)，它們分別是手工規(guī)則法和機(jī)器學(xué)習(xí)法。另外，本文還對(duì)CMC系統(tǒng)中的各個(gè)子匹配器進(jìn)行了介紹。特別的，提出了一個(gè)基于映射復(fù)合的子匹配器，通過(guò)復(fù)合已有的本體映射結(jié)果來(lái)發(fā)現(xiàn)新的映射。該匹配器的一個(gè)特點(diǎn)是可以發(fā)現(xiàn)復(fù)雜映射，即帶有函數(shù)表達(dá)式的映射結(jié)果。為了評(píng)價(jià)CMC系統(tǒng)的性能，使用現(xiàn)實(shí)世界的本體進(jìn)行了實(shí)驗(yàn)。實(shí)驗(yàn)結(jié)果表明，CMC系統(tǒng)不僅體現(xiàn)了多策略結(jié)合的優(yōu)勢(shì)，更超越了現(xiàn)有的另外兩個(gè)多策略結(jié)合方法。