English translation for "约束满足问题"

constraint satisfaction problem
csp

Related Translations:

超额满足顾客的期望:  exceed their customer’s expectations

输出约束:  output constraint

相互约束:  mutual bindingmutual discipline

文法约束:  grammatical constraint

内部约束:  internal co traintinternal constraint

次要约束:  secondary constraints

约束水准:  bound level

无形约束:  pacta

连续性约束:  continuity constraint

约束应力:  reaction stressrestraint stress

Example Sentences:

	1.	As with other engineering design , die design is , by its nature , a constraint satisfaction problem , how to tailor design space in accordance with constraints 冷冲模设计同其它工程设计一样，本质上是一个约束满足问题，其实质就是多个约束条件裁减设计空间。
	2.	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语言子集描述的程序进行分析。
	3.	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 前者是将定性仿真算法看作一类约束满足问题，用约束逻辑程序加以改进，不仅为解决定性仿真问题提供了逻辑框架，而且也是一种规范化的程序描述语言；模糊定性仿真算法则是对纯定性仿真算法在知识描述、状态转移规则、过滤算法等方面的改进，是一类半定量描述方法，有利于在定性仿真领域综合定量信息，同时提高算法的效率。
	4.	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 预处理过程自动生成完成任务需求的候选活动集;预处理之后的问题被描述为一个约束满足问题,通过基于动态优先级的局部邻域搜索算法完成问题的求解,即为每个需求指定相应的活动,并为这些活动安排执行时间并指派资源。

Similar Words：

"约束流" English translation, "约束流形" English translation, "约束滤波复原" English translation, "约束满足" English translation, "约束满足神经网络" English translation, "约束面" English translation, "约束描述符" English translation, "约束模具" English translation, "约束模量" English translation, "约束某人的行动" English translation