查询词典 timed

I'm not a big figure skating fan, preferring the timed events over the 'artsy.

我不是花滑的粉丝，我更喜欢的是计时间的比赛，而不是打分的项目。

The theory of timed tree automata is far from perfect now.

信号自动机与时间树自动机是两个新提出的模型。

My husband and I were exploring Lake Minnewanka in Banff National Park-Canada when we stopped for a timed picture of the two of us.

我的丈夫和我探索米利万卡湖在班夫郡国家公园-加拿大当我们停下来一段时间拍了一张我们的照片。

The historic gala event has been timed to coincide with Argentina's national bicentennial celebrations of independence.

历史上有名的节目为了配合纪念民族独立二百周年的大型庆祝活动而被限时进行。

The shell was detonated by a timed, burning fuse, ignited before the mortar itself was fired. The carronade, mortar and long-gun were just some of the fittings of a ship to be represented in model form.

就说装备长炮的玛丽罗斯号，就因为上甲板太重在一次齐射后失去平衡翻倒，要是上攻城臼炮，那肯定是直接坐穿甲板把自己的船击沉。

In order to obtain accurate indications of range, the linear sweep of the cathode-ray tube must be timed precisely.

为了精确地指明距离，阴极射线管的线性扫描必须计时准确。

I believe that the three-part series which was published over the Christmas weekend is part of a well timed, carefully orchestrated character assassination.

我认为，圣诞节周末发表的三部曲是一场蓄意安排、精心策划的人格攻击。

You've timed your holiday cleverly the weather's at its best.

你真会选度假时间--正是天气最好的时候。

You've timed your holiday cleverly – the weather is at its best.

你真会选择度假时间--正是天气最好的时候。

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

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.

也许他们将在壶穴里消失