《可重構嵌入式計算機作業系統研究》是依託復旦大學，由彭澄廉擔任項目負責人的面上項目。
《可重構嵌入式計算機作業系統研究》是依託復旦大學，由彭澄廉擔任項目負責人的面上項目。項目摘要可重構計算既具有類似ASIC的性能，又提供了接近軟體的靈活性，因此已被普遍認為是極有前途的計算模型和平台。然而現有研究多集中於體...
《可重構嵌入式系統設計與實現:基於Cypress PSoC4 BLE智慧型互聯平台》是2018年電子工業出版社出版的圖書,作者是何賓。中文名 可重構嵌入式系統設計與實現:基於Cypress PSoC4 BLE智慧型互聯平台 作者何賓目錄 1 書籍信息 2 內容簡介 3 目錄 可重構嵌入式系統設計與實現:基於Cypress PSoC4 BL...
《嵌入式系統概論》 、《ARM原理與套用》、 《Linux/Unix作業系統概論》 。主要論文 《基於FPGA的可重構計算及其設計方法的研究》，青島市計算機學會論文集，2006.12，並獲得優秀論文二等獎 《一種基於FPGA的8位快速乘法器的設計與實現》， 青島大學學報. 2007.12，並獲優秀論文三等獎 科研項目 基於可重構計算的...
藏字計算機輸入方法（獲國家發明專利）平台服務基礎條件實驗室現有教師10餘人，博士、碩士研究生30餘名。已完成和正在承擔的嵌入式系統套用基礎研究10餘項。在國核心心刊物及國內外學術會議上發表論文80餘篇（其中SCI/EI/ISTP檢索50餘篇），出版譯著兩部，擁有專利兩項。服務流程及案例 面向特定套用的大容量高速存儲器...
《高性能嵌入式計算》從性能、功率、能耗等方面闡述了嵌入式系統與傳統通用計算機系統在設計上的區別。《高性能嵌入式計算》第1章是背景資料，第2章介紹嵌入式系統使用的各種處理器，第3章研究程式，第4章討論多處理器系統，第5章介紹多處理器體系結構，第6章介紹多處理器的軟體及其調度算法，第7章專注於硬體和...
其主要內容包括：嵌入式系統軟硬體基礎知識、嵌入式系統開發基礎、ARMCortexM３核心體系結構、基於STM３２F１０３VET６的典型的外設模組硬體/驅動程式設計、嵌入式作業系統基礎、μC/OSII作業系統的套用及移植等部分。《嵌入式系統原理及套用實例》既可以作為高等院校計算機、電子類、自動化及控制類大學本科高年級學生的...
1994.9-1998.3 北京科技大學計算機系，獲工學博士學位，研究方向計算機體系結構與微處理器晶片設計；1990.1-1992.12 日本做訪問學者，從事計算機軟體工程、嵌入式系統研究工作；1982.9-1985.7 北京大學計算機系，獲理學碩士學位，研究方向作業系統與軟體支撐環境；1978.9-1982.7 北京科技大學計算機系，獲工學學士...
4.強調嵌入式作業系統的系統結構、系統移植、引導和載入等核心技術 鑒於作業系統在嵌入式系統中的套用日益廣泛，重點講述了嵌入式軟體系統結構及工作流程、ARM嵌入式軟體系統的引導和載入、嵌入式Linux核心的移植等核心軟體設計技術，有助於讀者建立較完整的計算機系統結構，理解嵌入式系統的工作原理，培養讀者的工程設計...
那到底什麼是嵌入式系統？莫非嵌入式系統只是一個難以定義的抽象概念？嵌入式系統是一種專用的計算機系統，作為裝置或設備的一部分。通常，嵌入式系統是一個控制程式存儲在ROM中的嵌入式處理器控制板。事實上，所有帶有數字接口的設備，如手錶、微波爐、錄像機、汽車等，都使用嵌入式系統，有些嵌入式系統還包含操作系...
第9章 嵌入式固件設計與開發 9.1 嵌入式固件設計方法 9.1.1 基於超循環的方法 9.1.2 基於嵌入式作業系統的方法 9.2 嵌入式固件開發語言 9.2.1 基於彙編語言的開發 9.2.2 基於高級語言的開發 9.2.3 彙編語言與高級語言混合編程 9.3 嵌入式c編程 9.3.1 對比c語言與嵌入式c語言 9.3.2 對比編譯...
長期從事計算機, 通信和控制系統的研究，開發和教學。近5年發表在國內外核心刊物和會議的論文70篇，其中EI共收錄45篇；合作出版專著3部,申請發明專利25項， 其中美國專利2項，國際PCT8項，中國發明專利21，授權專利8個。北大深圳研究生院先進網路技術實驗室現有教師工程師及研究生15人, 從事三網合一流媒體雲計算網路...
1.4.4 嵌入式系統的組成 (24)1.4.5 嵌入式系統的發展現狀 與趨勢 (25)1.4.6 學習嵌入式系統的意義 (27)參考文獻 (28)習題 (28)第2章 計算機系統的結構組成與工作 原理 (29)2.1 計算機系統的基本結構 與組成 (29)2.1.1 計算機系統的層次模型 (29)2.1.2 計算機系統的結構、組織 與實現 (31)...
第7章 嵌入式系統軟體概述 337 7.1 嵌入式系統的軟體框架 337 7.1.1 嵌入式系統軟體所面臨的挑戰 337 7.1.2 嵌入式軟體的層次框架 338 7.2 嵌入式作業系統的基本原理 340 7.2.1 嵌入式作業系統簡介 340 7.2.2 嵌入式作業系統的核心 341 7.2.3 任務管理與調度 342 7.2...
中國計算機學會分散式計算與處理專業委員會委員。研究方向 1、高能效智慧型計算系統 2、可重構計算系統 3、智慧型處理器設計 科研項目 近年來作為項目負責人所主持完成的項目有：國家自然科學基金項目”低能耗軟體設計中的能耗模型研究“；中國科學技術大學高水平大學基地建設擇優項目”計算機整體設計技術“；”Boot固件“；中...
鄧慶緒，男，1970年12月生，博士，東北大學計算機學院教授、博士生導師。中國計算機學會嵌入式系統專委會副主任，遼寧省嵌入式軟體重點實驗室主任。教育部新世紀人才，遼寧省“興遼人才”科技創新領軍人才，政府津貼獲得者。主要研究方向為實時嵌入式系統、可重構計算、CPS(信息物理系統)/物聯網工程。在多核/多處理器...
劉珂，漢族，1986年08月出生，山東棗莊人，2020年8月畢業於山東大學計算機科學與技術專業，獲工學博士學位，現為山東師範大學信息科學與工程學院講師。研究方向 主要研究方向為計算機體系結構和嵌入式系統設計，重點關注軟硬協同、可重構計算等。科研項目 參與國家重大儀器研發專項1項、國家863課題1項、國家重點研發計畫1...
施慧彬，男，博士，南京航天航空大學計算機科學與技術學院副教授、碩士生導師。個人經歷 現任南京航天航空大學計算機科學與技術學院副教授、碩士生導師。研究方向 計算機科學與技術 ：計算機體系結構，信息安全，多核微處理器設計,密碼安全，自主可控嵌入式系統，可重構計算，編譯技術,軟體工程等。軟體工程 。網路空間安全 ...
於曉洲，西北工業大學副教授，精確制導與控制研究所副主任，陝西省微小衛星工程實驗室副主任，學科：導航、制導與控制。研究方向 1.微小衛星技術 2.飛行器計算機 3.新型嵌入式可重構處理系統 4.慣性導航系統 學習經歷 2001年，西北工業大學本科畢業 2004年，西北工業大學碩士畢業 2006年，西北工業大學博士畢業 主要學術...
魏少軍主要從事超大規模積體電路設計方法學研究、可重構計算架構研究和通信專用積體電路技術研究。主要研究領域為：超深亞微米積體電路設計方法學研究，數字系統高層次綜合技術研究，嵌入式系統設計技術研究和可重構 計算技術研究等。學術論著 截至2020年11月，魏少軍已發表學術論文300餘篇，出版專 著6冊。發明專利 截至...
嵌入式人工智慧、智慧型硬體、寬頻通信、計算機體系結構、可重構計算。學術兼職 中國計算機學會高級會員；全國高校計算機基礎教育研究會實驗教學專委會委員；華北地區EDA/PLD技術研究會常務理事 主講課程 計算機組成原理課程設計 嵌入式處理機與套用 嵌入式系統綜合設計與實驗 微機與嵌入式技術實驗 在系統編程技術 計算機組成...
於2013年獲得計算機形式化驗證領域的重要獎項CAV Award，以表彰他在實時嵌入式系統的設計和驗證方面的傑出貢獻以及他們開發的UPPAAL工具對學術界和工業界的深遠影響。主要經歷 1982年畢業於東北工學院自動控制系計算機專業，獲學士學位 1988年在瑞典Chalmers技術大學計算機系獲Licentiate學位（副博士）1991年獲瑞典查爾姆斯大學...
3.一種基於Compact PCI的高性能容錯計算機，計算機工程與套用。4.一種高性能、高可靠、可重構計算機的設計與實現，計算機工程。5.一種嵌入式計算機系統的設計與實現，計算機工程與設計。指導學生 已指導學生 劉峰 碩士研究生 081203-計算機套用技術 王子云 碩士研究生 081203-計算機套用技術 林郁 碩士研究...
（9）王芳良，張偉功，於立新等. 基準集在嵌入式系統性能分析中的套用[J]. 計算機工程與設計. Vol.36(1),2015:115-119,126.（10）陝天龍，周繼芹，王春亮，張偉功. USB在動態可重構匯流排測試系統中的設計[J]. 計算機工程與設計. Vol.36(2),2015:514-519,538.（11) 朱曉燕，陶利民，張偉功等. 面向衛星...
研究方向 人工智慧與軟硬體協同設計（FPGA，可重構計算，並行最佳化）智慧型系統與機器感知（嵌入式系統，智慧型硬體，視覺與非視覺感知）物聯網與移動計算（無線感測器網路，App與微信）主講課程 ·必修骨幹課程：《數字邏輯》、《計算機組成》、《作業系統》、《計算機網路》·特色選修課程：《創客實踐》、《FPGA開發》《設備...
3.19 士兵保護系統 3.20 紫外到太赫茲光梳 3.21 原料可裁與成型 第四章 信息創新辦公室(I2O)研究計畫 4.1 大機制 4.2 布蘭代斯 4.3 資源自適應軟體系統建設 4.4 與計算機交流 4.5 網路容錯攻擊恢復 4.6 可靠任務通信的邊緣定向網路技術 4.7 分散式拒絕服務的終極防禦 4.8 利用模擬域實現安全性 4....
教育部計算機專業教學指導委員會委員。計算機學會系統結構專委會、工程與工藝專委會委員。《航空學報》、《計算機輔助設計與圖形學學報》編委。主講課程 開設本科“系統結構”、碩士生“vlsi電路與系統設計”、博士生“專用微系統設計”等課程多門。研究方向 主要從事先進微處理器體系結構、soc、可重構計算、電子設計自動...
積體電路計算機輔助設計、模擬積體電路設計、數字積體電路設計、單片機原理與設計、積體電路製造工藝等。研究方向 現場集成系統與信息專用積體電路設計（包括可重構進化硬體電路、通訊糾錯碼、網路安全、嵌入式系統、微控制器設計以及接口IC設計等）。主要貢獻 在東南大學國家ASIC中心參加了國家863項目“TMS320C25的剖析”，...
計算機套用技術碩士點：研究方向包括計算機套用技術、積體電路設計、可重構計算系統、工業信息化、嵌入式系統、計算機信息管理系統、通信與信息安全、通信網路技術、無線通信技術、信息系統集成 計算機軟體與理論碩士點：研究方向包括計算機軟體與理論、圖象處理、信號處理、人機互動與虛擬現實、智慧型計算理論與技術、軟體工程、...
Coq是一個用於驗證定理的證明是否正確的計算機工具。—在推理和編程方面，Coq的語言都擁有足夠強大的能力和表達能力，可以構造簡單的項，執行簡單的證明，直到建了立完整的理論，學習複雜的算法。本書的主要目：標是從實踐的角度來理解Coq系統及其基本理論。即歸納構造演算。這本書給出了大量的例子，所有這些例子都可以...
④中科院知識創新工程重要方向性項目（生物信息處理專用計算機與算法研究，編號KSCXZ-SW-223）⑤華為公司“物聯網對承載網影響關鍵技術研究”子項目 主講課程 微電子學導論（2008-2013秋，研究生課程）積體電路工程設計（2008-2013春，研究生課程）嵌入式系統設計（2013年秋，本科生課程）通信原理（2013年秋，本科生...
