安毅生

安毅生，19研剧相鲜座称短72年6月10日生，男，回族，陕西西安人，博士研究生，长安大学教授，博士生导师，长安大学信息工程学院院长。 主要研究方向为Petri网理论与应用、计算机支持协同设计、分布式测控技术等。

• 中文名称 安毅生
• 民族 回族
• 出生日期 1972年6月10日
• 性别 男

基本情况

　　担任计算机专业实验室主任，主讲操作系统、Linux核心与编程技术、计算机网络与通信技术、软件新技术与新理论等多门本科及研究生课程。

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

　　1. 陕西省交通信息基础数据元(公路)字典编制，2007.11--，陕西省交通厅

　　2.长庆石油勘探局汽车安全性能自动测控系统，技术负责，2006

　　3.中兴汽车汽车安全性能自动测控系统，技术负责，2005

　　4.基于高级Petri网的协同设计活动建来自模与分析，2004.6-2006.6，校青年科学基金。

近期发表的论文

　　1.Yisheng An, Renhou Li. Expression and Verification of Task Man来自agement in Collaborative Desig360百科n, Proceedi击现观模年四可否ngs of IEEE讲试直急能硫失查块找仍-CASE 2007, 2007: 800-805, Arizona, USA(EI)

　　2.Yishe明装况植指一局ng An, Renhou Li. Formal Dialogue and Its Applic电获少围ation to Team Formation in Cooperative D选于低坚制血玉探少esign. Le见半齐与五丝cture Notes in Computer Sci突ence 3168, 2005 (SCI,EI)

　　3.Yisheng An, Renhou Li. A Multi Agent Based New Cooperation Meth失投压王封毫od in CSCD. Proceeding of 8th Internati术皮了又红每危onal 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.安毅生, 李人厚. 基于对象的扩展Petr婷难国外知点i网协同设计过程分析, 控制与决策，2008(9)

　　8.安毅生，李人厚. 协同设计系统中一种新的访问控制模型浓.长安大学学报 2004/6 (EI)

获奖情况

　　1.2007年获得由回城并国家科学技术进步二等奖1项(证书编号:2007-5-223-2-04-R05)

　　2.2005年获陕西省科学技术一等奖1项(证书编号:04-1-017-R4)