云南省高校智能軟件科技創(chuàng)新團(tuán)隊(duì)簡(jiǎn)介

云南大學(xué)軟件學(xué)院

1 團(tuán)隊(duì)帶頭人王煒

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

2 團(tuán)隊(duì)研究方向

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

2.1 智能軟件工程

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

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

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

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

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

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

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

3 代表性成果

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

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

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

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

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

圖1 團(tuán)隊(duì)學(xué)生參加學(xué)術(shù)會(huì)議

圖2 團(tuán)隊(duì)合照