中英▼
go top

formal modeling

  • 形式化建模

网络释义专业释义

  形式化建模

形式理论又称数理形式理论或形式化建模(Formal Modeling), 其主要内容是利用形式化(Formalization)的方法将理论要素转化为数学语言中的符号, 由此构建出一套公理系统。

基于28个网页-相关网页

  正式的建模

...尽的描述(detailed description) 问题的提出非正式的理论(informal theory) 定性的分析、假设的提出正式的建模( formal modeling) 研究方法实证三者的有机结合

基于20个网页-相关网页

  形式模型

逻辑包含形式模型（formal modeling），因为逻辑上“逻辑”比形式模型更加广义化，范围更加广大。

基于1个网页-相关网页

  • 形式化建模

·2,447,543篇论文数据，部分数据来源于NoteExpress

双语例句

  • OOPN can be used as formal modeling tool for Object-Oriented System.

    OOPN能够成为面向对象系统的一种形式化的建模工具。

    youdao

  • Secondly, formal modeling method of system survivability based on performance evaluation process algebra is studied.

    其次，研究基于性能评估进程代数的系统生存性形式化建模方法。

    youdao

  • The formal modeling for cryptographic protocols, namely security protocols, is the basis of their analysis and design.

    密码协议分析与设计的基础是对其进行形式化建模。

    youdao

更多双语例句
$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块？

感谢您的反馈，我们会尽快进行适当修改！
进来说说原因吧 确定
小调查
请问您想要如何调整此模块？

感谢您的反馈，我们会尽快进行适当修改！
进来说说原因吧 确定