引入的

Difference from other algebraic structures which are introduced for some logic system, Implication Algebra is a abstraction of one logic connective, i. e. implicative operator, and other operators in it are all introduced by implicative operator.

特别值得提出的是，与其它为研究逻辑系统而引入的代数结构不同，蕴涵代数是对一个逻辑联结词，即蕴涵算子抽象而得到的，其它算子均是由蕴涵算子诱导而得到。

A charge conservation statistics enhancement method used in semiconductor divice Monte Carlo simulation is approached, which smoothes the charge fluctuation caused by the statistics enhancement, and keeps the continuation of cross edge charge flow.

摘要介绍了一种在半导体器件蒙特卡罗模拟中保持电荷守恒的统计增强方法，该方法消除了由统计增强引入的电荷统计涨落，保持了不同增强区界面处过界粒子流的连续性。

The second part presents both a logically layered model based on hierarchical cells and its modified model with "repacking" mechanism permitted.

在此基础上，作者对由于层间切换带来的宽带切换呼叫QoS下降以及&返回&机制引入的系统额外负载进行了定量分析。

Latterly stoats, ferrets, weasels, cats, dogs, many species of dear and brush tail possums from Australia and the list goes on and on. And they have quite devastating effects.

最近引入的物种包括白鼬、雪貂、黄鼠狼、猫、狗以及澳大利亚的刷尾负鼠，外来物种还在不断增加。

The differentiation in skulls of Tibetan pikas in the three mountains was assumed to correlate with geographical barriers created by the uplift of the Qingzang Plateau.

本研究揭示了在进行藏鼠兔等小型兽类种及种下阶元划分时，除数理统计手段引入的必要外，尚应充分考虑不同地理区域种群可能已产生的局部分化。

In this paper we generalize global Sobolevinequality introduced by Klainerman in studying wave equation to thehyperbolic system case.

本文在研究波动方程时引入的整体Sobolev不等式推广到双曲组的情形。

The backwash sequence includes the following steps:冲洗的顺序包括下列步骤: Filter to backwash level –During this step, the compressed air at 30 psi (200 kPa) is introduced into the shell side to drive the filtration and lower the shell side feed water level.

冲洗过滤层在这一步，压缩空气30防扩散(200千帕)引入壳牌驱动的过滤和方方下空壳饲料水位。

Giant panda , Père David's deer , crested ibis , Chinese river dolphin , and Chinese alligator in the area.

第四纪以来湖南灭绝和濒危兽类及其对麋鹿重引入的启示长江中下游的物种灭绝，其中包括麋鹿，主要集中在明清时期。

The absence of deci mati on in Cont ourlet decompositi on avoids artificial i mpair ments often intr oduced by other critically subsamp led transfor m methods .

由于无下采样 Cont ourlet变换不进行下采样，该方法能够避免其他进行严格下采样的变换去噪时所引入的人工痕迹。

The quantum efficiencies of the photomultiplier at the above wavelengths were measured respectively.

定标了光电倍增管的量子效率，介绍了实验原理和定标装置，系统分析了测量过程中引入的不确定度。

For a big chunk of credit-card losses; the number of filings (and thus charge-off rates) would be rising again, whether

年美国个人破产法的一个改动使得破产登记急速下降，而后引起了信用卡大规模的亏损。

Eph. 4:23 And that you be renewed in the spirit of your mind

弗四23 而在你们心思的灵里得以更新