剩余类

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中时钟时间值或其它事件的剩余延迟时间值的相互关系将连续时间映射到有穷个加了标志变量的时间区间，标志变量表示这种相互约束关系。

They are clay, mud shale, gravel, oil shale, mudstone, schist, basalt, limestone, gritstone, dolomite, breccia, granite, and quartzite. We give the feature curve and distribution feature equation of these rocked landslide.

本论文分别对不同滑体岩性，包括从软到硬的粘土、泥页岩、砾类土、油页岩、泥岩、片岩、玄武岩、灰岩、砂岩、白云岩、角砾岩、花岗岩、石英岩十三种具有代表性的岩土体的滑坡推力和剩余抗滑力进行了模拟分析，给出了它们的滑坡推力和剩余抗滑力分布特征曲线，分布特征方程。

A good use of the integer type, the biggest 9999990 to support the decimal integer, It can perform large integers, plus or minus, multiplication, addition and modular, with a big round of the largest factions, extended Euclidean algorithm, the Chinese remainder theorem algorithm, Miller - Rabin primality testing algorithm, random generation of arbitrary integer spaces such as libraries, This kind of dynamic library has been used for commercial software, the reliability and speed is affirmed.

一个很好用的大整数的类，最大可支持9999990位的十进制整数，可进行大整数的加、减、乘、除和取模运算，并带有求大整数的最大公因数、扩展Euclidean算法、中国剩余定理算法、Miller-Rabin素性测试算法、随机生成任意位的大整数等函数库，这个类的动态库曾用于商业软件之中，其可靠性和速度是得到确认的。

The class of distribution of decreasing variance residual life an that of decreasing percentile residual life are investigated,some their characters are also given,and their characteristic result is given when the general moments of residual life function are taken as their basis.

阐述了递减方差剩余寿命分布与平衡分布的平均剩余寿命函数的密切联系；研究了递减方差剩余寿命分布类及递减百分位数剩余寿命分布类，并且给出了它们的一些特征；给出了以剩余寿命函数的一般矩为基础的特征结果。

The configuration of ID-based Encryption is analyzed. A new ID-based Encryption is realized with the Elliptic curve over the residue class ring.

分析了基于身份加密体制的构造框架，利用剩余类环上的椭圆曲线密码实现了一种新的基于身份的加密机制。

In this paper,in residue class ring Z_m,the concept of the strict avalanche criterion of order k of m-valued logical functions is presented.

给出了剩余类环Zm上逻辑函数的k阶严格雪崩准则的概念，用概率方法证明了m值逻辑函数满足高阶严格雪崩准则时一定满足低阶严格雪崩准则，并借助Chrestenson谱给出了m值逻辑函数满足k阶严格雪崩准则的一个充分必要条件。

Consulting the existed classified methods of rural surplus labor force and my understanding of circumfluence and non-return labor force, this article divides rural surplus labor force into two parts, which are native non-return rural surplus labor force and allochthonous non-return rural surplus labor force.

文章借鉴已有的农村剩余劳动力分类方法，并结合自己对回流与非回流劳动力的理解，将农村剩余劳动力分为两类，一类为异地非回流劳动力，一类为本地非回流劳动力。

Importantly, recent analyses8 have begun to reveal new relationships between early vertebrates, in which acanthodians and placoderms are scattered among the early divisions of gnathostome evolution; acanthodians, in particular, are cropping up on chondrichthyan and osteichthyan stem groups.

有颌类包括硬骨鱼类以及软骨鱼类。软骨鱼类仅占有颌类物种数的2%，其余98%的有颌类都属于硬骨鱼类。在硬骨鱼类中，大约一半是辐鳍鱼类，剩余的统称肉鳍鱼类。辐鳍鱼类包括从斑马鱼到多鳍鱼的大约2万8千个种。

When the hybrid region senior official jumbles together with black area senior official black Germany is graceful, ended after the conference with great speed rushes together, some several hundred starship is already shot down, but this kind of bombing, has truly seriously disturbed the kind of person robot flight vehicle construction speed, however this time kind of person robot used in the Moon crater base the massive residues already to make several hundred own starship, only was this kind of flight vehicle structure nearly entirely alike which constructed with the humanity, obviously the kind of person robot wisdom and the thought and the humanity were how close!

当混血区域长官混为一谈和黑区长官黑德曼，在会议结束后一起火速赶到的时候，已经有数百架星际飞行器被击落，但这种轰炸，确实严重干扰了类人机器人的飞行器建造速度，然而此时类人机器人利用月球环形山基地内的大量剩余物资已经制造了几百架自己的星际飞行器，只是这种飞行器的结构几乎和人类建造的一模一样，可见类人机器人的智慧与思维和人类是多么的相近啊！

The present invention is one comprehensive innocuous city solid refuse treating system. In the system, the city solid refuse is first stoved, sterilized and sorted, then magnetically separated to separate out iron containing waste, and finally sieved into the undersize fed to one mixing tank and the oversize further sorted, with the rest matter being crushed and fed also to the mixing tank for fermentation to produce organic fertilizer.

城市固体垃圾无害化、资源化、再生综合利用处理系统，首先将含有大量水分的城市固体垃圾进行烘干、杀菌消毒，进行初级分选，把织物纸类、玻璃、砖头瓦块、废塑料、废橡胶类、废电池、木质类等分拣出来，进入磁选分检出废铁制品，再进入分级筛，筛下物被输送到一个预混罐，筛上物进行再次分选，剩余的垃圾粉碎后也被送入预混罐，在预混罐中加入发酵菌进行混合固体发酵，发酵后成为有机肥。

I didn't watch TV last night, because it .

昨晚我没有看电视，因为电视机坏了。

Since this year, in a lot of villages of Beijing, TV of elevator liquid crystal was removed.

今年以来，在北京的很多小区里，电梯液晶电视被撤了下来。