西南交通大学关于2017度公开招聘应聘人员情况
人:    童音            应聘岗位:        教学科研岗       
应聘单位: 信息科学与技术学院   应聘单位负责人签章:                
1、基本情况
性别
国籍
中国
籍贯
四川省南充市
现任专业
技术职务
任职时间
出生年月
19898
现工作单位或人事关系所在部门
西安电子科技大学、意大利卡利亚里大学
最后学位
博士
授予学位单位
西安电子科技大学
意大利卡利亚里大学
最后学习阶段导师
李志武
Alessandro Giua
国内外主要学术及社会兼职
长期担任IEEE Trans. on Automatic ControlAutomaticaInformation Sciences13SCI期刊及国际会议审稿人
从事专业
机械电子工程
电子与计算机工程
主要学术成绩、创新成果及评价
(限800字以内)
个人主要研究方向:离散事件系统建模、分析与控制,以及系统隐蔽性分析
参与国家级科研项目8项,意大利外交与国际合作部项目1
一般我们通过建立微分方程来对系统进行分析与控制。但是有一些系统具有事件驱动的特点,对于这一类系统可以采用离散事件系统的相关理论进行更有效的建模与分析。其中Petri网在适用性、计算复杂度、可靠性和鲁棒性等方面与其他模型相比具有明显的优势本人在离散事件系统建模方面主要研究成果的创新及贡献:提出了更广义、建模能力更强的Petri网模型,并深入研究了不同模型间的相互关系。特别地,新模型能更方便建模具有不同类型传感器的系统。
对于具有网络结构的系统,例如,通信系统,银行系统,医疗系统等,在大量个人信息等私密信息的传输过程中系统的行为应该具有隐蔽性,即不能被外部入侵者所感知。本人在该方面成果的创新及贡献为:不同于传统分析方法,通过有效压缩状态空间,提出了验证系统隐蔽性更高效的算法;证明了隐蔽性在无限状态系统中是不可判定的;移除了前人工作中控制器与入侵者观测能力具有特定关系的假设,提出了应用范围更广的控制器设计算法,使系统的隐蔽性更能得到保障;引入更广义、更实用的行为隐蔽性概念,并提出相应地有效验证算法。
在传感器功能有限或者受自然环境影响等情况下,系统的行为不能完全被探测。为了进一步控制系统,首先需要对系统的状态进行估计及可达性分析。本人在该方面成果的创新及贡献:基于基本标识图,提出了更有效的系统控制器设计算法;拓展了基本标识图的定义及应用范围,使系统状态的可达性分析难度降低。
以上成果发表学术论文12篇(第一作者9篇),其中SCI收录4篇、EI收录8篇(SCIEI不重复计算),SCI他人引用1次。
第一作者或通信作者论文:A++ 3 篇;A+  篇;A 2 篇;B+ 1 篇;B  篇。
2、学习经历
学历/学位
起止时间
毕业学校
所学专业
导师
培养方式
本科
2008.092012.07
西安电子科技大学
自动化
李志武
全日制
博士
2012.08~至今
西安电子科技大学
机械电子工程
李志武
全日制
博士
2014.11~至今
意大利卡利亚里大学
电子与计算机工程
Alessandro Giua
联合培养
3、工作经历
起止时间
职位名称
任职单位
4、论文情况(5篇以内代表性论文)
题目
发表刊物或
出版单位名称
年度
期号
作者
排名
第一作者
单位
刊物性质及期刊号
论文
分区
(学术期刊分级A++ 等,SCI?
期刊类别影响因子及排序
他人引用次数
1
On the Equivalence of Observation Structures for Petri Net Generators
IEEE Transactions on Automatic Control
2016
61(9)
1
西安电子科技大学,卡利亚里大学
SCI
ISSN: 0018-9286
A++
JCR: Q1
2.777
0
2
Verification of State-Based Opacity in Petri Nets
IEEE Transactions on Automatic Control
2017
62(6)
1
西安电子科技大学,卡利亚里大学
SCI
ISSN: 0018-9286
A++
JCR: Q1
2.777
感悟人生的经典句子1
3
Decidability of Opacity Problems in Labeled Petri Nets
Automatica
2017
53(6)
1
西安电子科技大学,卡利亚里大学
SCI
ISSN: 0005-1098
A++
JCR: Q1
3.635
0
布拉梅尔德
4
Basis Marking Representation of Petri Net Reachability Spaces and Its Application to the Reachability Problem
IEEE Transactions on Automatic Control
2017
62(3)
2
西安电子科技大学,卡利亚里大学
SCI
ISSN: 0018-9286
A++
JCR: Q1
2.777
0
5
Verification of Current-State Opacity Using Petri Nets
Proceedings of the 2015 American Control Conference
2015
1
西安电子科技大学,卡利亚里大学
EI
B+
3
厨房春联
5、科研项目:
项目时间
项目名称
项目类型
经费
参与状况(排序)
2014.12016.12
基于信标的死锁控制及性能分析
国家自然科学基金委青年科学基金项目
25
参与
2014.12016.12
柔性制造系统一般Petri网模型内在活性结构研究
国家自然科学基金委青年科学基金项目
27
参与
2014.12016.12
柔性制造系统鲁棒死锁控制研究
国家自然科学基金委青年科学基金项目
24
参与
2015.12017.12
基于Petri网的自动制造系统分布式控制研究
国家自然科学基金委青年科学基金项目
25
参与
2015.12017.12
输出反馈鲁棒跟踪模型预测控制的理论和算法
国家自然科学基金委青年科学基金项目
23
参与
2017.12019.12
基于R-TNCES的动态可重构离散事件系统的稳定性研究
国家自然科学基金委青年科学基金项目
20
参与
2015.12018.12
离散事件系统的监督与重构
国家自然基金面上项目
80
参与
2016.12020.12
基于非纯网结构的Petri网控制器优化设计
国家自然基金面上项目
62
参与
2012.62015.12
Networked control systems for automation
Region Sardinia, Italy
21.8万欧元
参与
6、出版专著
著作名称
作者
出版社
出版年份
ISBN
7、专利情况
专利类别
专利名称
专利所有人
授权时间
授权国别
专利号
8、获奖情况:
时间
名称
奖项与等级
排序
2008
西安电子科技大学新生部优秀学生
校级
1
2010
西安电子科技大学优秀学生
校级
1
2011
全国大学生英语竞赛
三等奖,高等学校大学外语教学研究会
1
2011
西安电子科技大学优秀学生标兵
校级
1
2011
国家励志奖学金
职工生育保险
蚂蚁和大象的笑话国家级
1
2012
西安电子科技大学优秀毕业生
校级
1
2013
木桥
西安电子科技大学研究生学术年会优秀论文
一等奖,校级
1
2016
博士研究生国家奖学金
国家级
1
2016
西安电子科技大学优秀研究生
校级
1
2016
中国电科十四所国睿奖学金
校级
1