設計應用 基于K60的GCPLC系統的設計與實現[嵌入式技術][工業自動化] 提出研制圖形構件化可編程邏輯控制器（GCPLC）的方案，它是傳統可編程邏輯控制器（PLC）的革新與新模式。與傳統PLC相比，GCPLC具有圖形拖動編程、開放的二次編程架構、構件組合、開發環境兼容、構件定制擴充、RTOS架構融入等特點。其目標是使GCPLC相對于傳統PLC，在技術架構、技術方法、設計思想及實現方式等方面能夠有新突破，在應用方面能夠逐步取代傳統PLC。 發表于：3/15/2017 1:43:00 PM 基于SABL的防御差分功耗分析移位寄存器設計[嵌入式技術][數據中心] 通過對傳統移位寄存器原理和靈敏放大型邏輯(Sense Amplifier Based Logic，SABL)電路的研究，提出一種能夠防御差分功耗分析的移位寄存器設計方案。該方案首先采用主從觸發的方式，設計基于SABL電路的清零置位D觸發器；然后利用該觸發器與SABL邏輯門實現多位移位寄存器電路。Spectre仿真驗證表明，所設計的移位寄存器邏輯功能正確，在多種PVT組合下NED均低于2.66%、NSD均低于0.63%，具有顯著的防御差分功耗分析性能。 發表于：3/14/2017 11:09:00 AM 形式化驗證在處理器浮點運算單元中的應用[嵌入式技術][數據中心] 隨著芯片復雜度的急劇增加,模擬仿真驗證不能保證測試向量的完備性，尤其是一些邊界情況。形式驗證方法因其完整的狀態空間遍歷性和良好的完備性,被業界應用于設計規模不大的模塊和子單元中。針對處理器浮點運算單元，采用Cadence公司JasperGold工具對一些關鍵模塊進行了形式化驗證，對流水控制中的糾錯碼(Error Correcting Code，ECC)、軟件結構寄存器(Software Architected Register，SAR）和計算單元中的公共模塊分別采用了基于FPV（Formal Property Verification）的性質檢驗和基于SEC（Sequential Equivalence Checking）的等價性檢驗。結果表明，形式化驗證在保證設計正確性的基礎上極大地縮短了驗證周期。 發表于：3/14/2017 11:00:00 AM 基于Android的情報管理系統設計與實現[嵌入式技術][消費電子] 根據現有信息處理方式，設計了基于Android的情報管理系統。情報管理系統通過網絡實時上傳采集的情報信息，管理員及時處理并下發指令，APP用戶根據指令進行處理并將結果反饋給管理員從而形成閉合的信息處理方式。緊急情況下手機客戶端直接與后臺管理端進行視頻直播，更加快捷地做出處理措施。詳細闡述了系統的總體構架，介紹了系統的功能模塊和具體實現，對系統進行測試，并提出系統需要完善的地方。 發表于：3/13/2017 11:05:00 PM 低功耗遠程煙霧報警系統設計[嵌入式技術][通信網絡] 大部分火災的發生是由于在火災初期沒有及時采取應急防火措施，如果能夠有效檢測異常火苗或者氣體并及時報警采取措施，就能大大降低火災對人類的威脅。設計了煙霧報警系統，能使外出的人及時收到家中的報警信息。該系統由24 V直流電源供電，使用低功耗單片機MSP430F5529搭載靈敏度高、可靠性好、價格低廉的煙霧傳感器MQ2實現煙霧監測，并通過GSM模塊SIM900A對報警信息進行無線遠距離傳輸。經測試，系統能夠在7~10 s內將警報通知到用戶，這對減少火災引起的損失起到了十分關鍵的作用。 發表于：3/13/2017 10:58:00 PM 一種排尿輔助護理儀設計[嵌入式技術][醫療電子] 目前臨床上對無法自主排尿病人的排尿護理通常采用間歇性導尿技術，該方法對醫護人員經驗要求較高，且無法進行排尿訓練，護理不當容易造成并發感染，影響患者康復。為了能更好地幫助病人進行輔助排尿，設計了一種基于模糊控制算法的排尿輔助護理儀，最后通過膀胱模擬實驗裝置證明其控制效果。 發表于：3/13/2017 10:52:00 PM 基于STM32與Android系統遠程控制的兩輪自平衡車設計[嵌入式技術][汽車電子] 當前市場上已有的平衡車需要站在車上操作遙桿來進行控制，應用范圍小，因此設計了以STM32單片機作為主控芯片，配合Android上位機進行遠程控制的系統。車載攝像頭傳感器和溫濕度傳感器可以實時記錄周邊環境情況，促使相應處理機制對環境做出應答，保證使用者擁有一個更加安全、可靠、使用壽命更長的可遠程控制自主平衡車。實驗結果表明，設計的兩輪自平衡車平衡穩定性好，抗干擾能力強，能實現Android系統的遠程平衡控制。 發表于：3/13/2017 10:44:00 PM 鋰離子電池特性建模與SOC估算算法的研究[電源技術][智能電網] 鋰離子電池管理系統設計及荷電狀態（SOC）估算依賴于電池等效電路模型的建立，在幾種常見的動力鋰離子電池等效電路模型分析與比較的基礎上，通過對動力鋰離子電池進行多種特性實驗，分析了鋰離子電池的動態特性，提出了二階RC等效電路模型，并驗證了模型的準確性。在電路模型基礎上運用擴展卡爾曼濾波算法搭建了MATLAB/Siumlink平臺上的仿真模型，通過仿真和實驗結果的對比，驗證該模型具有較高的估算精度，可用于鋰離子電池SOC的實時估算。 發表于：3/13/2017 10:30:00 PM 基于激光傳感器的SLAM數據關聯算法的研究[嵌入式技術][數據中心] 移動機器人同時定位與地圖構建（SLAM）過程中的難點問題之一即是數據關聯。結合獨立兼容最近鄰（ICNN）算法計算復雜度低和聯合相容分枝定界（JCBB）算法關聯準確度高的優點，提出一種基于關聯數據預處理的混合數據關聯方法。首先經過數據預處理，選取合適的觀測特征子集和局部地圖特征子集運行ICNN算法進行數據關聯，若算法失敗，則采用JCBB算法重新計算以保證算法精確度。仿真實驗結果表明，該算法運行時間短，精確度高，適用于各種復雜環境。 發表于：3/13/2017 10:18:00 PM 離網型風力提水機智能控制系統仿真研究[嵌入式技術][物聯網] 著重研究了以無刷直流電動機(Brushless DC Motor，BLDCM)控制器為核心的小型風力提水機系統的MATLAB/Simulink仿真模型。闡述了無刷直流電動機的工作原理，對小型風力提水機控制系統進行了數學建模和仿真分析，并重點對BLDCM轉速閉環系統的運行情況進行了仿真，驗證了該系統可實現閉環調速，能根據風力大小自動提高出水量。 發表于：3/13/2017 10:09:00 PM ?…441442443444445446447448449450…?
