Omega, which has timed Olympic events since 1932, USES four digital cameras as a backup to its electronic timing system. Images from track events have routinely been released by Omega.
从1932年开始就是奥运会计时商的欧米茄，为它的电子计时系统用四个数码相机进行备份，赛后这些图片一般都会由欧米茄公布出来。
This is controlled by operating system blocks, not a timed interval.
这是由操作系统块控制而不是时间间隔。
According to the characteristics, one kind of system was described that used real-time fuzzy and the timed control to carry out the dynamic control of the multiphase signal of isolated intersection.
针对这一特点，介绍了一种采用实时模糊和定时控制对单交叉口多相位信号进行动态控制的系统，并提出了一种改进的单交叉口多相位信号实时配时模型。
The game is timed and stored in a system-wide scoreboard.
游戏是定时的，分数记在系统里。
As a timed event graph (TEG) only having narrow modeling range, a hybrid event graph (HEG) was put forward to describe discrete and continuous events in a manufacturing system.
针对时间事件图(teg)建模范围窄的问题，提出了一种用来描述制造系统中的离散和连续事件的混杂事件图(HEG)。
A dynamic tree model based on timed L-system for GIS is presented.
基于时变l系统提出了一种面向GIS的动态树木模型。
Specification and verification of real-time system based on timed automata consist of constructing its timed automata and verifying its property.
使用时间自动机对实时系统规范和验证，主要包括对实时系统建模即构造系统的时间自动机和安全可靠性验证。
The site was highly rated by survey participants for its crowd control: Visitors enter based on a daily quota system, and entry is timed to avoid crowding.
这个地点因其对人流的控制被调查评审员们给予很高的评价：游客数量是基于一项每日定额分配制，参观时间是固定的，以避免拥挤。
To verify the correctness of the finite state real time system by timed automaton can come down to the inclusion of two timed regular languages.
用时间自动机验证一个有穷状态实时系统的正确性，可归结为判定两个时间正则语言的包含问题，亦可归结为判定两个时间正则语言的交是否为空的问题。
To verify the correctness of the finite state real time system by timed automaton can come down to the inclusion of two timed regular languages.
用时间自动机验证一个有穷状态实时系统的正确性，可归结为判定两个时间正则语言的包含问题，亦可归结为判定两个时间正则语言的交是否为空的问题。
应用推荐