首頁　 資訊　 商機 　 下載　 拆解 　 高校　 招聘 　 雜志　 會展　 EETV　 百科 　 問答　 電路圖　 工程師手冊 　 Datasheet　 100例 　 活動中心　 E周刊閱讀 　 樣片申請
EEPW首頁 >> 主題列表 >> 檢查

一種基于模型檢查的嵌入式軟件驗證方法

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

利用紅外熱像儀在HVAC系統(tǒng)進行空氣泄漏檢查

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

中國政府檢查侵犯BLUETOOTH SIG商標(biāo)企業(yè)

  • 中國政府管理部門突擊檢查涉嫌侵犯BLUETOOTH SIG注冊商標(biāo)的企業(yè) 保護注冊商標(biāo)對產(chǎn)品創(chuàng)新的未來至關(guān)重要 Bluetooth SIG（藍牙技術(shù)聯(lián)盟）宣布近日成功地對中國深圳一家涉嫌侵犯其注冊商標(biāo)的企業(yè)進行了突擊檢查和取證。該家企業(yè)涉嫌在未經(jīng)Bluetooth SIG授權(quán)以及未經(jīng)過Bluetooth認證流程（Bluetooth Qualification Program）認證的情況下生產(chǎn)帶有Bluetooth商標(biāo)標(biāo)志的Bluetooth產(chǎn)品。Bluet
  • 關(guān)鍵字： BLUETOOTH  SIG  管理  檢查  企業(yè)  侵犯  通訊  網(wǎng)絡(luò)  無線  中國  注冊商標(biāo)  
共19條 2/2 « 1 2
關(guān)于我們 - 廣告服務(wù) - 企業(yè)會員服務(wù) - 網(wǎng)站地圖 - 聯(lián)系我們 - 征稿 - 友情鏈接 - 手機EEPW
Copyright ?2000-2015 ELECTRONIC ENGINEERING & PRODUCT WORLD. All rights reserved.
《電子產(chǎn)品世界》雜志社 版權(quán)所有 北京東曉國際技術(shù)信息咨詢有限公司
備案 京ICP備12027778號-2 北京市公安局備案：1101082052    京公網(wǎng)安備11010802012473