1) constraint extrapolating
约束外推
1.
An autoscaling algorithm of ionograms based on IRI model is presented,which combined with the methods of fuzzy theory,constraint extrapolating and ARTIST.
提出了一种基于IRI模型背景,模糊理论、约束外推、ARTIST算法相结合的垂测电离图自动判读算法。
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) deferred constraint
推迟约束
4) external-force constrain
外力约束
1.
The authors present a novel based on spline-driven free-form deformation method which adopts a simple 3D sketching technique and external-force constrain.
本文结合简单的三维绘制技术和外力约束方法提出了一种基于样条曲线驱动的自由变形方法。
5) restraining tube
外围约束
6) epipolar constraint
外极约束
1.
An epipolar shope matching method for the stereo stripe is proposed based on the epipolar constraint.
利用投影和透视变换理论以及矩阵转换知识建立了摄像机数学模型及双目视觉传感器模型，并给出摄像机模型中各种参数的求解方法；在外极约束理论的基础上，提出了外极斜率匹配方法，从而实现空间光条快速精确匹配。
补充资料：约束推理
约束推理
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)将上述技术结合起来的集成技术。 约束表示广泛地应用于人工智能的各个领域，包括定性推理、基于模型的诊断、自然语盲理解、景物分析、任务调度、系统配置、科学实验规划、机械与电子设备的设计与分析等。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条