最后，探讨了动作细化在规范语言层次化描述中的作用。
At last, discusses the important role of action refinement in specification language's hierarchical descriptions.
决策支持技术在军事上的应用，对现代作战起到巨大的推动作用，同时也将促进现代作战的精确化和精细化。
Decision support technique militarily of application, to modern battle rise enormous push function, also will promote modern battle of the precision turns to turn with fine.
决策支持技术在军事上的应用，对现代作战起到巨大的推动作用，同时也将促进现代作战的精确化和精细化。
Decision support technique militarily of application, to modern battle rise enormous push function, also will promote modern battle of the precision turns to turn with fine.
应用推荐