基本情況
擔(dān)任計(jì)算機(jī)專業(yè)實(shí)驗(yàn)室副主任，主講操作系統(tǒng)、Linux核心與編程技術(shù)、計(jì)算機(jī)網(wǎng)絡(luò)與通信技術(shù)、軟件新技術(shù)與新理論等多門本科及研究生課程。
正在承擔(dān)和完成的科研項(xiàng)目
1. 陜西省交通信息基礎(chǔ)數(shù)據(jù)元（公路）字典編制，2007.11--，陜西省交通廳
2.長慶石油勘探局汽車安全性能自動(dòng)測控系統(tǒng)，技術(shù)負(fù)責(zé)，2006
3.中興汽車汽車安全性能自動(dòng)測控系統(tǒng)，技術(shù)負(fù)責(zé)，2005
4.基于高級(jí)Petri網(wǎng)的協(xié)同設(shè)計(jì)活動(dòng)建模與分析，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è)計(jì)建模與分析, 計(jì)算機(jī)集成制造系統(tǒng), 2006, 12(9):1352-1358 (EI）
5.安毅生, 李人厚. 對(duì)象化模糊Petri網(wǎng)的任務(wù)協(xié)同分配建模與推理, 計(jì)算機(jī)輔助設(shè)計(jì)及圖形學(xué)學(xué)報(bào), 2006, 18(5): 710-714 (EI)
6.安毅生, 李人厚. 基于對(duì)話的多Agent 協(xié)作交互模型, 西安交通大學(xué)學(xué)報(bào), 2005, 39(12): 1344-1348 (EI)
7.安毅生, 李人厚. 基于對(duì)象的擴(kuò)展Petri網(wǎng)協(xié)同設(shè)計(jì)過程分析, 控制與決策，2008（9）
8.安毅生，李人厚. 協(xié)同設(shè)計(jì)系統(tǒng)中一種新的訪問控制模型.長安大學(xué)學(xué)報(bào) 2004/6 (EI)
獲獎(jiǎng)情況
1.2007年獲得國家科學(xué)技術(shù)進(jìn)步二等獎(jiǎng)1項(xiàng)（證書編號(hào)：2007-5-223-2-04-R05）
2.2005年獲陜西省科學(xué)技術(shù)一等獎(jiǎng)1項(xiàng)（證書編號(hào)：04-1-017-R4）
