空間控制技術(shù)與應(yīng)用
論文與報告
- 航天嵌入式軟件數(shù)組越界缺陷特征研究
- 基于知識圖譜和自動機器學習的軟件缺陷預(yù)測
- 一種嵌入式軟件安全漏洞的代碼加固方法
- 面向航天型號軟件的混成建模語言研究
- 面向源代碼可信證據(jù)的航天軟件可信度量評估方法
- 基于神經(jīng)網(wǎng)絡(luò)融合模型的源代碼注釋自動生成
- 面向安全屬性的軟件組件可信依賴關(guān)系度量模型
- 基于模型架構(gòu)的航天器控制軟件研制方式研究
- 空間飛行器控制軟件的動態(tài)自適應(yīng)演化方法
- 基于工廠模式的OSLC數(shù)據(jù)集成接口設(shè)計與實現(xiàn)
- 基于系統(tǒng)科學的復(fù)雜系統(tǒng)軟件生命周期模型研究
- 航天嵌入式軟件靜態(tài)分析技術(shù)