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的动态模型的形式化方法，并给出了实例说明。
Based on case analysis, we think that over-fierce competition examination is the largest obstacle to quality-oriented education and competition education should be changed into qualified education.
在案例分析的基础上，提出了过度激烈的竞争考试是素质教育的最大障碍，提出竞争教育应向合格教育转变。
应用推荐