查询词典 consist in

Though in general the verification problem for parameterized systems is undecidable, decision procedures have been discovered for verification of subclasses where systems consist of many identical, finite state processes.

分布式模型检测方法是一种能从根本上解决状态爆炸问题的方法，它利用分布主存环境，理论上存在一个容量无限的存储环境，因此在解决状态爆炸问题上具有一定的潜力。

The uniphase C with W/≤0.3 can be synthesized without being preheated. When W/ is higher than 0.3, the sample expansion increases with the increase of W content, the reaction between W and C is incomplete, the combustion products consist of W〓C, WC, TiC, C, and unreacted W. Preheating mixtures can accelerate the completion of the reaction among Ti, W, and C. The uniphase C with W/=0.4 can be synthesized by SHS at preheat temperature of 600℃. There are two kinds of powders with size of 2-4μm and size less than 1μm in the combustion products.

通过燃烧前沿激冷淬熄试验及产物形貌特征（燃烧块断面组织和产物多晶聚合体颗粒）分析，创新性地提出了两种体系的自蔓延高温反应机制。1熔化—溶解—析出机制：当燃烧温度较高时，燃烧前沿Ti粉熔化，W和C溶解于熔融Ti里，而后C从熔融里析出。2扩散—固溶机制：当燃烧温度不足以使燃烧前沿Ti粉熔化时，通过C的扩散先形成TiC层，其后C沿着热应力导致的TiC层裂纹继续扩散，与固态Ti核反应生成TiC；同时，C扩散至W颗粒，形成W〓C，而后通过C的继续扩散W〓C转变成WC；与此同时，WC固溶至TiC里，形成C固溶体。

New crude oil sources that are yet to be developed will very likely consist of predominately heavy crudes with high resid fractions. This will assure that the asphalt supply continues to change and evolve in years to come.

然而，未来开发的新原油来源将很可能是最主要地包括带有树脂成分的重原油，这将确保沥青的供应能够在近几年内持续改变和演化。

Work at the same job for over 4 years ,be skillful in import operation which consist of , prepare for import lists , apply to customs,customshouse check etc.

四年或以上相关工作经验，熟悉进口业务作业流程，包括：进口货物单证准备、报关、海关查验等事务。

At a time when too many animated films consist of anthropomorphized animals cracking sitcom one-liners and flatulence jokes, the warmth, originality, humor, and unflagging imagination of Up feel as welcome as rain in a desert.

在太多的时候，动画电影拟人化的动物包括打击情景喜剧之一，轮船和胀气笑话，温暖，创意，幽默，和充沛的想像力高达感到欢迎雨水在沙漠中。

Quality audits should consist of a formal, planned check of all elements in the quality system.

质量审核应该包括正式的、计划检查所有的质量体系要素。

The opinions of authors admitting the authenticity are divided with regard to the historical circumstances which occasioned the Epistle, some believing that it was written immediately after Nero's decree proscribing the Christian religion, in which case the difficulties to which Peter alludes do not consist merely of the calumnies and vexations of the people, but also include the judicial pursuit and condemnation of Christians (iv, 14-16; v, 12; ii, 23; iii, 18), while iv, 12, may be an allusion to the burning of Rome which was the occasion of Nero's decree.

的意见，作者承认分歧的真实性方面的历史情况，引起了书信，有些认为这是后立即书面Nero的命令，禁止基督教在这种情况下，困难是彼得的意思是不包括的诽谤和骚扰的人，而且还包括司法的追求和谴责基督教徒（四， 14日至16日；五， 12岁；二， 23日；三， 18岁），而四， 12日，可能是指的是燃烧这是罗马之际， Nero的法令。

The promotion records consist of pretty much everything that is in the soldier's military records, including decorations, dates of service, dates of assignments, duty positions, performance reports, educational accomplishments, military training, official photograph, records of disciplinary action, such as Article 15, or courts-martial convictions, letters of reprimand, etc.

晋升记录囊括了士兵从军记录中的所有大小事情。包括奖励、服役日期，分配日期，职务岗位，表现记录，所完成的教育，军事训练，正式照片，军纪行为记录，军事法庭罪案记录，申诉信等等

For example, in English, drawn-out vowels are usually diphthongized so that even a single phoneme may consist of unexpected tongue movement (or, according to some linguists, a single grapheme may actually represent two phonemes).

例如，在英语中，拉长的元音通常会变成双元音，所以即使是单一的音位也可能包含意料之外的舌头动作（或者，根据某些语言学家的说法，单一的字位事实上可能代表两个音位）。

Although they were entombed in the rocks for hundreds of millions of years, many of the fossils consist of the organic remains of the organism.

尽管他们在岩石中埋藏了数亿年，许多化石仍遗留有生物体的有机物质。

It has been put forward that there exists single Ball point and double Ball points on the symmetrical connecting-rod curves of equilateral mechanisms.

从鲍尔点的形成原理出发，分析对称连杆曲线上鲍尔点的产生条件，提出等边机构的对称连杆曲线上有单鲍尔点和双鲍尔点。

The factory affiliated to the Group primarily manufactures multiple-purpose pincers, baking kits, knives, scissors, kitchenware, gardening tools and beauty care kits as well as other hardware tools, the annual production value of which reaches US$ 30 million dollars.

集团所属工厂主要生产多用钳、烤具、刀具、剪刀、厨具、花园工具、美容套等五金产品，年生产总值3000万美元，产品价廉物美、选料上乘、质量保证，深受国内外客户的青睐