查询词典 automata

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

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

For the elementary ce llular automata, these researching results imply that we can get the involving r esult at the moment t+1 from any state combination of a cell and its neighbo r at the moment t by the computation of the recognition function and its alg orithm.

对于初等细胞自动机，这些研究的成果意味着在 t 时刻任何一个细胞及其邻居的状态的组合，都可以利用识别函数及其运算法则的函数运算得到 t+1 时刻的演化结果。

Make record of good temperature and humidity everyday, adjust automata platform to control central air conditioning and machine of adjustment of 4 temperature and humidity regularly, machine of disinfection of open infrared ray undertakes killing bug, sterilization every Monday, clear in time antimagnetic electron archives deposits ark, insist to examine fire control at any time...

天天做好温湿度记录，定期调整自动控制平台控制中心空调和4台温湿度调节机，每星期一开启红外线消毒机进行杀虫、灭菌，及时清理防磁电子档案存放柜，并坚持随时查看消防。。。

We also discussed the hierarchy of language inclusion of quantum automata in Hilbert spaces.

我们还对Hilbert空间上量子自动机语言形成的谱系进行了研究。

The split between the two groups can hardly be papered over.

这两个团体间的分歧难以掩饰。

This approach not only encourages a greater number of responses, but minimizes the likelihood of stale groupthink.

这种做法不仅鼓励了更多的反应，而且减少跟风的可能性。