1) Moore machine
Moore机
1.
Research on conversions between Mealy machine and Moore machine;
Moore机与Mealy机之间的转换研究
2.
In this paper,a formal framework of dynamic model checking is constructed,and an invariance theory is proposed based on an iterative design process of flow control oriented systems described by Moore machines.
该文构建动态模型检验的形式化框架,进而提出基于Moore机描述的流控制系统迭代设计过程的不变性理论,该系统是一种嵌入式控制系统,在可信通信中用以处理数据转换,最后展示了若干非平凡CTL性质在迭代过程中的可保持性。
2) Moore automata
Moore自动机
1.
This paper deals with the properities of (weakly) invertible Moore automata,and gives the necessary and sufficient condition on which Moore automata is (weakly) invertible as |S| = |Y|.
主要讨论了Moore自动机(弱)可逆的一些性质,并给出了当|S|=|Y|时,Moore自动机(弱)可逆的充要条件。
3) Moore state machine
Moore状态机
4) quantum Moore automata
量子Moore自动机
1.
In this paper,the authors firstly define the finite Fock space over an alphabet set,based on which,the definitions of quantum Mealy automata and quantum Moore automata are introduced.
首先定义了字符集上的有限维Fock空间,给出基于有限维Fock空间的量子Mealy自动机和量子Moore自动机的定义,考虑在不受外界环境影响下的两种量子自动机构成的封闭的量子系统,详细地研究了量子Mealy自动机和量子Moore自动机的演化过程,利用量子力学中密度算子的基本理论给出量子Mealy自动机和量子Moore自动机生成的量子语言。
5) Moore case
Moore案
1.
The Moore case is very important in medical law.
美国的Moore案在医学法发展上占据着重要位置。
6) Moore type
Moore型
补充资料：Moore filter
分子式：
CAS号：
性质：叶滤机的一种。利用真空泵的抽吸作用使滤浆经过滤叶上的滤布而达到过滤目的。滤叶由滤布袋和滤框组成。滤框是一系列开有许多小孔的管，两侧装有滤布。滤叶的一端连接在一个架上而成一组，可借单轨吊车提起和移动。过滤时，将滤叶浸入盛有滤浆的过滤槽，开动真空泵，液体被抽吸透过滤布管框，通过管上的小孔进入管内，然后沿排出管排出。滤渣则被截留在滤叶的表面上。当滤饼达到一定厚度时，一面继续抽吸以使滤饼保持在滤叶上，一面将滤叶提起移到洗涤槽中。洗涤槽中一般盛水，水被抽吸渗过滤饼而进入滤框，这样就对滤饼进行洗涤。洗涤完毕后，再抽吸空气经过一定时间，使滤饼干燥。最后，将滤饼移至滤饼卸除槽上，再从滤叶的排出管打入清水、空气或蒸汽，将滤饼吹落在槽中，用下部的螺旋运输器送出槽外。
CAS号：
性质：叶滤机的一种。利用真空泵的抽吸作用使滤浆经过滤叶上的滤布而达到过滤目的。滤叶由滤布袋和滤框组成。滤框是一系列开有许多小孔的管，两侧装有滤布。滤叶的一端连接在一个架上而成一组，可借单轨吊车提起和移动。过滤时，将滤叶浸入盛有滤浆的过滤槽，开动真空泵，液体被抽吸透过滤布管框，通过管上的小孔进入管内，然后沿排出管排出。滤渣则被截留在滤叶的表面上。当滤饼达到一定厚度时，一面继续抽吸以使滤饼保持在滤叶上，一面将滤叶提起移到洗涤槽中。洗涤槽中一般盛水，水被抽吸渗过滤饼而进入滤框，这样就对滤饼进行洗涤。洗涤完毕后，再抽吸空气经过一定时间，使滤饼干燥。最后，将滤饼移至滤饼卸除槽上，再从滤叶的排出管打入清水、空气或蒸汽，将滤饼吹落在槽中，用下部的螺旋运输器送出槽外。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条