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

• 作者: 王连来 薛锦云 郑宇军
• 来源期刊: 南京大学学报（自然科学版）
• 学科: 工学
• 关键词: 联勤 约束程序设计 规约 问题求解
• 年，卷（期）: 2005,（z1）
• 所属期刊栏目: 计算机理论
• 页码范围: 30-34
• 页数: 5页
• 分类号: TP311.1
• 字数: 2585字
• 语种: 中文
• DOI: 10.3321/j.issn:0469-5097.2005.z1.006

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	薛锦云	中国科学院软件研究所	77	745	15.0	23.0
5	郑宇军		13	51	4.0	6.0
14	王连来		2	4	1.0	2.0