安毅生
一、基本情况
???安毅生，1972年6月10日生，男，回族，陕西西安人，博士研究生，教授，硕士生导师，主要研究方向为Petri网理论与应用、计算机支持协同设计、分布式测控技术等。担任计算机专业实验室主任，主讲操作系统、Linux核心与编程技术、计算机网络与通信技术、软件新技术与新理论等多门本科及研究生课程。
?
?
?
?
二、正在承担和完成的科研项目
???1.陕西省交通信息基础数据元（公路）字典编制，2007.11--，陕西省交通厅
???2.长庆石油勘探局汽车安全性能自动测控系统，技术负责，2006
???3.中兴汽车汽车安全性能自动测控系统，技术负责，2005
???4.基于高级Petri网的协同设计活动建模与分析，2004.6-2006.6，校青年科学基金。
三、近期发表的论文
???1.YishengAn,RenhouLi.ExpressionandVerificationofTaskManagementinCollaborativeDesign,ProceedingsofIEEE-CASE2007,2007:800-805,Arizona,USA(EI)
???2.YishengAn,RenhouLi.FormalDialogueandItsApplicationtoTeamFormationinCooperativeDesign.LectureNotesinComputerScience3168,2005(SCI,EI)
???3.YishengAn,RenhouLi.AMultiAgentBasedNewCooperationMethodinCSCD.Proceedingof8thInternationalConferenceonCSCWinDesign,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）
个人主页：?http://itplab.chd.edu.cn:8080/~yshan/