查询词典 relatively countably compact subset

At last, we will explore the completeness of the algebraic laws with respect to a subset of Verilog and the operational semantics, i. e., if such programs are bisimilar, then they are algebraically equivalent.

最后本文研究了代数语义的相对完备性，即参照前面的操作语义模型，相对于扩展Verilog语言的一个子集而言，我们的代数语义是完备的。

At last, the completeness of the algebraic laws with respect to a subset of Verilog and the operational semantics, i.e., are explored, if such programs are bisimilar, then they are algebraically equivalent.

研究了此代数语义的相对完备性，即参照前面的操作语义模型，相对于扩展Verilog语言的一个子集而言，此代数语义是完备的。

Digital signal processing and analog signal processing is a subset of signal processing.

数字信号处理与模拟信号处理是信号处理的子集。

The Apriori is an algorithm about the generation of association rule. Enlightened by the generation of candidate k-itemsets, k subsets of one item will be first find out, and then connected to get subsets of two items, and finally get the subsets of k-1 items. The algorithm can be used to find out the proper subset and to generate the protasis and apodosis of the association rule.

在关联规则--Apriori算法方面，主要是受Apriori算法中生成候选k项集方法的启发，提出首先找出k个只含1项的子集，然后将它们连接生成含2项的子集，直到最后连接成k-1项的子集为止的寻找真子集并生成关联规则前件、后件的算法。

Sparse eigenvalue analysis technique, which makes full use of sparsity of augmented state matrix during small disturbance stability analysis for large scale power system, can compute out concerned eigenvalue subset from all eigenvalues and can analysis power systems that have arbitrary scales.

论文的主要研究工作和创新性成果如下：1针对传统特征值分析方法仅适用于中小规模电力系统的局限性，结合Prony和稀疏特征值算法，提出了一种大规模互联电网区间低频振荡分析的实用方法。

Let G be a finite group, and S a subset of G not containing theidentity element 1. The Cayley digraph Cay on G with respect to S is definedas a directed graph with vertex set G and edge set {|g∈G, s∈S}. IfS~(-1)=S, then Cay is undirected and in this case, we view two directededges and as an undirected edge {u, v}. Obviously, the right regularrepresentation R of G, the acting group of G by right multiplication, is asubgroup of the full automorphism group AutCay(G, S of Cay.

给定有限群G，设S是G的不含单位元1的子集，群G关于子集S的Cayley有向图Cay是一个以G顶点集合，而以｛|g∈G，s∈S｝为边集合的有向图，特别地，若S~(-1)=S，则X=Cay是无向的，此时我们把一条无向边｛u，v｝等同于两条有向边和，易见，群G的右正则表示R，即G在G上的右乘作用，为图Cay的全自同构群AutCay

And the weighed averaging method is taken for decoupling fuzzy subset to get precise output.

采用加权平均法对输出模糊子集进行解模糊，得出了精确的输出。

Thinking hard about a complex decision that rests on multiple factors appears to bamboozle the conscious mind so that people only consider a subset of information, which they weight inappropriately, resulting in an unsatisfactory choice.

过度考虑一个受多种因素影响的复杂决定似乎会使有意识的思考受到蒙蔽，人们因此只考虑到了相关信息的一个分枝，而且不适当地估量了这部分信息，结果做出一种令人不满意的选择。

Template and instance can describe the data pattern accessed by program. Template and instance are defined by generation subset of the canonical basis of linear space.

文中首先指出算法的访存模式可用模板和实例来刻画，并用线性空间规范基的生成子集来定义它们。

In this interpretation IP is a subset of IR; this will be typical of RDF semantic interpretations

一般来说IP是IR的子集，因为属性也可以当成资源，作为三元组的主体或客体，都这并不是必须的。

The small blue capacitor has very high chances to go fully shorted compare to electrolytic capacitor which is very rare.

小蓝电容器具有很高的机会去充分地缩短了比较电解电容器，这是非常罕见的。

In the Italian campaigns of 1513 and 1515, when the Swiss won the victories of Novara and Marignan, he acted as army chaplain.

在意大利的运动， 1513年和1515年，当瑞士赢得了胜利，诺瓦拉和marignan ，他担任军队的牧师。