导师姓名 刘西洋
导师类型 硕士生导师
工作状态 在职
职称 教授
最高学历 博士研究生
所属学科
硕士学科
(081202)计算机软件与理论
办公电话 029-88204612
办公地址 科技实验楼1310B
通讯地址 西安电子科技大学168信箱
电子邮箱 xyliu@xidian.edu.cn
主页地址 http://web.xidian.edu.cn/xyliu/
个人简历
1970年出生于革命圣地延安,1988年考入西安电子科技大学计算机软件与理论专业本科,自此在西电度过了难忘的本科,硕士和博士的求学生涯,其中硕士由本科推免,硕士和博士师从我校德高望重的蔡希尧教授。1995年就职于我校软件工程研究所至今,现任软件工程研究所常务副所长,中国计算机学会软件工程专业委员会委员。
主要研究方向及感兴趣的领域
1995年就职软件所以来,在蔡希尧教授和陈平教授等师长的指导下,在国防预先研究项目等纵横向项目的支持下,秉持“求真务实、学以致用”的治学理念,一直从事针对卫星导航、航天等关键系统的高可信赖软件技术研究.
包括:
研究方向1 程序设计语言理论技术
针对雷达信号处理机、航空电子系统、航天控制系统等嵌入式系统,研究C/汇编/二进制代码的静态安全分析技术、中断驱动的并发C/汇编/二进制代码模型检测技术、C到FPGA的编译优化与安全增强技术等等;
研究方向2 嵌入式系统的特定域开发技术
针对雷达信号处理机、航天控制系统等系统专用多处理器架构,研究特定域的图形化建模、时序分析,C/汇编代码生成与优化以及测试代码的生成技术以及相应的Eclipse 插件技术等等。
研究方向3 集成MapReduce并行与GPU众核并行的分布并行技术
针对二代卫星导航定位系统以及虚拟样机系统中的海量数据处理需求,研究集成集成MapReduce并行、CPU多核/GPU众核并行以及反射内存实时网络的分布并行技术。
研究成果与着作、个人代表作、获奖情况
近年来,在IEEE与ACM 学术期刊和会议发表的代表性论文如下:
(1)Xiyang Liu, Hehui Liu, Bin Wang, Ping Chen, Xiyao Cai: A unified fitness function calculation rule for flag conditions to improve evolutionary testing. ASE 2005: 337-341. 软件工程领域著名的国际会议。
(2)Xiyang Liu, Bin Wang,Hehui Liu. Evolutionary Search in the context of Object-Oriented Programs. MIC 2005. 面向对象程序测试数据生成的早期论文,英文它引10次以上。
(3)Yan Wang, Zhiwen Bai, Miao Zhang, Wen Du, Ying Qin, Xiyang Liu: Fitness calculation approach for the switch-case construct in evolutionary testing. GECCO 2008: 1767-1774.GECCO 2008 最佳论文提名,论文其余作者为指导的工学硕士研究生。
(4)Haichang Gao, Xuewu Guo, Xiaoping Chen, Liming Wang, Xiyang Liu: YAGP: Yet Another Graphical Password Strategy. ACSAC 2008: 121-129.计算机安全领域国际著名学术会议。
目前承担的科研项目及教学情况
目前实验室有5位老师,其中硕士生导师2位。
目前在研的项目包括:
国家研究项目
“十一五”预研项目“高可信软件开发技术”
科研院所技术合作项目
1 卫星导航定位系统地面站软件系统,中科院国家授时中心
2 控制系统XX建模与XX测试生成工具,北京某航天研究所
3 二代卫星导航定位系统中XX分析中心演示验证系统,西安某研究所
4 XX虚拟样机系统实时仿真子系统,西安某研究所(与我校和西工大航天学院合作)
5 雷达信号处理机XX建模与开发工具,我校雷达信号处理国家重点实验室