<div class> <p> <br/> 导师姓名 刘西洋<br/> 导师类型 硕士生导师<br/> 工作状态 在职<br/> 职称 教授<br/> 最高学历 博士研究生<br/> 所属学科<br/> 硕士学科<br/> (081202)计算机软件与理论<br/> 办公电话 029-88204612<br/> 办公地址 科技实验楼1310B<br/> 通讯地址 西安电子科技大学168信箱<br/> 电子邮箱 xyliu@xidian.edu.cn<br/> 主页地址 http://web.xidian.edu.cn/xyliu/<br/> <br/> 个人简历</strong><br/> 1970年出生于革命圣地延安,1988年考入西安电子科技大学计算机软件与理论专业本科,自此在西电度过了难忘的本科,硕士和博士的求学生涯,其中硕士由本科推免,硕士和博士师从我校德高望重的蔡希尧教授。1995年就职于我校软件工程研究所至今,现任软件工程研究所常务副所长,中国计算机学会软件工程专业委员会委员。<br/> <br/> 主要研究方向及感兴趣的领域</strong><br/> 1995年就职软件所以来,在蔡希尧教授和陈平教授等师长的指导下,在国防预先研究项目等纵横向项目的支持下,秉持“求真务实、学以致用”的治学理念,一直从事针对卫星导航、航天等关键系统的高可信赖软件技术研究.<br/> 包括:<br/> 研究方向1 程序设计语言理论技术<br/> 针对雷达信号处理机、航空电子系统、航天控制系统等嵌入式系统,研究C/汇编/二进制代码的静态安全分析技术、中断驱动的并发C/汇编/二进制代码模型检测技术、C到FPGA的编译优化与安全增强技术等等;<br/> 研究方向2 嵌入式系统的特定域开发技术<br/> 针对雷达信号处理机、航天控制系统等系统专用多处理器架构,研究特定域的图形化建模、时序分析,C/汇编代码生成与优化以及测试代码的生成技术以及相应的Eclipse 插件技术等等。<br/> 研究方向3 集成MapReduce并行与GPU众核并行的分布并行技术<br/> 针对二代卫星导航定位系统以及虚拟样机系统中的海量数据处理需求,研究集成集成MapReduce并行、CPU多核/GPU众核并行以及反射内存实时网络的分布并行技术。<br/> </p> </div>