查询词典 classification theorem

Some new basic concepts are proposed in this paper, including the approximation space of generalization, rough approximation axiom, disturbance set axiom, classification principle of rough set, principle of nondeterministic even set, principle classification, bit quantum symmetric classification, of concentration, game classification, quantum logic incomparable set, bit space set, protocol relation, rough set function of protocol relation, rough classification algebra, rough simple algebra, etc., and a guess is also proposed.

提出了广义近似空间、粗近似公理、干扰集公理、粗糙集的分类原则、粗选原则、不确定偶集原则、精选原则、对策分类、量子逻辑分类、bit量子对称分类、不可比集、bit空间集、协议关系、粗糙集函数、粗糙分类代数和粗糙单代数等基本概念，并提出了一个猜想；展示了一些新观点；基于协议关系构造了粗糙商代数和粗糙子代数，给出了回避-归并算法及算例。

The calculation results shows that ,(1) when the rotor rotates at the working speed, a local regurgitant whirlpool that is rightabout to the rotor"s rotating direction appears in the classifying region, which makes the separated granules come back to the outside of the classification district and influences the classification efficiency of the turbine classifier;(2) in the condition of a low rotating speed of turbo rotor, ultrafine particles can follow the gas phase by and large, but when the rotating speed increases, a phenomenon of velocity slippage between two phases appears evidently;(3) A operating parameter, air flow rate is so important that can directly influence the stability of flow field in classifying chamber, the bigger the air flowrate is , the steadier the flow field is;(4) Compared with straight blades, the new shape of blades with backward crooked elbow are helpful to improve the stability of flow field and form whole stream easily, also beneficial to advance the classification accuracy and classification efficiency;(5) The motion trace of particles are very complicated when the turbo rotor rotates at a high speed, the constant bounce of the particles appear between the blades and the coarse particles are even bounce back from the inlet, only the finer can pass through the classification area from the oulet;(6) Along with the increase of the rotor"s rotating speed, radiah axial and tangential velocity all begain to fluctuate repetitively like sine-wave, the smaller the particles are, the more violently they fluctuates.

数值模拟结果表明，(1)在涡轮达到工作转速时，在分级区域形成了一个与涡轮旋转方向相反的局部回流涡，它使得分离出来的细粒重又被带回分级轮外边缘，从而严重影响分级机的分级效率；(2)粉尘粒子在涡轮低速运动情况下，基本上能跟随气体运动，但随着转速加大，两相之间出现了明显的速度滑移现象；(3)分级机工作时的风量也是一个比较重要的操作参数，它可以直接影响到分级机内腔流场的稳定性，风量越大，流场越稳定；(4)同直叶片形状相比较，带后弯导板的叶片，有利于改善流场的稳定性，流场容易形成整体流，对提高分级效率和分级精度都非常有利；(5)粒子轨迹线在涡轮转速较高时十分复杂，有的出现了反复的弹跳现象，大颗粒不能通过分级区域而从进口返流了，只有细小的颗粒才从出口处流出；(6)涡轮转速加大时，粒子的径向、轴向和切向速率出现了明显的类似于正弦波的脉动现象，颗粒越小，脉动程度越为剧烈。

We first investigate the existing classification systems like Dewey decimal classification, and Chinese classification systems and other classification systems proposed by different researchers. Secondly, we adopt top-down and bottom-up approaches to propose a subject classification framework. Thirdly, we carry out a series of pre-testing using 400 papers and tune the framework to meet the requirement of analyses of researches of LIS.

本研究首先探讨现有分类体系的适用性，再提出一套应用於分析图书资讯学研究发展的分类体系，以主题类表与复分表的型式呈现整体的架构，并进行前测的工作，实际分析400篇学术论文，调整提出的主题分类体系。

The study of lattice-valued propositional logic system based on lattice implication algebra.On the bases of previous study, by using the concepts and methods of T algebras we established the lattice-valued propositional logic system LP , whose truth values domain is a lattice implication algebra, and discussed systematically the semantical and syntactical properties of LP , proved the soundness theorem 、consistency theorem、deduction theorem and the decidability of validity of the system when the truth values lattice is finite. We also discussed the relationship between the α-theorem of some premise, say A, and the closed sets that contain A.

本文在前人研究工作的基础上，利用T代数的概念与方法，建立了真值取于格蕴涵代数的格值命题逻辑系统LP，对它的语义及语法性质进行了较系统的研究，得到了它的可靠性定理、协调性定理及演绎定理等，证明了值格有限时系统"有效性"的可判定性并讨论了某一前提A下的α定理与包含A的闭集之间的关系。

To the problem of unbiasedness of L 1 estimation,basing on uniqueness of solution,Zhou Shijiang proved it according to dual theorem of linear programming; and Wang Zhizhong proved it according to probability statistics theorem by using the method from special to general; also,basing on error distribution theorem and probability statistics theorem,the authors proved it.

对于L1 估计的无偏性问题，周世健基于解法的惟一性，根据线性规划的对偶理论，证明了L1 估计的无偏性[5] ；王志忠根据数理统计理论，采用由特殊情形推广到一般情形的方法，证明了L1 估计的无偏性[6] 。

Based on much knowledge, contrasting to linear programming; we extend duality theorem (including weak duality theorem and strong duality theorem), complementary slack theorem to conic optimization. Hence we find out some significative conclusions and existing conditions under which their duality gap is zero of two optimizations.

在此基础上，通过与线性规划作对比，将对偶定理、互补松弛定理等推广到锥规划问题中，得到了一些有意义的结论，并且得到了这两个规划的零对偶间隙的存在条件。

By using the partition theorem of unity, a continuous selection theorem for a multimap from a compact Hausdorff topological space to a finitely continuous topological spaces (simply, FC-spaces) without any convexity structure was obtained, and from which and Tychonoff fixed point theorem, a collectively fixed point theorem for a family of multimaps on the product space of compact FC-spaces and several collectively fixed point theorems for a family of multimaps on the product space of non-compact FC-spaces were given.

利用单位分解定理得到从紧的Hausdorff拓扑空间到没有任何凸结构的有限连续拓扑空间的集值映射的连续选择定理，并从该结果和Tychonoff不动点定理，得到紧的FC-空间的乘积空间上映射族的集族不动点定理和若干个非紧的FC-空间的乘积空间上的映射族的集族不动点定理，对文献中的相应结果进行了改进和一般化。

Chapter 2 deals with some refinements of the central limit theorem for a class of non-uniformly hyperbolic dynamical systems called Youngs system, such as local central limit theorem and so-called Berry-Esseen theorem giving the rate of convergence in the central limit theorem.

在第二、三章中，我们考虑一类重要的非一致双曲动力系统的统计性质-中心极限定理，及其进一步的精细结果如局部中心极限定理，带有收敛速度的中心极限定理。

The paper consists of six chapters. Chapter One is the theoretical background, we review the course of mechanical theorem proving and briefly introduce the main mechanical theorem prover of the last decade, Among them, we stress on the Boyer-Moore theorem prover and its throretical foundation a computational logic. In Chapter Two, we discuss two theorem proving tactics. One is the rippling-out tactic, which is a tactic for manipulating the induction conclusion to enable the induction hypothesis to be used in its proof, because it extremely restricts the search space, so it has high efficiency.

全文共分六章，第一章是理论背景知识，回顾了定理机器证明的历程，并对近十年来的主要定理证明器作了扼要的介绍，其中，着重介绍了计算逻辑及Boyer-Moore定理证明系统；第二章讨论了两种定理证明策略，一种是波动策略，它是一种在证明中通过处理归纳结论来激活归纳假设的策略，由于极大的限制了搜索空间，因此搜索效率高。

Among which theorem 1 and theorem 2 are similar to the controlled convergence theorem and Lukin theorem in Lebesgue integral Theory.

定义μ=|G|／|Irr|。得到了定理1 若G是非交换有限群2。首先得到具有这种性质的非Abel有限单群的完全分类定理。

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细胞的数量。