首頁(yè) > 雜志

軟件學(xué)報(bào)(2025年08期)
Journal of Software

  • 基本信息
  • 中國(guó)科學(xué)院軟件研究所;中國(guó)計(jì)算機(jī)學(xué)會(huì)

    月刊

    1000-9825

  • 11-2560/TP

    北京市

    中文;

    16開

    82-367

    1990

  • 出版信息
  • 信息科技

    計(jì)算機(jī)軟件及計(jì)算機(jī)應(yīng)用

    7688篇

  • 評(píng)價(jià)信息
  • 5.201

    2.815

  • INSPEC 科學(xué)文摘(英)(2024)

    JST 日本科學(xué)技術(shù)振興機(jī)構(gòu)數(shù)據(jù)庫(kù)(日)(2024)

    Pж(AJ) 文摘雜志(俄)(2020)

    EI 工程索引(美)(2024)

    CSCD 中國(guó)科學(xué)引文數(shù)據(jù)庫(kù)來(lái)源期刊(2023-2024年度)

    WJCI 科技期刊世界影響力指數(shù)報(bào)告(2023)來(lái)源期刊

    1992年(第一版),1996年(第二版),2000年版,2004年版,2008年版,2011年版,2014年版,2017年版,2020年版,2023年版

    中科雙百期刊;

目 錄

  • 形式化方法與應(yīng)用專題前言
  • Fast-USYN:從酉矩陣到高質(zhì)量量子電路的快速合成
  • 神經(jīng)網(wǎng)絡(luò)的增量驗(yàn)證
  • 單球驅(qū)動(dòng)平衡機(jī)器人運(yùn)動(dòng)學(xué)和動(dòng)力學(xué)形式化驗(yàn)證
  • 基于記憶策略的元解釋學(xué)習(xí)
  • GhostFunc:一種針對(duì)Rust操作系統(tǒng)內(nèi)核的驗(yàn)證方法
  • 面向自動(dòng)駕駛系統(tǒng)的場(chǎng)景建模及邊緣關(guān)鍵場(chǎng)景生成
  • 動(dòng)態(tài)順序統(tǒng)計(jì)樹類結(jié)構(gòu)的函數(shù)式建模及其自動(dòng)化驗(yàn)證
  • 基于下推自動(dòng)機(jī)的同步數(shù)據(jù)流語(yǔ)言可信編譯
  • 基于混成自動(dòng)機(jī)路徑過(guò)濾與動(dòng)態(tài)選擇的CPS系統(tǒng)反例生成
  • 面向Rust語(yǔ)言的形式化驗(yàn)證方法研究綜述
  • 因果時(shí)空語(yǔ)義驅(qū)動(dòng)的深度強(qiáng)化學(xué)習(xí)抽象建模方法
  • 局部搜索算法求解最小弱連通支配集問(wèn)題
  • 一種高效的求解最小負(fù)載著色問(wèn)題的局部搜索算法
  • 面向天河新一代超算的大規(guī)模平行城市交通仿真
  • 基于BERT與自編碼器的概念漂移惡意軟件分類優(yōu)化
  • 基于有限狀態(tài)機(jī)引導(dǎo)的網(wǎng)絡(luò)協(xié)議模糊測(cè)試方法
  • 面向代碼注釋生成任務(wù)的注釋質(zhì)量評(píng)價(jià)研究
  • DRAMA:更新分布感知的學(xué)習(xí)型索引
  • 面向數(shù)據(jù)稀缺場(chǎng)景的智能交通流量預(yù)測(cè)
  • 基于原生鏈的跨Rollup機(jī)制研究
  • 可編程數(shù)據(jù)平面DDoS檢測(cè)與防御機(jī)制
  • 魯棒的前后向隱私聯(lián)合對(duì)稱可搜索加密方案
  • 加權(quán)門限SM2簽名方案
  • MTTorch:面向MT-3000芯片和Transformer模型的PyTorch算子庫(kù)實(shí)現(xiàn)與優(yōu)化
  • 操作系統(tǒng)內(nèi)核權(quán)能訪問(wèn)控制的形式驗(yàn)證
  • 《軟件學(xué)報(bào)》投稿指南
  • 《軟件學(xué)報(bào)》2026年???專題出版計(jì)劃
客服微信二維碼

掃碼添加客服微信

聯(lián)系客服