查询词典 predicate variable

In the chapter 5, during the optimization, the influence of search efficiency of choosing search variable is studied, and author proposes a kind of choice, which the positions of two exit points and the sagitta of the slip surface are taken as the search variable (the sagitta depends on the dynamic positions of two exit points of the slip surface), The examples show that the choice method decrease search region, improve the efficiency of searching, and has applying foreground.

在第五章中，探讨了搜索变量的选取对搜索效率的影响，对此作者提出以滑弧的两个端点位置以及它所组成的弓形高为搜索变量。实例表明，搜索变量的这种选取方法缩小了搜索范围，提高了搜索效率，有很好的应用前景。

First, the problem of choosing sample time in the discretized variable structure control of continuous-time systems is analyzed, then direct design methods of variable structure for discrete-time systems are discussed.

首先研究了将连续系统的变结构控制理论离散化后应用在离散系统时采样时间选取的问题，接下来讨论了直接针对离散系统的变结构控制的设计。

The thesis studies the necessity and rationality of using the technology of variable frequency drive to resolve the bottleneck in SPCP s driving system, and describes the hardware developing process of sample of the variable frequency drive .

本文主要论述了，在潜油螺杆泵采油系统中应用变频驱动技术来解决这一问题的必要性和合理性，并详述了试验样机的硬件开发过程。

The author constructed a linear schemes type Region-Project-Join-Normal-Form based on lossless join decomposition, and gave the form of RPJNF through the presentation of equivalence between semantic variable independence and syntax variable independence under finite precision domain. Some other new constraint data dependencies including partitioned multi-region existence dependency and single region existence dependency were also presented. A result of variables set under linear transformation was discussed.

文中给出并证明了多区域存在依赖满足的几条推理规则；提出并证明了线性序约束关系进行模式无损连接分解的充要条件是变量集满足变量独立和多区域存在依赖；设计了一种基于模式无损连接分解的区域投影连接范式；通过证明有限精度域上语义变量独立和语法变量独立的等价性，给出有限精度域上RPJ范式的表达形式。

Secondly, the research focus may be on the individual's response to the stress; in this sense stress acts as the independent variable. In the first case it is more likely to be a dependent variable, elements of the teaching and the working situation being the independent variables.

第二，这个研究的焦点可能在个人对压力的回应上，在这种意义上，压力是作为一个自变量，在第一种情况下，则更倾向于一个因变量，而教学元素和工作情况则是自变量。

This function is used to change a regular variable into an array, by separating it on a certain character. Takes two arguments: the separator and the variable, and returns the array. Used like this

这个函数的作用是用分隔字符把一个字符串变量转换成数组，有两个参数，第一个是分隔符，另一个是字符串，返回结果是一个数组，使用方法如下

A new concept of turn variable lane from the service level of signal intersection and the right-of-way was proposed. The principles and conditions of setting the turn variable lane were analyzed.

从信号交叉口服务水平和路权角度出发，提出了转向可变车道的概念，并且分析其设置的原则及条件。

Simple regression analysis estimates the relationship between the dependent variable and one independent variable.

简单回归分析系估计依变数与单一自变数之间的关系。

ShTat1.3 and ShTat1.5 are two variable antigen types of a cloning Anhui strain of Trypanosoma evansi.Total RNA of the two variable antigen types were extracted by acid guanidinium thiocyanate-phenol-chlorform single step method.

应用异硫氰酸胍一酚一氯仿一步法分离伊氏锥虫安徽株克隆虫体ShTatl的二个抗原变异体ShTat1.3和ShTat1.5总RNA，在含有甲醛的琼脂糖凝胶电泳后，转印到硝酸纤维膜上。

In the process of solving it, the slack variable was introduced, which has an important physical meaning. If the slack variable of the solution has a larger value, it means there's an unknown water source.

在模型求解过程中引入的松弛变量具有重要的物理意义，如果解中松弛变量取值较大，则意味着存在未知水源。

Many will continue to choose to live in duality and in conflict.

许多人将继续选择活在二元对立性和冲突中。

I find that students of the University of Physical Education all wear sportswear at first sight.

我发现：体育大学的学生乍一看，都是穿运动衣，大家都一样