自由变元(free variable)是一种变元，指在一个公式中自由出现的变元。自由变元的一个重要特征是取值不确定，则所在公式的值也不确定。 在谓词公式∀x(A)或∃x(A)中，称A为相应量词的作用域或辖域，量词中的x称为指导变元或作用变元，辖域中的x称为约束变元(简称约束元)，其余的变元称为自由变元(简称自由元)。 通俗地说,辖域是量词所约束的范围．受量词约束的个体变元称为约束变元，不受量词约束的个体变元称为自由变元。
例如: (x)( F(x)(y)( G(y)H(x,y) ) ) 2-4 变元的约束 定义4： 自由变元 ( free variable )： 在谓词公式中，除去约束变元以外所出 现的变元，称作 自由变元 。
基于52个网页-相关网页
本文利用变区域上变分有限元方法求解了溢流坝自由溢流和闸下出流问题。
Using the variable domain finite element method, the problem of the flow over a gated or free spillway has been solved successfully.
诱发神经元退行性变有两种重要因素：一种是自由基对神经元的损伤作用，另一种是神经元缺乏神经营养因子的支持作用。
There is evidence that both neurotrophic factor deprivation and oxidative stress are major potential players as pathological processes in neuronal degeneration.
利用有限元离散变分不等原理和基于线性规划余原理的迭代方法，求解自由边值条件下的油膜力。
The oil film forces under free boundary conditions are solved by finite element discrete variational inequalities and iterative method based on complementary principle in linear programming.
应用推荐