安毅生

安毅生

安毅生,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)

相關詞條

相關搜尋

熱門詞條

聯絡我們