计算机科学技术

• 逐步求精

  A definition of substitution operation for Petri nets is given in this paper. It is a formal description of the stepwise refinement method for the modeling of systems using Petri nets.

  文中给出了Petri的替换运算定义,它是对分层模拟与逐步求精的Petri网建模思想方法的一个形式化描述。

• 逐步优化

• 逐步求精法

• 逐步精确定位

• 步进式精化法

电子、通信与自动控制技术

• 逐步细化

• 逐步精化

• 逐步求精

数学

• 逐步精化

• 逐步求精