基本解释

• [计算机科学技术]形式化分析方法

英汉例句

双语例句

• 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.
  为了在反病毒技术中使用这些形式分析方法，我们可能必须重新考虑整个过程。
• 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.
  对安全协议的背景及基本概念、安全协议的形式化分析方法的三种思路进行了系统的介绍；

专业释义

计算机科学技术

• 形式化分析方法