查询词典 identified

After many years the nut is finally located in Asia by the court clockmaker and wizard, Drosselmeyer, whose young nephew is identified as a prime candidate to crack it.

许多年之后，这种胡桃被宫廷钟表匠兼术士德罗梭梅耶在亚洲找到了，而德罗梭梅耶年轻的侄子被认定是打开胡桃的主要人选。

At the same time , we discuss the determinism and nondeterminism of formula-clock automata and the closure propertied under Boolean operation of the language which is accepted by formula-clock automata. We also prove the expressive equivalence between the deterministic formula-clock automata and the nondeterministic formula-clock automata. This means that every nondeterministic formula-clock automata can be transformed to a deterministic formula-clock automata which exactly accept the timed language identified by the fomer.We also extend timed words to infiniteness and define the formula-clock Buchi automata and the formula-clock Muller automata. At last, we show its application in formal verification and modeling of real-time system.

然后讨论了公式时钟自动机的确定性和非确定性，公式时钟自动机识别的语言类在并、交、补运算下的封闭性；并证明了确定的公式时钟自动机和非确定的公式时钟自动机表达能力的等价性，这意味这每一个非确定的公式时钟自动机都能转换为一个与之识别相同时间语言的确定的公式时钟自动机；我们将时间字扩展为无穷的，从而定义了公式时钟Buchi自动机与公式时钟Muller自动机；最后给出了用它进行实时系统的形式化验证方面及对实时系统建模的应用。

A biocontrol strain, XF-1, was identified as Bacillus subtilis based on morphology, physiology, biochemistry and biotechnology, which could control clubroot of cruciferous crops effectively.

依据传统形态学、生理生化特征及16S rRNA基因序列，将一株对十字花科根肿病有很好防治效果的菌株XF-1鉴定为枯草芽孢杆菌。

Results Among 70 strains of Staphylococcus spp., 56 strains were positive Staphylococcus coagulase gene with PCR; the same 56 strains were also positive with latex agglutination test; 54 of which were positive with tube test method, 2 strains were false negative; strong positive were detected with slide method, all these 56 strains were identified as Staphylococcus aureus by VITEK-Ⅱ automatic analyzer.

结果 70株葡萄球菌属细菌中，PCR法检测葡萄球菌凝固酶基因56株为阳性；Slidex Staph Plus与PCR法相对应的56株为阳性；试管法检测与前2种方法相对应的54株为阳性，2株为假阴性；玻片法为强阳性；VITEK-Ⅱ全自动分析仪鉴定56株为金黄色葡萄球菌

BKD-1 which was synthesized in the laboratory is an effective coagulator for the leachate to decrease COD、color and odor, and the sediment velocity is fast. The function of the-OH group was identified by IR. Fenton, the reagent was studied systematically for leachate processing; Activated charcoal acts as a catalyst in the oxidation-reaction.

本研究采用自行研制高效混凝剂—BKD-1预处理渗滤液效果明显好于其它常规无机混凝剂和有机絮凝剂PAM，COD和色度去除率较高，絮体沉降快，采用红外光谱分析表明羟基架桥作用是该混凝剂混凝的主要机理之一。

With healthy and strong the beard be identified by another marking, only have under the coarse cloth clothes of a worker, not in the face.

11-2、康与茁壮则须由另外的标志来识别，只有在一个劳动者的粗布衣服下面，而不是在嬖

Species, 2 indeterminate species and 1 unnamed form of filamentous and coccoid taxa are identified of which 1 genus and 7 species are newly erected

其组合面貌，与北京西山、天津蓟县和河北宽城等地区的雾迷山组微体化石群总面貌大致可以对比。

Morphological conversion from spiralto coccoid forms occurred when HP was cultured with selenium and most of coccoid forms had fragmentary flagella and pilus; the effection of selenium to activity of urease, catalase, alkaline phosphatase is not exist or not evidence; selenium enable pET32a-vacA-E.coli BL21 which can express VacA produce yellow lipochrome, and the color become deeper with increasing of concentration of selenium; selenium can decrease expression of recombined VacA by restrain the growth of pET32a-vacA-E.coli,but can not influence activity and gene sequence of VacA; selenium can enhance the suppression effect of recombined VacA for gastric cancer cell, depress the index of cell multiplication and the forming rate of colony, decrease the number of cell in S period, increase total of cell in G period; After purified, the recombined VacA can be identified by VacA antibody.

体外实验结果表明：一定浓度的硒作用HP后，HP菌落数量随着硒浓度的增加而减少，菌落颜色由灰白色变为砖红色，溶血现象随硒浓度的增加和作用时间的延长而逐渐消失，HP的形态由弯曲形变为球形或椭圆形，鞭毛及菌毛出现脱落现象；硒对尿素酶、过氧化氢酶、碱性磷酸酶活性无影响或影响不明显；一定浓度的硒能使表达VacA的pET32a-vacA-E.coli BL21工程菌产生脂溶性砖红色色素，颜色随硒浓度增加而加深；一定浓度的硒通过抑制pET32a-vacA-E.coli BL21工程菌的生长，减少重组VacA表达量，但不影响其空泡毒活性及编码基因序列；纯化后的VacA重组蛋白可被VacA抗体识别，具有良好的抗原性。

We also discovered that selenium can decrease hematolysis and effects function of vacuole toxin of HP. morphological conversion from spiralto coccoid forms occurredwhen HP was caltured with selenium and most of coccoid forms had fragmentary flagella and pilus; the effection of selenium to activity of urease, catalase, alkaline phosphatase is not exist or not evidence; selenium enable pET32a-vacA-E. coli BL21 which can express VacA produce yellow lipochrome, and the color become deeper with increasing of concentration of selenium; selenium can decrease expression of recombined VacA by restrain the growth of pET32a-vacA-E. coli, but can not influence activity and gene equence of VacA; selenium can enhance the suppression effect of recombined VacA for gastric cancer cell, depress the index of cell multiplication and the forming rate of colony, decrease the number of cell in S period, increase total of cell in G period; After purified, the recombined VacA can be identified by VacA antibody.

结果：体外实验结果表明：一定浓度的硒作用HP后，HP菌落数量随着硒浓度的增加而减少，菌落颜色由灰白色变为砖红色，溶血现象随硒浓度的增加和作用时间的延长而逐渐消失，HP的形态由弯曲形变为球形或椭圆形，鞭毛及菌毛出现脱落现象；硒对尿素酶、过氧化氢酶、碱性磷酸酶活性无影响或影响不明显；一定浓度的硒能使表达VacA的pET32a-vacA-E.coli BL21工程菌产生脂溶性砖红色色素，颜色随硒浓度增加而加深；一定浓度的硒通过抑制pET32a-vacA-E.coli BL21工程菌的生长，减少重组VacA表达量，但不影响其空泡毒活性及编码基因序列；硒能增强重组VacA对胃癌细胞的抑制作用，使细胞分裂指数和集落形成率降低、S期细胞数量减少，G1期细胞总数增加；纯化后的VacA重组蛋白可被VacA抗体识别，具有良好的抗原性。

MRS and modified TJA culture medium were taken as the foundation culture medium, and 8 strains were isolated from natural fermented meat products in this paper. 4 strains were identified as lactic acid bacteria, among which, three are bacillus, one is coccus.

以MRS和改良TJA培养基为基础培养基，从自然发酵肉品中分离得到8个菌株，其中4株为乳酸菌，3株为杆菌，1株为球状菌。

It's not quite as simple as that.

并没有那么容易。

It debuted in 1992 in Japan and the United Kingdom, and 1993 in the United States.

它首次亮相于1992年在日本和英国，在美国1993年。