1) assembly constraint reasoning
装配约束推理
2) constraints inference
约束推理
1.
In XML application field, constraints inference is a security attack measure, which is more dangerous and hidden than other measures.
约束推理被用于获取访问受限的敏感信息时,就形成推理攻击。
3) assembly constraint
装配约束
1.
Completeness checking of assembly constraint for agile fixture;
敏捷夹具装配约束完备性检验
2.
In order to obtain the solution for motion simulation and kinematic analysis of a parallel machine tool without the construction of mathematical model,a method of using assembly constraint and dimension driven function of CAD software was presented.
为了不建立数学模型完成并联机床机构的运动仿真和运动学分析,提出综合利用CAD软件所具有的装配约束和尺寸驱动功能实现运动仿真和运动学分析的方法。
3.
The thesis discusses the parametric modeling method of components completed by adopting the parametric method based on assembly constraint through their parametric links of product,components and parts under the SolidWorks.
论述了Solid Works环境中,通过产品、部件和零件三者之间参数关联,采用一种基于装配约束的参数化设计方法实现部件的参数化建模,阐述了这种参数化设计方法中的关键技术,包括产品结构的划分、尺寸分析、关联设计、基于布局草图的装配体设计和方程式的添加;运用部件参数化设计方法构建了一个Solid Works部件库。
4) assembly constraints
装配约束
1.
Approach to solve 3D assembly constraints based on analytic geometry;
基于解析几何的三维装配约束求解
2.
This paper presents a research on the representation method of assembly constraints in die & mold structure design, and discuss the solving approach of assembly constraints based on directed graph and variable expression.
研究模具结构装配设计中装配约束的表示方法 ,并讨论基于有向图和变量表达式的装配约束的求解方法。
3.
Considering the problem of assembly constraints evolution in the process of product assembly design,a method of assembly constraints modeling based on mating surface couples was presented.
针对产品装配设计中存在的装配约束演化问题,提出了基于配合面偶的装配约束建模方法。
5) Restriction assembly
约束装配
6) dynamic management of assembly constraints
装配约束动态管理
补充资料：约束推理
约束推理
constraint reasoning
yueshut以111约束推理(~traint~ing)一种基于关系农达式的一致性推理。含有变量的关系表达式称为约束。约束给定了问题的有关限制。约束推理的目标就是求满足所有这些限制的解，因而约束推理也称约束满足问题。在一般情况下，这种求解需要在状态空间中搜索。约束推理研究的内容主要包括各种有效的搜索策略及约束的表示。 约束推理最早起源于计算机景物分析的研究，约束用来定义对图元(如线段)的一致的解释。为了解决解释的歧义性问题，D.Walts提出了基于弧一致性的约束传播技术。这种技术后来发展成为著名的弧一致算法AC3及其多种推广形式。R.Stall-山an与G.J.阮韶叮妞n用约束来表达电路与机械设备的功能与结构，并实现了依赖制导的回溯技术。约束传播与智能回溯成为后来约束推理的主流技术。 ·约束满足问题可形式地定义如下:给定:①变量的一个有限集合V，每个变量都对应一个离散有限集合，称为该变量的域;②关于V中变量的约束的一个有限集合C，每个约束定义于V的有限子集并限定该子集中变量由其域中取值的组合。 求:对V中所有变量的一个(或多个)赋值，使得C中所有约束都得到满足。 如果所有的约束都是二元或一元的，则变量间的约束相关关系称为约束满足问题的约束图。 求解约束满足问题的传统方法有: (1)回溯法依次对各个变量赋值，并及时对各约束求值，每当发现约束不满足时，回溯到一个已赋值的变量，重新选择其值。其中最简单的有顺序回溯法;较复杂的有各种智能回溯技术，包括回跳法及真值维护系统。 (2)约来怜播在约束图上传播变量取值的限制，主要有值的传播与域的传播。最常用的技术是弧一致性算法。 (3)动态确定变量的赋值次序其中一个最有效的启发式是选择当前域最小的变量赋值。 这些技术的研究至今仍很活跃。此外，最新的研究方向还包括: (l)结构启发式研究约束图的拓扑结构及其在启发式搜索中的作用; (2)默认约束及软约束的求解，如部分约束满足; (3)修正法搜索运用爬山法技术，通过不断修正各个变量的取值，逐渐减少违反约束的个数，直至为零; (4)连结主义搜索运用神经网络技术求解约束满足问题; (5)将上述技术结合起来的集成技术。 约束表示广泛地应用于人工智能的各个领域，包括定性推理、基于模型的诊断、自然语盲理解、景物分析、任务调度、系统配置、科学实验规划、机械与电子设备的设计与分析等。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条