基本信息
刘西洋　教授硕导或博导博士学科：硕士学科：　工作单位：计算机学院
联系方式
通信地址：西安电子科技大学168信箱电子邮箱：xyliu@xidian.edu.cn办公电话：**办公地点：科技实验楼1310B
个人简介
1970年出生于革命圣地延安，1988年考入西安电子科技大学计算机软件与理论专业本科，自此在西电度过了难忘的本科，硕士和博士的求学生涯,其中硕士由本科推免，硕士和博士师从我校德高望重的蔡希尧教授。1995年就职于我校软件工程研究所至今，现任软件工程研究所常务副所长，中国计算机学会软件工程专业委员会委员。
主要研究方向
1995年就职软件所以来，在蔡希尧教授和陈平教授等师长的指导下，在国防预先研究项目等纵横向项目的支持下，秉持“求真务实、学以致用”的治学理念，一直从事针对卫星导航、航天等关键系统的高可信赖软件技术研究.包括：

研究方向1程序设计语言理论技术
针对雷达信号处理机、航空电子系统、航天控制系统等嵌入式系统，研究C/汇编/二进制代码的静态安全分析技术、中断驱动的并发C/汇编/二进制代码模型检测技术、C到FPGA的编译优化与安全增强技术等等；

研究方向2嵌入式系统的特定域开发技术
针对雷达信号处理机、航天控制系统等系统专用多处理器架构，研究特定域的图形化建模、时序分析，C/汇编代码生成与优化以及测试代码的生成技术以及相应的Eclipse插件技术等等。

研究方向3集成MapReduce并行与GPU众核并行的分布并行技术
针对二代卫星导航定位系统以及虚拟样机系统中的海量数据处理需求，研究集成集成MapReduce并行、CPU多核/GPU众核并行以及反射内存实时网络的分布并行技术。

-----------------------------------------------------------------

基本信息
刘西洋　教授硕导或博导博士学科：硕士学科：　工作单位：计算机学院
联系方式
通信地址：西安电子科技大学168信箱电子邮箱：xyliu@xidian.edu.cn办公电话：**办公地点：科技实验楼1310B
个人简介
1970年出生于革命圣地延安，1988年考入西安电子科技大学计算机软件与理论专业本科，自此在西电度过了难忘的本科，硕士和博士的求学生涯,其中硕士由本科推免，硕士和博士师从我校德高望重的蔡希尧教授。1995年就职于我校软件工程研究所至今，现任软件工程研究所常务副所长，中国计算机学会软件工程专业委员会委员。
主要研究方向
1995年就职软件所以来，在蔡希尧教授和陈平教授等师长的指导下，在国防预先研究项目等纵横向项目的支持下，秉持“求真务实、学以致用”的治学理念，一直从事针对卫星导航、航天等关键系统的高可信赖软件技术研究.包括：

研究方向1程序设计语言理论技术
针对雷达信号处理机、航空电子系统、航天控制系统等嵌入式系统，研究C/汇编/二进制代码的静态安全分析技术、中断驱动的并发C/汇编/二进制代码模型检测技术、C到FPGA的编译优化与安全增强技术等等；

研究方向2嵌入式系统的特定域开发技术
针对雷达信号处理机、航天控制系统等系统专用多处理器架构，研究特定域的图形化建模、时序分析，C/汇编代码生成与优化以及测试代码的生成技术以及相应的Eclipse插件技术等等。

研究方向3集成MapReduce并行与GPU众核并行的分布并行技术
针对二代卫星导航定位系统以及虚拟样机系统中的海量数据处理需求，研究集成集成MapReduce并行、CPU多核/GPU众核并行以及反射内存实时网络的分布并行技术。

-----------------------------------------------------------------

科学研究
目前实验室有5位老师，其中硕士生导师2位。目前在研的项目包括：
1卫星导航定位系统地面站软件系统，中科院国家授时中心
2控制系统XX建模与XX测试生成工具，北京某航天研究所
3二代卫星导航定位系统中XX分析中心演示验证系统，西安某研究所
4XX虚拟样机系统实时仿真子系统，西安某研究所（与我校和西工大航天学院合作）
5雷达信号处理机XX建模与开发工具，我校雷达信号处理国家重点实验室

-----------------------------------------------------------------

学术论文
近年来，在IEEE与ACM学术期刊和会议发表的代表性论文如下：
[1]X.Liu,H.Gao,L.Wang,X.Chang.AnEnhancedDrawingReproductionGraphicalPassword
Strategy,JournalofComputerScienceandTechnology,Nov2011,26(6):988-999.SCI检索期刊论文
(2)XiyangLiu,HehuiLiu,BinWang,PingChen,XiyaoCai:Aunifiedfitnessfunctioncalculationruleforflagconditionstoimproveevolutionarytesting.ASE2005:337-341.软件工程领域著名的国际会议。

(3)XiyangLiu,BinWang,HehuiLiu.EvolutionarySearchinthecontextofobject-OrientedPrograms.MIC2005.面向对象程序测试数据生成的早期论文，英文它引10次以上。

(4）YanWang,ZhiwenBai,MiaoZhang,WenDu,YingQin,XiyangLiu:Fitnesscalculationapproachfortheswitch-caseconstructinevolutionarytesting.GECCO2008:1767-1774.GECCO2008最佳论文提名,论文其余作者为指导的工学硕士研究生。

(5)HaichangGao,XuewuGuo,XiaopingChen,LimingWang,XiyangLiu:YAGP:YetAnotherGraphicalPasswordStrategy.ACSAC2008:121-129.计算机安全领域国际著名学术会议。

-----------------------------------------------------------------

荣誉获奖
点击网页顶部“添加栏目”可以添加其他栏目
把鼠标放在栏目标题处，尝试拖动栏目。


-----------------------------------------------------------------

科研团队
团队教师高海昌老师，博士，副教授，硕士生导师。王黎明老师，讲师。霍秋艳老师，副教授，硕士生导师。博士研究生硕士研究生毕业研究生去向：到IBM中国研究院、Honeywell中国公司、趋势科技、腾讯、百度、淘宝、中兴、华为等知名IT企业从事IT研发工作；在中国科学院长春光机所、航天五院503所、504所、中电集团20所、北京航天自动控制研究所等科研院所从事系统研制工作；全奖到加州大学河滨分校、丹麦哥本哈根大学等国内外著名学府攻读计算机科学博士学位。


-----------------------------------------------------------------

课程教学
目前本人承担的教学任务：


课件下载示例

-----------------------------------------------------------------

招生要求
~~~~~~~~~~~~~~~~~~~~~~~~~~
关于研究生招生的信息：
~~~~~~~~~~~~~~~~~~~~~~~~~~
指导理念：真诚实在，硬碰硬做事，实打实做人。

招收人数：按照学校和计算机学院的研究生招生政策，2011年度计划招收7名工学硕士研究生和若干名专业硕士研究生。

心目中最理想的学生：品行高洁、才思敏捷、乐观开朗、性格外向、勤奋刻苦、追求卓越、不甘平庸的青年才俊

最关注的基础课程：数学基础、英语能力、算法及程序设计、计算机组成原理、操作系统、编译原理等专业课程
实验室同学待遇：除享受配套学校资助的奖助金之外，每位参加项目的同学每年另外资助相当数额的科研补贴。每位论文被国内或国外Rank2及以上学术会议录取的同学资助参加国际会议，同时积极资助同学参加国内举行的前沿软件技术研讨班等学术交流活动。对于交学费暂时遇到困难的同学，借给相应学费，毕业工作宽裕之后原数归还继续资助后面的同学。

近几年研究生参加学术会议情况：
2007年日本名古屋APSEC2007、2008年成都ICESS2008、2009年杭州ICESS2009、2010北京中科院软件所“ModelChecking学术研讨班”。

实验室：位于北校区实验楼1310B，1311以及科技楼A916。

进一步详见实验室博客：http://stlxd.blog.sohu.com