形式理论又称数理形式理论或形式化建模(Formal Modeling), 其主要内容是利用形式化(Formalization)的方法将理论要素转化为数学语言中的符号, 由此构建出一套公理系统。
基于28个网页-相关网页
...尽的描述(detailed description) 问题的提出非正式的理论(informal theory) 定性的分析、假设的提出正式的建模( formal modeling) 研究方法实证三者的有机结合
基于20个网页-相关网页
formal and intelligent modeling 形式化智能化建模
OOPN can be used as formal modeling tool for Object-Oriented System.
OOPN能够成为面向对象系统的一种形式化的建模工具。
Secondly, formal modeling method of system survivability based on performance evaluation process algebra is studied.
其次，研究基于性能评估进程代数的系统生存性形式化建模方法。
The formal modeling for cryptographic protocols, namely security protocols, is the basis of their analysis and design.
密码协议分析与设计的基础是对其进行形式化建模。
应用推荐