文档介绍：!"#$%MLD&'()*+,-./ * ! 1" # 2"$%% 3 1. !"#$%&'()*+$%, !163318 E-mail:daqinglihong@ 2. -./0 $&'1234*+$%,-.210042 E-mail:linananjing@ 3. !"#$%&'()*+$%, !163318 E-mail:wl19880722@ 0156789:;MLD<MixedLogic Dynamic=>?,***@A>?BCDEFGHIJAKLMNI*OP7QR STEFGHUVWMLD>?IXYZ[\]^,_`abcdRSTefgIMLD>?******@i>?\MLD]^I Ljkl,BJiKmIEFGHCD*******@oXYRSGH>?pqIZ6rsPtuvwxGHQRS >?Iyz]^\ab{|k}P~ !"#S,$^%&'()RSGHIab(),*+,>?OL-mI ./01P 234&MLD<MixedLogicDynamic=>?,EFGH,wxGH MLDModelBasedonNegativeLogicaland FaultDiagnosis Application * LIHong 1, LINa 2, WANGLan-Lan 3 1. DaqingPetroleumInstitution, School ofElectricInfromationEngineering, Daqing163318, E-mail:daqinglihong@ 2. School ofElectrical EngineeringandAutomation, NanjingNormal University, Nanjing210046, E-mail: linananjing@ 3. DaqingPetroleumInstitution, School ofElectricInfromationEngineering, Daqing163318, E-mail:wl19880722@ Abstract:ThemodeofMLDwasintroduced, methodsoftranslatinghybridsystemtoMLDformalwasgiven,andthenegativelogicalMLDmodelwasdesignedforfault ,whichisgoodmodelforreducing isgiven. At last the three tankssystemwasused to tested themodel and themethodoffault