rewriting system 中文意思是什麼
rewriting system
解釋
重寫系統-
Weakly terminating property in a restricted domain of a term rewriting system, one with structural induction, one with cover - set induction, and the third without induction, and describes their mechanization based on a meta - computation model for term rewriting systems - dynamic term rewriting calculus
基於覆蓋集合歸納法的項重寫系統弱基終止性證明的機械化論文提出一種關於一般化了的項重寫系統弱基終止性，即，在特定領域的項重寫系統弱終止性的形式自動證明方法。 -
This paper analyzes and develops the existing risk analysis model bases on term rewriting system. it divides the group of assets into critical and normal subset, and performs the analysis in separate procedure. this reduces the system complexity, guarantee the priority of the critical assets ; it also introduces and / or attack tree into the attack scenario, cut down the system requirement of space, and provides support for both the coming graph rewriting model and decision selection algorithm
本文針對項重寫風險分析模型中資產的關鍵性級別，劃分出關鍵資產，通過分步的風險分析，實現不僅可以降低系統復雜度，還能有效保證關鍵資產的優先處理;引入了與或攻擊樹構建攻擊場景，節約了運行所需的空間，為后來的決策選擇打下基礎，同時也為以後的圖重寫的風險分析提供依據。
分享友人