青春草视频,99电影网,亚洲一区二区欧一,特黄A级毛片免费

2021 CCF中國軟件大會今日盛大開幕，首日24場并行論壇精彩紛呈！

來源：西電計(jì)算機(jī)科學(xué)與技術(shù)學(xué)院

發(fā)布時間：2021年12月24日

本年度CCF中國軟件大會（CCF ChinaSoft）由中國計(jì)算機(jī)學(xué)會（CCF）主辦，CCF軟件工程專委會、系統(tǒng)軟件專委會、形式化方法專委會、西安電子科技大學(xué)承辦，西安電子科技大學(xué)計(jì)算機(jī)科學(xué)與技術(shù)學(xué)院（國家示范性軟件學(xué)院）具體落實(shí)。大會由全國軟件與應(yīng)用學(xué)術(shù)會議（NASAC）與全國形式化方法與應(yīng)用會議（FMAC）兩個會議有機(jī)組成。今年是CCF中國軟件大會自NASAC會議召開起的20周年，CCF三個專委會與承辦單位均全力以赴，做好了會議召開的準(zhǔn)備。與此同時，因?yàn)槿珖糠值貐^(qū)與舉辦地西安市受到新冠疫情的影響，組委會對大會召開模式進(jìn)行了應(yīng)對性調(diào)整。調(diào)整后3天的大會活動安排為，12月24-25日通過線上的方式進(jìn)行，所有分論壇都安排在這兩天進(jìn)行，12月26日在北京友誼賓館設(shè)立線下會場，同時通過線上直播平臺全程直播。

2021年12月24日，CCF中國軟件大會（CCF ChinaSoft）正式開幕，作為大會會期（12月24日~26日）首日，主要進(jìn)行各項(xiàng)論壇活動，包括頂會頂刊論壇、優(yōu)秀博士生論壇、百答論壇、微服務(wù)與智能運(yùn)維論壇等21個開放性論壇，以及軟件眾測論壇和CCF系統(tǒng)軟件專委會年會兩個閉門會議，涵蓋?？愓搲W(xué)術(shù)類論壇、工業(yè)類論壇與教育類論壇等四大類論壇活動。專刊類論壇主要包括大會設(shè)立的面向廣大師生征稿的論壇，學(xué)術(shù)類論壇主要指由各位軟件領(lǐng)域同行發(fā)起，邀請領(lǐng)域內(nèi)知名專家學(xué)者就相關(guān)學(xué)術(shù)問題給予報(bào)告的論壇，工業(yè)類論壇主要是工業(yè)界同行發(fā)起的，面向企業(yè)界實(shí)際相關(guān)問題的論壇活動，教育類論壇主要包括各位老師發(fā)起的旨在探討軟件工程、系統(tǒng)軟件、形式化方法相關(guān)領(lǐng)域教育教學(xué)問題的論壇。

組委會提供了多種線上參會方式，包括騰訊會議室、B站直播間、線上直播平臺等。24日大會吸引了國內(nèi)外軟件工程相關(guān)領(lǐng)域師生與從業(yè)人員的廣泛參與，當(dāng)天上午與下午各論壇的騰訊會議室同時在線人數(shù)均接近或超過1000人，B站直播間同時在線人數(shù)均接近或超過2萬人，線上直播平臺同時在線人數(shù)均接近或超過1.5萬人。當(dāng)天累計(jì)騰訊會議室在線參會人數(shù)超過2000人，B站直播間累計(jì)在線人數(shù)超過4.4萬人，線上直播平臺累計(jì)在線人數(shù)超過4萬人，全天合計(jì)超過8.7萬人。

24日上午進(jìn)行了頂會頂刊論壇、定理證明理論與應(yīng)用論壇、嵌入式操作系統(tǒng)論壇、系統(tǒng)軟件教研論壇等12個論壇活動。?？愓搲?，智能化軟件與軟件控制論論壇中，各位參會作者圍繞新一代信息技術(shù)下的軟件系統(tǒng)智能化控制問題匯報(bào)了自己的論文工作。定理證明理論與應(yīng)用論壇圍繞定理證明及相關(guān)領(lǐng)域的突破性技術(shù)、關(guān)鍵理論和重要應(yīng)用展開。系統(tǒng)軟件安全論壇的研究論文關(guān)注系統(tǒng)軟件風(fēng)險(xiǎn)、缺陷和漏洞的挖掘、檢測、利用、評估、管理、修復(fù)、緩解和防御等技術(shù)方法。深度學(xué)習(xí)在開源軟件中的應(yīng)用和實(shí)踐論壇中，各位作者就深度學(xué)習(xí)技術(shù)在開源軟件生態(tài)中的應(yīng)用展開研究工作。領(lǐng)域軟件工程論壇關(guān)注工業(yè)軟件、科學(xué)計(jì)算軟件、高性能計(jì)算軟件、智能軟件、區(qū)塊鏈軟件等領(lǐng)域軟件開發(fā)過程中所面臨的挑戰(zhàn)、取得的成果及實(shí)踐應(yīng)用前景。面向人工智能的推薦系統(tǒng)前沿研究論壇中，參會作者們圍繞推薦系統(tǒng)中的特征表示與產(chǎn)業(yè)應(yīng)用匯報(bào)了自己的研究工作。

學(xué)術(shù)類論壇中，頂會頂刊論壇聚焦軟件相關(guān)領(lǐng)域研究熱點(diǎn)和最新研究進(jìn)展，邀請了多位優(yōu)秀學(xué)者介紹研究工作并傳授科研經(jīng)驗(yàn)。優(yōu)秀博士生論壇以優(yōu)秀博士生學(xué)術(shù)報(bào)告和交流為主，同時發(fā)揮導(dǎo)師和工業(yè)界專家的指導(dǎo)作用，幫助博士生同學(xué)們開闊視野，提高創(chuàng)新能力。軟件供應(yīng)鏈理論與實(shí)踐論壇匯集了軟件供應(yīng)鏈落地實(shí)踐及與人工智能融合方法等的發(fā)展趨勢和潮流。工業(yè)類論壇中，嵌入式操作系統(tǒng)論壇聚焦國產(chǎn)操作系統(tǒng)理論前沿和產(chǎn)業(yè)生態(tài)的最新研究進(jìn)展，各位報(bào)告人深度解析了國內(nèi)外嵌入式操作系統(tǒng)軟件的發(fā)展現(xiàn)狀與趨勢。華為-CCF專委會創(chuàng)新論壇上，各位獲得“CCF-華為胡楊林創(chuàng)新基金”的優(yōu)秀學(xué)者，圍繞軟件相關(guān)理論研究、工具成果和行業(yè)實(shí)踐應(yīng)用交流了研究工作。教育類論壇中，系統(tǒng)軟件教研論壇邀請了軟件相關(guān)領(lǐng)域的高校教師和業(yè)界專家主要圍繞編譯器相關(guān)教育教學(xué)問題進(jìn)行了報(bào)告分享和交流研討，并進(jìn)行了關(guān)于課程改革與系統(tǒng)軟件類競賽活動的圓桌討論。

24日下午，頂會頂刊論壇、系統(tǒng)軟件教研論壇與華為-CCF專委會創(chuàng)新論壇繼續(xù)進(jìn)行，百答論壇、微服務(wù)與智能運(yùn)維論壇等9個論壇也同步開始。論文?？愓搲?，微服務(wù)與智能運(yùn)維論壇聚焦業(yè)界和學(xué)術(shù)界關(guān)于微服務(wù)等的研究與實(shí)踐最新發(fā)展；面向AI計(jì)算能耗調(diào)控的系統(tǒng)軟件方法與技術(shù)論壇聚焦AI計(jì)算系統(tǒng)軟件效能的重大突破和具有創(chuàng)新性、影響力的高水平研究成果；形式化方法與應(yīng)用論壇圍繞形式化方法基礎(chǔ)理論、技術(shù)、支持工具以及領(lǐng)域應(yīng)用等展開；智能系統(tǒng)分析和驗(yàn)證論壇關(guān)注智能系統(tǒng)的安全內(nèi)涵與可解釋性、形式化驗(yàn)證等及在軟件工程中的應(yīng)用。學(xué)術(shù)類論壇中，百答論壇邀請到了軟件領(lǐng)域知名專家、學(xué)者為相關(guān)領(lǐng)域的參會人員進(jìn)行不同方面的答疑解惑；人機(jī)物系統(tǒng)的建模理論與軟件定義方法論壇聚焦人機(jī)物三元融合系統(tǒng)的計(jì)算、資源管理等方面的建模理論與方法。工業(yè)類論壇中，電子設(shè)計(jì)自動化軟件驗(yàn)證論壇聚焦國內(nèi)芯片驗(yàn)證軟件最新行業(yè)進(jìn)展和理論前沿，深度解析了我國電子設(shè)計(jì)自動化軟件形式化驗(yàn)證領(lǐng)域現(xiàn)狀；高可信嵌入式軟件工程技術(shù)論壇聚焦國家重大工程中嵌入式軟件的發(fā)展趨勢、案例、科學(xué)問題和挑戰(zhàn)。教育類論壇中，計(jì)算機(jī)軟件通識教育論壇邀請了國內(nèi)多位知名專家與教育組織管理者，分享了在計(jì)算機(jī)軟件通識教育的理念、機(jī)制與舉措。

會議期間，參會代表們就報(bào)告嘉賓、專家學(xué)者的成果與見解等展開了熱烈的交流與討論，并針對各領(lǐng)域?qū)W術(shù)和產(chǎn)業(yè)面臨的難題、挑戰(zhàn)以及未來前景發(fā)表了自己的看法。

為保障線上會議的順利進(jìn)行，組委會協(xié)同會務(wù)公司成立了大會保障組，搭建了高質(zhì)量的網(wǎng)絡(luò)直播與接入平臺，保障組教師與志愿者全時段保障網(wǎng)絡(luò)環(huán)境與設(shè)備，確保了各論壇線上的順利開展。

西電計(jì)算機(jī)科學(xué)與技術(shù)學(xué)院