面向装备全寿命保障的约束规划框架

提出了一个约束规划框架，用于支持装备全寿命保障过程中各类约束满足问题的求解。框架包括问题规约，业务领域、寿命周期和求解策略4个相互正交的剖面，分别针对问题的目标函数和约束条件，业务领域中的保障内容，寿命周期各阶段的任务划分，以及问题求解的策略和算法进行组织。通过对问题规约、业务领域、寿命周期剖面的正交组合，用户能够方便地对问题规约进行定义、复合和精化。框架中还提供了一组启发式规则，用于帮助用户在问题求解剖面中快速确定一个有效的算法，并将之应用于具体的问题规约。

Constraint programming framework for whole-life materiel support

A constraint programming framework that is aimed to tackle large is presented,particularly combinatorial,problems in the entire process ofwhole-life materiel support,which usually involvecomplex sets ofobjectives and constraints.Four sections are provided includingthe problem specification section,thedomain-specific business section,the life cycle section,and theproblem 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 thelife cycle section,users efficiently define,compose,and refinetheirown problem specifications.The problem solving section organizes typical tacticsand algorithms with ataxonomic tree,whichcontainsthreetop-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 framework.The framework features separation of concerns in specifications construction,little requirements for users' programming skills,domain-specific optimization,and semi-au-tomatic generation of high-performance and fits problem solvers.