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

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

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

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

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

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

隨著DCS軟件行業(yè)的發(fā)展，自動化測試得到越來越廣闊的應(yīng)用，本文探索一種基于關(guān)鍵字的自動化測試方法，本測試方法使用關(guān)鍵字歸納總結(jié)DCS軟件的常用操作，測試用例的步驟由關(guān)鍵字組合組成，測試用例等同于測試腳本。在實(shí)際應(yīng)用中可減少測試腳本的維護(hù)工作量和編寫難度，提高測試效率，目前本測試方法已應(yīng)用于FirmSys項目的算法組態(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è)針對奶粉罐中小勺檢測的方案，該客戶需要將整個檢測系統(tǒng)分為兩個獨(dú)立的檢測系統(tǒng)：鋁膜視覺檢測系統(tǒng)—用于檢測鋁膜有無及鋁膜是否密封，將檢測結(jié)果直接傳送給剔除機(jī)構(gòu)；小勺視覺檢測系統(tǒng)—用于檢測奶粉罐內(nèi)小勺有無，如果發(fā)現(xiàn)錯誤直接停止流水線轉(zhuǎn)動。

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

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