基本情況
擔(dān)任計算機專業(yè)實驗室副主任，主講操作系統(tǒng)、Linux核心與編程技術(shù)、計算機網(wǎng)絡(luò)與通信技術(shù)、軟件新技術(shù)與新理論等多門本科及研究生課程。
正在承擔(dān)和完成的科研項目
1. 陜西省交通信息基礎(chǔ)數(shù)據(jù)元（公路）字典編制，2007.11--，陜西省交通廳
2.長慶石油勘探局汽車安全性能自動測控系統(tǒng)，技術(shù)負責(zé)，2006
3.中興汽車汽車安全性能自動測控系統(tǒng)，技術(shù)負責(zé)，2005
4.基于高級Petri網(wǎng)的協(xié)同設(shè)計活動建模與分析，2004.6-2006.6，校青年科學(xué)基金。
近期發(fā)表的論文
1.Yisheng An, Renhou Li. Expression and Verification of Task Management in Collaborative Design, Proceedings of IEEE-CASE 2007, 2007: 800-805, Arizona, USA(EI)
2.Yisheng An, Renhou Li. Formal Dialogue and Its Application to Team Formation in Cooperative Design. Lecture Notes in Computer Science 3168, 2005 (SCI,EI)
3.Yisheng An, Renhou Li. A Multi Agent Based New Cooperation Method in CSCD. Proceeding of 8th International Conference on CSCW in Design, 2004: 1463-1468, Xiau2019men, China (EI)
4.安毅生, 李人厚. 基于過程控制網(wǎng)的協(xié)同設(shè)計建模與分析, 計算機集成制造系統(tǒng), 2006, 12(9):1352-1358 (EI）
5.安毅生, 李人厚. 對象化模糊Petri網(wǎng)的任務(wù)協(xié)同分配建模與推理, 計算機輔助設(shè)計及圖形學(xué)學(xué)報, 2006, 18(5): 710-714 (EI)
6.安毅生, 李人厚. 基于對話的多Agent 協(xié)作交互模型, 西安交通大學(xué)學(xué)報, 2005, 39(12): 1344-1348 (EI)
7.安毅生, 李人厚. 基于對象的擴展Petri網(wǎng)協(xié)同設(shè)計過程分析, 控制與決策，2008（9）
8.安毅生，李人厚. 協(xié)同設(shè)計系統(tǒng)中一種新的訪問控制模型.長安大學(xué)學(xué)報 2004/6 (EI)
獲獎情況
1.2007年獲得國家科學(xué)技術(shù)進步二等獎1項（證書編號：2007-5-223-2-04-R05）
2.2005年獲陜西省科學(xué)技術(shù)一等獎1項（證書編號：04-1-017-R4）
