基本情況
擔任計算機專業實驗室主任,主講作業系統、Linux核心與編程技術、計算機網路與通信技術、軟體新技術與新理論等多門本科及研究生課程。
正在承擔和完成的科研項目
1. 陝西省交通信息基礎數據元(公路)字典編制,2007.11--,陝西省交通廳
2.長慶石油勘探局汽車安全性能自動測控系統,技術負責,2006
3.中興汽車汽車安全性能自動測控系統,技術負責,2005
4.基於高級Petri網的協同設計活動建模與分析,2004.6-2006.6,校青年科學基金。
近期發表的論文
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, Xia’men, China (EI)
4.安毅生, 李人厚. 基於過程控制網的協同設計建模與分析, 計算機集成製造系統, 2006, 12(9):1352-1358 (EI)
5.安毅生, 李人厚. 對象化模糊Petri網的任務協同分配建模與推理, 計算機輔助設計及圖形學學報, 2006, 18(5): 710-714 (EI)
6.安毅生, 李人厚. 基於對話的多Agent 協作互動模型, 西安交通大學學報, 2005, 39(12): 1344-1348 (EI)
7.安毅生, 李人厚. 基於對象的擴展Petri網協同設計過程分析, 控制與決策,2008(9)
8.安毅生,李人厚. 協同設計系統中一種新的訪問控制模型.長安大學學報 2004/6 (EI)
獲獎情況
1.2007年獲得國家科學技術進步二等獎1項(證書編號:2007-5-223-2-04-R05)
2.2005年獲陝西省科學技術一等獎1項(證書編號:04-1-017-R4)