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.
  商務安全策略研究的主要內容包括:安全策略制模和形式分析原理、商務安全策略框架模型研究以及形式分析。

  電子、通信與自動控制技術

• 形式分析
• 形式化分析