侦察卫星探测资源调度是一类基于约束满足的优化问题。
Modeling the scheduling problem of multi-satellites based on the constraint satisfaction;
给出板坯排序问题的约束满足模型，设计了基于约束满足和启发式混合求解算法。
A constraint satisfaction model is given. A hybrid solving algorithm is designed based on constraint satisfaction and heuristics node exchange algorithm.
首先采用贝叶斯信仰网络对影响软件可信性的风险进行了分析；其次，建立了基于约束满足的风险控制模型。
Firstly, used the Bayesian belief networks(BBN), the risks which had influenced the reliability of soft were analyzed.
应用推荐