侦察卫星探测资源调度是一类基于约束满足的优化问题。
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.
最后，提出了基于广义坐标系的运动导航算法，根据装配零件满足的约束对其运动进行引导。
Finally, movement navigation algorithm based on generalized coordinate system was put forward, and part movement was guided according to assembly constraints.
为满足复杂靶标背景下激光光斑形心的高精度定位要求，提出了一种基于几何特征约束残差修剪的定位方法。
For the precise location of laser spot center on the complex target, a method based on residual pruning with geometric feature constraints is proposed.
为了满足目标特征点的空间匹配一致性要求，提出了一种基于外极线约束条件新的视频图像判读处理模式。
In order to satisfy the consistency of the feature point spatial matching, a novel algorithm for video interpretation based on constraint of epipolar line is proposed.
构建了一个带有时间约束的基于角色的工作流系统授权模型，分析该模型对最小权限和责任分离要求的满足情况。
And a WFMS authorization model based on role control and time constraints is constructed, and how it meets the desires of least privilege and separation of duty is discussed.
模型描述是基于约束的，故称为约束模型，并定义为满足一定约束关系集的特征集合。
The description is based on constraints and called constraint model, which is defined by the features that satisfy a definite constraint set.
基于约束的测试技术改善了测试数据的质量，但是在处理约束满足问题时不仅效率低下，而且不易产生合的解。
The constraint-based testing technique improved the test data quality but with a low solving efficiency for the constraint satisfaction problem and is not easy to find a suitable solution.
论文就是基于这个问题，通过对构造的包含有多约束的算式的研究，确定了在什么情况下多约束能满足单调或反单调的条件。
In this paper, through the study on the formulas with multi-constraint , we determine the conditions under which the multi-constraint has the monotone or anti-monotone property.
采用基于排列的方法和串行项目进度生成机制，结合多项目的任务列表，可以保证所得调度方案满足项目优先关系约束。
Combined with method based on order and serial schedule generation scheme and multi-project task list, the gotten scheduling scheme can meet the project schedule constraints of precedence relations.
文中给出了高层概念的操作知识表示模型，提出了基于约束对象状态映射和操作规程约束满足的条件下设备操作仿真技术。
Based on the application characteristics, the definition, conception, set, and the restraints of the objects on UCard are presented, and the object restriction chart is given.
文中给出了高层概念的操作知识表示模型，提出了基于约束对象状态映射和操作规程约束满足的条件下设备操作仿真技术。
Based on the application characteristics, the definition, conception, set, and the restraints of the objects on UCard are presented, and the object restriction chart is given.
应用推荐