形式驗(yàn)證;中斷程序;軍用嵌入式系統(tǒng)驗(yàn)證;形式語言;Maude系統(tǒng)...[繼續(xù)閱讀]

    TTNT;干擾對抗;一發(fā)多收;多波束天線;統(tǒng)計(jì)優(yōu)先多址...[繼續(xù)閱讀]

    聲波誘導(dǎo);變換聲學(xué);聲學(xué)超材料;聲散射縮減...[繼續(xù)閱讀]

    指揮權(quán)限調(diào)整;指揮控制組織結(jié)構(gòu);運(yùn)籌理論;多階段優(yōu)化...[繼續(xù)閱讀]

    組件化建模;火箭炮模型;外彈道仿真;機(jī)動組件;間瞄射擊...[繼續(xù)閱讀]

    方案優(yōu)選;熵權(quán)-TOPSIS;偽裝評估;方案差異性;評估客觀性...[繼續(xù)閱讀]

    優(yōu)先級閾值;循環(huán)神經(jīng)網(wǎng)絡(luò);預(yù)測;數(shù)據(jù)鏈...[繼續(xù)閱讀]

    拓?fù)鋾r(shí)變;戰(zhàn)術(shù)邊緣網(wǎng)絡(luò);動態(tài)自配置;虛擬骨干網(wǎng);覆蓋率優(yōu)化...[繼續(xù)閱讀]

    定向能武器;動態(tài)武器目標(biāo)分配;毀傷律;動態(tài)重規(guī)劃...[繼續(xù)閱讀]

    裝備知識圖譜;鏈接關(guān)系補(bǔ)全;深度學(xué)習(xí);注意力機(jī)制...[繼續(xù)閱讀]