云南大学软件学院

1 团队带头人王炜

王炜，男，1979年11月6日生，教授，博士，中组部、中科院“西部之光”青年学者，云南省高校智能软件科技创新团队带头人，云南省高层次人才培养计划“教学名师”，云南省高层次人才培养计划“青年拔尖”，云南省中青年学术和技术带头人后备人选，昆明市中青年学术技术带头人后备人选。中国计算机学会软件工程专委会专委。云南省计算机学会软件工程专委会秘书长。2002年毕业于云南大学，获学士学位，2005年毕业于云南大学，获硕士学位，2009年毕业于云南大学，获博士学位。长期以来从事形式化方法、软件演化方向的研究工作。获云南省自然科学奖二等奖1项、获国家级教学成果奖二等奖1项、获云南省教学成果奖一等奖1项。主持国家自然科学基金项目、云南省自然科学基金重点项目等15项，发表SCI、EI检索论文20余篇，其中1篇论文入选高被引ESI 1%。

2 团队研究方向

结合现有研究基础和当前学界研究热点，本团队围绕2个方面：智能软件工程和城市计算开展相关研究工作。

2.1 智能软件工程

聚焦数据驱动的软件可信演化的故障定位和软件微过程的挖掘和分析研究。

软件演化过程研究聚焦软件演化过程的建模和分析和软件演化过程的形式验证。针对现有软件过程验证研究缺乏行为验证的不足，结合Petri网和ACP的长处，提出了基于Petri网的进程代数验证方法，支持软件演化过程模型结构、性质和行为的形式验证。

业务过程聚焦跨组织业务过程的形式建模和跨组织业务过程的形式分析。针对传统的业务过程建模方法无法有效支持跨组织业务过程呈现出的个性化特征问题，将Petri网和Pi演算进行交叉，提出了一种多视角的跨组织业务过程建模方法。在跨组织业务过程的形式分析方面，把对行为一致性准则的检验分解为对状态一致性的检验和通信行为一致性的检验，以弥补目前行为一致性准则要么过于松弛、要么过于严格的不足。

2.2 基于智能软件方向研究成果，开展城市计算相关研究

1）推进“智慧路网”大数据建设与应用。以公路、水路路网基础设施、服务设施为主体，以提高路网的使用效率、实现对交通基础设施的有效供给和合理配置为目标，通过对路网运行大数据的采集和分析，实现对路网运行状况的有效监控和管理，保障日常交通顺畅，提升路网管理决策水平。

2）推进“便捷交通”大数据建设与应用。以社会公众为主体，以提高公众出行效率和服务水平、满足公众出行需求为目标，提供覆盖公共交通、出租汽车、轨道交通、长途客运等智慧交通出行的大数据服务，使公众出行便捷、高效，同时为旅游业提供交通大数据支撑。

3）推进“智慧城市”大数据建设与应用。将团队前期拥有自主知识产权的信息安全产品通用安全统一认证系统、椭圆曲线密码系统、认证中心（SISCA）系统、自动移植工具W2L演化大数据平台上，针对城市安防、规划、土地认证等领域，以实现各种平台组件的有效衔接、提高计算安全性为目标，采集视频、RFID等城市实时大数据，实现对城市资源的全面定位、跟踪和管理。

3 代表性成果

1）聚焦复杂网络演化中的非对称信息传递机制研究，为网络节点状态变更策略、网络节点合作博弈提供理论支撑。一篇论文入选ESI高被引。

2）与东南大学数学学院、江苏省城市智能交通重点实验室开展合作。针对基于深度学习的交通流量预测结果可解释性差问题，采用多项式神经网络、季节自回归、移动平均模型提出了短时交通量预测模型。实验结果表明，该模型较LSTM等模型不仅具有较高的预测准确率，并且能够解释预测结果与输入数据的时空因果关联。

3）将复杂网络演化理论应用于软件系统演化研究，将软件代码中的类（方法）抽象为节点，消息传递或控制路径抽象为边，解决了软件服务关键节点挖掘、可信软件服务节点评价、结构信息驱动的软件演化波及效应分析等问题。

4）团队成员参与云南省社会发展科技计划项目、省院所技术开发研究专项等多个项目，在交通流量预测相关领域取得以下成果：①依托云南省运政大数据平台-国际道路运输综合服务平台，针对“十一黄金周”等典型时间节点出境路口交通流量短时预测问题，基于残差网络模型建立了预测系统部署于云南省交通厅生产环境。②基于交通流量实时监测数据完成重大自然灾害下云南山区公路交通生命线应急保障决策支持系统研发。

团队注重学术交流，成员多次参加重要学术会议，以一流的视角挖掘科技前沿成果。

图1 团队学生参加学术会议

图2 团队合照