介绍了形式化描述语言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 separation of structure and algorithm in NN simulating model and how to reuse the code of NN through language description are introduced.
分形理论主要描述自然界和非线性系统中不光滑和不规则的几何形体,它为植物形态的模拟提供了描述语言和理论基础。
Fractal theory mainly describes the nature and nonlinear system objects which are not smooth and irregular, it also provides description language and theoretical basis for plant simulation.
分形理论是描述语音信号的一个非常有效的工具,并已取得了一系列应用成果。本文叙述了分形的基本概念与基本特性。
The fractal theory is an effective tool to describe speech signal and its application is greatly wide, Firstly, describes the idea and basic characteristic of fractal.
本文给出了理论表示方法及其描述语言的定义和应用实例。
In this paper, the definition of the theory representation method and its description language is described. An application of the method is also given.
本文给出了理论表示方法及其描述语言的定义和应用实例。
In this paper, the definition of the theory representation method and its description language is described. An application of the method is also given.
应用推荐