您要查找的是不是：
- This paper introduced the timed automata and TCTL in brief, and described how to model check the real-time systems based dense time, then we give an example in the end. 本文简要介绍了时间自动机和时序逻辑TCTL，并着重说明了如何进行基于稠密时间的实时系统的模型检测，最后给出了一个应用实例。
- Dense Time Representation and Redundancy Elimination 稠密时间表示及冗余消除
- He thinks of new york as a den of iniquity. 他认为纽约是个藏污纳垢之处。
- Fruit juices ferment if they are kept a long time. 果汁若是放置很久，就会发酵。
- Time is sometimes called the fourth dimension. 时间有时被称为第四度空间。
- He has made his house a den of thieves. 他把自己的家变成了一个贼窝。
- I think the work can be completed ahead of time. 我认为这项工作能提前完成。
- The bears den up together during the winter. 冬天熊一起在洞穴里冬眠。
- He will come on time even though it rains. 即使下雨，他还是会准时来的。
- The liner ran down a fishing-boat during the dense fog. 班轮在浓雾中撞沉了一只渔船。
- Reading occupies most of my free time. 阅读占去了我大部分的闲暇时间。
- He thought of New York as a den of iniquity. 他认为纽约是个藏污纳垢之处。
- Traffic was interrupted by a dense fog. 交通因浓雾而受阻。
- The bar in the slum is a den of iniquity. 这个贫民窟里的小酒吧是一个充满罪恶的场所。
- I need some time to orient my thinking. 我需要一些时间来使我的思想适应。
- They hewed their way through the dense jungle. 他们在浓密的丛林里开辟出一条路来。
- A transistorize radio takes no time to warm up. 晶体管收音机不需要预热时间。
- The police tracked the thieves to their den. 警察跟踪小偷，直到他们的老窝。
- At that time he had two helpers. 当时他有两个助手。
- I can't see anything in this dense mist. 这样的浓雾里，我什么也看不见。
