系统树

Not detailed in Figure 1 are the parts of the compiler that are not verified yet: upstream, a parser, type-checker and simplifier that generates Clight abstract syntax from C source files and is based on the CIL library21; downstream, a printer for PPC abstract syntax trees in concrete assembly syntax, followed by generation of executable binary using the system's assembler and linker.

图1中没有详细标出的是该编译器中未验证的部分：前面的部分是基于CIL库[21]的语法解析器、类型检查器和语法树化简器，完成从C源代码文件到Clight抽象语法树的生成工作。后面的部分，则是由PPC抽象语法树到具体汇编语法的输出，随后的可执行二进制文件生成部分则采用系统自带的汇编器和链接器。

For the first time, on the basis of the principle design scheme of the system, the reliability analysis of the new type of electromechanical fluid drive system and its subsystem is carried out overall and systematically, which contents include reliability model building, reliability prediction and distribution, failure mode and effect analysis , fault tree analysis of the straight-rotary ball actuator.

基于本文提出的系统原理设计方案，首次对飞行器新型机电液驱动系统及滚珠直旋作动器子系统进行了较全面、系统的可靠性分析，包括系统与子系统可靠性建模，系统的可靠性预测与分配，系统的失效模式及影响分析，系统的故障树分析等，并结合给定设计指标对现有系统和子系统的可靠性进行了分析与评价，指出了提高系统及部件可靠度的措施。

We mainly research on more complicated reparable system: Convert Fault Tree model based on factor analysis to SPN of system; Describe the running of reparable system by use of state transition.

这里我们主要针对较为复杂的可修复系统部分进行重点研究，将故障树转化为大系统的随机Petri网模型，利用状态转移来描述可修系统部分的运行情况，由其状态转移概率建立系统的状态方程，从而得到系统的稳态可靠性，再结合不可修系统部分对整个大系统进行全面综合的分析，提出了基于随机Petri网的复杂大系统的可靠性分析方法。

The consensus tree by ITS gene sequences indicated that subgenus Cerasus was basal to the other subgenera with a bootstrap value of 68% and occupied an isolated position.

基于ITs序列得到系统发育树为樱类位于系统发育树的基部，构成一单系分支，其内部支持率为68％。

According to molecular,we can vested them in Agaricomycetidae,Agaricales. The effects of temperature, nutriments, illumination and other factors on the germination of the spores of Lasiosphaera fenzliiand Calvatia gigantea were firstly studied in this paper.

利用rDNA ITS序列进行分析并建构系统发育树，结果表明了脱皮马勃Lasiosphaera fenzlii和大秃马勃Calvatia gigantea的亲缘关系较近，根据分子系统发育进化树可将其归属伞菌亚纲、伞菌目。

A knowledge base model based on the combination of the reduced fault tree and the LCU trapezia logic structure is designed after a thorough research on the knowledge base system and the reasoning mechanism of the locomotive fault diagnosis system.

通过对机车故障诊断系统知识库体系和故障诊断推理机制的研究，设计了以简化的电力机车故障树为基础，结合LCU梯形图逻辑构造的知识库原型；应用机车故障诊断双向推理机制，设计并实现了基于LCU处理逻辑的正向推理机以及基于故障树查询的逆向推理机；并以此为基础开发了电力机车远程故障诊断系统的原型，实现了对机车的远程故障诊断。

After proposing a data model of unordered node labeled tree for XML databases,this paper defines a functional dependency among XML subtrees.In addition,an axiom system to infer functional dependency is given.Moreover,the soundness is proven.

在无序的结点标记树数据模型上定义了XML子树间的函数依赖，并且给出了一套公理系统用来推导函数依赖，以解决函数依赖的蕴涵问题，最后证明了该公理系统是合理的。

As a result, it is convenient for the recognition system to use the simple linear classifier to segment the sample space, so that the accuracy and distortion invariant ability can be easily achieved. The classification structure of a bifurcating tree is utilized to decompose the classification problem of multi-classes to the multi-stage classification of two classes, which simplifies the design of the classifier, and improves the searching efficiency as well. A gray-scale analysis based method for extracting features from optical correlation result is proposed.

提出了二叉树鉴别分类方法，在使用同类图象的多个典型畸变样本训练识别系统的基础上，利用鉴别分析方法优化各类图象的特征向量在样本空间中的分布，不仅有利于同时提高系统的准确性和抗畸变能力，而且便于采用简单的线性分类器来划分样本空间；利用二叉树分类结构，将多类样本的分类问题分解为多级二类样本的分类问题，不仅简化了分类器的设计，而且提高了搜索效率。

To improve the function of displaying the attribute information of the products or parts in the product structure tree of Windchill system,a method which adds attribute information in the multi-operation of the product structure tree is put forward.

针对在Windchill系统产品结构树中查看成品或部件属性信息功能的不足，提出了在产品结构树的多项操作中增加属性信息操作的改进方法，并阐述了实现这种改进方法的原理和步骤，为企业实施和定制Windchill系统提供了有益的参考。

Meanwhile, in the course of constructing knowledge base of the expert system, it adopts judge trees to express the knowledge, on the basis of case and uses algorithm ID3 to prune the judge tree to form producing formula.

同时在构造专家系统知识库的过程中，采用了以实例为基础的判定树式知识表示，并用ID3算法对判定树进行剪枝构造产生式规则，为建立专家系统的核心奠定了基础。

As she looked at Warrington's manly face, and dark, melancholy eyes, she had settled in her mind that he must have been the victim of an unhappy attachment.

每逢看到沃林顿那刚毅的脸，那乌黑、忧郁的眼睛，她便会相信，他一定作过不幸的爱情的受害者。

Maybe they'll disappear into a pothole.

也许他们将在壶穴里消失