mobile: 13980967180 email: wangjf@scu homepage: cs.scu/~wangjunfeng

Mobile: Mobile: 1398096718013980967180

Email:Email: wangjf@scu.edu.cnwangjf@scu.edu.cn

Homepage:Homepage: http://cs.scu.edu.cn/~wangjunfenghttp://cs.scu.edu.cn/~wangjunfeng

计算机计算机 (( 软件软件 )) 学院学院

二〇一〇年十一月二〇一〇年十一月

王俊峰课题组科研工作简介

2

内容提纲

1. 研究经历和研究兴趣

2. 承担的科研任务介绍

3

1. 研究经历与研究兴趣

4

1.1 学习与工作简历

起止年月 学习、工作单位 任 职2001.09—2004.06

2002.03—2003.10

电子科技大学 博士研究生

中国科学院 计算技术研究所 客座博士研究生

2004.07—2006.08

中国科学院 软件研究所 博士后

2006.08—

2008.06 —四川大学

教授、硕士生导师

博士生导师

5

1.2 主要学术任职

“ 视觉合成图形图像技术国防重点学科实验室”学术带头人

教育部“ 985 工程”“复杂多维数字信息处理技术”创新平台学术骨干

教育部“ 211 工程”“图形图像理论与技术”项目学术骨干

入选四川省杰出青年学科带头人培养计划

中国电子学会 云计算专委会 委员

IEEE Globecom 2010 、 IEEE Routing 2009 、 IEEE DASC 2009 、 IEEE Globecom Satecom 2006 等 10 余个国际学术会议技术委员会委员

6

1.3 主要研究方向及成果

协议一致性测试

网络性能测量

空间信息网络

可信软件与系统

智能交通系统

图像处理及应用

发表学术论文 60 余篇， SCI/EI 检索 50 余篇次

申请国家发明专利 8 项

7

2. 在研的科研任务

8

项目类型 年限 项目名称

教育部博士点基金项目 2010-2012 管制中心系统软件可信性分析研究

国家 863 计划重点项目 2009-20105.12 地震医疗应急救治预案研究——地震应急医疗救援推演系统

863 探索导向课题2008-2010 空间信息网络安全组网关键协议技术研究

2009-2010 软件可信性分析研究

国家自然科学基金 2008-2010 空间信息网络入侵容忍技术研究

四川省应用基础项目 2010 － 2012 精确识别的特大城市交通流行为分析

四川省青年基金 2009-2011 空间信息网络弹性组网技术研究

广东省教育部产学研结合项目 2009-2011 一种具有主动安全防护能力的无线MESH 网络路由器

2.1 科研任务——国家发改委、 863 计划项目及其它

9

项目类型 年限 项目名称

国防 863 计划项目 2009-2011 遥感图像复原系统

装备重点基金 2008-2009卫星可见光遥感图像数据处理、评价理论与方法

装备预研基金 2008-2010 多传感器协同管理与控制的基础理论

航天科工集团 2010-2011 二维码识别软件系统

重庆高速公路集团公司 2010 基于 GIS 的重庆高速公路系统

2.1 科研任务——国防基础科研项目及其它

10

2.2 协议的一致性测试

协议的一致性及测试用例自动生成研究：利用 Colored Petri

Net方法，对 IPv6 协议族的一致性、可达性和完备性进行测试，研究了协议测试用例自动生成方法

IPv6 协议一致性测试系统研发：开发了基于 SUN Solaris 平台的 IPv6 协议一致性测试集，超过 500 个测试例涵盖了全部 IPv6 协议族（几十个 RFC或草案）。该系统先后两次在欧洲电信标准委员会 (ETSI) 的年会上展出。成果现已成功转让，较广泛地用于对世界主要电信设备生产商的 IPv6设备进行一致性测试。也是我国 IPv6设备入网测试的基准测试例之一

11

2.3 高速互联网性能测量

端系统间相对时钟同步研究

海量网络流量的自适应采集（抽样）研究 基于概率保证的海量网络流超时判定 重尾网络流量的普适建模 分布、开放网络性能测量系统研发。测量系统集成了当前主动、被动和基于网元设备信息轮询的测量方法，不仅能满足基本网络性能指标测量与评价的需求，其开放的框架结构还可以方便地对其功能进行扩展或将第三方测量方法和工具进行集成。系统已投入实际使用。

12

2.4 下一代互联网流量控制设备

基于业务流的流量与性能测量理论和技术

网络性能主动探测技术

基于SNMP的设备状态探测技术

网络运行状况和性能评价指标体系

下一代互联网网络综合测试平台设计与实现 流量分析与模型化

IPv6网络专有协议分析及性能分析技术研究

流量控制及流量工程技术研究

实际测试及测试数据数据

分布式测试平台部署技术

分布式测试数据联合分析技术

实际网络测试

13

2.5 空间信息网络

空间信息网络星 -地、星际链路切换机制研究 空间信息网络链路切换保护恢复算法 空间环境及空间信息网络特点对可靠传输协议的影响分析 高性能可靠传输协议研究 空间信息网络可信路由交换技术研究 空间信息网络组网及协议仿真验证 深空通信协议

14

2.5 空间信息网络（续）

15

2.6 软件可信性分析

空管系统可信性指标体系结构研究 可信性评估方法 研究二进制软件结构静态完整性 研究基于图的二进制软件静态分析 软件结构动态完整性分析 基于行为序列的动态分析 软件可信性分析与度量软件系统

16

2.6 软件可信性分析

17

2.6 软件可信性分析

18

2.6 软件可信性分析

19

2.7 地震应急医疗救援推演系统

人口分布信息基础数据库

交通运输条件与能力数据库

医疗设施与医疗条件数据库

地震信息及损害数据库

基础数据平台子系统

震区地理信息数据库

救灾任务推演引擎子系统

人员伤亡推演

医疗物资需求推演

交通运输能力推演

人员伤亡预测

医疗物资需求预测

救援人员配置预测

地震想定配置

基于神经网络的救灾任务推演引擎

数据训练模块 数据预测模块

推演结果输出

人员伤 亡

需求预测

物资需求预 测

医疗人

员需求预

测

医疗救援能力推演子系统

物 资现 状

人员救治分配算法

人员伤 亡

医疗设备分布

区内转

运救助 方

案

区处转

运救助 方

案

人员救助转运推演子系统

交通能力现 状

想定配置 想定配置 物资分配算法

人员及

物资需

求

外 部物资配 置

物资分配方 案

物资 支援方 案

医疗物资受损情况

医疗物资需求推演子系统

想定配置

20

2.7 地震应急医疗救援推演系统（续）

21

2.8 交通流行为分析、管理与控制

22

2.8 交通流行为分析、管理与控制（续）

23

2.8 交通流行为分析、管理与控制（续）

24

敬请各位领导和专家批评指正！