侦察卫星探测资源调度是一类基于约束满足的优化问题。
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.
应用推荐