英语人>网络例句>等价的 相关的搜索结果
网络例句

等价的

与 等价的 相关的网络例句 [注:此内容来源于网络,仅供参考]

An important method of graphical model selection is to use scoring criteria to measure how well the graph structures fit the data. We present seven operators which can be applied to representations-largest chain graphs of equivalence classes.

由观察数据学习链图的结果仍然是一个等价类,当采用具有得分等价性的得分原则时,最好选择链图等价类空间作为搜索空间,这样可以避免对等价的链图重复得分。

Note that when p is true and q is flase, the original conditional statement is false.,but the converse and the inverse are both true.

在一个条件语言里我们了解到了两个等价的命题,等价命题就是在命题变元任何指派下具有相同的真值。

This paper researches on equivalence problem of security protocol and presents the notion of security protocol equivalence.

研究了安全协议的等价性问题,提出了安全协议等价的概念。

The PES result shows there are three equivalent minimum and three equivalent transitional states.

势能面研究表明,存在3个等价的最低点和3个等价的过渡态。

Unlike the F test and t test for one exclusion, the LM test and F test will not be identical

只有一个约束时,F检验和t检验是等价的,然而LM检验和F检验并不等价。

This paper is divided into two parts: The first part, mainly discussed the properties of unitary equivalence and the relation between unitary equivalence and similarity, introduced a unitary equivalent of the necessary and sufficient condition: Specht theorem; The second part of a major demonstration of the 11 normal matrix's necessary and sufficient conditions, given some important properties of normal matrix such as simultaneous diagonalization.

本文主要分为两部分:第一部分,主要讨论了酉等价的性质及酉等价与相似的关系,介绍了酉等价的充分必要条件Specht定理;第二部分,主要论证了正规矩阵的11条充分必要条件,给出了正规矩阵的一些重要性质

Afterward Waldhausen ([7]) showed that this topological hypothesis was true. Besides, Stallings ([11]) gave another conjecture that was equivalent to Poincare"s Conjecture. Thus we know both conjectures made respec- tively by Traub and Stallings are equivalent to Poincare"s Conjecture.

另外Stallings([11])又提出了另一个代数的猜想并同时证明也证明了这个猜想与庞加莱猜想是等价的,由此可知Traub所给的猜想与Stallings的猜想都与庞加莱猜想是等价的,从而这两个代数的猜想也是等价的

In order to make problems simple relative map germs which map proper subspace R~s of R~m to proper subspace R~t of R~n are considered in the paper.

本文将相对映射芽的基本理论与经典奇点理论相结合,把A等价的判断条件应用到相对映射芽环中,推广了原有结论,得出了在两个C~r相对映射芽κ等价条件下判断其A等价的方法。

This paper present the meaning of semantic equivalence and Herbrand equivalence based upon denotational sematics with concrete programming language.Herbrand equivalence is weaker than Semantic equivalence, it has much wider utility.

从指称语义出发,结合具体语言,用形式化的方法讨论了语义等价和H-等价。H-等价的判定条件相对来说更容易得到满足,具有更广泛的可用性。

As a result, when in , subset of MA, obtained by imposing constraints on MA, AL is intensional because =L is equivalent with ≡.

在考虑了复制操作和限制操作的情况下,提出了逻辑等价的协归纳操作描述,并利用协归纳关系与进程结构同余关系进行比较,证明了若对MA加上约束条件得到子集MAsynIF,此时逻辑等价与结构同余关系是等价的,即AL在MAsynIF中是内涵的。

第1/100页 1 2 3 4 5 6 7 8 9 ... > 尾页
推荐网络例句

However, as the name(read-only memory)implies, CD disks cannot be written onorchanged in any way.

然而,正如其名字所指出的那样,CD盘不能写,也不能用任何方式改变其内容。

Galvanizes steel pallet is mainly export which suits standard packing of European Union, the North America. galvanizes steel pallet is suitable to heavy rack. Pallet surface can design plate type, corrugated and the gap form, satisfies the different requirements.

镀锌钢托盘多用于出口,替代木托盘,免薰蒸,符合欧盟、北美各国对出口货物包装材料的法令要求;喷涂钢托盘适用于重载上货架之用,托盘表面根据需要制作成平板状、波纹状及间隔形式,满足不同的使用要求。

A single payment file can be uploaded from an ERP system to effect all pan-China RMB payments and overseas payments in all currencies.

付款指令文件可从您的 ERP 系统上传到我们的电子银行系统来只是国内及对海外各种币种付款。