| 一种基于规约精化的货物分发问题求解方案分析 |
| |
| 引用本文： | 李英龙,薛锦云.一种基于规约精化的货物分发问题求解方案分析[J].计算机与现代化,2006(7):1-4,7. |
| |
| 作者姓名： | 李英龙 薛锦云 |
| |
| 作者单位： | 江西师范大学省高性能计算技术重点实验室,江西,南昌,330027 |
| |
| 基金项目： | 国家自然科学基金;科技部专项基金 |
| |
| 摘 要： | 介绍了美国Kestrel研究所的一种基于问题理论、算法理论和程序理论的规约精化思想，以及Kestrel如何应用这种思想渐进地形式化构造货物分发问题（GDP）的规约精化。现实生活中存在许多像货物分发问题这样需求可被规范化描述的仿真实际问题，我们认为这种规约精化思想对于解决和设计此类仿真实际问题是非常适用和有效的。
|
| 关 键 词： | 规约精化 规约(同型)态射 问题理论 算法理论 程序理论 |
| 文章编号： | 1006-2475（2006）07-0001-04 |
| 收稿时间： | 2006-03-17 |
| 修稿时间： | 2006-03-17 |
Analysis of Solution Based on Specification Refinement for Goods Distribution Problem |
| |
| LI Ying-long,XUE Jin-yun.Analysis of Solution Based on Specification Refinement for Goods Distribution Problem[J].Computer and Modernization,2006(7):1-4,7. |
| |
| Authors: | LI Ying-long XUE Jin-yun |
| |
| Affiliation: | Provincial Key Laboratory for High Performance Computing Technology,Jiangxi Normal University, Nanehang 330027, China |
| |
| Abstract: | 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, |
| |
| Keywords: | GDP |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
