时间

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

The legislative also in this case being supposed to consist of several persons,(for if it be a single person, it cannot but be always in being, and so will, as supreme, naturally have the supreme executive power, together with the legislative) may assemble, and exercise their legislature, at the times that either their original constitution, or their own adjournment, appoints, or when they please; if neither of these hath appointed any time, or there be no other way prescribed to convoke them: for the supreme power being placed in them by the people, it is always in them, and they may exercise it when they please, unless by their original constitution they are limited to certain seasons, or by an act of their supreme power they have adjourned to a certain time; and when that time comes, they have a right to assemble and act again.

在这种情况下，立法权力还应当被假定包括若干人，（因为如果是一个人，它就不能总是单独存在，随之而来的，自然的会将立法权力和最高执行权力都攫取在一个人手中）在最初的宪法所规定的时间，或他们休会时所指定的时间，或在任何他们想集会的时间——如果前两者都没有确定时间，或没有规定其它的召集办法的话——集会，行使他们的立法权力：因为立法权力既已交给他们，他们就可以在他们想行使的时候行使，除非根据最初的宪法他们只能在一定的时期内行使，或者根据最高权力的法案他们需要休会一定的时间；休会结束时，他们又拥有权利可以集会和制定法案了。

When you subtract one Date/Time value from another to produce an interval, you end up with a double-precision number with the number of days to the left of the decimal point and the fraction of the day remainder on the right.

从一个"日期/时间"值减去另一个"日期/时间"值时，时间间隔结果是一个双精度数值，小数点左边是天数，右边是剩余时间相对于一天的时间比例。

Contrast-enhanced Ultrasound(1) Renal occupied lesions: the contrast-enhanced imaging feature of renal cell carcinomas are multiformity. It was different in time of start-enhancing and start- expurgation and intensio.3 cases revealed wash-in contemporarily and 6 cases revealed wash- in quickly in time of start-enh ancing.In time of start-expurgating, 3 cases showed wash-out quickly, 3cases revealed wash-out contemporarily,3 cases showed wash-out slowly,6 cases revealed a higher contrast enhancement and 3 cases revealed a even contrast enhancement in enhancing intension; 4 cases with renal cyst s,outline had more clear and inside had no contrast media washing in and enhancing;3cases with renal angiomyolipomas washed in slowly,washed out slowly and equal or low enhanced ; 2cases with renal columnar hypertrophy were no outline appearance and the same enhancement and ech o as the nomal rena tissue.

超声造影诊断结果：(1)肾占位性病变：9例肾透明细胞癌，其超声造影表现多种多样，造影后肾脏恶性病灶造影开始增强的时间、开始廓清的时间及增强强度不等，在开始增强的时间方面，与正常肾皮质同时灌注增强的有3例，表现为快进的有6例，在开始廓清的时间方面，快退3例，同退3例，慢退3例，在增强的强度方面，6例病灶表现为高增强，3例为等增强表现；4例肾囊性病灶，超声造影轮廓较二维超声清晰，但内部始终未见增强；3例肾血管平滑肌脂肪瘤表现为慢进慢退，回声呈等、低增强表现；2例肾柱肥大超声造影无明显包块轮廓出现，造影增强的动态变化时间、强度与正常肾组织一致。

Based on the Knothe time function, the progressive prediction of surface subsidence due to underground mining was established, and the factor of proportionality describing the influence of geological and mining conditions was determined when there was no measured data in practice. A method of periodic pressure distance to divide the total working face into certain elements considering the mining rate or mining duration was proposed.

详细分析了单参数的Knothe时间函数、双参数的Sroka-Schober时间函数和Kowalski 广义时间函数的优缺点及其相互关系，建立了应用Knothe时间函数进行地表动态移动变形预计的原理、无实测资料矿井时间参数的确定方法和开采单元划分的周期来压步距法。

Based on the results, suggestions are provided to assist engineers in this field to select best parameters for saving test time of flash memories.

就NOR型的快闪记忆体测试来说，本研究发现，在相同测试条件下，随著IC电源电压升高可以减少测试时间，因为电压越高则写入与擦拭的动作会越快完成，且测试项目中最为费时的就是写入时间；提高测试频率也可以减少测试时间，因为较高的频率加快测试指令下达的速度与资料传输的时间，对於减少读取与写入的时间有极大的帮助。

But circumstances inside the Wang Jia Wei film displays one kind sometimes all in linearity time going over and future hanging to purchase state , that often is able to point out solar terms in event beginning in image "hooligan formal biography " in famous show opening,"Chongqing tells the sum the "east evil west is poisonous to the date relapse in forest "" despite of he uses detail to go to emphasize the time concept unceasingly,these stories that he gives an account of and not special time background, they may may happen within this city corner every day, They whip the specimen being away from out in life only from the city But that you only are capable to do some detail discovering two stories is each other alternative in fact , Wang Jia Wei uses this to play hide-and-seek coming to bring about one kind of synchronic sex effect dyadic game if you had looked at "Chongqing forest " carefully,chance and nothing order having shown the present age city life now that the linearity time concept having dispeled tradition narrating is protruding, the intention having formed one kind of dyadic spirit of existentialism thereby accumulates, Wang Jia Wei applying on space is more than time benefits by associating together, If you have looked at Wang Jia Wei's work but have moved, that is by no means since are what the overall world impression initiates, but being resonance because of detail, is fragmentary as well as atmosphere called up by the subjective soliloquy that the garrulity spends can let you produce mental conception makes

王家卫电影里的场景往往都在线性时间的过去和未来中呈现出一种悬置状态，尽管他不断地用细节去强调时间概念，像《阿飞正传》里那个著名的开场、《重庆森林》里对日期的反复诉说和《东邪西毒》里经常会在事件开头指出节气，但他讲述的这些故事并没有特别的时间背景，它们可能每天都会发生在这个城市的角落里，它们只是从城市生活中抽离出来的标本。如果你仔细看过《重庆森林》，你就会发现两个故事的某些细节其实是互相交错的，王家卫用这种捉迷藏式的游戏来造成一种共时性的效果，既消解了传统叙事的线性时间观念又凸现了当代都市生活的偶然和无序，从而形成了一种存在主义式的精神意蕴，而王家卫在空间上的运用更是与其时间相得益彰，如果你看了王家卫的作品而感动的话，那绝不是由于整体世界的印象所引发的，而是因为细节、片断以及絮语化的主观独白所唤起的气氛能让你产生心领神会的共鸣使然

A time-correlation approach is used to determine the shift between the GPS time and the gravimeter time. The GPS time is more accurate and is used to tag the gravity measurements.

在本论文中，使用一个时间相关的方式来侦测GPS时间与重力仪时间之间的常差，GPS时间是较为准确的并应为相对应於重力仪观测量之时间。

Not a single person has more time in any 24-hour day than you have-not the CEO of the world's largest corporation, not the president of the United States, not the parent of ten children-not even Bill Gates.

在每天的24个小时中，没有一个人会比你的时间更多。世界上最大的公司的CEO不会比你的时间多，美国总统不会比你的时间多，10个孩子的父母不会比你时间多，比尔盖茨的时间也不比你多。

When male mated consecutively in a night, mating interval, duration for mating, each mounting, intromission and the last mount, and copulatory mass kept constant, suggesting that male possess a pattern of constant mating investment, which might result from intense sperm competition in this species.

雄兽连续交配时，交配间隔、交配持续时间、每次爬跨持续时间、总爬跨持续时间、最后一次爬跨持续时间、射精持续时间等行为参数以及交配栓的重量均保持不变。表明雄兽具有恒定的交配投资模式，这种模式可能起因于该物种雄性之间激烈的精子竞争。

The basic concept of FOP can be summarized as to further optimize effective prescription according to the standard of curative effects and with the aid of modern science and technology and theories of traditional Chinese medicine.

其基本内涵可概括为：以确有疗效的中药复方为研究对象，以现代科学技术和传统中医药理论为技术支持，以该复方所治病证的药效响应为评价标准，以优化重组疗效更优的新复方为研究目的。

Ever since our world has been a world, native forests have been indiscriminately exploited by man.

自从我们的世界一直是世界原生森林被任意剥削人。