檢查文章進(jìn)入檢查技術(shù)社區(qū)

電路設(shè)計(jì)技巧——PCB設(shè)計(jì)流程及步驟介紹

一種基于模型檢查的嵌入式軟件驗(yàn)證方法, 嵌入式軟件廣泛應(yīng)用于不同領(lǐng)域，如消費(fèi)電子、工業(yè)控制、汽車(chē)電子、移動(dòng)通信等。嵌入式軟件的可靠性保證十分關(guān)鍵。嵌入式軟件中常見(jiàn)的錯(cuò)誤包括狀態(tài)機(jī)錯(cuò)誤、時(shí)序錯(cuò)誤、棧溢出／存儲(chǔ)溢出等，在開(kāi)發(fā)過(guò)程中對(duì)嵌入式軟
關(guān)鍵字：驗(yàn)證方法軟件嵌入式模型檢查基于

將近30年以來(lái)，美國(guó)能源部 (DOE) 一直通過(guò)針對(duì)低收入家庭實(shí)施“節(jié)能援助計(jì)劃”從而為他們節(jié)省能源。這一節(jié)能援助計(jì)劃由美國(guó)能源部提供資金支持，但通過(guò)各個(gè)州進(jìn)行管理。低收入家庭節(jié)能援助計(jì)劃包括基于對(duì)住宅進(jìn)行能量檢查的全面節(jié)能措施。他們所采取的是一種“整體家庭方法”，包括各種各樣的能效提高措施，并逐漸形成一個(gè)可使每個(gè)人都享受高能效家庭的不斷增長(zhǎng)的產(chǎn)業(yè)。在他們進(jìn)行住宅能量檢查時(shí)使用的工具當(dāng)中，就包括手持式熱成像儀。
關(guān)鍵字：空氣泄漏檢查進(jìn)行系統(tǒng) 紅外 HVAC 利用

中國(guó)政府管理部門(mén)突擊檢查涉嫌侵犯BLUETOOTH SIG注冊(cè)商標(biāo)的企業(yè) 保護(hù)注冊(cè)商標(biāo)對(duì)產(chǎn)品創(chuàng)新的未來(lái)至關(guān)重要 Bluetooth SIG（藍(lán)牙技術(shù)聯(lián)盟）宣布近日成功地對(duì)中國(guó)深圳一家涉嫌侵犯其注冊(cè)商標(biāo)的企業(yè)進(jìn)行了突擊檢查和取證。該家企業(yè)涉嫌在未經(jīng)Bluetooth SIG授權(quán)以及未經(jīng)過(guò)Bluetooth認(rèn)證流程（Bluetooth Qualification Program）認(rèn)證的情況下生產(chǎn)帶有Bluetooth商標(biāo)標(biāo)志的Bluetooth產(chǎn)品。Bluet
關(guān)鍵字： BLUETOOTH SIG 管理檢查企業(yè) 侵犯通訊網(wǎng)絡(luò) 無(wú)線中國(guó) 注冊(cè)商標(biāo)