变量的例句大全

Adding a boolean variable to the model will double the complexity of verifying a property.

也就是说系统每增加一个变量，验证性质的复杂度将会加倍。

The Boolean variable bMatch is used to track the status of the scan.

Boolean变量bMatch用来跟踪扫描的状态。

Also notice that you set a flag ( the boolean variable done) to identify when you reach the end of the content that you are interested in.

还需注意，您设置了一个标记（布尔变量done）来确定何时到达感兴趣内容的结束部分。

A Boolean operator that gives a truth table value of true if only one of the two variables it connects is true.

一种布尔运算符，当与其相关联的两个变量中仅有一个为真时，其真值表才取值为真。

Consider the contact process on homogeneous trees in a random environment, in which the recovery rates { δ( x): x ∈ T-d} are i.i. d. random variables ( bounded above) while the infection rate is a constant λ.

考虑齐次树上随机环境下的接触过程，随机环境是指康复的速率{δ（x）：x∈Td}是独立同分布而且有上界的随机变量，感染的速率是常数λ。

Based on the discrete state equation of the system, the bounded variable simplex method of linear programming ( LP) is first applied to find the control sequences which meet the control constrains, then the cutting plane method is used to deal with state constraints.

在离散数学模型的基础上，首先应用求解线性规划问题的有界变量单纯形方法求出满足控制约束的控制序列，然后再利用割平面方法处理状态约束，以求得满足约束条件的最优控制。

Gravity and magnetic anomaly inversion by bounded variable linear programming

重磁异常有界变量线性规划反演

Based on the Lyapunov stable theory, a linear state feedback controller is presented to guarantee the asymptotic stability and achieve the bounded state variable for any bounded disturbance.

基于Lyapunov稳定性理论，设计了一个线性状态反馈控制器，该控制器对于任何给定的有界干扰，都能保证系统渐近稳定并获得有界的状态变量。

The study proved that embarrassed consumers tend to avoid a branded product with salient brand logos. Meanwhile, hiding motivation is the intermediate variable.

本研究结果表明感到尴尬的消费者更倾向于不选择商标明显的商品，同时发现消费者隐藏自我的动机具有显著的中间变量作用。

The description of fixed-point rotation needs two three-dimensional coordinates, three independent variables.

定点转动需要两个三维坐标系 、 三个独立变量来描述其运动.

Physical exercise has direct impact on middle school students' optimism. It can impose indirect influence by the two intermediary variants of self-efficiency and classmate relation.

体育锻炼对中学生乐观有直接效应，而且体育锻炼可以通过自我效能和同学关系这两个中介变量对其产生间接的效应。

By the quantitative theory, many geologic variables can be analysed conveniently.

能灵活地处理地质因素中的诸多定性变量。

The optimal control for discrete time-delay systems with additive disturbances is considered.

研究了状态变量含有时 滞 的离散系统在外部扰动下的最优控制问题.

Uncheck the inputs checked for optimization in the previous stage.

不测试那些已经测试过的优化了的以前步骤的inputs.(变量参数).

The value of the variable is the semaphore name.

该变量的值为信号灯名.

A long term dynamic numerical simulation method of power system integrated variables grouping and seceding grouping strategy

综合变量分组与退出策略的电力系统长过程动态数值仿真方法

Research on Auto-control System of the Variable for Double-Acting Vane Pump

双作用叶片泵自动变量控制系统研究

Study on Exciton Line Broadening of Photovoltaic Spectra in Strained InGaAs/ GaAs Quantum Well

InGaAs/GaAs应变量子阱光伏谱激子峰展宽的研究

The parameter to this widget is a boolean variable, which in this case is called noReviews.

该小部件的参数是一个布尔变量，在该例中称作noReviews。

Conclusion Log-linear model can better analyze the interaction of multi variables and for the exploring study.

结论对数线性模型可以更好的分析多个变量间的交互作用,适用于探索性的研究.