邵晶波:教育經歷,研究工作經歷,主持或承擔科研項目,發表的論文,科研獲獎,

邵晶波：女，1979年9月生。副教授，博士。碩士導師。2008年畢業於哈爾濱工程大學計算機套用技術專業。研究方向為VLSI測試與驗證。

基本介紹

中文名：邵晶波
國籍：中國
出生日期：1979年9月
畢業院校：哈爾濱師範大學，哈爾濱工程大學
性別：女

教育經歷,研究工作經歷,主持或承擔科研項目,發表的論文,科研獲獎,

教育經歷

· 1997年-2001年，哈爾濱師範大學，計算機系，理學學士學位，導師：董紅斌

· 2004年-2007年，哈爾濱工程大學，計算機科學與技術學院，工學碩士學位，導師：馬光勝

· 2005年-2008年，哈爾濱工程大學，計算機科學與技術學院，工學博士學位，導師：馬光勝

研究工作經歷

· 2004年-2007年，哈爾濱工程大學，計算機科學與技術學院，碩士研究生，數字電路測試壓縮方法研究

· 2005年-2008年，哈爾濱工程大學，計算機科學與技術學院，博士研究生，SoC測試資源最佳化方法研究

· 2011.3-2011.7，芬蘭羅瓦涅米套用技術大學，技術學院，訪問學者，字元組合學中模式的可避免性研究

主持或承擔科研項目

本項目組一直從事電子設計自動化的科研和教學工作，申請者參與完成的科研工作如下：

參與/主持的項目：

1) 《基於多項式符號代數的系統晶片DA新方法研究》，60273081，國家自然科學基金，2003.1-2005.12，參與人，晶片設計自動化基礎理論研究，該項目已結題。

2) 《複雜高速ASIC晶片定時分析新模型新方法研究》，F0209，黑龍江省自然科學基金，2003.1-2005.12，參與人，基礎理論研究，該項目已結題。

3) 《基於進程代數的SoC測試方法》，F200932，黑龍江省自然科學基金，2010.1-2012.12，第一參與人，核心算法和基礎理論研究，該項目已結題。

4) 《基於進程代數的3D SoC測試與驗證方法研究》，3236310147，黑龍江省博士後基金，2013.1-2014.12，主持，負責基礎理論及算法研究。

5) 《向TSV的三維系統晶片測試方法研究》，12531183，黑龍江省教育廳科學技術項目，2013.1-2015.12，主持，負責基礎理論及算法研究。

發表的論文

1. Jingbo Shao, Guangsheng Ma, Zhi Yang, Ruixue Zhang. Test response reuse-based SoC core test compression and test scheduling for test application time minimization. Elsevier Microelectronics Journal, 2008,39(12):1704-1709 (EI Access:20083911581914) (SCI, ISI: 000261647800059)

2. Jingbo Shao,Jinfeng Ding, Yuyan Huang, Wei Zhang. Research on SoC Test Compression. 2011 International Conference on Computer Science and Network Technology. 2011,DEC 24-26,pp.549-552 EI Access:20121914994016

3. 邵晶波,馬光勝,劉曉曉. SoC測試調度的進程代數模型.(計算機輔助設計與圖形學學報)2009,21(4):493- 499 (EI Acess:20091912073549)

4. Jingbo Shao, Guangsheng Ma, Zhi Yang, Ruixue Zhang. Process algebra based SoC test scheduling for test time minimization. 2008 IEEE Computer Society Annual Symposium on VLSI, Montpellier, France, Apr. 2008:134-138 (EI Access: 20083911581914)

5. Shao Jingbo, Zhou tao, Ma guangsheng. A novel approach to drastic test compression for multiple scan designs. The Second IEEE Conference on Industrial Electronics and Applications (ICIEA07). Harbin, China. 2007: 1669-1673 (EI Access: 20074210874590)

6. Guangsheng Ma, Jingbo Shao, Ruixue Zhang. Combined partial test vector reuse and FDR coding for two dimensional SoC test compression. IEEE 3rd International Conference on Internet Computing in Science and Engineering (IEEE ICICSE’08) 375-378 (EI Access: 20083811554764)

7. 邵晶波,馬光勝,馮剛. 一種新穎的全方位多掃描設計的測試壓縮方法.微電子學.2007,37(4): 494-498

8. 邵晶波,馬光勝,張瑞雪. 基於部分向量復用和變遊程編碼的二級SoC測試壓縮.計算機套用.2008,28(3): 776-778

9. Shao Jingbo, Ma guangsheng, Liu xiaoxiao. State-of-art of delay testing. The 7th International Conference on Computer-Aided Industrial Design & Conceptual Design, Hangzhou: Univ of Zhejiang, Nov 17-19, 2006:858-861 (EI Access:20083711542550)

10. Jingbo Shao, Lijun Lun, Mingyu Liu, Yingmei Li. Optimal Test Time and Power for System-on-Chip Designs Using Game Theory. Future Intelligent Information Systems, Lecture Notes in Electrical Engineering,2010, Wuhan, Dec 4-5, 2010,2011,86:83-86 (EI Access:20112114002967)

11. Jingbo Shao, Yingmei Li, Jianhua Wang,Yuyan Huang, Xiaodong Yu. Multi-clock Domain SoC Test Scheduling Based on Ant Colony Optimization Algorithm. International Conference on Internet Computing in Science and Engineering (IEEE ICICSE’10) Harbin,China, Dec 21- 22, 2009,47-51 (EI Access: 20104413342767)

12. Jianhua Wang, Jingbo Shao, Yingmei Li, Jinfeng Ding. Survey on Formal Verification Methods for Digital IC. International Conference on Internet Computing in Science and Engineering (IEEE ICICSE’10) Dec 21- 22, 2009, 164-168 (EI Access: 20104413342744)

13. Jianhua Wang, Jingbo Shao,Yingmei Li,Yuyan Huang. Using ant colony optimization for test vector reordering. IEEE Symposium on Industrial Electronics & Applications, Oct4-Oct 6,2009:52-55(EI Access: 20100712710899)

14. Linyang Sheng, Jingbo Shao, Jinfeng Ding. A Novel Energy-Efficient Approach to DSR Based Routing Protocol for Ad Hoc Network. The International Conference on Electrical and Control Engineering (ICECE’10) in conjunction with the international conference on mechanic automation and control engineering,2010: 2618-2620, EI Access: 20111013722209

15. Sheng Linyang; Shao Jingbo ; Xu Min; Cui Yuanquan. Display verification IP core design based on star-extraction and star-recognition image processing on FPGA. 2011 5th International Conference on Innovative Mobile and Internet Services in Ubiquitous Computing. June 30 - July 2, 2011, 151-155 EI Access: 20113614308563

16. 李英梅,邵晶波,丁雪梅.軟構件的可復用性度量模型研究.計算機與數字工程,2009:37(8):72-74,79

17. 楊志,馬光勝,馮剛,邵晶波. 套用吳方法進行高層次定界模型檢驗.計算機輔助設計與圖形學學報. 2008,20(2):137-143 (EI Access: 20081911244724)

18. Xiaoxiao Liu, Tao Zhou, Jingbo Shao, Haijun Li, Huiling Lu. A new domino logic synthesis approach. 2008 International Conference on Internet Computing in Science and Engineering (IEEE ICICSE’08) JAN 28-29, 2008, 325-328 (EI Access:20083811554753)

19. Linyang Sheng, Jingbo Shao.A Comprehensive Power-aware Approach to Improved DSR. 2011 International Conference on Computer Science and Network Technology. 2011,DEC 24-26,pp. 535-538 EI: 20121914994013

20. Jingbo Shao, Jinfeng Ding, Yuyan Huang.Research on VLSI Test Compression. 2011 International Conference on Computer Science and Network Technology, 2011,DEC 24-26,pp.545-548 EI Access: 20121914994015

21. Li Yingmei, Xia Weining, Huang Yuyan, Shao Jingbo, Ding Jinfeng. Research On Stream Data Clustering Based Swarm Intelligence2011 International Conference on Computer Science and Network Technology. 2011,DEC 24-26, pp.573-576 EI Access: 20121914994023

22. Jingbo Shao, Haitao Yu, Linyang Sheng. A Novel Energy Efficient Routing Protocol for Ad Hoc Network. International review on computers and software, 2012,Vol. 7. n. 2, pp. 850-854 ,EI Access:20123115301008

科研獲獎

1) 倫立軍，邵晶波，軟體體系結構測試技術基礎研究，黑龍江省教育廳，黑龍江省高校科學技術獎勵，三等獎，2010

2) 李英梅，倫立軍，邵晶波，黃玉妍，軟體構件及其質量度量模型研究，黑龍江省教育廳，黑龍江省高校科學技術獎勵，三等獎，2012

3) 李英梅，邵晶波，夏偉寧，邢愷，付偉，丁金鳳，黃玉妍，王建華，韓賢東，劉明宇，基於進程代數的SoC測試方法，黑龍江省科技廳，黑龍江省科技成果，2012

邵晶波