DOMISS热定形机的加热程序控制

1 前言 从法国引进的Domiss圆筒型织物热定形机结构紧凑,便于操作,热源成本低,是较理想的针织物后整理设备。但由于该机引进时未带详细的技术资料及维护说明,所以设备使用厂家维护不得要领,使用一段时间后,故障频繁出现。故障的维修和重新调试都比较困难,有的厂家由于无资料几乎无法维修导致设备瘫痪。本文的目的就是把笔者几年维修调试该机的经验及测绘的技术资料贡献给全国同行参考。该机的煤油加热程序控制是其关键所在,其余的电气及传动较简单明了,所以仅就此程控部分进行剖析。该机加热部分的印刷电路板图和原理图见图1、2。     

gfp-模型的描述逻辑FLε的循环术语集推理

描述逻辑（DL）一族知识表示形式系统,是人工智能领域的一个热门研究方向。循环定义下描述逻辑系统的表达在许多情况下更符合人们的直觉,而且具有更强的表达力,是非循环定义下的描述逻辑系统不可代替的。首先给出描述逻辑系统FLε有最大不动点模型的证明,然后初步探讨基于最大不动点语义下描述逻辑系统FLε循环定义的包含关系推理算法,并给出算法的可靠性和完全性证明。