剩余

Hence we can map ELOTOS to RPPM according to the trace equivalence. We describe the qualitative properties with deterministic timed automaton . The key of our qualitative model checking algorithm is how to map continuous time to finite intervals by constructing equivalence classes.

该算法构造等价类的思想是：通过触发事件剩余延迟时间与DTA中时钟时间值或其它事件的剩余延迟时间值的相互关系将连续时间映射到有穷个加了标志变量的时间区间，标志变量表示这种相互约束关系。

In addition, remaining strength assessment and remaining life prediction are involved in direct examination and post-assessment of the Direct Assessment process.

另外，在外腐蚀直接评价过程的直接检查和后期评价步骤中涉及到管道剩余强度评价和剩余寿命预测。

In this paper, the mutual relations of these additional conditions are investigated systematically and clarified. It is proved that each one of these conditions implies distributivity. Furthermore, the mutual relations of normal residuated lattices, subnormal residuated lattices, BL-algebras and sub-BL-algebras and that they are all distributive lattice are known.

本文系统研究并弄清了这些附加条件相互之间的关系，证明了它们中的每一条都蕴涵着分配性，从而知道了正规剩余格、次正规剩余格、BL-代数、次BL代数相互之间的关系，并且它们都是分配格。

The co-digestion on WAS and alcohol draff reached the reuse level of waste, which provided the basic experimental data for industrial application of anaerobic digestion on WAS.

城市剩余污泥和当地酒精厂工业废料酒精糟液共厌氧达到了废物利用的功效，为城市剩余污泥的工业化应用提供了依据。

The effect of aging treatment on residual resistance ration of pure beryllium was studied by the use of electric potential approach.

运用电位方法测量纯金属铍剩余电阻比，研究了时效处理制度对金属铍的剩余电阻比的影响。

In them, there are the equational characterization of residuated lattices and regular residuated lattices. This shows that the classes of all residuated lattices and all regul...

本文还讨论了剩余格与正则剩余格公理系统的独立性，以及它们与相近代数结构的关系。

We get the price elasticity -0.54 and the income elasticity 0.21 from the estimated demand function, and we also compute the average consumer surplus according to the function. At 90% confidence level, the average consumer surplus of 38 cities is 0.5 to 2 times of travel cost.

计算出了文物旅游的人均消费者剩余，得到在 90%的置信水平下，我国 38 个主要城市文物旅游的人均消费者剩余为旅行费用的 0.5 倍到 2 倍。

The estimative reliability model involving the residual life of the high temperature boiler pipe of steam-generator has been established by using of reliability theory and fraction criterion of life loss.

利用可靠性理论和寿命损耗分数准则，建立了蒸汽发生器高温炉管的剩余寿命可靠性预测模型，并应用实例对不同模型进行了对比分析，确定了蒸汽发生器高温炉管剩余寿命可靠性预测的准确方法，可为蒸汽发生器高温炉管的管理和使用提供参考依据。

When the residual modes are high frequency modes, it will be suitable to use a filter to prevent the spillover by filtering the measuring signals. The closed loop poles would excurse if the measuring signals were filtered directly.

对于剩余模态和控制模态分离得较好的受控对象，可采用对测量信号进行滤波去除信号中剩余模态分量的方法防止溢出问题。

Methods Animal models were established by ovariectomy and exodontia on left partial Maxillary.

方法通过去除SD大鼠双侧卵巢，拔除单侧上颌磨牙，建立骨质疏松的剩余牙槽骨动物模型，并在此基础上通过免疫组化方法观察、分析切除卵巢及单独和联合运用生长激素、雌激素对去势大鼠剩余牙槽骨内胰岛素样生长因子分布和表达的影响。

However, as the name（read－only memory）implies, CD disks cannot be written onorchanged in any way.

然而，正如其名字所指出的那样，CD盘不能写，也不能用任何方式改变其内容。

Galvanizes steel pallet is mainly export which suits standard packing of European Union, the North America. galvanizes steel pallet is suitable to heavy rack. Pallet surface can design plate type, corrugated and the gap form, satisfies the different requirements.

镀锌钢托盘多用于出口，替代木托盘，免薰蒸，符合欧盟、北美各国对出口货物包装材料的法令要求；喷涂钢托盘适用于重载上货架之用，托盘表面根据需要制作成平板状、波纹状及间隔形式，满足不同的使用要求。