云南省高校智能軟件科技創新團隊簡介

云南大學軟件學院

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 團隊合照