变量

For each variable declared as external: If the variable declaration includes a declared type, the external environment must provide a value for the variable that matches the declared type, using the matching rules in 2.4.4 SequenceType Matching .

对每个声明为external：的变量：如果变量的声明中包含了一个已声明的类型，根据2.4.4 序列类型匹配中的匹配规则，外部环境中必须有该变量的一个值与该类型匹配。

1 External and static variable s are initialized to zero by default.

外部变量和静态变量初始的时候默认值为零，自动变量在初始的时候是没有默认值的。

The chapter 3 investigates the constructive method which means that many combinatorial numbers, such as Stirling number, Bell number, harmonic number, Fibonacci number and the number of derangement, are represented to moments of some random variables. This method is used in the computation of combinatorial sums, discovery and proof of combinatorial identities.

第三章研究了构造性概率方法，即一些常见组合变量(以后统称组合数为组合变量)的概率表示，诸如Stirling数、Bell数、调和数、Fibonacci数、错排数都可以表示为一些随机变量的矩，这些概率表示可以用来研究组合和式的计算与恒等式的证明。

The mechanical parameters in the model are treated as random variables and it is then resolved with Taylor extension stochastic finite element method, The distribution characteristics of the pore pressure, the effective stress and the displacement are researched by treating the mechanical parameters of the rock as random variables. The sensitivities of the pore pressure, the effective stress and the displacement to the random mechanical parameters are also analyzed.

视模型中的参数为随机变量，采用Taylor展开随机有限元法对该模型进行数值模拟，研究参数具有随机性情况下耦合场中孔隙压力、有效应力，位移等场变量的随机分布特征及孔隙压力、位移等场变量对参数的灵敏度。

Statement, the free variable is treated as a global.

如果某自由变量的最近封闭作用域包括一个global语句，那么这个自由变量就当作全局变量处理。

If the nearest enclosing scope for a free variable contains a global statement, the free variable is treated as a global.

如果某自由变量的最近封闭作用域包括一个global语句，那么这个自由变量就当作全局变量处理。

The scope of the variables is always global. If you use a variable in a function, it is global to the rest of the program.

变量的范围始终是全局的，如果你在一个函数使用一个变量，这个变量是全局的，它可以应用于其余的程序中。

Thisdocumentgivesatheorymodelandthemainprocessofthetechnologyofdynamicallydiscovering program invariants which based on thecontract and shows thetechnology of dynamically discovering functional dependence program invariants combined with Java program language.

主要描述基于合约的似然程序不变量发现的基本理论模型，以及程序不变量发现的主体过程，并结合Java程序设计语言进一步阐明函数依赖程序不变量动态发现的一种方法。

When a new invariant is found, an important problem is to find its "geometric" relationship (relationship with geometric meaning) with basic invariants. The discovery of this relationship is mainly based on algebraic manipulations of invariants.

发现一个不变量后，如何找到它与其他不变量的关系，是实际应用中的一个重要问题，这种关系的探讨主要依靠在不变量层次上的代数运算。

Objective To analyze the changing rules of correlativity for cross sectional bivaritate data which is hierarchically structured.

目的 分析双变量横断面资料两个反应变量之间的相关性随协变量变化的规律。

This one mode pays close attention to network credence foundation of the businessman very much.

这一模式非常关注商人的网络信用基础。

Cell morphology of bacterial ghost of Pasteurella multocida was observed by scanning electron microscopy and inactivation ratio was estimated by CFU analysi.

扫描电镜观察多杀性巴氏杆菌细菌幽灵和菌落形成单位评价遗传灭活率。