temporal predicate detection using synchornized clocks

《temporal predicate detection using synchornized clocks》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、1578IEEETRANSACTIONSONCOMPUTERS,VOL.56,NO.11,NOVEMBER2007TemporalPredicateDetectionUsingtheprocessingatthesensors/processes.Sections5and6givetwoSynchronizedClocksalgorithmstodetectpredicatesdefinedontherelativeoccurrenceofevents.Section7givesthealgorithmtodetectsimultaneousevent

2、sbyderivingitfromthepredicatedetectionalgorithms.AjayD.Kshemkalyani,SeniorMember,IEEESection8presentsadiscussion.Abstract—Advancesinclocksynchronizationtechniquesallowanapproximated2SYSTEMMODELANDPROBLEMDEFINITIONglobaltimeinubiquitousenvironments.Thispaperpresentsaneventstream-

3、basedonlinealgorithmthatfusesthedatareportedfromtheprocessorsinsuchaTheprocessexecutionmodelisasfollows:Eiisthelinearlynetworktodetecttime-basedpredicates.Thealgorithmhaslowspace,time,andorderedsetofdiscreteeventsexecutedbyprocessPiinanmessagecomplexities.Thepaperalsoconsidersth

4、edetectionofsimultaneousexecution.VariablexlocaltoprocessPiisdenotedasxi.Theeventsasaspecialcase.controlprogramatPimonitorsa“localpredicate.”Definition1.AlocalpredicateiatPiisanypredicatedefinedonIndexTerms—Eventstreams,sensornetworks,adhocnetworks,datafusion,time,synchronizedc

5、locks,intervals.variableslocaltoprocessPiandthatcanbeevaluatedbyPi.ÇIngeneral,thelocalpredicatecanincludereferencestophysicaltimeaswellastemporallogicoperators,aslongasthepredicate1INTRODUCTIONcanbelocallyevaluated.ThemonitoringprogramateachprocessADVANCESinwirelesscommunication

6、andsensorandactuatortracksthelocaltimeintervalsofinterest,whicharethedurationstechnologieshavegivenrisetoubiquitoussystems,e.g.,adhocduringwhichthelocalpredicateistrue.Suchanintervalatnetworksandsensornetworks[1],[25].Here,numeroussmallprocessPiisidentifiedbythe(totallyordered)c

7、orrespondingdevicesoperatecollectivelyandformadynamicambientnetworkadjacenteventswithinEiforwhichthelocalpredicateistrue.thatconnectseachdevicetomorepowerfulnetworksandIntervalsaredenotedbycapitalsX,Y,andZ.Fig.1ashowsprocessingresources.Monitoringeventsinsuchresource-con-process

8、esP1...Pn.Fig.1bisatimingdiagramthatshowsthestr