安毅生查看源代码讨论查看历史

安毅生

来自 凤凰网 的图片

基本信息

人物说明 -- 长安大学教授，硕士生导师

出生日期 -- 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)