一、基本情况

二、正在承担和完成的科研项目

三、近期发表的论文

四、获奖情况

一、基本情况

安毅生，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）