formalization description method 形式化描述方法
PAR Method is a formalization method of algorithm design, development and verification, and it is simple and useful.
薛教授提出的PAR方法是一种简单实用的形式化算法设计、开发和证明的方法。
Discuss the knowledge formalization method of river selection, two kinds of spatial knowledge data models are put forward and the rules of river selection are summed up.
分析了河系自动综合中的空间知识及其形式化方法,建立了组织河系空间知识的两种数据模型,总结了河流选取中的规则性知识。
Combined with theory of object oriented technology and state chart, formalization method of dynamic model based on LOTOS is presented. Furthermore, a case is presented to demonstrate this method.
介绍了形式化描述语言LOTOS的特性,结合面向对象技术和状态图的理论知识,给出了基于LOTOS的动态模型的形式化方法,并给出了实例说明。
应用推荐