云南大學軟件學院

1 團隊帶頭人王煒

王煒，男，1979年11月6日生，教授，博士，中組部、中科院“西部之光”青年學者，云南省高校智能軟件科技創(chuàng)新團隊帶頭人，云南省高層次人才培養(yǎng)計劃“教學名師”，云南省高層次人才培養(yǎng)計劃“青年拔尖”，云南省中青年學術(shù)和技術(shù)帶頭人后備人選，昆明市中青年學術(shù)技術(shù)帶頭人后備人選。中國計算機學會軟件工程專委會專委。云南省計算機學會軟件工程專委會秘書長。2002年畢業(yè)于云南大學，獲學士學位，2005年畢業(yè)于云南大學，獲碩士學位，2009年畢業(yè)于云南大學，獲博士學位。長期以來從事形式化方法、軟件演化方向的研究工作。獲云南省自然科學獎二等獎1項、獲國家級教學成果獎二等獎1項、獲云南省教學成果獎一等獎1項。主持國家自然科學基金項目、云南省自然科學基金重點項目等15項，發(fā)表SCI、EI檢索論文20余篇，其中1篇論文入選高被引ESI 1%。

2 團隊研究方向

結(jié)合現(xiàn)有研究基礎(chǔ)和當前學界研究熱點，本團隊圍繞2個方面：智能軟件工程和城市計算開展相關(guān)研究工作。

2.1 智能軟件工程

聚焦數(shù)據(jù)驅(qū)動的軟件可信演化的故障定位和軟件微過程的挖掘和分析研究。

軟件演化過程研究聚焦軟件演化過程的建模和分析和軟件演化過程的形式驗證。針對現(xiàn)有軟件過程驗證研究缺乏行為驗證的不足，結(jié)合Petri網(wǎng)和ACP的長處，提出了基于Petri網(wǎng)的進程代數(shù)驗證方法，支持軟件演化過程模型結(jié)構(gòu)、性質(zhì)和行為的形式驗證。

業(yè)務(wù)過程聚焦跨組織業(yè)務(wù)過程的形式建模和跨組織業(yè)務(wù)過程的形式分析。針對傳統(tǒng)的業(yè)務(wù)過程建模方法無法有效支持跨組織業(yè)務(wù)過程呈現(xiàn)出的個性化特征問題，將Petri網(wǎng)和Pi演算進行交叉，提出了一種多視角的跨組織業(yè)務(wù)過程建模方法。在跨組織業(yè)務(wù)過程的形式分析方面，把對行為一致性準則的檢驗分解為對狀態(tài)一致性的檢驗和通信行為一致性的檢驗，以彌補目前行為一致性準則要么過于松弛、要么過于嚴格的不足。

2.2 基于智能軟件方向研究成果，開展城市計算相關(guān)研究

1）推進“智慧路網(wǎng)”大數(shù)據(jù)建設(shè)與應(yīng)用。以公路、水路路網(wǎng)基礎(chǔ)設(shè)施、服務(wù)設(shè)施為主體，以提高路網(wǎng)的使用效率、實現(xiàn)對交通基礎(chǔ)設(shè)施的有效供給和合理配置為目標，通過對路網(wǎng)運行大數(shù)據(jù)的采集和分析，實現(xiàn)對路網(wǎng)運行狀況的有效監(jiān)控和管理，保障日常交通順暢，提升路網(wǎng)管理決策水平。

2）推進“便捷交通”大數(shù)據(jù)建設(shè)與應(yīng)用。以社會公眾為主體，以提高公眾出行效率和服務(wù)水平、滿足公眾出行需求為目標，提供覆蓋公共交通、出租汽車、軌道交通、長途客運等智慧交通出行的大數(shù)據(jù)服務(wù)，使公眾出行便捷、高效，同時為旅游業(yè)提供交通大數(shù)據(jù)支撐。

3）推進“智慧城市”大數(shù)據(jù)建設(shè)與應(yīng)用。將團隊前期擁有自主知識產(chǎn)權(quán)的信息安全產(chǎn)品通用安全統(tǒng)一認證系統(tǒng)、橢圓曲線密碼系統(tǒng)、認證中心（SISCA）系統(tǒng)、自動移植工具W2L演化大數(shù)據(jù)平臺上，針對城市安防、規(guī)劃、土地認證等領(lǐng)域，以實現(xiàn)各種平臺組件的有效銜接、提高計算安全性為目標，采集視頻、RFID等城市實時大數(shù)據(jù)，實現(xiàn)對城市資源的全面定位、跟蹤和管理。

3 代表性成果

1）聚焦復雜網(wǎng)絡(luò)演化中的非對稱信息傳遞機制研究，為網(wǎng)絡(luò)節(jié)點狀態(tài)變更策略、網(wǎng)絡(luò)節(jié)點合作博弈提供理論支撐。一篇論文入選ESI高被引。

2）與東南大學數(shù)學學院、江蘇省城市智能交通重點實驗室開展合作。針對基于深度學習的交通流量預(yù)測結(jié)果可解釋性差問題，采用多項式神經(jīng)網(wǎng)絡(luò)、季節(jié)自回歸、移動平均模型提出了短時交通量預(yù)測模型。實驗結(jié)果表明，該模型較LSTM等模型不僅具有較高的預(yù)測準確率，并且能夠解釋預(yù)測結(jié)果與輸入數(shù)據(jù)的時空因果關(guān)聯(lián)。

3）將復雜網(wǎng)絡(luò)演化理論應(yīng)用于軟件系統(tǒng)演化研究，將軟件代碼中的類（方法）抽象為節(jié)點，消息傳遞或控制路徑抽象為邊，解決了軟件服務(wù)關(guān)鍵節(jié)點挖掘、可信軟件服務(wù)節(jié)點評價、結(jié)構(gòu)信息驅(qū)動的軟件演化波及效應(yīng)分析等問題。

4）團隊成員參與云南省社會發(fā)展科技計劃項目、省院所技術(shù)開發(fā)研究專項等多個項目，在交通流量預(yù)測相關(guān)領(lǐng)域取得以下成果：①依托云南省運政大數(shù)據(jù)平臺-國際道路運輸綜合服務(wù)平臺，針對“十一黃金周”等典型時間節(jié)點出境路口交通流量短時預(yù)測問題，基于殘差網(wǎng)絡(luò)模型建立了預(yù)測系統(tǒng)部署于云南省交通廳生產(chǎn)環(huán)境。②基于交通流量實時監(jiān)測數(shù)據(jù)完成重大自然災(zāi)害下云南山區(qū)公路交通生命線應(yīng)急保障決策支持系統(tǒng)研發(fā)。

團隊注重學術(shù)交流，成員多次參加重要學術(shù)會議，以一流的視角挖掘科技前沿成果。

圖1 團隊學生參加學術(shù)會議

圖2 團隊合照