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.
  所以我們應(yīng)該保守地假設(shè)病毒作者也能夠而且將會發(fā)現(xiàn)破壞形式分析技術(shù)的辦法。
• There is the danger that changes introduced during implementation will not be subject to formal analysis and governance processes.
  存在這樣一種風(fēng)險(xiǎn)，即實(shí)現(xiàn)過程中引入的更改不會經(jīng)過正式分析和管理流程。
• 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.
  然后，您可以在形式化的分析、模擬和原型設(shè)計(jì)中使用這些模型，以研究預(yù)期的系統(tǒng)行為，并且可以在編寫文檔或總結(jié)時(shí)使用這些模型，以便就系統(tǒng)的性能和外觀進(jìn)行交流。

權(quán)威例句

• 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 區(qū)間形式概念分析

• formal analysis更多詞組

專業(yè)釋義

計(jì)算機(jī)科學(xué)技術(shù)

• 形式分析

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

  電子、通信與自動控制技術(shù)

• 形式分析
• 形式化分析