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

摘要：

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

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

分类号：TP311.51(计算技术、计算机技术)

资助基金：国家自然科学基金60273092;科技部专项基金2003CCA02800

在线出版日期：2006-08-11（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：1-4,7