查询词典 partially-ordered set

When Carlsson responsible for investigating the 1976-1983 dictatorship in Argentina during the military government committed crimes against humanity, found that an officer is not only Jiao A doffer Carvalho ordered his men to kill, but also his hands-on killing dozens of Spaniards, even had ordered thrown into the sea from a helicopter living feeding the fish.

当卡尔松负责调查1976－1983年阿根廷军政府独裁时期犯下的反人类罪行时发现，一个叫阿道夫·卡瓦略的军官不仅下令部下杀人，还自己亲自动手杀戮了几十名西班牙人，甚至还曾经下令将活人从直升机上扔进海里喂鱼。

Therefore, lowly ordered dolomite crystals show high reactivity in alka li solutions. Temperature tends to diminish the influence of ordered index on de dolomitization reaction of dolomite crystals.

随着体系温度的升高，白云石晶体有序度对去白云石化反应的影响趋于减小，不同有序度白云石的去白云石化程度趋于相同。

Meantime, the Namioka-Bauer's and Wong's positive extension theorem are generalized to ordered locally convex spaces (see Theorem 5.1) and hence some new necessary and sufficient conditions of positive extension in ordered locally convex spaces are obtained

同时Namioka-Bauer 定理和 Wong定理也被推广到半序局部凸空间中(定理5.1)，从而得到了一些新的关于半序局部凸空间中正延拓的充分必要条件

If it is not empty, then it is ordered if its free list is ordered.

如果它非空，则它是有序的，如果其空闲列表是有序的。

We ordered a Rolls-Royce but we should have ordered a Toyota, a government adviser has haplessly admitted.

一名政府顾问郁闷地表示，"我们本可以订购一辆丰田，取而代之的却是劳斯莱斯。"

This paper proves that Ordered Statistic with Greatest Option CFAR and Ordered Statistic with Smallest Option CFAR are also of CFAR under homeomorphic independent K-distributed clutter background when the shape parameter is known. The performance of two detectors is analyzed against uniform clutter background, clutter edges and multiple target environments.

摘要该文证明了形状因子已知条件下OSGO-CFAR和OSSO-CFAR检测器在均匀统计独立的K分布杂波背景下具有恒虚警性能，分析了两种检测器在均匀杂波背景、杂波边缘和存在强干扰目标情况下的检测性能。

Finally, he may use the same power to finance, out of the revenues of the cathedral chapter, the new public lectureship of Sacred Scripture which he is ordered to institute in his see-city, the Scripture teaching in the diocesan "high school," and the diocesan seminary which he is now ordered to found.

最后，他可能会使用相同的权力，资金，走出收入大教堂本章的情况下，新的公共讲座的圣经，他被命令在他的研究所见市圣经教学拔萃"高中"和教区神学院，他现在已经下令发现。

This will add a new ordered item to the ordered list box, and it will

这将添加一个新的命令项目有序列表框，并会

An ordered metalanguage is analogous to ordered logic.

元语言是一个有序排列类似逻辑。

In 1997, Lenhard Ng Michelle Schultz[1] gave the definition of k -ordered Hamilton graphs,namely, let G be a Hamiltonian graph of order n,and for a positive integer k with k ≤n, we say that G is k -ordered if for every sequence S : v1 , v2,Λ,vk of k distinct vertices, there exists a hamiltonian cycle C of G such that the vertices of S are encountered on C in the specified order.

年， Lenhard Ng Michelle Schultz[1]给出k-可序( k ？ordered)哈密尔顿图的定义，即设G是n阶哈密尔顿图，对于正整数k，称G 是k -可序图，如果对于任意给定的k 个互不相同的顶点的有序子集S =( v1 ，v2，Λvk)( 2≤k ≤n)，存在G中的哈密尔顿圈C 包含S 且不改变其中元素的顺序。2000 年，R.J。

It inculcates justification before God on the ground of human merits.

它说明在上帝灌输在地上人类优点。

TH Leaguer has excellent Quality Control and Management System.

本公司具有完善的品管部门。