查询词典 time clock

At the same time , we discuss the determinism and nondeterminism of formula-clock automata and the closure propertied under Boolean operation of the language which is accepted by formula-clock automata. We also prove the expressive equivalence between the deterministic formula-clock automata and the nondeterministic formula-clock automata. This means that every nondeterministic formula-clock automata can be transformed to a deterministic formula-clock automata which exactly accept the timed language identified by the fomer.We also extend timed words to infiniteness and define the formula-clock Buchi automata and the formula-clock Muller automata. At last, we show its application in formal verification and modeling of real-time system.

然后讨论了公式时钟自动机的确定性和非确定性，公式时钟自动机识别的语言类在并、交、补运算下的封闭性；并证明了确定的公式时钟自动机和非确定的公式时钟自动机表达能力的等价性，这意味这每一个非确定的公式时钟自动机都能转换为一个与之识别相同时间语言的确定的公式时钟自动机；我们将时间字扩展为无穷的，从而定义了公式时钟Buchi自动机与公式时钟Muller自动机；最后给出了用它进行实时系统的形式化验证方面及对实时系统建模的应用。

The black ant leaves the nest to forage foods with rhythm. In the winter, the period from 10:00 am to 4:00 pm is its best time for foraging; In the spring, there are two rush hours for the ant foraging, in the morning from 8 o'clock to 10 o'clock and at afternoon from 16 o'clock to 19 o'clock.

黑蚂蚁出巢摄食时间有一定的规律性，冬季，黑蚂蚁每天摄食的高峰时间为上午10点以后到下午4点以前；春季，黑蚂蚁每天出巢摄食一般有两个高峰时间，即上午8~10时和下午4~7时。

MP3 player recording pen,MP3 pen,flash golf,flash backpack,flash showing brand,change color goblet by feeling temperature,Pixie Radio cartoon,flash incoming cellphone,little night light,check paper money lamp,desk left or right shoes clock,cellphone seat,perpetual calendar desk lamp radio,radio pen,Little Radio Pen,Incoming Cellphone Flash Watch,Electronic Pray To Buddha Machine,Electronic Pet,desk left or right shoes clock,Palm Game Machine 398,New 007 Dictagraph,Multifunction 8 bit Calculator/Alarm Clock/World Cities Time/Perpetual Calendar,Magic Box Calculator Pen,Key Chain TV Remote Control,Winter Gift Warm Hand Machine,Seven Color Flash Pen,Record Message Pen,Alarm Clock/Stopwatch Ball Pen,Latent Shape Chack Paper Money Pen,Red Wine Bottle Opener,Music Bottle Opener,once battery cellphone charge at once,Cellphone Charger For Car/USB/Common Power Supply

深圳市弘尚电子有限公司，产品以时尚、潮流、精美、新颖、小巧、实用为重点。销售、开发、生产加工：流行礼品、赠品，促销品，纪念品，装饰品和小型玩具。我们的产品可以零售、批发、贸易，定制加工。1MP3录音笔，闪光梳子，闪光高尔夫球，发光背包，发光指示牌，感温高脚杯，小夜灯收音机，左右鞋台钟笔，莲花手机座，收音机笔，来电闪光手表，来电闪手机灯电筒，电子唸佛机，窃听器，大魔术盒万年历，魔术盒计算器笔，七彩笔，优盘笔，闪存笔，留言笔，录音笔，闹钟秒表笔，电筒笔，隐形验钞笔，红酒开瓶器，音乐开瓶器，手机照明灯，USB台灯，USB充电器，USB风扇，U盘笔，即时应急充电器，手摇充电器，车载手机充电器，车载氧吧，金属风火轮，塑胶风火轮，车载免提。

MP3 player recording pen,MP3 pen,flash golf,flash backpack,flash showing brand,change color goblet by feeling temperature,Pixie Radio cartoon,flash incoming cellphone,little night light,check paper money lamp,desk left or right shoes clock,cellphone seat,perpetual calendar desk lamp radio,radio pen,Little Radio Pen,Incoming Cellphone Flash Watch,Electronic Pray To Buddha Machine,Electronic Pet,desk left or right shoes clock,Palm Game Machine 398,New 007 Dictagraph,Multifunction 8 bit Calculator/Alarm Clock/World Cities Time/Perpetual Calendar,Magic Box Calculator Pen,Key Chain TV Remote Control,Winter Gift Warm Hand Machine,Seven Color Flash Pen,Record Message Pen,Alarm Clock/Stopwatch Ball Pen,Latent Shape Chack Paper Money Pen,Red Wine Bottle Opener,Music Bottle Opener,once battery cellphone charge at once,Cellphone Charger For Car/USB/Common Power Supply

深圳市弘尚电子有限公司，产品以时尚、潮流、精美、新颖、小巧、实用为重点。销售、开发、生产加工：流行礼品、赠品，促销品，纪念品，装饰品和小型玩具。我们的产品可以零售、批发、贸易，定制加工。1MP3录音笔，闪光梳子，闪光高尔夫球，发光背包，发光指示牌，感温高脚杯，小夜灯收音机，左右鞋台钟笔，莲花手机座，收音机笔，来电闪光手表，来电闪手机灯电筒，电子唸佛机，******，大魔术盒万年历，魔术盒计算器笔，七彩笔，优盘笔，闪存笔，留言笔，录音笔，闹钟秒表笔，电筒笔，隐形验钞笔，红酒开瓶器，音乐开瓶器，手机照明灯，USB台灯，USB充电器，USB风扇，U盘笔，即时应急充电器，手摇充电器，车载手机充电器，车载氧吧，金属风火轮，塑胶风火轮，车载免提。

The greatly stupid clock to it is huge is well-known, the bell completed in 1859, was the English biggest clock The tower has 320 feet high (approximately to be equal to 97.5 meters) at least, the minute hand long has 14 feet (approximately to be equal to 4.27 meters), the greatly stupid clock with the artificial spiral spring, Congress holds a meeting the period, the clock personally meets sends out the ray, each a hour reports time time.

大笨钟 以它巨大的钟面闻名，大钟于1859年建成，是英国最大的钟。塔起码有320英尺高约合97.5米），分针有14英尺长（约合4.27米），大笨钟用人工发条，国会开会期间，钟面会发出光芒，每隔一小时报时一次。

In order to improve the precision of clock of time server, it is necessary to create a new system calls to adjust clock time in operation system. Because the traditional system calls will cause the instability of clock output, and increase the complexity.

为了使时钟服务器的时钟精度达到更高的精度，用传统的系统调用宋完成计算机时钟的调整和偏移会造成时钟精度的不稳定，并且增加了复杂性，因此需要在操作系统内核创造新的系统调用来完成时钟调整。

Results of Proteus software simulation showed a kind of three-wire interface communication can be simply realized in real-time clock system.

Proteus软件仿真结果验证了在实时时钟系统中可以很容易实现三线接口的串行通信。

The hardware design project and principle are presented in detail, including the sensor and the single-chip microcomputer select, the signal processing circuit, the real-time clock circuit, the alarm circuit, the wireless receiving and transmitting circuit, the extension of FLASH memorizer, the key-board circuit and USB interface circuit, etc. As the counterpart, the software function modules are presented as well, including the main program of transmitter and receiver, the data acquisition and processing module, the display function module, the key function module, the three-level alarm on fault parameters module, the fault parameters memorizing and inquiring module and the wireless transmitting and receiving module, etc.

论文详细介绍了系统的硬件设计方案及其工作原理，包括传感器的选择、单片机的选择、信号调理电路、实时时钟电路、报警电路、FLASH存储器、无线发射与接收电路、键盘电路和USB接口电路等；同时详细介绍了软件设计方案及具体实现方法，包括发射机主程序、接收机主程序、数据采集与处理模块、键盘处理模块、故障数据存储与查询模块、显示功能模块、报警模块、无线发射与接收模块等。

Comparing radiocarbon readings with the natural time clock of the tree's year by year rings, showed the radiocarbon dating system to be inaccurate.

放射性污染与自然相的时钟树的逐年戒指、该系统将放射性碳测年结果不准确。

"With the discovery of the 'lost' tribes, God's prophetic time clock has accelerated..."

随着『十个失落支派』的发现，上帝的预言时钟己经在加速中……。

But we don't care about Battlegrounds.

但我们并不在乎沙场中的显露。

Ah! don't mention it, the butcher's shop is a horror.

啊！不用提了。提到肉，真是糟透了。