formal analysis

基本解释

• 形式分析

英汉例句

双语例句

• It should, then, be safe to assume that virus writers can and will find ways to break the formal analysis techniques as well.
  所以我们应该保守地假设病毒作者也能够而且将会发现破坏形式分析技术的办法。
• There is the danger that changes introduced during implementation will not be subject to formal analysis and governance processes.
  存在这样一种风险，即实现过程中引入的更改不会经过正式分析和管理流程。
• You can then use these models in formal analysis, simulation, and prototyping to explore predicted system behavior and in documentation or reviews to communicate the system's capabilities and feel.
  然后，您可以在形式化的分析、模拟和原型设计中使用这些模型，以研究预期的系统行为，并且可以在编写文档或总结时使用这些模型，以便就系统的性能和外观进行交流。

权威例句

• Mr Krugman, who pioneered formal economic analysis of what causes currency crises, points out that Asia's banks and finance companies operated with implicit government guarantees.
  ECONOMIST: Disaster has spawned a new theory of financial crises
• The Center's analysis concludes that, in the process, the formal U.S. negotiating positions at COCOM have been grievously undermined.
  CENTERFORSECURITYPOLICY: Center For Security Policy
• Moreover, although the Formal Opinion explicitly does not engage in a technology-by-technology analysis, see id.
  FORBES: Your Ethical And Legal Duties When Using Wireless Networks

• formal analysis更多例句

词组短语

短语

• fsa formal safety analysis 综合安全评估
• formal conceptual analysis 形式概念分析
• fuzzy formal concept analysis 模糊形式概念分析
• Formal Logic Analysis 形式逻辑分析
• Interval Formal Concept Analysis 区间形式概念分析

• formal analysis更多词组

专业释义

计算机科学技术

• 形式分析

  Research on the commercial security policy includes modeling of the security policy, formal analysis principle of security policy, the framework of commercial security policy and its formal analysis.
  商务安全策略研究的主要内容包括:安全策略制模和形式分析原理、商务安全策略框架模型研究以及形式分析。

  电子、通信与自动控制技术

• 形式分析
• 形式化分析