The properties of the operators of modal logic system S5 is investigated, then a theorem is proved about its primitive operator set, and some corollaries are given.
探讨了模态逻辑系统s5的运算子性质,进而证明关于它的本原运算子集的一个定理,并给出一些推论。
Individual countries can set their own security policy but minimum standards are controlled by the European Commission, a spokesperson for the UK's biggest airport operator, BAA, says.
英国最大机场运营商英国机场管理局的发言人表示,各个国家可设定自己的安全政策,但其最低标准将由欧盟控制。
Without asynchrony, the federated UNION operator initiates the blue leg first, waits for the remote join to complete, and retrieves its result set.
在没有异步的情况下,联邦union操作符首先开启蓝色分支,等待远程连接完成,然后获取它的结果集。
This operator extracts account ID values to drive a join operation that can produce the desired result set.
该操作符提取账户id值,以驱动一个连接操作,该连接操作可以产生所需的结果集。
If a match is made, the first three digits are captured in the first set of parentheses, the next three digits in the second set; and the final four digits in the remaining operator.
如果找到匹配,则把前三个数字捕捉到第一组括号中,把接下来的三个数字捕捉到第二组括号中;并且把最后四个数字捕捉到剩余操作符中。
The last set includes a colon (:) between the variable name and the substitution operator, which adds the check to see if the variable is NULL, as well.
后一组定义在变量名和替换操作符之间包含一个冒号(:),这会额外检查变量是否是NULL。
This value can be changed or edited by the operator, a Set button can be pressed, and when this is done, a property is fired off with the current value in the edit field.
该值可由操作员修改或编辑,然后可以按下Set按钮,设置之后,Edit字段的当前值将触发属性。
The double-dot operator invokes mutator methods to set values for each of the address attributes.
双点运算符调用了mutator方法来设置每个地址属性的值。
It has been set up by UAP Insurance of Kenya, Safaricom, Kenya's biggest mobile-network operator, and the Syngenta Foundation for Sustainable Agriculture, part of a big Swiss agribusiness group.
它是由肯尼亚的uap保险公司,肯尼亚最大的移动网络运营商Safaricom以及瑞士一家大型农业综合企业——先正达永续农业基金会共同建立的。
The other approach to matching "bat," "bat," "cat," or "cat" USES the (brackets) set operator.
匹配“bat”、“bat”、“cat”或“cat”的另一个方法是使用(方括号)集合操作符。
Each attribute in the hash can be accessed or set using the dot operator (as shown in Listing 2).
使用dot操作符可以访问或设置hash中的每个属性(参见清单2)。
General comparisons are retained for cases when you want to check a set of values, but also note the more explicit some operator described elsewhere in this article.
保留一般比较是为了需要检查值集的情况,不过还要注意将在本文后面介绍更显式的some运算符。
This operator servers as the endpoint of the mashup feed and can be used to set the feed type to RSS, ATOM, or simple XML (default).
该操作符被当作mashup提要的端点,可用于将提要类型设置为RSS、ATOM或简单的XML(默认)。
Specify the condition for the table Join operator by connecting the tables using the unique term number, which is SKILL_ID in the result set of the text analysis and TERM_ID in the taxonomy table.
通过使用唯一的术语编号将表连接起来,为TableJoin操作符指定条件,术语编号为文本分析结果集中的SKILL_ID,和位于分类表中的TERM_ID。
Specify the columns to be included in the result set of this operator by completing the following steps.
通过以下步骤,指定该操作符生成的结果集中包括的列。
For each supported action, ask the operator to fill in values in the test component, and then click the Set button.
对于每个受支持的操作,要求操作员在test组件中填充值,然后单击Set按钮。
The operator can also exercise any action in the component under test by filling in a value in the test component and clicking its Set button.
操作员还可以在test组件中填充值并单击Set按钮,从而检验被测试组件中的任何操作。
Gnuplot is very rich in command options using the set operator.
gnuplot有许多命令选项,可以通过set操作符使用它们。
There is another option: for Apple to set up as a mobile operator itself, by leasing network capacity from an existing operator.
另一种选择是:苹果公司通过从现存的网络运营商,租借网络使用权来建立自己的网络。
In most languages, we can use the tertiary operator? : to set the value of the new variable.
在大部分语言中,我们可以使用三元运算符?:来设置新变量的值。
Furthermore, the members can have their own merge operators defined which, if they are set, will have priority over the cube merge operator.
另外,成员可以有自己的合并运算符(如果设置了的话),并且优先级别高于数据集合并运算符。
Vodafone, a mobile-phone operator, has just set up a mobile health unit in Britain.
英国移动运营商沃达丰公司刚刚在英国建立一个移动健康中心。
In Listing 2, you can see the operator overloading I set up in Listing 1 in action.
在清单2中,可以看到我在清单1中设置的操作符重载的效果。
A return type and a single parameter are set for UML operation that represents a unary operator.
表示单目运算符的UML操作还设置有返回类型和一个参数。
Second, if you need to repeat a small string to create a bigger string, you can use the * operator, which multiplies a string out a set number of times.
第二,如果需要重复短字符串来创建长字符串,可以使用 *运算符,将字符串重复一定的次数。
The operator class is typically a set of functions.
操作符类通常为一组函数。
All the operator has to do is set the speed to slow ahead, and FORGET the ballast system.
所有的经营者所要做的就是设置的速度缓慢前进,而忘记了压载系统。
This design means that there is one transaction per phone call, and each operator should always have the right set of data available when he or she answers a call.
该设计意味着,每次电话之后只有一次传输,当每个操作员接听电话时,总能有可用的正确的数据集合。
The Group By operator enables you to generate a result set that includes the required aggregate operations.
通过GroupBy操作符可以生成一个结果集,其中包括所需的聚合操作。
The main advantage of the fuzzy approach to Control lied in the fact that the notion of fuzzy Set theory enalles us to incorporate the operator experience into the control algorithm.
模糊控制器的主要优点,是能把现场操作人员及专家的经验包括在控制算法之内,从而解决了一些常规控制方法无法解决的难题。
应用推荐