人物經(jīng)歷
1997年,中國科學技術(shù)大學,博士。
1990年,中國科學技術(shù)大學,碩士。
1987年,中國科學技術(shù)大學,學士。
2006年-2010年,教育部高等學校計算機基礎(chǔ)課程教學指導委員會,委員,秘書長。
社會兼職
中國計算機學會分布式計算與處理專業(yè)委員會委員。
研究方向
1、高能效智能計算系統(tǒng)
2、可重構(gòu)計算系統(tǒng)
3、智能處理器設(shè)計
科研項目
近年來作為項目負責人所主持完成的項目有:國家自然科學基金項目”低能耗軟件設(shè)計中的能耗模型研究“;中國科學技術(shù)大學高水平大學基地建設(shè)擇優(yōu)項目”計算機整體設(shè)計技術(shù)“;”Boot固件“;中科大校內(nèi)青年基金項目”基于結(jié)構(gòu)計算的自適應超媒體研究系統(tǒng)“;安徽省自然科學基金項目”基于WEB的自適應教育超媒體“。
曾作為主要參加者參加的項目有:安徽省自然科學基金”基于語言的SOC設(shè)計方法研究“、”嵌入式操作系統(tǒng)中的關(guān)鍵技術(shù)研究“。國家自然科學基金項目”基于軟件構(gòu)造過程模型和機制研究“;中國科學院七五重點攻關(guān)項目”KD-Prolog編譯系統(tǒng)“,該項目通過中國科學院主持的鑒定,并獲得1991年度中國科學院科技進步二等獎;中國科學院八五攻關(guān)項目”KD-Prolog集成開發(fā)環(huán)境“,該項目獲聯(lián)合國TIPS科技之星創(chuàng)新獎。
正在主持博士點基金項目”ASIP體系結(jié)構(gòu)形式化驗證方法研究“。安徽省自然科學基金項目”可重構(gòu)計算資源的調(diào)度方法研究“。
論文專著
近年來在軟件學報、計算機研究與發(fā)展、以及其他核心刊物和國內(nèi)外學術(shù)會議上發(fā)表論文50余篇,出版譯著兩部,其中SCI/EI/ISTP檢索20余篇。
- 周學海,李光亞,李曦,龔育昌,趙振西,一種基于模式匹配的超媒體查詢模型,軟件學報,2002年7月。周學海,李曦,龔育昌,趙振西,多維向量動態(tài)索引結(jié)構(gòu)研究,軟件學報,2002年4月。Jinfeng Ni, Xuehai Zhou, Kexiang Wang, Haiyan Xu ,KDAEHS: from Architecture to System, Accepted to The 2001 IEEE International Conference on Information Technology: Coding and Computing(ITCC 2001), April 2-4, 2001, Las Vegas, Nevada.,USA.Xuehai Zhou, Jinfeng Ni, Haiyan Xu, Zhenxi Zhao, An Adaptive Educational Hypermedia System Based on Web, Accepted to the First International Conference on Information(INFORMATIONu20192000), Oct 16-19,2000, Fukuoka,Japan.徐海燕,周學海,倪勁峰,趙振西,基于結(jié)構(gòu)特性的超媒體模型,計算機研究與發(fā)展,37(4),2001。Haiyan Xu, Xuehai Zhou, Jinfeng Ni, Zhenxi Zhao,Adaptability in KDAEHS :an Adaptive Educational Hypermedia System Based on Structural Computing, Proceedings of the 11th ACM Conference on Hypertext (Hypertextu201900),San Antonio, Texas, USA, May 30th-June 3, 2000.。Haiyan Xu, Xuehai Zhou, Zhenxi Zhao, KDAHS: An Adaptive Hypermedia System Based on Strustural Computing,ACM Digital Libraryu201999 Workshop on Organizing Web Space, Berkeley, CA, USA, Auguest 14th , 1999.。周學海,李光亞,趙振西,基于圖象對象語義模型的圖象對象的創(chuàng)建,計算機研究與發(fā)展,1998年,35(9)。周學海,李光亞,趙振西,按內(nèi)容檢索的圖象數(shù)據(jù)庫系統(tǒng)數(shù)據(jù)模型,軟件學報,1998年,9(3)。李光亞,周學海,趙振西,一種開放式超媒體系統(tǒng)版本模型,軟件學報,1998年,9(2)。李光亞,周學海,趙振西,超媒體模型中時態(tài)行為研究,計算機研究與發(fā)展,1998年,35(4)。