可证明的

Then we define the notion of adoptability of the diagnostic system and prove that the consistency-based diagnosis is adoptable.

为找到故障系统的真实诊断，讨论了候选诊断和真实诊断之间的关系，定义了诊断系统的可采纳性并证明基于一致性的诊断是可采纳的。

It has shown that the system is controllable, observable, and its stability may be gua...

证明该系统是可控的、可观测的，其稳定性是可以保证的。

The sufficientcondition is given to prove that Parsons graphs Tb(2, q) is l -- factorable. The author discussesthe directional Parsons graPhs DTb and gives some new conclusions about them. In theend, the author brings forward some new concepts about Parsons graphs and makes someelementary discussions on them.

给出了Parsons图是1—因子可分解的一个充分条件，并证明了部分Parsons图是1—因子可分解的；对有向Parsons图进行了讨论，并给出了一些结论；另外，我们还针对Parsons图提出了一些新的概念，并对其进行了初步讨论。

That gets closer to the transcendental, but it is still too general.

他强调的那类特殊的证明，证明的是必要于我们所做的事情（——或必可缺少要做的、无可非议地要做的）的东西。

Polymorphic type system with constraints in Garment is studied in this paper including type checking algorithm. It is proved that the satisfiability of constraints in the algorithm is decidable.

本文在Garment中引入了约束多态类型，研究了Garment中带约束的多态类型系统，给出了类型检查算法，证明了此算法中约束的可满足性是可判定的。

This thesis investigates the profile extraction and shape optimization on the result of topology optimization of planar compliant mechanisms. The main context includes the following work:(1) summarizing and analyzing the recent research status, some harvest and unsolved problems;(2) analyzing the conceptual design of planar path-generating compliant mechanisms and its mathematical model and tools;(3) Modifying the method of density contour as the method of profile extraction, and developing a method to optimize the density function in the profile extraction according to the requirement of the design of compliant mechanism;(4) developing a method to abstract the compliant mechanism into a form of links and joints by using the principle of connectivity on topology;(5) developing a method of shape optimization of planar path-generating compliant mechanisms, by representing the profile of the abstracted compliant mechanism as simple curves such as straight lines and arcs, establishing the models of the size optimization of the parameters of these curves, so that the compliant mechanism has a machinable shape;(6) At last, proving the feasibleness and effectiveness of the design method by making simulation design and validating it in FEA software.

主要工作包括：(1)分析了柔顺机构拓扑优化和形状优化的研究现状，分析了目前柔顺机构的研究重点、主要成果和尚未解决的问题；(2)分析了基于SIMP的柔顺机构概念设计方法及其相关工具和模型；(3)针对柔顺机构轮廓提取的特殊要求，提出了密度等值线法的改进方案，对密度函数插值点密度值进行优化，提出优化模型和选择优化算法；(4)根据轨迹输出平面全柔顺机构自身的形状特点，提出了轨迹输出平面全柔顺机构的抽象方法，即应用拓扑学上的连通性原理将柔顺机构抽象成杆件和结点形式，并对相应的数学原理进行了证明；(5)提出了平面全柔顺机构的形状还原和尺寸优化方法，对抽象的柔顺机构进行还原，将其轮廓还原成简单曲线的连接，从而建立尺寸优化模型，对机构进行尺寸优化设计，在得到可加工的机构轮廓的同时又能对关键部位进行特别处理；(6)进行了柔顺机构的数值仿真设计，并将所得设计结果导入商用有限元软件中进行仿真实验，证明了设计方法的可行性和有效性。

For most matrix of A,the linear diffrentiable equations with quasi-periodic finitely differentiable coefficients are reducible.

证明了对大多数的矩阵A，一类系数为有限次可微的拟周期线性常微分方程组是可约的。

Aim at the problem of internal quality testing of high-pressure thin-wall welded steel cylinder pipe workpiece,the advantages of the method of using ultrasonic plate wave are obtained through the comparison of five general nondestructive testing methods by the paper.

以高压薄壁焊接钢筒检测为例进行了现场试验，并以X射线检测复测来确认板波检测的可靠性，对比试验结果证明，超声波板波法可有效的发现高压薄壁焊接钢筒焊缝内部缺陷，并可实现快速在线检测，具有广阔的应用前景

If it be shown in a reasonable number of well-authenticated cases that these conditions — exogamy as tribal law, and hostility as the prevailing relation of separate tribes towards each other — exist or have existed, accompanied, as might have been expected, by a system of capturing wives, we shall be justified in concluding — failing the appearance of any phenomena inconsistent with such an explanation — that the same conditions have existed in every case where the system of capture prevailed, or where the form of capture has been observed as a ceremony of marriage. Nothing more than this is necessary to satisfy the conditions of a sound hypothesis.We are in a position to do this and more.

并且如果它被证明在一个合理数目的被充分鉴别的案例中这些条件（异族结婚为部落法律，以及对抗是分离的部落相互对待的主要关系）存在或曾经存在，伴随着似可预期的一种猎妻制度，我们将被证明在做出结论时是正确的（舍弃与这样一种假设不协调的现象的出现）这些相同条件存在于流行劫掠制度、或者劫掠形式在婚礼中被观察到的地方的每一个案例。

Furthermore we introduce the concepts of coverings and lattice-valued homomorphisms,we prove that the L-valued fuzzy transformation semigroups in which the multiplication is fuzzy transformation semigroup inducible is equivelent to usual faithful transformation semigroups in the sence of lattice-valued strong homomorphism.

若格半群中的乘法是格值变换半群可诱导的，在格值强同态下证明了格值可诱导变换半群和一般有效变换半群是等价的。

On the other hand, the more important thing is because the urban housing is a kind of heterogeneity products.

另一方面，更重要的是由于城市住房是一种异质性产品。

Climate histogram is the fall that collects place measure calm value, cent serves as cross axle for a few equal interval, the area that the frequency that the value appears according to place is accumulated and becomes will be determined inside each interval, discharge the graph that rise with post, also be called histogram.

气候直方图是将所收集的降水量测定值，分为几个相等的区间作为横轴，并将各区间内所测定值依所出现的次数累积而成的面积，用柱子排起来的图形，也叫做柱状图。