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

• 作者: 李英龙 薛锦云
• 来源期刊: 计算机与现代化
• 学科: 工学
• 关键词: 规约精化 规约(同型)态射 GDP 问题理论 算法理论 程序理论
• 年，卷（期）: 2006,（7）
• 页码范围: 1-4,7
• 页数: 5页
• 分类号: TP311.51
• 字数: 3759字
• 语种: 中文
• DOI: 10.3969/j.issn.1006-2475.2006.07.001

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	薛锦云	江西师范大学省高性能计算技术重点实验室	77	745	15.0	23.0
2	李英龙	江西师范大学省高性能计算技术重点实验室	2	0	0.0	0.0