量化一个合式公式中的某个变量所得到的表达式也是合式公式。如果一个合式公式中某个变量是经过量化的,就把这个变量叫做约束变量,否则就叫它为自由变量。在合式公式中,感兴趣的主要是所有变量都是受约束的。
使用方法参照的动机就是要有这样一个类型,这个类型能包含约束变量(bound variables),正如著名的闭包值。由于闭包闭合于其定义的环境,包括在定义点的局部变量引用,它们有必须确定的状态。
基于304个网页-相关网页
... 约束场:restraint field 约束变量:restrained variable 约束,限制:confinement ...
基于6个网页-相关网页
自由变量和约束变量 Free variables and bound variables ; Dummy-Variable
无约束变量 unbound variable ; [数] unrestricted variable
添加约束变量 Adding Constraints
约束变量轮换法 constrained cyclic variable method
约束决策变量 bound decision variable
多变量约束控制 Multivariable Constrained Control
词法变量约束 [计] lexical variable binding
变量约束网络 Variable Constraint Network
采用设计变量约束网络 Variable Constraint Network ; VCN
现在我们知道了,怎样去寻找约束变量相互之间的变化率。
OK, so now we know how to find the rate of change of constrained variables with respect to each other.
通过实例分析显示,它具有比约束变量轮换法更高的计算精度和稳定性。
Several examples showed that this improved method has more calculated precision and stability than constrained cyclic variable method.
并提出“基于社会交换的协作治理”这一概念,以弥补“自主组织和自主治理”概念的不足,并对社会交换博弈的约束变量进行了分析。
This model would be a good supplement for the 'Self-organization and governance' model posted by Ostrom. At the end of the chapter, we clarified the game parameters and matching protocols.
So this isn't the most useful form that we can have, but what we'll see shortly is that from this, we can then derive further criteria for essentially any set of variables or any set of external constraints, like constant temperature or pressure or volume and so forth that we might set.
所以这不是我们所能得到的最有用的形式,但是我们会很快看到,我们能够进一步推导出包含任意变量,或者任意约束的自发过程判断标准,比如说恒定的温度,压强,体积或者其他我们能够给出的约束。
应用推荐