查询词典 predicate variable

In order to meet the required simulation precision and meet the real-time simulation in ballistic simulation calculation,this paper analyzes the selection method of the simulation step,and then introduces variable step integration methods in Runge-Kutta to Adams and educes Adams variable step integral formulas,and then put forwards a method by seeking zero of condition function in discontinuous nonlinear system of the ballistic simulation.

在弹道仿真计算中，为了既达到要求的仿真精度又能满足实时仿真，分析了仿真步长的选择方法，然后在龙格－库塔转阿当姆斯法中引入变步长积分方法，推导了阿当姆斯变步长积分公式，同时对弹道仿真中的间断非线性系统提出条件函数求零的方法来解算弹道。

The state definition may contain complex discrete state variable distribution which can not be described as combination of state variable value sections.

解决这个问题对该方法的实用化和产品化很重要，是我下一步的研究方向。

If the value of two-dimension random variable is finite or countable, then is called two-dimension discrete random variable.

Definition 3.3 如果二维随机变量可能取的值只有有限个或可列个，则称为二维离散型随机变量。

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 ] 只考虑测试用

Chapter II explores the definition of the financial crisis, the evolutions of the statistical methods used for analyzing financial crisis from the early single variable analysis, multi-variable analysis to the double element regression; as well the agency problems, the roles of the Board and Auditors, their functions and compositions.

在第二章文献中探讨财务危机的定义，以及财务危机之应用统计方法的发展，由最早的单变量分析、多变量分析到二元回归分析加以解释说明；同时也探讨代理理论相关问题及董事会及监察人之角色、功能与组成等。

Comparing with the equation of common machine tools, this equation has three characteristics: It includes the variable frequency driver's energy loss;The variable frequency driver's no-sine voltage wave causes mechanical pulse losses in mechanical driving system;Equivalent palstance of main driving system is of uniform continuity.

该方程相对于普通机床功率平衡方程，具有变频器自身存在较大的能量损耗、变频器输出的非正弦波形电压带来的电气谐波损耗和机械传动系统的机械脉动损耗、主传动系统当量角速度具有一致连续性等三个重要特点。

Its benefit is that different structural sizes can be controlled by single design variable, such as the thickness of plate element and the area of bar element can be controlled by single dimensionless design variable.

采用无量纲设计变量为了适合工程实际的设计变量连接，利用无量纲设计变量，其好处是可以跨单元、跨截面的用同一个设计变量控制不同类型的结构尺寸(如板单元的厚度、杆单元的截面面积等)。

If the GRID_SECURITY_DIR environment variable is set, the grid security directory is the value of that environment variable.

如果设置了X509_CERT_DIR 环境变量，受信任的证书的目录是这个环境变量的值。

This is the var keyword, followed by the name of the variable, followed by its type, followed by an equals sign and an initial value for the variable.

这里有一个var关键字，后面跟着变量名字和变量的数据类型，再后面可以用"＝"符号来进行赋值。

Many high-rise buildings can be simplied into variable cross-section cantilever beam, which equation of free vibration is variable coefficient differential equation of higher order and there is no general solving process for which in mathematics.

对这类方程，数学上没有提供一般的解法。本文采用的级数解法可求出任何变系数的四阶微分方程，在给定边界条件下的解。

Pachomius manual labour was organized as an essential part of the monastic life; and since it is a principle of the monks as distinguished from the mendicants, that the body shall be self-supporting, external work of one sort or another has been an inevitable part of the life ever since.

根据圣pachomius体力劳动组织作为一个重要组成部分寺院生活；以来，这是一个原则的和尚，作为有别于乞丐，该机构应自支撑，对外工作的这种或那种已一个必然的一部分，生活至今。

In order to study the effects of parametrical rolling on the ship movement and tilts, in allusion to ship's navigating in regular following waves, the equation of ship rolling motion is transformed into normal Mathieu equation by proper variable replacement when strong parametrical excitation in restoring moment varied according to sine or cosine wave.

为研究参数横摇对船舶运动和倾覆的影响，通过对船在规则波上随浪航行时，恢复力矩中出现的1个以正余弦规律变化的强参数激励项进行适当的变量置换，将船舶的横摇运动方程转换成标准形式的Mathieu方程。