约束满足问题 meaning in Chinese
constraint satisfaction problem
csp
Examples
- As with other engineering design , die design is , by its nature , a constraint satisfaction problem , how to tailor design space in accordance with constraints
冷冲模设计同其它工程设计一样，本质上是一个约束满足问题，其实质就是多个约束条件裁减设计空间。 - For this reason , the thesis presents an approach based on constraint satisfaction , symbolic execution and extended finite state machines . it can analyze programs written in a subset of the c programming language
针对上述情况，本文中提出了一种方法，它基于约束满足问题求解方法和扩展有限状态机上的符号执行算法，能够对c语言子集描述的程序进行分析。 - I regard qsim as a kind of constraint satisfaction problem ( csp ) , and improve the qualitative simulation algorithm by constraint logic programming ( clp ) . fuzzy qualitative simulation develops conventional qsim on several facets , such as representation of qualitative value , state transition rule and filtering algorithms . it bridges the gap between pure qualitative and quantitative , and improve the efficien
前者是将定性仿真算法看作一类约束满足问题，用约束逻辑程序加以改进，不仅为解决定性仿真问题提供了逻辑框架，而且也是一种规范化的程序描述语言；模糊定性仿真算法则是对纯定性仿真算法在知识描述、状态转移规则、过滤算法等方面的改进，是一类半定量描述方法，有利于在定性仿真领域综合定量信息，同时提高算法的效率。 - Pretreatment is used to generate alternate activities to achieve the requirements . theproblem after pretreatment is characterized as a constraint satisfaction problem , which is solvedby the local search algorithm based on dynamic priority . the solution means to specifycorrespondingactivitiesforeveryrequirementandtoallocateexecutingtimeandresources . in order to validate the modeling framework presented in this paper , a software system isdesigned to implement the mission planning and scheduling for msrs
预处理过程自动生成完成任务需求的候选活动集;预处理之后的问题被描述为一个约束满足问题,通过基于动态优先级的局部邻域搜索算法完成问题的求解,即为每个需求指定相应的活动,并为这些活动安排执行时间并指派资源。