简介:Actionrefinementforreal-timeconcurrentprocesseswithurgentinteractionsisstudied,whereapartial-ordersetting,i.e.,timedbundleeventstructures,isusedasthesystemmodelandareal-timeLOTOS-likeprocessalgebraisusedasthespecificationlanguage.Itisshownthattheproposedrefinementapproacheshavethecommonlyexpectedproperties:(1)thebehaviouroftherefinedprocesscanbeinferredcompositionallyfromthebehaviouroftheoriginalprocessandfromthebehaviouroftheprocessessubstitutedforactions;(2)thetimedextensionsofpomset(partiallyorderedmultiset)traceequivalenceandhistorypreservingbisimulationequivalencearebothcongruencesundertherefinement;(3)thesyntacticandsemanticrefinementscoincideuptotheaforementionedequivalencerelationswithrespecttoacpo-baseddenotationalsemantics.
简介:Animportantconceptproposedintheearlystageofrobotpathplanningfieldistheshrinkingofarobottoapointandmeanwhiletheexpandingofobstaclesintheworkspaceasasetofnewobstacles.TheresultinggrownobstaclesarecalledtheConfigurationSpace(Cspace)obstacles.Thefind-pathproblemisthentransformedintothatoffindingacollision-freepathforapointrobotamongtheCspaceobstacles.However,theresearchexperienceshaveshownthattheCspacetransformationisveryhardwhenthefollowingsituationsoccur:1)boththerobotandobstaclesarenotpolygons,and2)therobotisallowedtorotate.Thissituationgetsevenworsewhentherobotandobstaclesarethreedimensional(3D)objectswithvariousshapes.Forthisreason,directpathplanningapproacheswithouttheCspacetransformationisquiteusefulandexpected.Motivatedbythepracticalrequirementsofrobotpathplanning,ageneralizedconstrainedoptimizationproblem(GCOP)withnotonlylogicANDbutalsologicORrelationshipswasproposedandamathematicalsolutiondevelopedpreviously.Thispaperinheritsthefundamentalideasofinequalityandoptimizationtechniquesfromthepreviouswork,convertstheobstacleavoidanceproblemintoasemi-infiniteconstrainedoptimizationproblemwiththehelpofthemathematicaltransformation,andproposesadirectpathplanningapproachwithoutCspacecalculation,whichisquitedifferentfromtraditionalmethods.Toshowitsmerits,simulationresultsin3Dspacehavebeenpresented.
简介:Multipleperformancerequirementsneedtobeguaranteedinsomereal-timeapplicationssuchasmultimediadataprocessingandreal-timesignalprocessinginadditiontotimingconstraints.Unfortunately,mostconventionalschedulingalgorithmsonlytakeoneortwodimensionsofthemintoaccount.Motivatedbythisfact,thispaperinvestigatestheproblemofprovidingmultipleperformanceguaranteesincludingtimeliness,QoS,throughput,QoSfairnessandloadbalancingforasetofindependenttasksbydynamicscheduling.Webuildaschedulermodelthatcanbeusedformulti-dimensionalscheduling.Basedontheschedulermodel,weproposeaheuristicmulti-dimensionalschedulingstrategy,MDSS,consistingofthreesteps.Thefirststepcanbeofanyexistingreal-timeschedulingalgorithmthatdeterminestoacceptorrejectatask.Instep2,weputforwardanovelalgorithmMQFQtoenhancetheQoSlevelsofacceptedtasks,andtomakethesetaskshavefairQoSlevelsatthesametime.AnothernewalgorithmITLBisproposedandusedinstep3.TheITLBalgorithmiscapableofbalancingloadandimprovingthroughputofthesystem.ToevaluatetheperformanceofMDSS,weperformextensivesimulationexperimentstocompareMDSSstrategywithMDSRstrategy,DASAPandDALAPalgorithms.ExperimentalresultsshowthatMDSSsignificantlyoutperformsMDSR,DASAPandDALAP.
简介:人的姿势预言是为设计的一个关键因素;工作区的评估,在用虚拟人的虚拟环境。这个工作介绍一个新接口;为直接的人的虚拟环境优化了姿势预言(D-HOPP)在活动范围姿势必要的地方,来临到预言数字人的现实主义的活动范围姿势躯干的使用,手臂,;颈。在取决于什么类型任务正在被完成的地方,D-HOPP基于竞争,;人的姿势被不同人的性能测量管理。人的性能测量是一个基于物理的度量标准,例如精力或不快,;在优化明确的表达用作一个目标函数。这个问题作为单个目的的优化(SOO)被提出有单个性能测量的问题;作为multi-objective-optimization(哞)有多重联合性能测量的问题。我们使用联合排水量,在势能的变化,;肌与骨的不快是性能测量。D-HOPP与一个广泛的还直觉的用户接口被装备,;结果在交互虚拟环境被介绍。
简介:Weproposeahumanavatarrepresentationschemebasedonintrinsiccoordinates,whichareinvarianttoisometryandinsensitivetohumanposechanges,andanefficientposetransferalgorithmthatcanutilizethisrepresentationtoreconstructahumanbodygeometryfollowingagivenpose.Suchaposetransferalgorithmcanbeusedtocontrolthemovementofanavatarmodelinvirtualrealityenvironmentsfollowingauser'smotioninrealtime.Ourproposedalgorithmconsistsofthreemainsteps.First,werecognizetheuser'sposeandselectatemplatemodelfromthedatabasewhohasasimilarpose;then,theintrinsicLaplacianoffsetsencodedinlocalcoordinatesareusedtoreconstructthehumanbodygeometryfollowingthetemplatepose;finally,themorphingbetweenthetwoposesisgeneratedusingalinearinterpolation.Weperformexperimentstoevaluatetheaccuracyandefficiencyofouralgorithm.Webelieveourproposedsystemisapromisinghumanmodelingtoolthatcanbeusedingeneralvirtualrealityapplications.
简介:Inthispaper,aqualitativemodelcheckingalgorithmforverificationofdistributedprobabilisticreal-timesystems(DPRS)ispresented.ThemodelofDPRS,calledreal-timeprobabilisticprocessmodel(RPPM),isovercontinuoustimedomain.ThepropertiesofDPRSaredescribedbyusingdeterministictimedautomata(DTA).Thekeypartinthealgorithmistomapcontinuoustimetofinitetimeintervalswithflagvariables.Comparedwiththeexistingalgorithms,thisalgorithmusesmoregeneraldelaytimeequivalenceclassesinsteadoftheunitdelaytimeequivalenceclassesrestrictedbyeventsequence,andavoidsgeneratingtheequivalenceclassesofstatesonlyduetothepassageoftime.Theresultshowsthatthisalgorithmischeaper.
简介:Thegeneralconceptofdatacompressionconsistsinremovingtheredundancyexistingindatatofindamorecompactrepresentation.Thispaperisconcernedwithanewmethodofcompressionusingthesecondgenerationwaveletsbasedontheliftingscheme,whichisasimplebutpowerfulwaveletconstructionmethod.Ithasbeenprovedbyitssuccessfulapplicationtoareal-timemonitoringsystemoflargehydraulicmachinesthatitisapromisingcompressionmethod.
简介:Aconsistentcheckpointingalgorithmwithshortfreezingtime(SFT)ispresentedinthispaper.Itsupportsfault-toleranceindistributedsystems,Thealgorithmhasshorterfreezingtime,loweroverhead,andsimplicityofrecovery.Tomakecheckpointtimeshorter,aspecialcontrolmessage(Munblock)isusedtoensurethataprocesscanrespondthecheckpointeventquicklyatanygiventime.Moreover,mainmemoryalgorithmisusedtoimprovetheconcurrencyofcheckpointing.ByusingSFT,thefreezingtimeresultedbycheckpointingislessthan0.03s.Furthermore,thecontrolmessagenumberofSFTisonlyO(n).
简介:数据存取延期成为了高端计算系统的突出的性能瓶颈。在系统设计减少数据存取延期的关键是减少数据货摊时间。存储器地区和并发是影响现代存储器系统的性能的二个必要因素。因为全面存储器系统性能上的存储器并发的影响很好没被理解,然而,存在在利用数据存取并发上在很少减少数据货摊时间学习焦点。在这研究,一双新奇数据货摊时间模型,为地区和并发的联合努力的L-C模型和为数据上的纯失误的效果的下午模型阻止时间,被介绍。模型提供数据存取延期的新理解并且为表演优化提供新方向。基于这些新模型,先进缓存优化的一张概括表格被介绍。当时,被数据并发贡献了,把38个条目仅仅,21个条目由数据地区作出贡献,它显示出数据并发的值。在这研究介绍的L-C和下午模型和他们的联系结果和机会为数据中央的建筑学和算法现代计算系统设计的未来重要、必要。
简介:Thewidespreadoflocation-basedsocialnetworksbringsaboutahugevolumeofusercheck-indata,whichfacilitatestherecommendationofpointsofinterest(POIs).Recentadvancesondistributedrepresentationshedlightonlearninglowdimensionaldensevectorstoalleviatethedatasparsityproblem.CurrentstudiesonrepresentationlearningforPOIrecommendationembedbothusersandPOIsinacommonlatentspace,andusers'preferenceisinferredbasedonthedistance/similaritybetweenauserandaPOI.SuchanapproachisnotinaccordancewiththesemanticsofusersandPOIsastheyareinherentlydifferentobjects.Inthispaper,wepresentanoveltranslation-based,timeandlocationaware(TransTL)representation,whichmodelsthespatialandtemporalinformationasarelationshipconnectingusersandPOIs.Ourmodelgeneralizestherecentadvancesinknowledgegraphembedding.Thebasicideaisthattheembeddingofa〈time,location〉paircorrespondstoatranslationfromembeddingsofuserstoPOIs.SincethePOIembeddingshouldbeclosetotheuserembeddingplustherelationshipvector,therecommendationcanbeperformedbyselectingthetop-kPOIssimilartothetranslatedPOI,whichareallofthesametypeofobjects.Weconductextensiveexperimentsontworeal-worlddata.sets.TheresultsdemonstratethatourTransTLmodelachievesthestate-of-the-artperformance.Itisalsomuchmorerobusttodatasparsitythanthebaselines.
简介:Generalpurposeprocesser(GPP)basedsoftware-definedradio(SDR)platformsprovidewirelesscommunicationsystemengineerswithmaximalarchitectureflexibilityandversatilitytoconstructawidebandwirelesscommunicationsystem.Nevertheless,thelackofhardwarereal-timetimingcontrolmakesitdifficulttoachievetimesynchronizationbetweenthebasestationandtheterminals.Inthispaper,asoftware-basedtimesynchronization(STS)methodisproposedtorealizethetimesynchronizationoftimedivisionmultipleaccess(TDMA)basedwirelesscommunicationsystems.Ahighprecisionsoftwareclocksourceisfirstlyconstructedtomeasuretheelapseofprocessingtime.TheRound-TripDelay(RTD)algorithmisthenpresentedtocalculatetimingadvancevaluesandachievetimesynchronization.AnexampleTDMAsystemisimplementedonMicrosoftSoraplatformstoevaluatetheperformance.ExperimentsshowthattheproposedmechanismiseffectivetoenabletimesynchronizationforwidebandwirelesscommunicationsystemsonGPP-basedSDRplatforms.