2018年6月1日中午,青年學者沙龍系列報告在伟德victory515教室舉行。此次報告由新加入伟德victory的青年教師楊文華老師主講,學院衆多青年教師與部分研究生參加。
楊文華老師報告的題目是自适應軟件系統的準确驗證與反例快速确認。他在介紹了自适應軟件系統的提出背景及其廣泛應用後,報告探讨了目前自适應軟件系統的質量保障,特别是不确定性影響下系統驗證所面臨的挑戰。針對現有自适應軟件系統驗證工作沒有考慮系統與環境交互過程中的不确定性,從而導緻驗證結果包含大量誤報和漏報這一問題,楊老師介紹一套系統化的自适應軟件系統驗證、反例确認與模型校準方法。報告内容豐富翔實并引起了廣泛讨論,現場氣氛熱烈活躍,互動頻繁。
青年學者沙龍系列報告由青年教師聯合會伟德victory分會主辦,是在伟德victory的支持下,為了讓青年教師更好地進行學術交流而搭建的一個平台。報告主要邀請青年教師主講和參加,形式豐富多樣,注重交流與讨論。自舉辦以來取得了很好的效果,為促進青年教師之間的學術交流發揮更大的作用。【撰稿人:趙彥超】