查询词典 compactification theorem

This result is a higher-dimentional analogue of the Fundamental Theorem of Calculus: it expresses the integral over D of some kind of derivative of P and Q in terms of an integral of P and Q over the boundary of.

格林公式建立了曲线积分和二重积分的关系 O 这是微积分基本定理在高维情形的推广：它将上P、Q某种形式的导数的积分用的边界上 P、 Q 的积分表示出来。

And based on this conclusion, Darboux theorem on open interval is also given.

在此基础上给出有限开区间上的达布定理。

Darboux theorem on open interval is also given.

在此基础上给出有限开区间上的达布定理。

Based on the analysis of the theorem and constitute of emulsin deaerator,this article illustrate that emul- sion deaerator could deaerate the entrained foam in papermaking,increase the retention and sizing efficiency,and improve paper machine runnability.

通过对乳液型脱泡剂的工作机理和组成特点的分析，说明了乳液型脱泡剂应用在造纸生产中可以脱除浆料中的携带泡沫，提高助留效果和纸张的施胶度，并且可以改善纸机的运行性等。

A necessary and sufficient exponential stability theorem with respect to a constant decay degree for general nonlinear dynamical systems is presented.

首先给出了一般非线性动态系统的关于常衰减度的指数稳定性充分必要定理，接着探讨了新型指数稳定性定理在线性系统稳定性分析中的应用。

Based on gas-state-equation in const-volume and propellant geometry-combustion theorem,a method for deci- ding the characteristics of deterred propellant is given.

根据定容燃烧气体状态方程和火药几何燃烧定律，推导出一种确定钝感发射药特征量的计算方法，并对某种火药进行钝感处理和计算，结果与火药切片的电扫描结果相符。

Two normal forms, best-simple normal form and literal normal form, are presented at first in order to eliminate the complexity of formulas decision. Based on the two normal forms, a deduction proof of decidability theorem in L and a decision algorithm P based on deduction for proportional formulas are given and a decision machine found on P, DMBD, is also designed.

首先提出了消解复杂性的两种范式：最简范式和文字范式，在此基础上给出了L的可判性定理的演绎证明及命题公式的演绎判定算法P，并基于ML语言设计了基于P的演绎判定机DMBD。

Based on the two normal forms, the decidability theorem in L is then proved and a deduction-based decision algorithm P is designed. The time complexity O(n3) of P is much less than the complexity O(2n) of the true value table method and the complexity O(n5) of HAL based on the tactic scheme.

首先定义了消解复杂性的两种范式：最简范式和文字范式，在此基础上采用演绎方法证明了L中的可判定性定理，并设计了命题公式的演绎判定算法P。P的时间复杂度为O(n^3)，远远小于基于真值表法的O(2^n)和基于策略方案HAL的O(n^5)。

Among his contributions the most significant is to justify the theorem of the impossibility of the Paretian liberal that there is no a social decision function that meets unrestricted domain, Paretian principle and minimal liberty simultaneously, which helped him win the Nobel Prize on economics.

而他影响最大的贡献是证明了帕累托自由的不可能，后者为他赢得诺贝尔经济学奖奠定了基础，其基本含义指不存在一种可以同时满足无限制域、帕累托原则和最低限度的自由这三个条件的社会决策函数。

This paper presents another direction of generalization that if S is a minimal vertex cut of G and G-S has at least |S| components, then G is decomposable by S. Some applications of this theorem are also discussed.

本文首先给出基本分解定理的另外一个推广：如果S是G的一个极小点割集且G-S含有至少|S|个分支，则G经由S是可分解的；其次，给出了这个新推广定理的一些应用。

A strange and mysterious deep sea creature.

一种奇异、神秘的深海生物。

It's a yellow rectangle .

这是黄色的长方形。