1) weak limited condition
弱限制条件
2) constraint condition
限制条件
1.
With the test data collected by the three-dimensional laser image scanner and total station, the three-dimensional laser scanning image combination model was figured out by the indirect adjustment model with constraint condition.
从理论上推导了基于土木工程应用的三维激光扫描影像拼接模型,并提出了运用附有限制条件的间接平差模型解算拼接模型的数学方法。
2.
This paper discusses the various forms of equilibrium equations and the related constraint conditions for conplanar forces and space forces.
论述平面力系和空间力系平衡方程的各种形式及其限制条
3) restricted condition
限制条件
1.
In the light of the restricted condition under control which system signal operates,the authors put forward an engineering oriented method for designing internal mold controller.
根据系统信号运行的限制条件，提出一种工程化的内模控制（IMC）器的设计方法。
2.
Whether the n has satisfied the restricted condition is dependent on the parameter p .
一个具体的n值是否达到了"充分大"这一要求,要视p值而定,并根据n,p间的关联性,给出了解析化的限制条件。
3.
But because there are a few of restricted conditions, the process can t be finished in short time.
那么，这些限制条件有那些呢？我们如何来改善这些限制条件呢？本文尝试对此进行一些探讨。
4) constraints
限制条件
1.
To solve the problem of spatial clustering in the presence of obstacles,an algorithm named spatial clustering with constraints is developed on the basis of traditional K-medoids algorithm.
针对空间聚类过程中存在障碍实体的问题,提出了改进的K-中心点空间聚类算法,提高了算法的执行效率,解决了限制条件下空间聚类问题,使得聚类结果更具实用性。
2.
The functionally correlative connected parameters being equivalent to have constraints between these make that their cofactor matrix become rank defect and its Cayley inverse P′ 2 =Q -1 ′ 2 dose not exist.
联系参数函数不独立即联系参数间存在限制条件使得其协因数矩阵Q^x′2 秩亏及权阵P^x′2 =Q-1^x′2 不存在,扩建网极大验后估计的平差计算公式比较复杂。
3.
This paper, applying the constraints, derives functionally correlative unknown parameters expressed as the functions of functionally uncorrelative unknown parameters.
间接平差中限制条件的存在表明观测方程中的未知参数蕴含有函数不独立的未知参数，该文应用限制条件将函数不独立部分未知参数表示为函数独立部分未知参数的函数，代入观测方程消去函数不独立部分未知参数后再进行最小二乘平差；推导了这种解法的全部计算公式并证明了其解与传统平差法的解完全相等；简要说明了解法的原理在联系参数函数不独立扩建网极大验后估计公式推证中的应用。
5) restrictive condition
限制条件
1.
The approach to the shortest path algorithms with restrictive conditions;
带限制条件的最短路径算法与实现
2.
According to the equilibrium equations, which are analytic descriptions of necessary conditions and sufficient conditions in system of forces, the various forms in equilibrium equations of system of forces and restrictive conditions are described completely.
根据力系平衡充要条件的解析表示,对力系平衡方程的各种形式及限制条件作了比较完整的描述。
3.
Through the discussion of the pragmatic characteristics and restrictive conditions of vague language,we can improve the appropriateness and suitability of using it,which can guarantee the smooth communication.
通过对模糊语言的语用特征和限制条件的研究,可以提高其使用的得体性和适宜性,从而保证交际的顺利进行。
补充资料：最弱前置条件方法
最弱前置条件方法
weakest pre-condition method
Zuiruo q.QnZhl tlQOJIan fangfa最弱前置条件方法(w“‘estp份conditionmethod)基于最弱前置条件的一种程序完全正确性证明方法。最谙前!条件指保证一个语句执行正常结束并满足结果断言的最弱前提条件。它是一个谓词公式，通常用饮夕(s，R)表示，这里，R是语句S执行后所期望的结果断言(后置断言)。 E.W.伪kstra在前后断言的基础上提出了最弱前置条件的概念，以及相应的程序设计演算，使程序设计和程序验证可同时进行。 对于E.W.列kstra所定义的语言，语句的语义通过最弱前置断言给出。t刃户(s，R)可通过逆向推理导出。例如:赋值语句的语义是双沪(x:=。，R)二R【x/。〕，即将R中x的所有自由出现同时代换成e。例如: 帅(“x:=x‘二”，x4=10)三((x、x)4=10)三(xs=10) 为了证明循环的终止性，E.W.则kstra引人了循环不变式和界函数。一般说来，一个循环呈如下形式: lin二r故nt:叫一进人循环前，不变式p真， 1加“nd:川一并且B真时t>0，t是循 环次数的上界 doB~I玉奖reaset，Strueod 一当B真时，使t递减并执 行S，S执行过程真 保持P {P八，B}一则循环必然终止且终止时 P真B假 若Q是s的执行能在有限时间内中止并满足R的任一前提条件，则必有Q=>u沪(s，R)。因此，证明前后断言Q{S}R只需先求出最弱前置断言双沪(S，R)，再证明Q”双乡(s，R)。 当给定了Q和R，根据Q，R的结构，通过推导饮沪(S，R)，可推出S的结构，从而将程序设计的过程变成数学推导的过程。例如，要设计一个循环IX)，使得当满足前置断言Q和结果断言R，则P，t和B应满足Q=>P八加“nd:t，t镇0冷，B及P八，B冷R。这实际上给出了循环语句设计的原则。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条