数控机床故障诊断数理逻辑分析方法研究.pdf

2010年 10月 机床与液压 0et．2010 第38卷第2O期 MACHINETOOL HYDRAULICS VoI．38No．20 DOI：10．3969／j．issn．1001—3881．2010．20．042 数控机床故障诊断的数理逻辑分析方法研究 甄久军 ，赵 中华 (1．南京工业职业技术学院机械工程系，江苏南京210046； 2．南京财经大学应用数学学院，江苏南京 210046) 摘要：以数理逻辑为理论基础，对数控机床常见故障进行分析。提出数控机床故障诊断的数理逻辑运算方法，并在此 基础上 ，以数控机床冷却故障为例阐述数理逻辑分析方法的应用。结果表明，数理逻辑分析方法对数控机床外围故障的判 断和排除有着事半功倍的作用，以众多的环境因素、故障信息为依据，不断排除非故障因素，在不拆卸或少拆卸的情况下 确定故障的部位和原因，有效避免盲 目拆卸、调整造成的设备额外故障，提高了故障诊断的效率。 关键词：数控机床；故障诊断 ；数理逻辑；检测集 中图分类号：TP207 文献标识码：A 文章编号：1001～3881(2010)20～124—3 ResearchontheM athematicalLogicAnalysis M ethod inNC M achineToolFailureDiagnosis ZHENJiujun．ZHA0ZhonghLla (1．NanjingInstituteofIndustryTechnology，NanjingJiangsu210046，China； 2．instituteofAppliedMaths，NanjingUniversityofFinanceEconomics，NanjingJiangsu210046，China) Abstract：FamiliarNCmachinetoolfailureswereanalyzedbasedonmathematicallogictheory．Themathematicallogiccaleula一 ／ionmethodsofNC machinetoolfailurediagnosiswasproposed．TakingthecoolingfailureofNCmachinetoolasanexample，theap— plicationofthemathematicallogicanalysismethodwasillustrated．Theresultsshowthatthemathematicallogicanalysismethodisvery importanttotheexternalfaultdiagnosisofNC machinetoo1．Based Offalargenumberofenvironmentalfactors，faultinformation， withoutorlessdisassembly，non—faultfactorsareexcludedonebyone．AllthesecallavoidadditionalfailureanddemolitionoftheNC machinetoolcausedbyblinddisassembly．Theefficiencyoffaultdiagnosiscanbegreatlyincreased． Keywords：NC machinetool；Failurediagnosis；Mathematicallogic；Testsetfunction 数理逻辑是由对数学上所应用的证明法的逻辑分 征兆之间关系的这种多样性常常使故障诊断及相应的 析而产生的，是离散数学的重要组成部分。其作为工 检测工作陷入杂乱无章状态，给故障的诊断与排除带 具，对于工程师来说，可以用于机电、无线电、控制 来了很大的困难。 等多个领域。近年来