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

This one mode pays close attention to network credence foundation of the businessman very much.

这一模式非常关注商人的网络信用基础。

Cell morphology of bacterial ghost of Pasteurella multocida was observed by scanning electron microscopy and inactivation ratio was estimated by CFU analysi.

扫描电镜观察多杀性巴氏杆菌细菌幽灵和菌落形成单位评价遗传灭活率。