1、

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

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

互联网摘选

2、

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

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

互联网摘选

3、

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)来确定何时到达感兴趣内容的结束部分。

互联网摘选

4、

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

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

互联网摘选

5、

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}是独立同分布而且有上界的随机变量,感染的速率是常数λ。

互联网摘选

6、

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.

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

互联网摘选

7、

Gravity and magnetic anomaly inversion by bounded variable linear programming

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

互联网摘选

8、

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稳定性理论,设计了一个线性状态反馈控制器,该控制器对于任何给定的有界干扰,都能保证系统渐近稳定并获得有界的状态变量。

互联网摘选

9、

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

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

互联网摘选

10、

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

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

互联网摘选

11、

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.

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

互联网摘选

12、

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

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

互联网摘选

13、

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

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

互联网摘选

14、

Uncheck the inputs checked for optimization in the previous stage.

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

互联网摘选

15、

The value of the variable is the semaphore name.

该变量的值为信号灯名.

互联网摘选

16、

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

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

互联网摘选

17、

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

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

互联网摘选

18、

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

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

互联网摘选

19、

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

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

互联网摘选

20、

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

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

互联网摘选

  • 今日热词
  • 热门搜索

简答网英语词典(dict.jiandongshicai.cn)为您提供在线翻译英语词典单词大全英译汉汉译英等英语服务!可按单词字数词义分类查询。支持lj:关键词格式查询例句。

用户反馈
请选择反馈类型(可多选):
您的联系方式:(如需回复请填写联系方式)
反馈内容:
提交成功 小编会尽快处理
回到顶部
点击反馈