中文摘要：

介绍了美国Kestrel研究所的一种基于问题理论、算法理论和程序理论的规约精化思想，以及Kestrel如何应用这种思想渐进地形式化构造货物分发问题（GDP）的规约精化。现实生活中存在许多像货物分发问题这样需求可被规范化描述的仿真实际问题，我们认为这种规约精化思想对于解决和设计此类仿真实际问题是非常适用和有效的。

英文摘要：

The concept of specification refinements based on problem theory, algorithm theory and program theory of Kestrel Institute of US is introduced. And then the paper shows Kestrel how to construct specification refinements of goods distribution problem in such way. There axe lots of artifacts whose requirements can be specified such as the goods distribution problem in our true life, That the specification refinement-based is applicable and efficient to solve and design such kind of the artifacts,