安毅生

安毅生

來自 鳳凰網 的圖片

目錄

基本信息

人物說明 -- 長安大學教授，碩士生導師

出生日期 -- 1972年6月10日

出生地點 -- 陝西西安

國籍 -- 中國

職業 -- 教育科研工作者

安毅生，1972年6月10日生，男，回族，陝西西安人，博士研究生，長安大學教授，碩士生導師，主要研究方向為Petri網理論與應用、計算機支持協同設計、分布式測控技術等。

基本情況

擔任計算機專業實驗室主任，主講操作系統、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)