Building the transition relation of sequential logic circuit is one of the key technologies for applying model checking method to verify the sequential logic circuit.
有效地建立和表示时序逻辑电路的状态转移关系是应用模型检查方法验证时序逻辑电路的关键技术之一。
A design method of ahead masking associative memory model with expecting fault-tolerant field is proposed by use of the general feed-forward network and sequential learning algorithm given by authors.
文中用作者提出的通用前馈网络和排序学习算法，提出了一种设计具有期望容错域的前向掩蔽联想记忆模型的方法。
Finally, the method of how to use the model of sequential games to generate the best scheduling plans is given by a specific example.
最后通过具体的算例分析，探讨了如何运用序贯博弈模型生成最佳调度预案的方法。
HMM has a strong ability of sequential model building, and it is a kind of dynamic information processing method based on sequential accumulative probability.
H MM具有较强的时序建模能力，是一种基于时序累积概率的动态信息处理方法。
HMM has a strong ability of sequential model building, and it is a kind of dynamic information processing method based on sequential accumulative probability.
H MM具有较强的时序建模能力，是一种基于时序累积概率的动态信息处理方法。
应用推荐