面向装备联勤保障的约束程序设计框架

摘要：

提出了一个装备保障领域驱动的约束程序设计框架,定义了问题规约、问题求解、保障资源、保障任务和保障对象五个相互正交的剖面.其中问题规约剖面是对问题目标和约束的抽象描述;将之与保障资源、保障任务和保障对象剖面依次进行正交组合后,能够得到精确的具体问题规约;最后利用启发式规则在问题求解剖面中选择合适的算法,可实现联勤保障规划类问题的高效求解.

关键词：联勤、约束程序设计、规约、问题求解

所属期刊栏目：41

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

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

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

页数：共5页

页码：30-34