軟件學(xué)報(bào)最新期刊目錄

《軟件學(xué)報(bào)》投稿指南

摘要：<正>《軟件學(xué)報(bào)》是一本刊登計(jì)算機(jī)軟件各領(lǐng)域原創(chuàng)性研究成果的期刊,所刊登的論文均經(jīng)過(guò)嚴(yán)格的同行專(zhuān)家評(píng)議.《軟件學(xué)報(bào)》主要面向全球華人計(jì)算機(jī)軟件學(xué)者,致力于創(chuàng)辦與世界計(jì)算機(jī)科學(xué)和軟件技術(shù)發(fā)展同步的以中文為主的“中文國(guó)際軟件學(xué)術(shù)期刊”,為全球華人同行提供學(xué)術(shù)交流平臺(tái).《軟件學(xué)報(bào)》創(chuàng)刊于1990年,由中國(guó)科學(xué)院軟件研究所和中國(guó)計(jì)算機(jī)學(xué)會(huì)聯(lián)合主辦,已被EI Compendex,INSPEC,A...

《軟件學(xué)報(bào)》2026年專(zhuān)刊/專(zhuān)題出版計(jì)劃

摘要：<正>~

基于神經(jīng)網(wǎng)絡(luò)的分布式追蹤數(shù)據(jù)壓縮和查詢(xún)方法————作者：王尚;張晨曦;彭鑫;

摘要：分布式追蹤數(shù)據(jù)作為一種重要的可觀測(cè)性數(shù)據(jù),對(duì)性能分析、故障診斷、系統(tǒng)理解等運(yùn)維任務(wù)起著至關(guān)重要的作用.由于系統(tǒng)規(guī)模和復(fù)雜性的快速增加,追蹤數(shù)據(jù)的規(guī)模愈發(fā)龐大,對(duì)存儲(chǔ)提出了更高的要求.為了降低追蹤數(shù)據(jù)的存儲(chǔ)成本,數(shù)據(jù)壓縮成為一種至關(guān)重要的方式.現(xiàn)有的壓縮方法無(wú)法充分利用追蹤的數(shù)據(jù)特征實(shí)現(xiàn)高效壓縮,而且不支持對(duì)壓縮數(shù)據(jù)的復(fù)雜查詢(xún).提出了一種基于神經(jīng)網(wǎng)絡(luò)的分布式追蹤數(shù)據(jù)壓縮和查詢(xún)方法.該方法采用一種新的...

衛(wèi)星邊緣計(jì)算智能化技術(shù)研究進(jìn)展————作者：張其陽(yáng);邢若粼;李元哲;周傲;徐夢(mèng)煒;王尚廣;

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

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

摘要：編譯器是程序開(kāi)發(fā)人員最依賴(lài)的性能優(yōu)化工具之一.然而,受限于浮點(diǎn)數(shù)有限精度編碼問(wèn)題,很多編譯優(yōu)化選項(xiàng)會(huì)改變浮點(diǎn)計(jì)算的語(yǔ)義,進(jìn)而導(dǎo)致程序計(jì)算結(jié)果不一致.定位程序中導(dǎo)致編譯優(yōu)化結(jié)果不一致的語(yǔ)句對(duì)于程序性能優(yōu)化和結(jié)果可復(fù)現(xiàn)具有重要意義.當(dāng)前最先進(jìn)的方法 PLiner采用基于語(yǔ)句精度增強(qiáng)的二分搜索來(lái)定位導(dǎo)致編譯優(yōu)化結(jié)果不一致的代碼段,受限于對(duì)多源問(wèn)題代碼的定位支持不夠和搜索效率不高問(wèn)題.提出一種浮點(diǎn)指令差異...

典型駕駛場(chǎng)景下接管績(jī)效預(yù)測(cè)及特征分析————作者：張楊楊;張浩;甘濤;冷昶;黃承超;張立軍;

摘要：隨著自動(dòng)駕駛技術(shù)的快速發(fā)展,車(chē)輛控制權(quán)的接管問(wèn)題成為研究的熱點(diǎn).裝載輔助駕駛系統(tǒng)的汽車(chē)并不能完全處理所有的駕駛場(chǎng)景,當(dāng)實(shí)際駕駛場(chǎng)景超出輔助系統(tǒng)的操作設(shè)計(jì)域時(shí),仍需要人類(lèi)駕駛員控制汽車(chē)以安全完成駕駛?cè)蝿?wù).接管績(jī)效是衡量駕駛員接管表現(xiàn)的重要指標(biāo),包括接管反應(yīng)時(shí)間和接管質(zhì)量?jī)蓚�(gè)方面.接管反應(yīng)時(shí)間是指系統(tǒng)發(fā)出接管請(qǐng)求后到駕駛員控制方向盤(pán)的時(shí)間開(kāi)銷(xiāo),接管反應(yīng)時(shí)間長(zhǎng)短不僅一定程度上反映了當(dāng)前駕駛員的狀態(tài),還對(duì)...

基于機(jī)器學(xué)習(xí)的開(kāi)源軟件項(xiàng)目維護(hù)狀態(tài)識(shí)別————作者：羅詩(shī)雨;李馨蕾;羅俊韜;王新;張國(guó)鋒;陳陽(yáng);

摘要：隨著開(kāi)源軟件的廣泛普及和迅速發(fā)展,對(duì)開(kāi)源軟件項(xiàng)目的維護(hù)工作成為軟件開(kāi)發(fā)周期中的一個(gè)關(guān)鍵環(huán)節(jié).作為全球范圍內(nèi)代表性的開(kāi)發(fā)者社區(qū), GitHub往往在同一領(lǐng)域有著大量功能相似的軟件項(xiàng)目倉(cāng)庫(kù),導(dǎo)致用戶(hù)在選擇合適的項(xiàng)目倉(cāng)庫(kù)進(jìn)行使用或進(jìn)一步開(kāi)發(fā)時(shí)面臨挑戰(zhàn),因此協(xié)助用戶(hù)準(zhǔn)確識(shí)別項(xiàng)目倉(cāng)庫(kù)的維護(hù)狀態(tài)具有重要的現(xiàn)實(shí)意義.然而, GitHub平臺(tái)并未提供可以直接衡量項(xiàng)目倉(cāng)庫(kù)維護(hù)狀態(tài)的信息.提出一個(gè)基于機(jī)器學(xué)習(xí)的項(xiàng)目倉(cāng)...

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

摘要：高性能算法庫(kù)可以通過(guò)向量化的方式高效地利用單指令多數(shù)據(jù)(SIMD)硬件的能力,從而提升其在CPU上的執(zhí)行性能.其中,向量化的實(shí)現(xiàn)需要使用目標(biāo)SIMD硬件的特定編程方法,而不同SIMD擴(kuò)展的編程模型和編程方法均存在較大差異.為了避免優(yōu)化算法在不同平臺(tái)上的重復(fù)實(shí)現(xiàn),提高算法庫(kù)的可維護(hù)性,在高性能算法庫(kù)的開(kāi)發(fā)過(guò)程中通常需要引入硬件抽象層.由于目前主流SIMD擴(kuò)展指令集均被設(shè)計(jì)為具有固定長(zhǎng)度的向量寄存器,...

基于異構(gòu)圖注意力網(wǎng)絡(luò)的實(shí)體對(duì)齊————作者：孫琛琛;金鈺媛;申德榮;聶鐵錚;寇月;

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

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

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

ReproLink:面向可復(fù)現(xiàn)性的科研數(shù)據(jù)管理系統(tǒng)————作者：黃小龍;楊婧如;柳熠;馬鄆;景翔;黃罡;

摘要：科研成果的可復(fù)現(xiàn)性是科學(xué)研究可靠性的基本保證,更是科學(xué)技術(shù)進(jìn)步的基石.然而,當(dāng)前學(xué)術(shù)界面臨著嚴(yán)峻的可復(fù)現(xiàn)性危機(jī),大量在頂級(jí)期刊和會(huì)議上公開(kāi)發(fā)表的科研成果無(wú)法復(fù)現(xiàn).在數(shù)據(jù)科學(xué)領(lǐng)域,成果的可復(fù)現(xiàn)性面臨著科研數(shù)據(jù)多源異構(gòu)、計(jì)算流程復(fù)雜、計(jì)算環(huán)境復(fù)雜等挑戰(zhàn).針對(duì)這些問(wèn)題,提出面向可復(fù)現(xiàn)性的科研數(shù)據(jù)管理系統(tǒng)ReproLink. ReproLink提出對(duì)科研數(shù)據(jù)的統(tǒng)一建模,將科研數(shù)據(jù)抽象為包含標(biāo)識(shí)、屬性集、數(shù)...

Linux內(nèi)核定時(shí)器并發(fā)錯(cuò)誤檢測(cè)————作者：周多明;馬麟;周亞金;

摘要：定時(shí)器是操作系統(tǒng)延遲任務(wù)調(diào)度與執(zhí)行的驅(qū)動(dòng)器,具有運(yùn)行在原子上下文和異步執(zhí)行的特性,可以在任何時(shí)刻與不同的線程并發(fā)執(zhí)行,如果開(kāi)發(fā)人員不能考慮到所有多線程交錯(cuò)的場(chǎng)景,則可能引入多種類(lèi)型的并發(fā)錯(cuò)誤,對(duì)操作系統(tǒng)安全產(chǎn)生嚴(yán)重威脅.定時(shí)器并發(fā)錯(cuò)誤不僅涉及多線程交錯(cuò),還涉及定時(shí)器處理程序的延遲執(zhí)行與重復(fù)調(diào)度,比普通的并發(fā)錯(cuò)誤更難發(fā)現(xiàn),目前還沒(méi)有工具可以有效地檢測(cè)此類(lèi)錯(cuò)誤.總結(jié)3種定時(shí)器并發(fā)錯(cuò)誤類(lèi)型,即定時(shí)器睡眠...

深度學(xué)習(xí)驅(qū)動(dòng)的軟件漏洞預(yù)測(cè):問(wèn)題、進(jìn)展與挑戰(zhàn)————作者：唐家昕;王璇;賴(lài)偉;路則雨;郭肇強(qiáng);楊已彪;周毓明;

摘要：軟件漏洞是軟件中易于被攻擊利用的代碼片段,確保軟件不易受到攻擊是軟件開(kāi)發(fā)中必須重視的安全性需求.軟件漏洞預(yù)測(cè)是指對(duì)軟件代碼進(jìn)行分析預(yù)測(cè),從而及時(shí)找出潛在的漏洞.深度學(xué)習(xí)驅(qū)動(dòng)的軟件漏洞預(yù)測(cè)是近年來(lái)一個(gè)熱門(mén)的研究領(lǐng)域,時(shí)間跨度大、研究數(shù)目眾多、研究成果豐厚.為梳理相關(guān)研究成果、總結(jié)研究熱點(diǎn),對(duì)2017–2024年間發(fā)表的151篇深度學(xué)習(xí)驅(qū)動(dòng)的軟件漏洞預(yù)測(cè)相關(guān)的文獻(xiàn)進(jìn)行綜述,總結(jié)相關(guān)文獻(xiàn)的研究問(wèn)題、進(jìn)展...

區(qū)塊鏈跨鏈協(xié)議IBC形式化分析————作者：魏秋陽(yáng);趙旭峰;朱雪陽(yáng);張文輝;盧奕函;

摘要：自從比特幣誕生以來(lái),區(qū)塊鏈技術(shù)在許多領(lǐng)域產(chǎn)生了重大的影響.然而,異構(gòu)、孤立的區(qū)塊鏈系統(tǒng)之間缺乏有效的通信機(jī)制,限制了區(qū)塊鏈生態(tài)的長(zhǎng)遠(yuǎn)發(fā)展.因此,跨鏈技術(shù)迅速發(fā)展并成為了新的研究熱點(diǎn).由于區(qū)塊鏈的去中心化本質(zhì)和跨鏈場(chǎng)景的復(fù)雜性,跨鏈技術(shù)面臨巨大的安全風(fēng)險(xiǎn). IBC協(xié)議是目前最廣泛使用的跨鏈通信協(xié)議之一.對(duì)IBC協(xié)議進(jìn)行形式化分析,以期幫助開(kāi)發(fā)者更可靠地設(shè)計(jì)和實(shí)現(xiàn)跨鏈技術(shù).使用基于時(shí)序邏輯的規(guī)約語(yǔ)言T...

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

摘要：文本-圖像行人重識(shí)別旨在使用文本描述檢索圖像庫(kù)中的目標(biāo)行人,該技術(shù)的主要挑戰(zhàn)在于將圖像和文本特征嵌入到共同的潛在空間中以實(shí)現(xiàn)跨模態(tài)對(duì)齊.現(xiàn)有的許多工作嘗試?yán)�用單�?dú)預(yù)訓(xùn)練的單峰模型來(lái)提取視覺(jué)和文本特征,再利用切分或者注意力機(jī)制來(lái)獲得顯式的跨模態(tài)對(duì)齊.然而,這些顯式對(duì)齊方法通常缺乏有效匹配多模態(tài)特征所需的底層對(duì)齊能力,并且使用預(yù)設(shè)的跨模態(tài)對(duì)應(yīng)關(guān)系來(lái)實(shí)現(xiàn)顯式對(duì)齊可能會(huì)導(dǎo)致模態(tài)內(nèi)信息失真.提出了一種隱式多...

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

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

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

摘要：近年來(lái),基于深度學(xué)習(xí)的漏洞檢測(cè)模型展示了令人印象深刻的漏洞檢測(cè)能力.通過(guò)對(duì)源代碼的變量重命名實(shí)現(xiàn)擾動(dòng)從而逃逸漏洞檢測(cè)模型的對(duì)抗攻擊已被廣泛研究,然而,能否通過(guò)對(duì)源代碼進(jìn)行更多的擾動(dòng)以提升對(duì)漏洞檢測(cè)模型對(duì)抗攻擊的效果并未被充分調(diào)研.采用針對(duì)源代碼的多種同義轉(zhuǎn)換算子對(duì)其進(jìn)行擾動(dòng),并提出一種基于遺傳算法的組合優(yōu)化策略,選擇一組適應(yīng)度最高的源代碼同義轉(zhuǎn)換算子,以指導(dǎo)生成可以逃脫漏洞檢測(cè)的對(duì)抗代碼段.在一個(gè)...

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

摘要：隨著嵌入式技術(shù)、移動(dòng)計(jì)算技術(shù)、物聯(lián)網(wǎng)等的快速發(fā)展和廣泛應(yīng)用,越來(lái)越多的感知設(shè)備滲透到人們的日常生活中,例如智能手機(jī)、攝像頭、智能手環(huán)、智能路由器、耳機(jī)等,這些設(shè)備上的傳感器可以采集與人們的活動(dòng)、健康、社交等息息相關(guān)的個(gè)人信息,催生了一類(lèi)新的感知應(yīng)用-以人為中心的感知(human-centric sensing).與傳統(tǒng)的感知方法,如可穿戴設(shè)備感知技術(shù)、計(jì)算機(jī)視覺(jué)感知技術(shù)、無(wú)線信號(hào)感知技術(shù)等相比,基...

大模型下的軟件質(zhì)量保障專(zhuān)題前言————作者：王贊;王瑩;陳碧歡;姚遠(yuǎn);張敏靈;

摘要：<正>近年來(lái),隨著深度學(xué)習(xí)技術(shù)的飛速發(fā)展,基于大規(guī)模預(yù)訓(xùn)練的語(yǔ)言模型(large language model, LLM)在自然語(yǔ)言處理領(lǐng)域取得了前所未有的突破,并且在代碼生成、軟件測(cè)試、程序分析與優(yōu)化等軟件工程任務(wù)中展現(xiàn)出強(qiáng)大的潛力與廣泛的應(yīng)用前景.作為具備深度語(yǔ)義理解與生成能力的通用人工智能模型,大語(yǔ)言模型的崛起正在重新定義傳統(tǒng)的軟件質(zhì)量保障方法,為軟件工程的自動(dòng)化和智能化注入了新...

《軟件學(xué)報(bào)》投稿指南

摘要：<正>《軟件學(xué)報(bào)》是一本刊登計(jì)算機(jī)軟件各領(lǐng)域原創(chuàng)性研究成果的期刊,所刊登的論文均經(jīng)過(guò)嚴(yán)格的同行專(zhuān)家評(píng)議.《軟件學(xué)報(bào)》主要面向全球華人計(jì)算機(jī)軟件學(xué)者,致力于創(chuàng)辦與世界計(jì)算機(jī)科學(xué)和軟件技術(shù)發(fā)展同步的以中文為主的“中文國(guó)際軟件學(xué)術(shù)期刊”,為全球華人同行提供學(xué)術(shù)交流平臺(tái).《軟件學(xué)報(bào)》創(chuàng)刊于1990年,由中國(guó)科學(xué)院軟件研究所和中國(guó)計(jì)算機(jī)學(xué)會(huì)聯(lián)合主辦,已被EI Compendex,INSPEC,A...

　　軟件學(xué)報(bào)來(lái)自網(wǎng)友的投稿評(píng)論：

提交