中英互译
formal analysis
基本释义
- 形式分析：一种对艺术作品进行分析的方法，主要关注作品的形式元素，如线条、色彩、构图等，以及它们在作品中的组合和表现方式。
双语例句
- Strand space model is a new formal analysis tool to the analysis of cryptogram protocol.串空间模型是一种新兴的密码协议形式化分析工具。
- In other words, the programmer does not stand to benefit from breaking the formal analysis.换句话说，程序设计者绝不会因破坏形式分析而获得好处。
- In this article we enumerate, using an example, the promises and pitfalls of formal analysis.本文使用一个例子列举出形式分析给我们提供的承诺和存在的陷阱。
网络短语
- formal analysis method形式化分析
- formal analysis methods形式化分析方法
- Formal Concept Analysis形式概念分析
- protocol formal analysis method协议形式化分析
- mixed formal analysis technology混合分析技术