摘要
提出了一个约束规划框架,用于支持装备全寿命保障过程中各类约束满足问题的求解。框架包括问题规约、业务领域、寿命周期和求解策略4个相互正交的剖面,分别针对问题的目标函数和约束条件,业务领域中的保障内容,寿命周期各阶段的任务划分,以及问题求解的策略和算法进行组织。通过对问题规约、业务领域、寿命周期剖面的正交组合,用户能够方便地对问题规约进行定义、复合和精化。框架中还提供了一组启发式规则,用于帮助用户在问题求解剖面中快速确定一个有效的算法,并将之应用于具体的问题规约。
A constraint programming fiamework that is aimed to tackle large is presented, particularly combinatorial, problems in the entire process of whole-life materiel support, which usually involve complex sets of objectives and constraints. Four sections are provided including the problem specification section, the domain-specific business section, the life cycle section, and the problem solving section, which are orthogonal to each other. The problem specification section organizes abstract parameters of objective functions and constraints of typical constraint satisfaction problems in the area of materiel support; by orthogonalizing the problem specification section with the domain-specific business section and the life cycle section, users efficiently define, compose, and refine their own problem specifications. The problem solving section organizes typical tactics and algorithms with a taxonomic tree, which contains three top-level tactics including mathematical programming, global search, and local search; uses travel via the tree and find one or more suitable concrete algorithms for their applications, under the guidance of a set of heuristic rules contained in the fi-amework. The fi-amework features separation of concerns in specifications construction, little requirements for users' programming skills, domain-specific optimization, and semi-automatic generation of high-performance and fits problem solvers.
出处
《计算机工程与设计》
CSCD
北大核心
2006年第14期2677-2679,共3页
Computer Engineering and Design
关键词
装备保障:寿命周期
约束规划
规约
问题求解
materiel support
life cycle
constraint programming
specification
problem solving