Searching is the key step of constraint solving.
解空间搜索是约束求解的关键环节。
A new geometric constraint solving method is presented.
提出了一种新的几何约束推理求解算法。
This algorithm is applied into the geometric constraint solving.
将此混合算法应用于几何约束求解中。
We transform the geometric constraint solving into the numerical optimization solving.
将几何约束问题转化为数值优化问题。
It transforms the geometric constraint solving into the numerical optimization solving.
将几何约束问题转化为数值优化问题。
Our research on the special constraint template enriches the graph-based constraint solving method greatly.
通过对该模板的讨论，进一步的完善了基于图构造方法的约束求解方法。
This paper mainly discusses the freeform feature design based on the feature modeling and its constraint solving.
本文具体讨论了基于特征造型的自由曲面特征设计与约束求解问题。
A novel method for automatic generating simulation vectors from HDL descriptions based on path coverage and constraint solving is presented.
提出和实现了一种面向HDL描述基于路径覆盖的模拟矢量自动生成方法。
The optimization of topology was only applied in the definition of model but no further more applied in the claiming and constraint solving area.
而且对其应用也仅限于模型的定义方面，在模型的声明与约束求解方面却没有得到应用。
With type inference, the compiler figures out the types of variables based on constraint solving, rather than making the programmer declare them explicitly.
有了类型推断，编译器可以通过强制解决计算出变量类型，而不是使程序员明确声明它们。
To improve the efficiency and robustness of constraint solving algorithms, a hybrid algorithm to integrate chaos method into BFGS algorithm was proposed.
为了提高约束求解的效率和鲁棒性，提出了一个将混沌方法嵌入BFGS算法的约束求解混和算法。
There is more practical significance for the research of geometric constraint solving, which is the core of parametric technology and variable technology.
该算法使得作为参数化技术和变量化技术的核心问题：几何约束求解的研究更具有实际意义。
Variational design is the kernel of contemporary CAD technology. There are many solving methods for geometric constraint solving at the aim of variational design, but they all have some limitations.
变量化技术是当代CAD技术的核心，以实现变量化设计为目的的几何约束求解有多种方法，但它们都存在一定的局限性。
Fundamentally, type inference is a constraint-solving technique, and there are often multiple reasonable choices for which constraints to start with.
从根本上讲，类型推断是约束解决技术，往往对使用哪些约束开始具有多个合理的选择。
Constraint equation was established according to mechanical model, utilizing the analysis, solving the forward and inverse position solution, and drawing the mechanical assembling sketch.
针对机构模型建立了约束方程，利用解析法求解机构的位置正反解，并绘制出机构装配简图。
It gives the algorithm to decompose the constraint equations and the way to solve the equations in two levels based on the rules solving.
提出了对约束方程组进行分解的算法和在规则求解的基础上分两层求解方程组的方法。
After the research of methods of constraint-solving and feature-editing in old system, a new way of constraint-solving is presented.
同时对系统原有约束求解和特征编辑过程进行了研究，并在原有方法基础之上提出了一套新的求解方法。
A layout algorithm based on the multi granularity model was proposed by adopting strategies of both constraint problem solving and backtracking.
综合约束问题求解和回溯控制策略，给出了在粒度分层模型基础上的布局算法。
At last, we discuss the problem of solving implicit constraint by parameter reasoning.
同时对运用参数推理解决隐含约束进行了探讨。
Constraint solver is the conversion from dependence relationship of features to geometry or engineering expression, then achieve the design by solving the constraint.
约束求解是将特征间的相互依赖关系映射为几何或工程约束描述，通过求解约束实现设计对象的细节。
A constraint satisfaction model is given. A hybrid solving algorithm is designed based on constraint satisfaction and heuristics node exchange algorithm.
给出板坯排序问题的约束满足模型，设计了基于约束满足和启发式混合求解算法。
Constraint propagation is a method for solving constraint satisfaction problem (CSP).
约束传播算法是求解约束满足问题的一种重要方法。
The velocity constraint subspace of each branch chain was obtained by means of solving the screw system of each branch chain of 3-PTT parallel mechanism.
通过求解3-PTT并联机构各支链的螺旋系得到各支链的速度约束子空间。
The second step deals with nonlinearity by solving a nonlinear algebraic equation (group) and satisfies constraint by desaturation.
第二步通过求解非线性代数方程(组)来处理非线性并通过解饱和来满足约束。
The robust stable bound and the state feedback controller can be obtained by solving a class of convex optimization problems with LMI constraint.
系统的稳定界和反馈控制器可以通过求解一类线性矩阵不定式约束的凸优化问题得到。
Separating solving logic from multibody dynamics model, the consistency of status of constraint and force element component was achieved in multibody dynamics system simulation.
这种解算模式，实现了多体动力学解算仿真中，模型与解算逻辑的分离，维护了系统仿真中构件、铰约束、力元等组件的状态一致性。
Uniform constraint qualifications play a very important role in the algorithms for solving mathematical programs with equilibrium constraints.
一致性约束规格在求解带平衡约束的数学规划问题的算法中具有非常关键的作用。
Uniform constraint qualifications play a very important role in the algorithms for solving mathematical programs with equilibrium constraints.
一致性约束规格在求解带平衡约束的数学规划问题的算法中具有非常关键的作用。
应用推荐