高新岩

高新岩，博士，大連理工大學軟體學院工程師。2008年獲中科院研究生院計算機軟體與理論博士學位，主要研究方向為嵌入式系統、形式化驗證與存儲技術。1994年本科畢業於東北大學安全工程計算機科學與技術專業，2002年獲該校計算機套用碩士學位。

2002年起先後任職於台灣光寶科技北京研發中心、成都巨微數學電路形式驗證中心，擔任資深軟體工程師、項目經理等職。2010年加入大連理工大學軟體學院，主講《嵌入式系統原理與設計》等課程，開發3D視頻與虛擬現實教學模式。主持L-Code編碼方案等項目，出版《模型檢測》《嵌入式電路設計教程》等著作，獲"封閉式降噪設備櫃"專利。指導學生團隊在全國大學生物聯網設計競賽等賽事中獲東北賽區特等獎、國家級獎項，2015年獲遼寧省計算機設計競賽優秀指導教師稱號。

基本介紹

• 中文名：高新岩
• 畢業院校：中科院研究生院
• 學位/學歷：博士
• 職業：科研人員
• 任職院校：大連理工大學軟體學院

人物經歷

學習經歷

2004.9 -2008.7 中科院研究生院 計算機軟體與理論 博士

1999.9 -2002.4 東北大學 計算機套用 碩士

1994.9 -1998.7 東北大學 安全工程計算機科學與技術 學士

1991.9 -1994.7 濟寧實驗中學

工作經歷

2010.9- 大連理工大學軟體學院 工程師

2005.3 -2006.12 成都巨微數學電路形式驗證中心 項目經理

2008.8 -2010.4 台灣光寶科技北京研發中心 主任工程師

2002.4 -2004.8 台灣光寶科技股份有限公司北京研發中心 資深軟體工程師

主講課程

模擬與數字電路實驗

存儲技術

嵌入式系統原理與設計

學術成果

科研項目

1. 嵌入式系統套用開發教程——基於AtmelSAM4平台, 企事業單位委託科技項目, 2014.01.01-2015.12.01, 進行
2. 平台感知, 其他課題, 2016.07.13, 進行

學術論文

[1]Liu, Wenbo,Zhou, Ning,Gao, Xinyan.L-Code: An Efficient Coding Scheme for Recovering Single Disk Failure,2018 8TH INTERNATIONAL CONFERENCE ON ELECTRONICS INFORMATION AND EMERGENCY COMMUNICATION ICEIEC,2018

[2]周寧,高新岩,何安平.A high precision and realtime physics-based hand interaction for virtual instrument,2018

[3]Li Z.,Zhang Q.,Ren H.,Liu W.,Gao X..An efficient QoS enhancement mechanism of VoIP using erasure array codes,High Technology Letters,2017

[4]He A.,Han X.,Duan T.,Wu H.,Zhou N.,Liu R.,Gao X..Fast fingerprint recognition solution based on neuron chip engine,Journal of Information and Computational Science,2015

[5]Jia Q.,Gao X.,Luo Z.,Fan X.,Guo H..Feature points matching based on geometric constraints,Jisuanji Fuzhu Sheji Yu Tuxingxue Xuebao/Journal of Computer-Aided Design and Computer Graphics,2015

[6]Liang Y.,Zhuo L.,Chen N.,Cheng C.,Li R.,Gao X..Hardware based high efficient recognition of 3D hand gestures,Journal of Fiber Bioengineering and Informatics,2015

[7]遲宗正,於成,高新岩,劉,李大奎.軟體學院電子技術綜合實驗教學體系建設,計算機教育,2014

[8]Zhou, Ning,Gao, Xinyan,Wu, Jinzhao,Wei, Jianchao,Li, Dakui.Groebner Bases Based Verification Solution for SystemVerilog Concurrent Assertions,JOURNAL OF APPLIED MATHEMATICS,2014

[9]Gao, Xinyan,Ding, Yingcai,Liu, Wenbo,Zheng, Kaidi,Huang, Siyu,Zhou, Ning,Li, Dakui.Unified Mathematical Framework for Slicing and Symmetry Reduction over Event Structures,JOURNAL OF APPLIED MATHEMATICS,2014

[10]Gao X.,Li D.,Zhou N..Wu's method based temporal assertions checking for SEREs properties,Journal of Information and Computational Science,2013

[11]高新岩.Wus Characteristic Set Method for SystemVerilog Assertions Verification,J. Applied Mathematics,2013

[12]高新岩.Slicing reduction for algebraic verification of SEREs properties,2013

[13]高新岩,李大奎.Wus Method Based Temporal Assertions Checking for SEREs Properties,Journal of Information & Computational Science,2013

[14]Zhou, Ning,Wu, Jinzhao,Gao, Xinyan.Algebraic Verification Method for SEREs Properties via Groebner Bases Approaches,JOURNAL OF APPLIED MATHEMATICS,2013

[15]Hu, Lizhong,Zhou, Ning,Gao, Xinyan.Algebraic Verification Platform Design Based on Shell Engine,3rd International Confrence on Theoretical and Mathematical Foundations of Computer Science ICTMF 2012

[16]Zhou N.,Gao X.,Wu J..Applying wu's method to symbolic simulation for boolean layer PSL assertion checking,Journal of Convergence Information Technology,2012

[17]高新岩.Applying Wus Method to Symbolic Simulation for Boolean Layer PSL Assertion Checking,Journal of Convergence Information Technology,2012

[18]Gao, Xinyan,Luo, Xianlu,Zhou, Ning,Li, Dakui.A Case Study on High Trustworthy Environment Construction for Smart Home Applications,International Conference on Business, Economics, and Financial Sciences, Management BEFM 2011

[19]Gao X.,Zhou N.,Li F.,Li D..Combining symbolic simulation and Groebner bases approach for constrained PSL property verification,2nd International Conference of Electrical and Electronics Engineering, ICEEE 2011

[20]高新岩,李大奎.Embedded microscope vision based mechanical platform for led wafer automatic inspection,Informatics in Control, Automation and Robotics,2011

[21]高新岩,李鳳岐,李大奎.Combining symbolic simulation and groebner bases approach for constrained psl property verification,Advances in Information Technology and Industry Applications,2011

著作

現代電子技術基礎實踐

模型檢測

計算機組裝與維護（第二版）

嵌入式系統套用開發教程-基於SAM4S

嵌入式套用開發教程-基於SAM4S16C

嵌入式系統套用開發教程

計算機組裝與維護

嵌入式電路設計教程

專利

封閉式降噪設備櫃

榮譽獎項

東北賽區特等獎

全國二等級

TI杯全國三等獎

2017年學校教學成果三等獎

東北賽區 二等獎

東北賽區二等獎

東北賽區一等獎

指導教師二等獎

2014年度教學質量優良獎

2015年優秀畢業設計指導教師

2014年全國大學生物聯網設計競賽優秀組織獎

2011年優秀畢業設計指導教師