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.
文中用作者提出的通用前馈网络和排序学习算法，提出了一种设计具有期望容错域的前向掩蔽联想记忆模型的方法。
The use of sequential rely feedback tests for system try to obtain a more accuracy process model, to design PID controller method based on the internal model control principle is presented.
提出采用连续继电反馈实验辨识高精度的过程模型，基于内模原理设计PID控制器的方法。
应用推荐