查询词典 be bound to

When a multiple bound is used, the first type mentioned in the bound is used as the erasure of the type variable.

当多个界限被使用的时候，界限中的第一个类型被用作这个类型参数的erasure。

The former is bound by operator gen and the latter is bound by existential quantifier.

类指性由类指算子gen约束，存在性由存在量词约束。

This will be Chinese net swims bound and electric eyeshot cross a bound gravely to cooperate again.

这将是中国网游界和电视界又一次重大的跨界合作。

First, to optimize imprecise polynomial circuits using arithmetic transformation, implement the design under different error precision bound and considering the case of fixed point and floating point representation., to search the optimized circuits with branch and bound algorithm.

方法首先利用算术变换进行非精确多项式电路优化，给出电路在不同精度界限下的实现，考虑电路的定点和浮点设计表示，然后应用分枝定界方法求解出最终的优化结构。

And he that was dead came forth, bound hand and foot with graveclothes: and his face was bound about with a napkin.

11：44 那死人就出来了，手脚裹着布，脸上包着手巾。

With i being the greatest lower bound on the number of latter points in the interior of any TLP with exactly v vertices, i(5)=i(6)=1,i(7)=i(8)=4 , it is proved that i increases without bound as ...

证明了随着TLP顶点数的增加，内格点数无限增加。并得出在允许旋转 180°条件下，有任意内格点数的三角形TLP，任意格点四边形都是TLP。

The upper-bound counts and the lower-bound counts of Bent functions are proposed by researching the Hadamard matrix, which decrease the searching space of Bent functions.

通过正规Hadamard矩阵研究给出了GF(2~n)上Bent函数计数的上下界，降低了Bent函数搜索的空间。

He is homeward bound=He is bound for home.

他在返国排的途中。

Methods The total cantharidin obtained with acidolysis method and the free cantharidin obtained with direct extraction method were determined in eight species of Meloidae and the control species Huechys sanguinea (Homoptera: Cicadidae) by gas chromatography, and the content of the bound cantharidin in each species was calculated with the content difference between the total cantharidin and the free cantharidin. The relationship between the contents of the bound cantharidin and the contents of Ca and Mg elements in Meloidae were assessed.

利用气相色谱法测定了8种芫菁和作为对照的黑翅红蝉体内总斑蝥素和游离斑蝥素的含量，总斑蝥素含量是通过酸水解法测得的，游离斑蝥素含量是通过直接浸提法测得的，以总斑蝥素与游离斑蝥素含量之差作为结合斑蝥素含量；并比较了结合斑蝥素与钙、镁含量之间的相关性。

The Vessel not to be ordered to nor bound to enter any ice-bound place or place where lights, lightships, marks and bouys are or are likely to be withdrawn by reason of ice on the Vessel's arrival or where there is risk that ordinarily the Vessel will not be able on account of ice to reach the place or to get out after completed loading having or discharging.

冰封 23.Ice 本船不得派往或进入冰封的地点，或本船到达之时，由于冰情，即将撤去或可能撤去灯塔，灯船，航标和浮标的地点，本船也不得派往或进入因冰情，有危险使本船不能顺利到达或在装卸完毕后不能驶出的地点，本船没有破冰航行的义务，但如需要，可尾随破冰船航行。

Finally, the Knight strung a line between two of the monoliths and tied the horses up there.

最后，骑士们在两颗巨石之间拉了一条绳子，将他们的座骑绑在上面。

T7zN/hyS0 The island lies south by east from here.

那个岛位于此地的正南偏东方向。