变量范围

This paper provides a method of variable integrity testing to detect the faults of software By checking the definition domain of the variable itself and the restriction condition of consistency between variables, we only need to determine the bound of each output data, rather than the exact value Although the output of testing case cannot be easily caught, this method can improve the efficiency of detecting faults Furthermore, the checking point is not limited to the final output place, but spreads over the reference places in the program code to key variables just like those at the checkpoints under debugging As a consequence, the testing becomes more precise

由于软件测试用例的输出部分很难确定，而通过测试变量自身的定义域和变量间的一致性约束关系，只需要确定输出值的范围而不用知道其确切的值，就可以提高了错误检测的效率同时，检测的范围不局限于程序最后的输出结果，而是散布在程序中的各个有意义的变量，正如调试过程中设置断点观察的那些变量，使得检测错误更加精准1 引言软件测试的本质在于针对要测试的内容确定一组测试用例[1] 测试用例分为输入和输出两部分功能测试和结构测试等基本的软件测试方法，都比较关心测试用例的输入部分定义域的确定，而对测试用例的输出部分考虑得较少例如，边界测试和等价类测试[2 ] 只考虑测试用

The dissertation suggestes that one should think over the variability of variables measured from drillholes, the variablility of variables measured from whole mineralization domain and the variability of variables measured from one direction.

本文建议确定块金值时综合考虑钻孔样品间变量变异性、整个矿化域范围内变量变异性和某个主要方向上变量变异性。

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.

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

If the variable is defined in a function prototype, then the variable may only be accessed in that function.

如果变量被定义在一个函数原型中，那么变量的范围只能是那个函数原型的范围。

A series of spatial syntactic variables is discussed in the paper. Taking Wuhan's traffic axial map as a case, spatial syntactic variables of multi-scale spatial extent based on GIS are analyzed. A conclusion is that the accessibility is the key factor that weighs an urban spatial morphology, and the integration degree is a direct variable describing accessibility.

讨论了空间句法的系列变量，并以武汉市为例，提取武汉市的交通网络轴线地图，在GIS环境下讨论了不同尺度空间范围内的空间句法变量，得出空间可达性是评价城市空间形态的重要因子，而集成度是描述空间可达性的直接变量。

Thus is the range of random variable X and is the range of random variable Y and so forth.

因而， 是随机变量X的范围和是随机变量Y的范围等等。

The hierarchy architecture of the compiling system is presented. Thinking about the way of alignment and distribution of a array, the range of a index variable in a FORALL statement, and the subscript expression of the element of a array, the communication requirements in an array assignment are classified into three categories: no communication, SHIFT communication, and other type of communication.

综合数组的分布方式、对准、FORALL语句的空间索引变量范围以及数组元素的下标表达式，将程序语句中所隐含的通信划分为3种情形，即无通信、SHIFT通信和其它通信，指出了这种划分的意义，给出相应的通信检测算法，描述了具体的实现细节；详细讨论了SHIFT通信以及利用阴影区技术对它进行的优化，对于REMAP通信的典型形式及其优化也进行了讨论。

The important undefined semantical notion in the theory is that of satisfaction which relates sentences, open or closed, to infinite sequences of objects, which may be taken to belong to the range of variables of the object language.

在这个理论里重要但未定义的语义notion是'关联语句和无限对象无限序列（——这可以被作为属于对象语言的变量范围）的satisfaction'。

The problem with temps is that they are temporary and local.

临时变量的问题在于他们的生命周期都是临时的而且作用域是局部的，因为只在那些应用这些变量的方法的上下文中，他们才是可见的，所以临时变量更应该被封装成一个长一点方法，这是你延伸这些临时变量应用范围的唯一途径，通过用一个类似查询的方法来替换临时变量，类中的任何方法都可以访问临时变量所携带的信息，这对获得更清晰的代码有很大的帮助。

An equal cross-section blade was investigated and a finite element model was built parametrically. Geometrical parameters (such as length, width and thickness), material parameters (such as young's modulus and density) and speed of blade were considered as input random variables while the static frequencies and dynamic frequencies were output random variables. Combining the finite element method, response surface method and Monte Carlo method, the statistical properties and cumulative distribution functions of static frequencies and dynamic frequencies were obtained. Probability sensitivities analysis, which combined the slope of the gradient and the width of the scatter range of the random input variables, was applied to quantitatively evaluate the sensitivities of static frequencies and dynamic frequencies with respect to the random variables. The Scatter plots of structural responses with respect to the random input variables were illustrated how to adjust the values of the static frequencies and dynamic frequencies by changing input random variables.

文中以某试验台用汽轮机等直叶片为研究对象，考虑几何参数、材料参数和转速的随机性，通过有限元参数化建模，将确定性有限元方法、响应面方法和Monte-Carlo模拟法相结合，从而获得了叶片静频、动频的统计特性和累积分布函数；同时考虑随机变量的梯度和离散范围对静、动频的影响，通过概率敏感性分析，定量地判断出叶片静、动频对随机输入变量的敏感性；通过绘制叶片静、动频与输入变量的散点图，定量地分析了如何改变随机变量以调整静、动频率的方法。

Do you know, i need you to come back

你知道吗，我需要你回来

Yang yinshu、Wang xiangsheng、Li decang,The first discovery of haemaphysalis conicinna.

1〕 杨银书，王祥生，李德昌。安徽省首次发现嗜群血蜱。