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的动态模型的形式化方法，并给出了实例说明。
There is a heated dispute between the logic of language in broad sense and the one in narrow sense on the application of the method of formalization.
是否采用形式化方法，这是存在于广义语言逻辑与狭义语言逻辑之间的激烈论争。
The knowledge organization of framework helps workflow illation, framework also being one of the ontology formalization approaches and the ideal modeling method based on system layer knowledge.
框架的知识组织方式也有利于工作流的推理，而且框架是本体形式化的表示方法之一，因此框架是基于系统层知识的工作流建模的理想方法。
The requirements of formalization for automated software testing can be met by the method.
这样的形式描述方法满足软件测试自动化对形式描述的要求。
The computer-assisted approach to studies on Uygur dialects is an interactive research method, which combines the computer-based formalization of dialectal data with the researcher's analysis.
利用计算机技术辅助维吾尔语方言研究，是将计算机对方言语料的形式化处理和研究者对语料的分析判断结合起来的一种人机互动的研究方法。
The method of formalization in modern index theory has three functions in tackling index problems, i. e. judging whether a function can become an index;
现代指数理论的形式化方法，对于处理指数问题的主要作用是：判别一个函数能否成为指数；
It provides a consistency check method based on graph, which is laconic and easy to handle, and conquers the disadvantage of high formalization and complexity of the old check mechanism.
该方法基于图形化的形式，简洁直观、容易操作，克服了原有检查方法形式化程度高及复杂难操作的缺点。
That method possesses the features of formalization and is especially suitable for the automatic realization on computers.
该方法具有格式化的特点，特别适合于在计算机上自动地实现。
The methodology in the new institutional economics was origins in good critics of the neoclassic economics and it was not likely favorable the method of formalization.
新制度经济学的研究方法是在继承和批判新古典经济学方法的基础上产生的。
The methodology in the new institutional economics was origins in good critics of the neoclassic economics and it was not likely favorable the method of formalization.
新制度经济学的研究方法是在继承和批判新古典经济学方法的基础上产生的。
应用推荐