This text draws the schematic circuit diagram of operating logic control system, and attaches basic operation control program under this working model.
文中画出了运行逻辑控制系统的电路原理图，并附有该工作模式下的基本运行控制程序。
As the semantics model of logic program, the matching rule of new lymphocytes is to compute the stable model of lymphocytes and antigens.
基于逻辑程序的稳定模型语义学，用稳定模型语义计算作为新的淋巴细胞的匹配算法。
On the model with reasonable isomorph suppose, a model-based diagnosis is used in program debbuging for logic errors, and compare this model to the other classical models on its advantages.
在此模型上，使用合理的同构假定，运用基于模型的诊断方法对程序进行逻辑错误的诊断，并与经典的诊断模型作了比较。
应用推荐