查询词典 intersection theorems

In this paper, firstly some theorems of fuzzy logic functions and the necessasy and sufficient condition of join-irreducible elements are proved secondly, the concept of relatively prime and join-irreducible elements and their conditions are established in principal disjunctive normal forms.

本文首先证明有关模糊逻辑函数的一些定理和并不可约元的充要条件。之后定义了模糊逻辑函数的"互素并不可约元"的概念，以及建立了在主析取范式"互素并不可约元"的条件。

3 Computation of virtual work principle and structural displacement : understand the content about the virtual work principle of deformable body and its application; skillfully master the calculation method of statically determinate structure displacement by loads; master the calculation method statically determinate structure displacement by temperature variation and support movement; know Reciprocal theorems .

虚功原理和结构位移计算：理解变形体虚功原理的内容及其应用，熟练掌握在荷载作用下静定结构位移的计算方法，掌握静定结构在温度变化，支座移动影响下位移的计算方法，了解互等定理。

In the framework of separable locally convex metric spaces, we give scalarization theorems on Benson proper efficiency and study Benson proper efficient solutions of vector optimization problems involving nearly subconvexlike set-valued maps.

中文摘要：本文在可分局部凸距离空间的框架下，给出了Benson真有效点的标量化定理，并研究了几乎次类凸集值映射向量优化问题的Benson真有效解。

This paper proves that it is impossible for all the theorems in classical propositional calculus to be tautologies in the field of fuzzy propositional calculus, then a quasi formal deductive system is established for fuzzy propositional calculus based on a kind of type algebra.

引入了一种代数，称为模糊公式代数。在这种代数上建立了一个准形式演绎系统，证明了相应的可靠性定理与相容性定理，提出了程度化的ModusPonens规则和HypotheticalSylogism规则

Chapter 1—8 deal with the basic theorems and postulates of quantum electronics.

本课程重点介绍光和物质相互作用的基本原理及其应用，内容共有9章。

In this chapter we shall consider some of the basic postulates and theorems of quantum mechanics.

本章我们将阐述量子力学的一些基本假设和原理。

In addition, the concept of generalized fuzzy quotient group is introduced and the correspondence theorems of generalized fuzzy quotient groups and fuzzy quotient subgroups are obtained respectively under group homomorphism.

另外，我们引入广义模糊商群概念，建立了环同态下广义模糊商群的对应定理及模糊商子群的对应定理。

Finally, the theorems of data confidentiality and origin of confidential data are utilized to reanalyze NSPK protocol, the reason why the attack exists is explained.

最后，应用数据机密性和机密数据起源性定理，重新分析了NSPK协议，说明了其存在攻击的原因。

Reciprocal theorem for non-linear elasticity with finite displacements in rectargular cartesian coordinates is established in this paper and reciprocal theorems for bending of thin plates with large deflections are given.

建立了直角坐标系有限变形非线性弹性力学的倒易定理并给出了大挠度弯曲薄板的倒易定理。

In chapter 1, regression models with censored data, LSE for censored regression models and LAD estimation for models with fixed censoring point are introduced. Then, we state our main results for LAD estimator of nonlinear regression models with randomly censored data, including consistency, boundedness in probability and asymptotic normality. The proofs of our main theorems are given in detail. In chapter 2, we state the main difficulty of obtaining numerical solution for censored LAD estimation, and recall the history of studies on this problem including some anterior algorithms.

在第一章，首先介绍删失线性回归模型的基本概念和性质，并对已有的估计方法，如最小二乘估计、固定点删失的最小一乘估计等做了简单的回顾；然后，把固定点删失线性回归模型的最小一乘估计方法推广到了随机删失、非线性模型的情形，并得到了估计量的一些渐近性质，如相合性、渐近正态性等；最后，给出主要结果的详细证明过程。

Don not attempt to do something which you can not to do.

不要企图做那些办不到的事情。

The expression of CTGF and TNF-αweredetected by immunochemistry and the number of Clara Cells was calculated.

光镜下观察肺组织的病理变化，采用免疫组化染色观察肺组织中结缔组织生长因子和肿瘤坏死因子-α的表达和Clara细胞的数量。