英语人>网络例句>中项 相关的搜索结果
网络例句

中项

与 中项 相关的网络例句 [注:此内容来源于网络,仅供参考]

When operating an index block, it can not affect other index terms; hence it can online update the index information in any index block.

由于每一索引块只用于存储有关同一索引项的索引信息,所以在对一个索引块中进行操作时,不会影响其他索引项,于是可以对任何索引块中的索引信息进行在线更新。

It is proved that the two-dimensional non-hydrostatic Boussinesq equations on the x ? z plane with the kinetic viscous term and the thermal dissipative term are unstable equations in the C 2 function class.2. If we replace the influence of the kinetic viscous term by Rayleigh friction and the thermal dissipative term by Newton cooling, the new generalized equations are stable equations in the C 1 function class. The construction of the solution space and the discriminating method for well-posedness of the problem of determining solution are given.

本文的主要结果如下:1证明了在y方向上均匀的带有运动粘性项以及热耗散项的两维非静力、Boussinesq近似的x-z面上两维旋转流体的控制方程组在C 2函数类中是一个不稳定的方程组。2如果以瑞利摩擦来代替粘性的影响,以牛顿冷却来代替热量的耗散,则所获得的一个新的方程组在C 1函数类中是一个稳定的方程组,给出了其解空间的构造和各种定解问题的适定性的判别方法。

In SPVT (security protocol verifying tool), the specification language is the π-like calculus extended with three appendixes, the Dolev-Yao model is described with Horn logic rules, the π-like calculus model of security protocol is transformed into the logic program model by abstract rules, the security properties are verified based on the calculus of the logic program's fixpoint, and the counter-examples on security properties are constructed from the process of the fixpoint calculus and the process of the property verification.

在SPVT中,以扩展附加项的类演算作为安全协议描述语言,以扩展附加项的Horn逻辑规则描述协议攻击者的Dolev-Yao模型,通过一组抽象规则将安全协议的类(演算模型转换为逻辑程序模型,基于安全协议逻辑程序的不动点计算验证安全性质,从安全协议逻辑程序的不动点计算和安全性质的验证过程中构造不满足安全性质的安全协议反例。

By doing so, the dimension of attribute can be reduced effectively, the noise can be filtered successfully and the underlying semantic structural relation will be stressed.(3) The dissertation carries on expanded research on double-bases cooperating mechanism in terms of pattern, discusses and proves the important structure mapping theorem of the above mechanism.

该方法通过小波变换及潜在语义索引算法将向量空间模型中的"特征词项空间"转化为Hilbert子空间——"概念空间"的范畴,从而有效地降低了特征项维数、过滤掉文本数据中的噪声、突出了文本数据的深层语义结构关系。

The extra terms, due to the introduction of mapping transformation simulating the effect of disturbance into the transformed Navier--Stokes equations, are correctly derived, and the incorrect ones in the previous literature are pointed out and analyzed.

正确推导了由于引入映射变换(用来模拟变换后的Navier-Stokes方程中的扰动效应)而产生的附加项,指出并分析了前人文献中的错误项。

Some of the liquid spills out through the capillary constantly with the rise of the temperature of the content. Wipe away the overflown liquid with a piece of filter paper at any time until the fluid does not overflow anymore. Remove the pycnometer from the water bath rapidly. Proceed as described under method (1), starting from the words "clean off any material on the outside with a piece of filter paper…".

取洁净、干燥并精密称定重量的比重瓶,装满供试品(温度应低于20°C或各品种项下规定的温度)后,插入中心有毛细孔的瓶塞,用滤纸将从塞孔溢出的液体擦干,置20°C(或各品种项下规定的温度)恒温水浴中,放置若干分钟,随着供试液温度的上升,过多的液体将不断从塞孔溢出,随时用滤纸将瓶塞顶端擦干,待液体不再由塞孔溢出,迅即将比重瓶自水浴中取出,照上述(1)法,自"再用滤纸将比重瓶的外面擦净"起,依法测定,即得。

According to the computational stability analysis conducted to the linear term time difference scheme in simple harmonic motion equation, one new semi-implicit integration scheme also is designed. By adopting a kind of revised time-explicitdifference scheme to these linear terms still included in spectral model governing equations, this defect of spectral model only partly used in semi-implicit integrating scheme, can be overcome to some degree.

以简谐振动方程中线性项时间差分格式对其计算稳定性影响为理论依据,本文设计了一种新谱模式半隐式时间积分方案,此方案通过对一般谱模式求解框架中那些隐含的线性项采用了一种显式修正的差分格式,可有效克服其国际谱模式半隐式时间求积方案实质上只是部分应用了半隐式差分格式的问题。

In Chapter 2, a Heuristic Prediction Method is presented for long time horizon optimal control problems. The keys of HPM are that a heuristic term is added to its cost function for each subproblem, and that a prediction method is adopted in the high level coordination.

在第二章启发式预估方法中,根据长期离散时间最优控制问题最优解的特点,在每个子问题的目标函数中增加了一项启发项,并且在协调级采用了预估算法。

252 It is only in this way that the step from one term of a series of forms to another is possible (from one type to another in the hierarchies of Russell and Whitehead).

5.252 只有这样,从一个形式系列中的一项到另一项(在罗素和怀特海的等级系统中是从一个类型到另一个类型)的推移才是可能的。

Results The detective rates of symptoms as dizziness, sight descend, faintness for seeing, bleed to brush teeth and pain in liver area in the ease group were significantly higher than that in the control groups; The detective rates of lens turbidness, liver augment, Hb descend and abnormity of liver function were also significantly higher than that in the control group.

结果 接触组自觉症状中头昏、视力下降、视物模糊、刷牙出血、肝区疼痛5项的检出率明显高于对照组;体检项目中眼晶体混浊、肝大、血红蛋白降低、肝功能异常4项的检出率明显高于对照组。

第13/100页 首页 < ... 9 10 11 12 13 14 15 16 17 ... > 尾页
推荐网络例句

The split between the two groups can hardly be papered over.

这两个团体间的分歧难以掩饰。

This approach not only encourages a greater number of responses, but minimizes the likelihood of stale groupthink.

这种做法不仅鼓励了更多的反应,而且减少跟风的可能性。

The new PS20 solar power tower collected sunlight through mirrors known as "heliostats" to produce steam that is converted into electricity by a turbine in Sanlucar la Mayor, Spain, Wednesday.

聚光:照片上是建在西班牙桑路卡拉马尤城的一座新型PS20塔式太阳能电站。被称为&日光反射装置&的镜子将太阳光反射到主塔,然后用聚集的热量产生蒸汽进而通过涡轮机转化为电力