可变量

It is programmable, with user-defined variables and functions.

这是可编程的，与用户定义的变量和功能。

So-called first-order theorem proving may be restricted to a propositional calculus with terms (constants, function names, and free variables) added, making it impossible to express mathematical induction.

所谓一阶定理证明可限于命题演算的条款（常数，函数名，并免费变量）说，无法表达数学归纳法。

Firstly, this paper definited pseudometric d for n -foldproduct of σ-algebra A of subsets of a given set X , and definited indicator function ; secondly, gave the concept of differentiable of set function at S° and concept of partial derivative at S° with respect to the ith argument Si through indicator function, and defound the weak efficient solution of and optimality necessary condition; Finally, obtained three weak duality results and strong duality results under generalized convexity conditions.

首先，对已知集X的子集的σ-代数A的n-折积A^n，定义了伪度量d，给出了相应的特征函数〈h，Is〉；其次，通过特征函数给出了集函数在S 可微的定义及集函数在S 关于第i个变量Si的偏导数定义；给出了多目标规划问题的弱有效解概念及的最优性必要条件；最后，分别在目标函数和约束函数的3种较弱凸性条件下，研究n-集函数多目标规划问题的对偶问题，获得了3个弱对偶结果和强对偶结果。

In order to predict gas outburst accurately, mathematical geology model of coal and gas outburst was set up by the second theory of quantification , and which was applied and validated in Zhongmacun Mine of Jiaozuo Mining Group Company.

在焦作中马村矿应用研究结果表明：由于煤与瓦斯突出的分区分带主要受地质条件控制，运用数量化理论Ⅱ，可以借助已知瓦斯突出类型的若干地质变量，建立该矿井煤与瓦斯突出的数学地质模型，并预测未知区的瓦斯突出，这可提高瓦斯突出预测的准确性和可靠

According to fuzzy random variable theory, calculated method of fuzzy random characteristic quantity of system risk grade is given, which can be used to prediction risk assessment of system.

根据模糊随机变量理论提出了系统危险等级模糊随机特征量的计算方法，它可用于系统危险性的预测评价。

Which of the following indicates the acceptable range of variation of a process as represented on the control chart?

下列哪个指出了在控制图中过程变量可接受的范围？

In order to characterize the spatial characteristics at different scale, different theoretical model coefficient we defined to create the Kriging map and the rational number of sampling impendent from each other at different spatial scale.

变异函数结构分析显示，土壤机械组成的空间变异在各方向上具有不同变率，但均可通过线性变换而转换为各向同性的统一结构，属于几何各向异性结构；不同观测尺度上有着不同的空间结构特征，对不同空间结构的区域化变量确定了不同的理论模型参数，并绘制克立格图，给出不同观测尺度下满足独立取样的合理取样数目。

Through correlative analysis and path analysis, it finds that (1) the family environment and the colleges and universities environment have direct and indirect influence on self-identity development of students; and (2) the family environment and the colleges and universities environment exert the major effect on self-identity development of students through identity style as mediational variable, so identity style becomes the explanatory base of self-identity status. That is, the predictive effect of diffuse/avoidant identity style for identity diffusion, normative identity style for identity foreclosure, and information identity style for identity achievement respectively is most significant; and (3) family environment that is helpful, supportive, warm, expressive, and promote autonomy and independence possibly makes students form identity achievement or identity moratorium, family environment that is excessively cohesive and warm but lacking independence possibly promote students to form identity foreclosure, and family environment that lacks of supportive and warm possibly make students form identity diffusion; and (4) colleges and universities environments that have better relationship system, clear developmental purpose, and promote to pay attention to societal concerns, critical and explorative qualities, and provide healthy, expressive, democratic, open atmosphere facilitate identity development, in turn form advanced identity. Colleges and universities environments that only emphasize the receival of colleges and universities aims, order and instilments, and scarcely encourage critique, exploration, individuation possibly make students form identity foreclosure. However, the ones that is remote relationship system, and lacking support, and students don't cognize the aim of colleges and universities possibly make students form identity diffusion.

通过相关分析、路径分析发现：(1)家庭环境和学校环境对大学生自我同一性有直接和间接的影响；(2)家庭环境、学校环境对大学生自我同一性影响主要以同一性加工方式为中介变量，同一性加工方式成为自我同一性状态的解释基础，弥散—回避定向同一性风格对弥散型同一性预测力最大，信息定向同一性风格对成就型和延缓型同一性预测力最大，常规定向同一性风格对排他型同一性预测力最大；(3)相互支持、帮助、关心、自由表达和鼓励自主和独立的家庭环境促进大学生同一性的发展，形成成就型或延缓型同一性状态，过度亲密而缺乏独立性特征的家庭环境可能形成排他型同一性状态，而缺乏支持性，关系疏远的家庭环境可能形成弥散同一性状态；(4)良好的关系系统，明确的发展目标，鼓励学生对社会事务关注、倡导批判和探索精神，塑造良好、健康、可供自由表达、民主、开放的文化氛围的大学校园环境促进大学生同一性发展，形成高级、成熟的自我同一性，而一味强调学校目标的接受，强调秩序、灌输，缺乏对批判、探索、个性发展鼓励的学校环境有可能使学生形成排他型同一性状态，但若学校的关系系统疏远，缺乏支持性的民主的风格，目标不能被学生明确感知的学校环境则可能影响学生形成弥散型同一性。

The key to making code reentrant is to ensure mutual exclusion whenever accessing global variables or shared registers.

使代码可再入的关键在于确保在访问全局变量或共享寄存器时互斥现象发生。

In Axure RP, you can use up to 25 variables in a file.

在Axure反相，您最多可使用25个变量在一个文件中。

The split between the two groups can hardly be papered over.

这两个团体间的分歧难以掩饰。

This approach not only encourages a greater number of responses, but minimizes the likelihood of stale groupthink.

这种做法不仅鼓励了更多的反应，而且减少跟风的可能性。