各省、自治區、直轄市統計局，新疆生產建設兵團統計局:
為準確反映城鄉建設發展進程，及時更新“統計用區劃代碼和城鄉劃分代碼庫”，更好地滿足各項統計調查需要，定于近期組織開展2021年度統計用區劃代碼和城鄉劃分代碼（以下稱“兩碼”）更新維護工作。現將有關事項通知如下：
一、總體要求
（一）提高思想認識。各地要嚴格執行《國務院關于統計上劃分城鄉規定的批復》（國函〔2008〕60號），按照《統計用區劃代碼和城鄉劃分代碼編制規則》（國統字〔2009〕91號）、《城鄉劃分質量控制辦法》（國統字〔2014〕64號）和《統計用區劃和城鄉劃分工作手冊（2019）》等有關文件要求，高標準做好“兩碼”的更新維護。
（二）加強組織領導。今年將正式啟用新的統計用區劃代碼和城鄉劃分管理系統（以下稱統計區域庫系統），各地要精心組織、扎實推進，明確責任分工，做好服務保障，確保統計區域庫系統穩定運行、“兩碼”更新維護工作順利開展。
（三）鼓勵方式創新。各地要開拓思路、積極探索，通過利用部門信息、影像圖信息、遙感信息等資料對長期未變動數據進行核查，切實提高“兩碼”質量。
二、工作內容及時間安排
（一）依據行政區劃和城鄉屬性變動情況，通過統計區域庫系統更新維護縣以下“兩碼”并報送有關變動情況說明材料。2021年度區劃調整和城鄉屬性變更的調查時期為2020年7月1日至2021年10月31日，更新維護期為2021年10月11日至11月19日。
（二）組織開展鄉級單位和村級單位名稱核查、各階段工作落實情況檢查和數據質量檢查。11月26日前完成本地區數據質量抽查，并于11月29日至12月3日在統計區域庫系統中填報有關城鄉劃分質量控制問卷。
（三）報送工作總結。及時總結城鄉劃分工作開展情況，提煉好經驗、好做法，于12月10日前將工作總結通過電子郵件報送國家統計局統計設計管理司。
三、其他事項
（一）統計區域庫系統培訓平臺網址：10.6.130.146/area，正式平臺網址：10.6.130.32/area。數據維護人員必須在培訓平臺充分練習后，再利用正式平臺更新維護“兩碼”。
（二）國家統計局擬于11月下旬起組織開展對部分地區“兩碼”工作的質量抽查。
聯系人：張儒，侯立本；
電話：，；
郵箱：。
國家統計局辦公室
2021年9月7日
CCF-華為胡楊林基金系統軟件專項 2022年資助項目開題報告研討會將于2022-08-26（周五）在華為蘇州研究所舉行
“CCF-華為胡楊林創新基金”是由華為與中國計算機學會聯合發起,致力于為海內外高校及科研院所的學者搭建產學研合作及學術交流的平臺。本次研討會邀請了獲得2022年“CCF-華為胡楊林創新基金”系統軟件專項資助的優秀學者進行項目開題及技術交流,旨在進一步明確項目的方案、技術與應用場景,加強學術界與工業界合作,促進基礎軟件研究和發展。
大會鏈接
黃大年茶思屋線上接入：
矚目/外部會議接入ID：
掃碼進入
論壇報告
4.1 題目：面向人工智能芯片的高效自動微分框架研究
項目摘要：隨著人工智能（AI）進入大模型與輕量級模型并存的時代，AI應用對算力的需求以遠超摩爾定律的方式在增加，催生了一系列架構各異的AI芯片。與此同時，研究人員對編程簡潔性和多功能性的要求日益提高。在這種形勢下，開發者對編程框架提出了新的需求：利用自動微分來生成AI應用中的梯度計算代碼。盡管已經有大量關于AI編程框架的研究工作，但是在自動微分等新型應用需求的支持、AI芯片算力的挖掘等方面仍面臨著諸多挑戰。開發人員在使用現有編程框架實現復雜的大型應用時，仍面臨著開發困難、性能欠佳等問題，這需要從編程范式、類型系統、編譯優化等方面進行新的思考。本研究將探索面向人工智能芯片的高效自動微分框架，從AI應用的可微分特性入手，構建可微分的多層次中間表示和類型系統，通過編譯優化技術釋放AI芯片的計算潛力，提升AI應用軟件的執行效率
個人簡介：李廣力，中國科學院計算技術研究所特別研究助理，在吉林大學獲得學士和碩士學位，在中國科學院大學獲得計算機系統結構博士學位。主要研究方向包括人工智能編程語言與框架、深度學習編譯器、神經網絡模型壓縮技術。在IEEE TCAD、ACM TACO、JSA、CGO、PACT、ICPP等高水平國際期刊和會議上發表論文20余篇。擔任中國計算機學會會刊《計算機科學》、IEEE匯刊TNNLS審稿人。
4.2 題目：基于細粒度優化選項配置差分的編譯器缺陷定位技術研究
項目摘要：編譯器是軟件構建的基石，準確定位編譯器中的缺陷對于構建高可信軟件產品具有重要意義。然而，由于編譯器系統龐大功能復雜，準確定位編譯器的缺陷有很大挑戰。為此，本研究擬基于編譯器提供的大量細粒度優化選項，構造隱藏缺陷和觸發缺陷的細粒度優化配置序列，以更小代價定位編譯優化類的缺陷，有效降低根因診斷與缺陷修復成本。
個人簡介：楊已彪，現任南京大學計算機科學與技術系特任副研究員，主要研究興趣包括軟件測試與分析、缺陷檢測與預測等。2016年9月博士畢業于南京大學計算機科學與技術系并榮獲江蘇省和南京大學優秀博士學位論文，畢業后于2016年9月至2019年8月在南京大學計算機系從事博士后研究。近年來，在ICSE、FSE、ASE等會議和TOSEM、TSE等期刊發表論文二十余篇，獲國家自然科學基金面上基金和青年基金、江蘇省自然科學青年基金和博士后科學基金特別資助等項目資助。
4.3 題目：數據驅動的JVM測試
項目摘要：JVM是Java程序運行的重要基石，其穩定性影響基于其運行的Java程序。與其他軟件缺陷不同，JVM缺陷會帶來更廣泛的影響。因此，保證JVM質量至關重要，其中JVM測試是保證JVM質量的最重要手段之一。本項目旨在生成具有強揭錯能力的測試程序并設計具有強捕錯能力的測試預言，以提升JVM測試效果。為了達到該目標，本項目擬采用數據驅動的方式，利用歷史揭錯測試程序的素材，結合新的程序上下文信息，通過深度學習技術支撐有效測試程序的合成，并對所生成程序的內部狀態進行充分探索以增強缺陷捕獲能力。該方法不僅測試廣泛使用的開源JVM（如：HotSpot和OpenJ9），也將集成，對華為國產JVM進行有效質量保證。
個人簡介：陳俊潔，天津大學智能與計算學部特聘研究員，軟件工程團隊負責人。研究方向主要為基礎軟件測試（如：編譯系統、操作系統、深度學習系統等測試與分析）以及在線服務系統智能運維。博士學位論文榮獲2019年度CCF優秀博士學位論文獎。近年共發表學術論文50余篇，其中CCF A類論文近40篇，獲得五項最佳論文獎（包括ASE 2019、ISSTA 2019 、FSE 2020、FSE 2021的ACM SIGSOFT Paper Award，以及ISSRE 2021的Best Paper Award）；擔任CCF-A類會議ASE 2021評審過程主席，研討會聯合主席，軟件學報專刊特邀編輯，以及FSE、ASE、ISSTA、ECOOP等頂級會議程序委員會成員
4.4 題目：SaferRW: Go語言程序的數據競爭靜態檢測分析技術研究
項目摘要：隨著大數據、分布式等技術的發展，并發程序的開發技術變得越來越重要。然而由于并發程序中代碼執行次序的不確定性，并發程序缺陷往往具有難調試、難復現的特點，由此所造成的損失也具有很大的不確定性。使用自動化方法檢測并發缺陷是一種常用且有效的途徑。Go語言是當前較為流行的一種并發程序編程語言，它采用了基于CSP的并發編程模型，使用信道進行協程之間的通信，與傳統基于鎖的并發編程相比，其更加簡單易用。然而，這樣的設計并沒有減少并發缺陷的產生，反而增長了產生并發缺陷的可能性。這是由于Go語言混用多種并發編程模式，且面向對象語法設計得不夠嚴謹，使得開發人員容易出錯。數據競爭是一類常見的并發缺陷。本項目我們希望針對Go語言的特性設計一個輕量的數據競爭靜態檢測算法，能夠兼顧分析速度和準確率，同時具有較好的用戶體驗。
個人簡介：葛季棟，副教授/博導。2007年獲南京大學博士學位，主要研究方向為自然語言處理與智能軟件工程、分布式計算與服務計算等。IEEE TMC、IEEE TPDS、IEEE/ACM TNET、IEEE/ACM TASLP、ACM TKDD、IEEE TSC、JASE、Inf. Sci.、JSS、JPDC、ComNet、FGCS、JNCA、ESA、ExpSys、JSEP、SCIS、計算機學報、軟件學報、電子學報等國內外期刊和ICSE、FSE、ASE、AAAI、EMNLP、IWQoS等重要國際會議上錄用和發表論文100余篇，其中SCI期刊論文36篇，CCF推薦A類會議/期刊論文12篇。研究成果工申請中國發明專利50項，其中已授權6項
4.5 題目：終端智能模型的安全威脅研究
項目摘要：深度學習模型已廣泛用于終端設備如手機、智能音箱、攝像頭等。但這些模型一旦部署在不受信任的設備中，就會遭受多種攻擊的威脅。本報告將介紹我們對 Android 應用中深度學習模型的安全風險研究。該工作設計了一套自動化的方法實現對現實世界中深度學習模型的安全評測，包括從 Android 應用中自動提取深度學習模型，捕獲模型的輸入和輸出，生成對抗樣本評測模型魯棒性。通過對 62,583 個Android應用程序進行分析，揭示了真實世界中深度學習模型所面臨的安全威脅和防御技術。
個人簡介：孟國柱 ，中國科學院信息工程研究所副研究員。2017年博士畢業于新加坡南洋理工大學，2018年加入中國科學院信息工程研究所擔任副研究員。曾獲2019年ACM中國SIGSAC科技新星。主要研究方向包括人工智能安全與隱私、移動安全分析和測試，在USENIX 、CCS、ICSE、FSE等國際CCF-A類期刊和會議上發表論文20余篇。主持了如科技創新2030-“新一代人工智能”重大項目子課題，國家自然科學基金青年項目，CCF-騰訊犀牛鳥等多項國家和省部級科研項目
4.6 題目：面向隱私計算的邊緣協同訓練新范式研究
項目摘要：萬物的泛在互聯和深度的人機交互產生了海量的邊緣數據，深度學習技術的發展更讓人們對數據共享所帶來的經濟和社會價值產生無限遐想。然而，數據隱私安全與數字經濟、智能技術發展之間的博弈與沖突正被推向風頭浪尖。各界都在積極探索、研發有效的數據隱私保護方案來促進邊緣數據的流通共享。本報告將瞄準異構數據海量、保護需求多樣、場景動態復雜、隱私認知差異等多個挑戰性問題，介紹隱私計算在邊緣智能場景下的研究工作，并以已有研究為基礎討論探索隱私安全性與協同可用性平衡的協同訓練新范式設計。
個人簡介：吳昊，南京大學計算機系助理研究員，主要研究方向為智能移動計算及其隱私安全。分別于2016年和2021年在南京大學獲得學士和博士學位，并獲得南京大學計算機科學與技術系優秀博士論文。現擔任第二屆大數據與隱私計算專委會委員，CCF系統軟件專業委員會通訊委員，“紫金山英才”棲霞先鋒計劃高層次創新創業人才。作為第一作者的論文發表在MobiCom，MobiSys,WWW,《計算機研究與發展》等國內外頂級學術會議和期刊上。現主持江蘇省自然科學基金青年基金項目1項。圍繞移動智能和隱私計算取得授權發明專利5項，部分專利技術進行落地轉化，獲得“贏在南京”大賽棲霞區第一名、創棲霞大賽三等獎
4.7 題目：基于歷史提交代碼與預生成模型混合驅動的開源漏洞挖掘方法
項目摘要：開源軟件是軟件產業健康發展的重要支撐，目前開源軟件漏洞是軟件供應鏈安全的重要威脅。本報告擬從開源漏洞數據集構建、靜態漏洞檢測和動態漏洞挖掘三方面面臨的問題入手，結合開源倉庫軟件歷史提交的漏洞信息以及預生成模型與導向變異測試，探討如何構建智能漏洞檢測系統，促進開源軟件的安全應用和健康發展。
個人簡介：湯戰勇，教授，博士生導師，西北大學國之頤睡眠健康研究中心主任,陜西省無源感知物聯網科技創新團隊核心成員。目前主要圍繞物聯網軟件與系統安全、無線感知識別與用戶認證展開研究，主持和參與各類國家重點研發計劃、國基金面上、省部級課題以及企業項目二十余項，相關成果在CCS、PLDI、NDSS、PACT、MOBICOM、INFOCOM、UBICOMP、SenSys以及TIFS、TOPS、TON等一流會議和期刊上發表，獲CCS'18和SenSys'19最佳論文提名。部分研究進入歐美等一流大學計算機課堂,不僅被英國泰晤士報、美國福布斯、新華社廣泛報道,而且在螞蟻集團、華為2012實驗室、騰訊等企業落地。獲陜西省科學技術二等獎,陜西省高等學校科學技術一等獎,ACM China新星獎(西安)
4.8 題目：新型通用輕量的灰色故障檢測定位和自適應恢復技術研究
項目摘要：隨著軟件系統規模的快速增長，故障越來越常見，故障類型也越來越多樣。其中一類灰色故障，由于其檢測時間長，癥狀神秘，后果嚴重，難以恢復等特征，給管理人員帶來極大的困擾。但是現有灰色故障的研究存在兩個主要缺陷：（1）缺乏通用輕量的故障定位能力。（2）缺乏灰色故障自愈能力。基于此，本項目計劃針對這兩個問題進行深入研究：（1）通過結合新穎的ebpf技術和基于傳播路徑的推理性根因定位的研究新思路，來設計通用輕量的灰色故障定位策略，（2）根據灰色故障類型設計自適應恢復策略來提供高效的故障恢復能力。
個人簡介：李詩逸，哈爾濱工業大學（深圳）助理研究員，博士畢業于華中科技大學計算機系統結構專業。主要研究方向為糾刪碼、亞健康、故障預測、容錯系統、故障自愈、可靠性、存儲系統、云計算，在USENIX ATC, TPDS, SRDS, ICPP等國際學術會議和期刊發表論文10余篇，并多次受邀進行成果匯報，擔任IEEE Trans.系列刊物和多個學術會議的審稿人。參加過多項國家重大項目（973/863/國家自然科學基金重點項目等）。曾在企業工作近6年，擔任架構師/首席可靠性專家/資深技術專家等職務，積累了豐富的工業界經歷。在企業期間一直從事可靠性相關技術的預研和產品化，設計實現了針對磁盤，內存、網絡等計算機組件和系統的生命周期管理（故障風險/檢測/預測/恢復）和AIOps創新技術。共申請專利30余項（已授權10項）。
4.9 題目：面向新介質的高性能高可靠文件系統
項目摘要：大數據的快速發展催生了各行業大數據資源的聚集，數據規模和數據處理能力間的矛盾日益嚴峻，傳統的文件系統架構越來越難以應對大數據處理對時效、性能方面的需求。新型持久內存的全新硬件特性正在顛覆現有存儲系統架構和系統軟件設計。然而，現有的持久內存文件系統未能充分發揮持久內存的硬件特性以有效提升其并發訪問性能。本研究擬基于EulerFS研究高并發數據一致性保護技術。在數據組織方面，采用雙向感知的方式對EulerFS文件數據的組織方式進行優化；在目錄項索引方面，設計雙層可擴展哈希和自適應目錄項更新技術動態應對不同大小的目錄項。基于此，實現高并發的文件和目錄訪問，突破文件系統的并發訪問性能瓶頸，滿足上層應用的性能需求。
個人簡介：鄭圣安，上海交通大學電子信息與電氣工程學院長聘教軌助理教授。主要研究方向為持久內存、文件系統和分布式系統。2014年和2019年分別在上海交通大學計算機系取得學士和博士學位，曾在美國加州大學圣地亞哥分校和清華大學分別進行公派聯合培養和博士后工作。在FAST、VLDB、DAC、TPDS等國內外高水平會議和期刊上發表系統軟件領域論文二十余篇，擔任ACM TOS、IEEE TPDS、TC、JPDC、SoCC等國際期刊和會議的審稿人。主持上海市自然科學基金面上項目、博士后基金面上項目，并以骨干成員身份參與國家重點研發計劃、國家863計劃等多項國家級項目，相關研究成果獲2020年上海市技術發明獎一等獎。
4.10 題目：面向數據訪問特征感知的通用“數據流大腦”技術研究
項目摘要：隨著大數據時代的來臨，現代計算機系統從傳統的“算存一體化”形態逐漸向“算存分離”和“存存分離”的新形態演化，比如我國近期啟動的“東數西算”工程，以及基于虛擬文件系統的分解式存儲平臺等。盡管“算存分離”和“存存分離”可以支撐更大的存儲空間以及更高的資源利用率，但是也帶來了更強的運維調優需求。比如，超大空間或者跨網絡的數據讀取效率往往較低，需要通過緩存預取和冷熱識別替換等優化機制來加速數據訪問。為了高效靈活地支撐各類運維調優機制，本項目擬開發出一個以數據流特征實時感知為核心的通用軟件模塊——數據流大腦。該數據流大腦本質上是計算側和存儲側之間的一個中間層，將來自計算側的實時訪問行為進行自動分流建模，并將這些訪問流信息通過通用接口提供給預取、替換等運維調優機制。與已有技術相比，這種獨立的數據流大腦設計對上層應用透明，對下層硬件通用，同時也能提供準確的數據流整合，可以很好地規避因集成異構或分散的存儲資源而造成的性能損失。
個人簡介：陳晨，上海交通大學電子信息與電氣工程學院長聘教軌副教授。2014年在清華大學獲得學士學位，2018年在香港科技大學取得計算機博士學位。以分布式系統為主要研究方向，創新成果涵蓋云計算調度、機器學習系統、存儲緩存優化等多個子領域，在SoCC，INFOCOM, SC, ICDCS, TCC等相關方向的著名會議期刊上發表論文十余篇。曾在華為香港研究中心從事產品研發工作，期間取得1項華為高潛專利，3次創新先鋒榮譽獎勵
4.11 題目：面向鴻蒙操作系統的跨設備系統關鍵技術研究
項目摘要：在過去的十余年中，智能終端得到了快速的發展，每人擁有或者每家庭擁有的智能終端越來越多，包括智能手機、智能音箱、智慧大屏、智慧空調。而這些終端之間實現高質量、用戶友好的跨設備交互是目前智能終端發展的重要發展方向。華為鴻蒙操作系統作為目前最為廣泛的一類消費終端分布式操作系統在這一領域表現突出。本項目，我們針對華為鴻蒙操作系統展開多方面技術研究。具體來說，我們將從三個方面展開課題研究：1）研究跨設備的分布式文件系統優化，實現跨設備文件的友好訪問能力；2）研究跨設備的任務沖突優化，實現多設備交互時多任務的沖突感知調度；3）研究跨設備的快速喚醒與快速連接技術，實現跨設備的低功耗和高速互聯的能力。預期通過本項目將進一步推動鴻蒙操作系統在跨設備場景下的友好部署。
個人簡介：石亮，華東師范大學教授，上海市啟明星計劃入選者。中國科學技術大學和香港城市大學聯合博士學位，香港城市大學博士后。主要研究方向為操作系統、存儲系統和分布式系統。研究工作獲得多項國家自然科學基金、上海市科技項目、企業合作項目的資助，研究成果發表在包括FAST、ATC、MICRO、DAC、TC、TCAD等系統結構領域的國際會議和期刊，并獲得NVMSA 2015最佳論文獎、最佳論文提名獎、華為上研所2020年和2021年優秀技術成果獎。擔任DAC、CODES、ASPDAC、NVMSA等國際會議的評審委員會委員。在嵌入式領域國際頂級會議連續多年組織存儲與內存計算國際研討會議。2013年來，連續9年講授《操作系統》課程。
4.12 題目：面向異構內存的可靠管理關鍵技術研究
項目摘要：為了滿足日益增長的內存容量需求，內存生產技術和內存生產工藝獲得快速發展，但同時也帶來內存出錯率的大大提升。同時由于不同廠商的成產工藝差異，不同廠商生產的DRAM芯片導致的系統出錯概率存在巨大差異。內存錯誤，尤其是不可更改錯誤的產生（ error, UCE）嚴重影響系統的可靠性。為了在提高系統可靠性同時保證系統性能。異構內存架構已被廣泛應用于服務器、數 據中心等大型計算平臺當中。異構內存中往往同時包含性能較低但可靠性高的內存介質，和性能較高但可靠性低內存介質。本研究針對此異構內存架構擬，通過靜態分析與動態運行時內存管理相結合的手段設計高效可靠的內存管理機制，合理利用不同內存介質，在實現系統可靠性的同時，保證系統的運行效率。
個人簡介：張偉，山東大學副研究員，2021年畢業于香港理工大學計算機系，獲博士學位。主要研究方向包括實時嵌入式系統設計、分析、與優化以及面向無源物聯網的操作系統設計。先后擔任多個國際會議程序委員會成員，近五年以第一作者發表包括DAC、RTAS、EMSOFT、TCAD在內的CCF-A/B類會議期刊論文數十篇。CCF系統軟件專委、嵌入式專委委員。曾參與華為LiteOS-內核的設計與開發工作。承擔面向航天領域的國產實時操作系統可靠性分析等項目。