一种基于规约精化的货物分发问题求解方案分析  

Analysis of Solution Based on Specification Refinement for Goods Distribution Problem

作　　者：李英龙[1] 薛锦云[1] 

机构地区：[1]江西师范大学省高性能计算技术重点实验室,江西南昌330027

出　　处：《计算机与现代化》2006年第7期1-4,7,共5页Computer and Modernization

基　　金：国家自然科学基金资助项目(60273092);科技部重大基础研究前期研究项目(2003CCA02800)

摘　　要：介绍了美国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,

关 键 词：规约精化 规约(同型)态射 GDP 问题理论 算法理论 程序理论 

分 类 号：TP311.51[自动化与计算机技术—计算机软件与理论]