軟件學報最新期刊目錄

《軟件學報》投稿指南

摘要：<正>《軟件學報》是一本刊登計算機軟件各領域原創性研究成果的期刊,所刊登的論文均經過嚴格的同行專家評議.《軟件學報》主要面向全球華人計算機軟件學者,致力于創辦與世界計算機科學和軟件技術發展同步的以中文為主的“中文國際軟件學術期刊”,為全球華人同行提供學術交流平臺.《軟件學報》創刊于1990年,由中國科學院軟件研究所和中國計算機學會聯合主辦,已被EI Compendex,INSPEC,A...

《軟件學報》2026年專刊/專題出版計劃

摘要：<正>~

基于神經網絡的分布式追蹤數據壓縮和查詢方法————作者：王尚;張晨曦;彭鑫;

摘要：分布式追蹤數據作為一種重要的可觀測性數據,對性能分析、故障診斷、系統理解等運維任務起著至關重要的作用.由于系統規模和復雜性的快速增加,追蹤數據的規模愈發龐大,對存儲提出了更高的要求.為了降低追蹤數據的存儲成本,數據壓縮成為一種至關重要的方式.現有的壓縮方法無法充分利用追蹤的數據特征實現高效壓縮,而且不支持對壓縮數據的復雜查詢.提出了一種基于神經網絡的分布式追蹤數據壓縮和查詢方法.該方法采用一種新的...

衛星邊緣計算智能化技術研究進展————作者：張其陽;邢若粼;李元哲;周傲;徐夢煒;王尚廣;

摘要：近年來,隨著太空任務的日益復雜化,太空數據呈現爆炸式增長.然而,受限于星地鏈路帶寬限制和稀缺的頻譜資源,傳統彎管架構在星地數據傳輸中遭遇瓶頸.此外,星上數據必須等待衛星經過地面站上空才能下傳,而大規模建設地面站不僅成本高昂,還面臨地緣政治風險和經濟收益的不確定性.衛星邊緣計算作為一種有效的解決方案,通過在衛星邊緣引入移動邊緣計算技術,能夠顯著提升用戶體驗,同時有效減少網絡冗余流量.在軌處理星上原始...

面向編譯優化結果不一致的代碼高效定位————作者：于恒彪;易昕;范小康;唐滔;黃春;尹幫虎;王戟;

摘要：編譯器是程序開發人員最依賴的性能優化工具之一.然而,受限于浮點數有限精度編碼問題,很多編譯優化選項會改變浮點計算的語義,進而導致程序計算結果不一致.定位程序中導致編譯優化結果不一致的語句對于程序性能優化和結果可復現具有重要意義.當前最先進的方法 PLiner采用基于語句精度增強的二分搜索來定位導致編譯優化結果不一致的代碼段,受限于對多源問題代碼的定位支持不夠和搜索效率不高問題.提出一種浮點指令差異...

典型駕駛場景下接管績效預測及特征分析————作者：張楊楊;張浩;甘濤;冷昶;黃承超;張立軍;

摘要：隨著自動駕駛技術的快速發展,車輛控制權的接管問題成為研究的熱點.裝載輔助駕駛系統的汽車并不能完全處理所有的駕駛場景,當實際駕駛場景超出輔助系統的操作設計域時,仍需要人類駕駛員控制汽車以安全完成駕駛任務.接管績效是衡量駕駛員接管表現的重要指標,包括接管反應時間和接管質量兩個方面.接管反應時間是指系統發出接管請求后到駕駛員控制方向盤的時間開銷,接管反應時間長短不僅一定程度上反映了當前駕駛員的狀態,還對...

基于機器學習的開源軟件項目維護狀態識別————作者：羅詩雨;李馨蕾;羅俊韜;王新;張國鋒;陳陽;

摘要：隨著開源軟件的廣泛普及和迅速發展,對開源軟件項目的維護工作成為軟件開發周期中的一個關鍵環節.作為全球范圍內代表性的開發者社區, GitHub往往在同一領域有著大量功能相似的軟件項目倉庫,導致用戶在選擇合適的項目倉庫進行使用或進一步開發時面臨挑戰,因此協助用戶準確識別項目倉庫的維護狀態具有重要的現實意義.然而, GitHub平臺并未提供可以直接衡量項目倉庫維護狀態的信息.提出一個基于機器學習的項目倉...

面向RISC-V向量擴展的高性能算法庫優化方法————作者：韓柳彤;張洪濱;邢明杰;武延軍;趙琛;

摘要：高性能算法庫可以通過向量化的方式高效地利用單指令多數據(SIMD)硬件的能力,從而提升其在CPU上的執行性能.其中,向量化的實現需要使用目標SIMD硬件的特定編程方法,而不同SIMD擴展的編程模型和編程方法均存在較大差異.為了避免優化算法在不同平臺上的重復實現,提高算法庫的可維護性,在高性能算法庫的開發過程中通常需要引入硬件抽象層.由于目前主流SIMD擴展指令集均被設計為具有固定長度的向量寄存器,...

基于異構圖注意力網絡的實體對齊————作者：孫琛琛;金鈺媛;申德榮;聶鐵錚;寇月;

摘要：實體對齊(entity alignment, EA)旨在尋找不同知識圖譜(knowledge graph, KG)中等價實體.目前,基于嵌入的EA方法存在以下局限性.首先, KG中的異構結構沒有完全建模.其次,文本信息的使用受限于詞嵌入.第三,對齊推理算法缺乏探索.針對上述限制,提出基于異構圖注意力網絡的實體對齊方法 (heterogeneous graph attention network f...

最長公共子序列嵌入支持下的代碼相似性檢測————作者：弓媛君;黃建軍;游偉;石文昌;梁彬;邊攀;張健;

摘要：最長公共子序列(longest common subsequence, LCS)是一種衡量代碼相似度的可行指標.然而,經典LCS算法的時間復雜度較高,難以應對大型數據集,并且,由于代碼文本序列中的詞(token)本質為一種基于離散表示的編碼,直接使用LCS算法無法有效識別文本不同但語義相似的代碼片段中的關鍵語義.針對這兩方面的不足,提出一種面向LCS的嵌入方法,將代碼間的LCS計算轉換為代碼低維稠...

ReproLink:面向可復現性的科研數據管理系統————作者：黃小龍;楊婧如;柳熠;馬鄆;景翔;黃罡;

摘要：科研成果的可復現性是科學研究可靠性的基本保證,更是科學技術進步的基石.然而,當前學術界面臨著嚴峻的可復現性危機,大量在頂級期刊和會議上公開發表的科研成果無法復現.在數據科學領域,成果的可復現性面臨著科研數據多源異構、計算流程復雜、計算環境復雜等挑戰.針對這些問題,提出面向可復現性的科研數據管理系統ReproLink. ReproLink提出對科研數據的統一建模,將科研數據抽象為包含標識、屬性集、數...

Linux內核定時器并發錯誤檢測————作者：周多明;馬麟;周亞金;

摘要：定時器是操作系統延遲任務調度與執行的驅動器,具有運行在原子上下文和異步執行的特性,可以在任何時刻與不同的線程并發執行,如果開發人員不能考慮到所有多線程交錯的場景,則可能引入多種類型的并發錯誤,對操作系統安全產生嚴重威脅.定時器并發錯誤不僅涉及多線程交錯,還涉及定時器處理程序的延遲執行與重復調度,比普通的并發錯誤更難發現,目前還沒有工具可以有效地檢測此類錯誤.總結3種定時器并發錯誤類型,即定時器睡眠...

深度學習驅動的軟件漏洞預測:問題、進展與挑戰————作者：唐家昕;王璇;賴偉;路則雨;郭肇強;楊已彪;周毓明;

摘要：軟件漏洞是軟件中易于被攻擊利用的代碼片段,確保軟件不易受到攻擊是軟件開發中必須重視的安全性需求.軟件漏洞預測是指對軟件代碼進行分析預測,從而及時找出潛在的漏洞.深度學習驅動的軟件漏洞預測是近年來一個熱門的研究領域,時間跨度大、研究數目眾多、研究成果豐厚.為梳理相關研究成果、總結研究熱點,對2017–2024年間發表的151篇深度學習驅動的軟件漏洞預測相關的文獻進行綜述,總結相關文獻的研究問題、進展...

區塊鏈跨鏈協議IBC形式化分析————作者：魏秋陽;趙旭峰;朱雪陽;張文輝;盧奕函;

摘要：自從比特幣誕生以來,區塊鏈技術在許多領域產生了重大的影響.然而,異構、孤立的區塊鏈系統之間缺乏有效的通信機制,限制了區塊鏈生態的長遠發展.因此,跨鏈技術迅速發展并成為了新的研究熱點.由于區塊鏈的去中心化本質和跨鏈場景的復雜性,跨鏈技術面臨巨大的安全風險. IBC協議是目前最廣泛使用的跨鏈通信協議之一.對IBC協議進行形式化分析,以期幫助開發者更可靠地設計和實現跨鏈技術.使用基于時序邏輯的規約語言T...

隱式多尺度對齊與交互的文本-圖像行人重識別方法————作者：孫銳;杜云;陳龍;張旭東;

摘要：文本-圖像行人重識別旨在使用文本描述檢索圖像庫中的目標行人,該技術的主要挑戰在于將圖像和文本特征嵌入到共同的潛在空間中以實現跨模態對齊.現有的許多工作嘗試利用單獨預訓練的單峰模型來提取視覺和文本特征,再利用切分或者注意力機制來獲得顯式的跨模態對齊.然而,這些顯式對齊方法通常缺乏有效匹配多模態特征所需的底層對齊能力,并且使用預設的跨模態對應關系來實現顯式對齊可能會導致模態內信息失真.提出了一種隱式多...

RISC-V內存一致性模型的同地址順序一致性定理證明————作者：徐學政;楊德亨;王璐;王濤;黃安文;李瓊;

摘要：內存一致性模型定義了并行程序在多核系統中的訪存序約束,是軟硬件共同遵守的架構規范.同地址順序一致性是內存一致性模型的經典公理之一,它規定了多核系統中對于相同地址的所有訪存操作遵循順序一致性,被廣泛應用于X86/TSO、Power、ARM等經典架構的內存一致性模型中,在芯片內存一致性驗證及系統軟件和并行程序開發中發揮著重要作用. RISC-V作為開源的架構規范,其內存模型由全局訪存序、保留程序序以及...

面向深度漏洞檢測模型的黑盒對抗攻擊————作者：曲豫賓;黃松;陳翔;王興亞;李龍;王丹;姚永明;鞠小林;

摘要：近年來,基于深度學習的漏洞檢測模型展示了令人印象深刻的漏洞檢測能力.通過對源代碼的變量重命名實現擾動從而逃逸漏洞檢測模型的對抗攻擊已被廣泛研究,然而,能否通過對源代碼進行更多的擾動以提升對漏洞檢測模型對抗攻擊的效果并未被充分調研.采用針對源代碼的多種同義轉換算子對其進行擾動,并提出一種基于遺傳算法的組合優化策略,選擇一組適應度最高的源代碼同義轉換算子,以指導生成可以逃脫漏洞檢測的對抗代碼段.在一個...

基于毫米波的人體感知研究進展————作者：席瑞;張佳;孫一淼;何源;

摘要：隨著嵌入式技術、移動計算技術、物聯網等的快速發展和廣泛應用,越來越多的感知設備滲透到人們的日常生活中,例如智能手機、攝像頭、智能手環、智能路由器、耳機等,這些設備上的傳感器可以采集與人們的活動、健康、社交等息息相關的個人信息,催生了一類新的感知應用-以人為中心的感知(human-centric sensing).與傳統的感知方法,如可穿戴設備感知技術、計算機視覺感知技術、無線信號感知技術等相比,基...

大模型下的軟件質量保障專題前言————作者：王贊;王瑩;陳碧歡;姚遠;張敏靈;

摘要：<正>近年來,隨著深度學習技術的飛速發展,基于大規模預訓練的語言模型(large language model, LLM)在自然語言處理領域取得了前所未有的突破,并且在代碼生成、軟件測試、程序分析與優化等軟件工程任務中展現出強大的潛力與廣泛的應用前景.作為具備深度語義理解與生成能力的通用人工智能模型,大語言模型的崛起正在重新定義傳統的軟件質量保障方法,為軟件工程的自動化和智能化注入了新...

《軟件學報》投稿指南

摘要：<正>《軟件學報》是一本刊登計算機軟件各領域原創性研究成果的期刊,所刊登的論文均經過嚴格的同行專家評議.《軟件學報》主要面向全球華人計算機軟件學者,致力于創辦與世界計算機科學和軟件技術發展同步的以中文為主的“中文國際軟件學術期刊”,為全球華人同行提供學術交流平臺.《軟件學報》創刊于1990年,由中國科學院軟件研究所和中國計算機學會聯合主辦,已被EI Compendex,INSPEC,A...

　　軟件學報來自網友的投稿評論：

提交