基本解釋[計(jì)算機(jī)科學(xué)技術(shù)]形式化分析方法英漢例句雙語例句The formal contexts and concept lattices in formal concept analysis are good methods of knowledge representation.形式概念分析中的形式背景及概念格是一種較好的知識表示方法；In order to use these formal analysis methods in anti-virus technologies, we may have to rethink the whole process.為了在反病毒技術(shù)中使用這些形式分析方法，我們可能必須重新考慮整個過程。Following are the main results of this thesis:Introduce the background and basic conceptions of security protocols, expatiate the three classifications of the formal analysis methods.對安全協(xié)議的背景及基本概念、安全協(xié)議的形式化分析方法的三種思路進(jìn)行了系統(tǒng)的介紹；formal analysis methods更多例句專業(yè)釋義計(jì)算機(jī)科學(xué)技術(shù)形式化分析方法