DOC《西南交通大学关于2017年度公开招聘应聘人员情况》

西南交通大学关于2017年度公开招聘应聘人员情况 应聘人: 童音 应聘岗位:教学科研岗 应聘单位: 信息科学与技术学院 应聘单位负责人签章:

1、基本情况 性别 女 国籍 中国 籍贯 四川省南充市 现任专业 技术职务 任职时间 出生年月 1989年8月 现工作单位或人事关系所在部门 西安电子科技大学、意大利卡利亚里大学 最后学位 博士 授予学位单位 西安电子科技大学 意大利卡利亚里大学 最后学习阶段导师 李志武 Alessandro Giua 国内外主要学术及社会兼职 长期担任IEEE Trans.

on Automatic Control、Automatica、Information Sciences等13个SCI期刊及国际会议审稿人 从事专业 机械电子工程 电子与计算机工程 主要学术成绩、创新成果及评价 (限800字以内) 个人主要研究方向:离散事件系统建模、分析与控制,以及系统隐蔽性分析 参与国家级科研项目8项,意大利外交与国际合作部项目1项 一般我们通过建立微分方程来对系统进行分析与控制.但是有一些系统具有事件驱动的特点,对于这一类系统可以采用离散事件系统的相关理论进行更有效的建模与分析.其中Petri网在适用性、计算复杂度、可靠性和鲁棒性等方面与其他模型相比具有明显的优势.本人在离散事件系统建模方面主要研究成果的创新及贡献:提出了更广义、建模能力更强的Petri网模型,并深入研究了不同模型间的相互关系.特别地,新模型能更方便建模具有不同类型传感器的系统. 对于具有网络结构的系统,例如,通信系统,银行系统,医疗系统等,在大量个人信息等私密信息的传输过程中系统的行为应该具有隐蔽性,即不能被外部入侵者所感知.本人在该方面成果的创新及贡献为:不同于传统分析方法,通过有效压缩状态空间,提出了验证系统隐蔽性更高效的算法;

证明了隐蔽性在无限状态系统中是不可判定的;

移除了前人工作中控制器与入侵者观测能力具有特定关系的假设,提出了应用范围更广的控制器设计算法,使系统的隐蔽性更能得到保障;

引入更广义、更实用的行为隐蔽性概念,并提出相应地有效验证算法. 在传感器功能有限或者受自然环境影响等情况下,系统的行为不能完全被探测.为了进一步控制系统,首先需要对系统的状态进行估计及可达性分析.本人在该方面成果的创新及贡献:基于基本标识图,提出了更有效的系统控制器设计算法;

拓展了基本标识图的定义及应用范围,使系统状态的可达性分析难度降低. 以上成果发表学术论文12篇(第一作者9篇),其中SCI收录4篇、EI收录8篇(SCI与EI不重复计算),SCI他人引用1次. 第一作者或通信作者论文:A++

3 篇;

A+ 篇;

A

2 篇;

B+

1 篇;

B 篇.

2、学习经历 学历/学位 起止时间 毕业学校 所学专业 导师 培养方式 本科 2008.09~2012.07 西安电子科技大学 自动化 李志武 全日制 博士 2012.08~至今 西安电子科技大学 机械电子工程 李志武 全日制 博士 2014.11~至今 意大利卡利亚里大学 电子与计算机工程 Alessandro Giua 联合培养

3、工作经历 起止时间 职位名称 任职单位

4、论文情况(5篇以内代表性论文): 序号题目 发表刊物或 出版单位名称 年度 期号 作者 排名 第一作者 单位 刊物性质及期刊号 论文 分区 (学术期刊分级A++ 等,SCI?区 期刊类别影响因子及排序 他人引用次数