查询词典 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空间上量子自动机语言形成的谱系进行了研究。

In the days of sailing vessels the crew were afraid they would be becalmed on the ocean.

在使用帆船的时代，船员们担心他们会因为无风而无法在海洋上航行。

As long as foreign donors pay the PA's salary bill, few expect a new intifada.

只要外国继续为巴权力机构的薪水买单，希望发动新暴动的人便寥寥无几。