国产欧美日韩精品a在线观看-国产欧美日韩精品一区二区三区-国产欧美日韩精品综合-国产欧美中文字幕-一区二区三区精品国产-一区二区三区精品国产欧美

繞接工藝在核電廠1E級(jí)(DCS)設(shè)備電氣接線中的應(yīng)用 2017-04-25 08:37:05

為了解決臺(tái)山1、2#機(jī)組安全級(jí)DCS設(shè)備集成的高密度、模塊化裝配問題，確保設(shè)備集成電氣接線的安全、可靠、長期穩(wěn)定運(yùn)行。特對(duì)繞接工藝操作要素和工藝參數(shù)進(jìn)行了分析，并采用工藝試驗(yàn)和工藝評(píng)定的方式進(jìn)行了驗(yàn)證。經(jīng)在臺(tái)山1、2#機(jī)組1E級(jí)設(shè)備電氣接線中的實(shí)踐應(yīng)用，和與焊接、壓接工藝的對(duì)比分析，說明了繞接工藝具有安全可靠性和經(jīng)濟(jì)實(shí)用性。該工藝技術(shù)不僅提高了作業(yè)人員的工作效率，降低人因操作失誤，保證了設(shè)備產(chǎn)品質(zhì)量，還對(duì)設(shè)備集成模塊化、自動(dòng)化發(fā)展具有推動(dòng)作用，值得推廣。

可信編譯器中地址不相交的保持性證明 2017-04-25 08:35:20

同步數(shù)據(jù)流語言是一種廣泛應(yīng)用于核電及其他安全關(guān)鍵領(lǐng)域的語言，在同步數(shù)據(jù)流語言到順序執(zhí)行語言的翻譯轉(zhuǎn)換過程中，語義等價(jià)要保證賦值語句的左右值地址互不相交，這至關(guān)重要。本文使用形式化方法描述了翻譯過程中地址互不相交的性質(zhì)，并通過定理證明的方式對(duì)其進(jìn)行了驗(yàn)證?；诒痉椒ǖ木幾g器在某核電站的安全保護(hù)系統(tǒng)中得到了應(yīng)用。

DCS軟件界面自動(dòng)化測試技術(shù)研究與應(yīng)用 2017-04-25 08:33:22

隨著DCS軟件行業(yè)的發(fā)展，自動(dòng)化測試得到越來越廣闊的應(yīng)用，本文探索一種基于關(guān)鍵字的自動(dòng)化測試方法，本測試方法使用關(guān)鍵字歸納總結(jié)DCS軟件的常用操作，測試用例的步驟由關(guān)鍵字組合組成，測試用例等同于測試腳本。在實(shí)際應(yīng)用中可減少測試腳本的維護(hù)工作量和編寫難度，提高測試效率，目前本測試方法已應(yīng)用于FirmSys項(xiàng)目的算法組態(tài)軟件測試中。

柯力為智能物聯(lián)網(wǎng)建設(shè)提供解決方案 2017-04-25 08:31:32

視覺檢測奶粉罐內(nèi)鋁膜縫隙及小勺缺損 2017-04-25 08:16:49

包裝行業(yè)中產(chǎn)品都需經(jīng)過一道盒裝檢測，圖1是一家奶粉生產(chǎn)企業(yè)針對(duì)奶粉罐中小勺檢測的方案，該客戶需要將整個(gè)檢測系統(tǒng)分為兩個(gè)獨(dú)立的檢測系統(tǒng)：鋁膜視覺檢測系統(tǒng)—用于檢測鋁膜有無及鋁膜是否密封，將檢測結(jié)果直接傳送給剔除機(jī)構(gòu)；小勺視覺檢測系統(tǒng)—用于檢測奶粉罐內(nèi)小勺有無，如果發(fā)現(xiàn)錯(cuò)誤直接停止流水線轉(zhuǎn)動(dòng)。

森蘭高壓變頻試驗(yàn)電源在高速電機(jī)試驗(yàn)平臺(tái)的應(yīng)用 2017-04-25 08:00:01

本文主要介紹了森蘭高壓試驗(yàn)電源在高速電機(jī)試驗(yàn)平臺(tái)上的應(yīng)用，為高壓變頻技術(shù)在設(shè)備制造業(yè)測試領(lǐng)域提出了新思路。