介绍了形式化描述语言LOTOS的特性，结合面向对象技术和状态图的理论知识，给出了基于LOTOS的动态模型的形式化方法，并给出了实例说明。
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.
本推理机将面向对象方法和问题求解的黑板模型思想有机地结合在一起，将知识库分层模块化，极大提高了推理效率。
The inference engine combines both object-oriented method and Blackboard model. It makes the knowledge base layered and modularized, and greatly raises the infer efficiency.
使用对策论的观点和方法，结合搜索论的知识，建立了一类舰-潜对抗搜索对策模型。
In this paper, the search game models of the naval vessel submarine antagonistic is set up with the method of the game theory and the knowledge of the search theory.
应用推荐