查询词典 timed

The sleight of hand, appearance and disappearance of objects, and gestures were all timed precisely and exactly coordinated to the music.

他娴熟的手法，物体的出现和消失和手势，都和音乐达到了精确的同步和完美的协调。

A denotational semantics of Timed RSL is defined based on observations on channels, variables, and return values, using Extended Duration Calculus formulas with advanced features.

我们基于对通道、变量和返回值的观察，使用带有高级特征的扩展的延时演算公式，定义了时间化RSL的指称语义，它能够用单一的公式描述所有类型的表达式行为。

Hes5 gene, a key downstream mediators of Notch signaling that functions by inhibiting the expression or activity of positively acting bHLH factors, is a member of bHLH transcription factor family which acts as a positive-negative transcriptional regulators which is expressed transiently in different stages in cells growth and differentiation and orchestrate those precisely timed and progressive maturational events underlying cell fate decisions according to orders of time and spatial and coordinated the function of majority of signaling transduction on target genes to influence the proliferation and differentiation.

Hes5是Notch通路转导途径的一个关键的下游信号分子，通过抑制正调控bHLH因子的表达和活性来发挥作用，隶属于碱性螺旋-环区-螺旋转录因子家族。该家族形成一个正负转录调节器，按时空顺序短暂表达于细胞发育分化的不同阶段，介导和协调多种信号系统对大量靶基因的作用，影响细胞增殖、分化。

Fluxgate sensor inducts the environment magnetic field, outputs the compass course signal to the CPU system. This signal then is transformed into digital signal. CPU processes it and then gains compass course. When use rotary mathod to measure the deviations, CPU first collects timed the compass course come from the Fluxgate sensor, then calculates automatically their deviations and the correspondent coefficients. Based on all this, CPU can calculates out the real-time magnetic course or the real-time ture course, then sents them to display on the digital displayer.

本系统采用磁通门传感器来直接敏感合成磁场，输出罗航向直流感应电压信号送A/D转换器进行转换，并经CPU计算处理得到罗航向度数值，以及利用&旋回法&测定自差时，CPU按照船舶旋回的角速度定时地采集罗航向度数值，在此基础上CPU自动地计算出各采集罗航向上的白差，再由此计算出自差系数，并实时地解算出磁航向值或真航向值，送数码显示器显示。

Many tools have been developed based on timed automata.They are very useful in protocol verifications.

用形式化的方法来描述与验证网络协议可以发现协议中潜在的错误。

With fire in his eyes, Linares began the third round with a perfectly timed lead right that snapped Pacquiao's head back.

第3回合，里那雷斯双眼冒火，一记精准的右手直拳打得帕奎奥头部后仰。

As she looked at Warrington's manly face, and dark, melancholy eyes, she had settled in her mind that he must have been the victim of an unhappy attachment.

每逢看到沃林顿那刚毅的脸，那乌黑、忧郁的眼睛，她便会相信，他一定作过不幸的爱情的受害者。

Maybe they'll disappear into a pothole.

也许他们将在壶穴里消失