formal analysis
如线条、色彩、构图等
常用释义
英式发音
美式发音
基本释义
- 形式分析：一种对艺术作品进行分析的方法，主要关注作品的形式元素，如线条、色彩、构图等，以及它们在作品中的组合和表现方式。
例句
-
1·As no trials were identified, no formal analysis was performed.由于没有找到相关的试验，因此没有进行正式的分析。
-
2·Strand space model is a new formal analysis tool to the analysis of cryptogram protocol.串空间模型是一种新兴的密码协议形式化分析工具。
-
3·In other words, the programmer does not stand to benefit from breaking the formal analysis.换句话说，程序设计者绝不会因破坏形式分析而获得好处。
-
4·The function of formal analysis in the design of the authentication protocols is discussed;探讨了形式化分析在设计密码认证协议中的作用；
-
5·In this article we enumerate, using an example, the promises and pitfalls of formal analysis.本文使用一个例子列举出形式分析给我们提供的承诺和存在的陷阱。
-
6·Used BAN logic, the objective and the security of this protocol are proved by formal analysis process.采用BAN逻辑对该协议进行形式化分析表明：协议达到了认证和密钥分配的目标，具有较强的安全性。
-
7·In order to use these formal analysis methods in anti-virus technologies, we may have to rethink the whole process.为了在反病毒技术中使用这些形式分析方法，我们可能必须重新考虑整个过程。
-
8·There is the danger that changes introduced during implementation will not be subject to formal analysis and governance processes.存在这样一种风险，即实现过程中引入的更改不会经过正式分析和管理流程。
-
9·For these two algorithms, we present formal analysis of optimality, and experimental results show that the algorithms are efficient.文中给出了两算法优化性能的分析，实验结果也显示这些算法的效果是明显而有效的。
-
10·But surely there are better examples - start ups with measurable revenues and solid business plans that lend themselves to formal analysis?不过，肯定有更好的例子，比如有具体收入和切实经营计划、进而可以正儿八经地展开分析的初创公司？