简介：AccordingtoaclassofnonlinearSISOdiscretesystems,thefuzzyslidingmodecontrolproblemisconsidered.BasedonTakagi-Sugenofuzzymodelmethod,afuzzymodelisdesignedtodescribethelocaldynamicperformanceofthegivennonlinearsystems.Byusingtheslidingmodecontrolapproach,theglobalcontrollerisconstructedbyintegratingallthelocalstatecontrollersandtheglobalsupervisoryslidingmodecontroller.Thetrackingproblemcanbeeasilydealtwithbytakingadvantageofthecombinedcontroller,andtherobustnessperformanceisimprovedfinally.Asimulationexampleisgiventoshowtheeffectivenessandfeasibilityofthemethodproposed.

简介：Inthispaper,amethodtoconstructasurfacewithpointinterpolationandnormalinterpolationispresented.Analgorithmtoconstructthediscreteinterpolationisalsopresented,whichhasthetimecomplexityO(NlogN),whereNinthenumberofscatteredpoints.

简介：这篇论文学习活动范围能力问题切换线性分离单个(SLDS)系统。在所有分系统是常规的条件下面，SLDS系统的活动范围能力基于一个古怪反复介绍的切换的序列被描绘。必要；足够的条件为SLDS系统的活动范围能力被获得。

简介：在这篇论文，二维的弄歪的分离Fourier变换(2-DWDFT)基于1-DWDFT的概念被开发。一个准确计算算法与特殊结构基于矩阵factorizing为2-DWDFT被开发。一个快算法然后被建议极大地减少反的2-DWDFT的计算复杂性。最后，数字例子被给显示出建议途径的效率。

简介：简介TimeTrackerStarterKit使开发人员能够轻松地创建项目跟踪应用程序，帮助用户跟踪分配给特定项目的时间。TimeTrackerStarterKit的思想是提供一个框架，可以使用它快速组织一个实现项目和时间管理系统的实用Web站点。这个StarterKit提供了一系列页而，可以很容易地管理分配给多个项目的时间。它的启始页面包括一个主页，可以记录各个用户分配给特定项日的时间，而其他贝阿允许查看项目、分配给项目的资源以及基于项目或资源的报告。

简介：我们允许的现在的算法与水彩颜料画外观的3D景色的即时显示。我们的途径提供视觉复杂性的适当简化，模仿水彩颜料的典型自然效果，；提供二种必要的画技术：wet-on-wet；wet-on-dry画。我们基于图象空间处理而非在准确模拟上专注于有效算法。这允许3D景色的即时显示。在一张动画期间，高frame-to-frame连贯能由于一个稳定的分割计划被完成。最后，我们无缝地从3D景色用信息把光滑的照明集成到水彩颜料图象。

简介：Basedonthemulti-sensoroptimalinformationfusioncriterionweightedbymatricesinthelinearminimumvariancesense,usingwhitenoiseestimators,anoptimalfusiondistributedKalmansmootherisgivenfordiscretemulti-channelARMA(autoregressivemovingaverage)signals.Thesmoothingerrorcross-covariancematricesbetweenanytwosensorsaregivenformeasurementnoises.Furthermore,thefusionsmoothergiveshigherprecisionthananylocalsmootherdoes.

简介：Thispaperaddressesthedesignproblemofrobustiterativelearningcontrollersforaclassoflineardiscrete-timesystemswithnorm-boundedparameteruncertainties.Aniterativelearningalgorithmwithcurrentcyclefeedbackisproposedtoachievebothrobustconvergenceandrobuststability.Thesynthesisproblemoftheproposediterativelearningcontrol(ILC)systemisreformulatedasaγ-suboptimalH-infinitycontrolproblemviathelinearfractionaltransformation(LFT).AsufficientconditionfortheconvergenceoftheILCalgorithmispresentedintermsoflinearmatrixinequalities(LMIs).Furthermore,thelineartransferoperatorsoftheILCalgorithmwithhighconvergencespeedareobtainedbyusingexistingconvexoptimizationtechniques.Thesimulationresultsdemonstratetheeffectivenessoftheproposedmethod.

简介：Somepreliminaryresultsonstrictboundedreallemmafortime-varyingcontinuouslinearsystemsareproposed,whereuncertaintyininitialconditions,terminalcostandextremeofthecostfunctionaredealtwithexplicitly.Basedontheseresults,anewrecursiveapproachisproposedinthenecessityproofofstrictboundedreallemmaforgeneralizedlinearsystemwithfinitediscretejumps.

简介：Aconsistentcheckpointingalgorithmwithshortfreezingtime(SFT)ispresentedinthispaper.Itsupportsfault-toleranceindistributedsystems,Thealgorithmhasshorterfreezingtime,loweroverhead,andsimplicityofrecovery.Tomakecheckpointtimeshorter,aspecialcontrolmessage(Munblock)isusedtoensurethataprocesscanrespondthecheckpointeventquicklyatanygiventime.Moreover,mainmemoryalgorithmisusedtoimprovetheconcurrencyofcheckpointing.ByusingSFT,thefreezingtimeresultedbycheckpointingislessthan0.03s.Furthermore,thecontrolmessagenumberofSFTisonlyO(n).

简介：Actionrefinementforreal-timeconcurrentprocesseswithurgentinteractionsisstudied,whereapartial-ordersetting,i.e.,timedbundleeventstructures,isusedasthesystemmodelandareal-timeLOTOS-likeprocessalgebraisusedasthespecificationlanguage.Itisshownthattheproposedrefinementapproacheshavethecommonlyexpectedproperties:(1)thebehaviouroftherefinedprocesscanbeinferredcompositionallyfromthebehaviouroftheoriginalprocessandfromthebehaviouroftheprocessessubstitutedforactions;(2)thetimedextensionsofpomset(partiallyorderedmultiset)traceequivalenceandhistorypreservingbisimulationequivalencearebothcongruencesundertherefinement;(3)thesyntacticandsemanticrefinementscoincideuptotheaforementionedequivalencerelationswithrespecttoacpo-baseddenotationalsemantics.

简介：Inthispaper,aqualitativemodelcheckingalgorithmforverificationofdistributedprobabilisticreal-timesystems(DPRS)ispresented.ThemodelofDPRS,calledreal-timeprobabilisticprocessmodel(RPPM),isovercontinuoustimedomain.ThepropertiesofDPRSaredescribedbyusingdeterministictimedautomata(DTA).Thekeypartinthealgorithmistomapcontinuoustimetofinitetimeintervalswithflagvariables.Comparedwiththeexistingalgorithms,thisalgorithmusesmoregeneraldelaytimeequivalenceclassesinsteadoftheunitdelaytimeequivalenceclassesrestrictedbyeventsequence,andavoidsgeneratingtheequivalenceclassesofstatesonlyduetothepassageoftime.Theresultshowsthatthisalgorithmischeaper.

简介：

简介：TheseparationoftheLyapunovmatricesandsystemmatricesplaysanimportantrolewhenoneusesparameter-dependentLyapunovfunctionalhandlingsystemswithpolytopictypeuncertainties.Thedelay-dependentrobuststabilityproblemforsystemswithpolytopictypeuncertaintiesisdiscussedbyusingparameter-dependentLyapunovfunctional.ThederivativeterminthederivativeofLyapunovfunctionalisreservedandthefreeweightingmatricesareemployedtoexpresstherelationshipbetweenthetermsinthesystemequationsuchthattheLyapunovmatricesarenotinvolvedinanyproducttermswiththesystemmatrices.Inaddition,therelationshipsbetweenthetermsintheLeibnizNewtonformulaarealsodescribedbysomefreeweightingmatricesandsomedelay-dependentstabilityconditionsarederived.Numericalexamplesdemonstratethattheproposedcriteriaaremoreeffectivethanthepreviousresults.

简介：Newdelay-independentanddehy-dependentstabilitycriteriaforlinearsystemswithmultipletime-varyingdelaysareestablishedbyusingthetime-domainmethod.Theresultsarederivedbasedonanew-typestabilitytheoremforgeneralretardeddynamicalsystemsandnewanalysistechniquesdevelopedintheauthor'spreviouswork.Unlikesomeresultsintheliterature,alloftheestablishedresultsdonotdependonthederivativeoftime-varyingdelays.Therefore,theyaresuitableforthecasewithveryfasttime-varyingdelays.Inaddition,someremarksarealsogiventoexphintheobtainedresultsandtopointoutthelimitationsofthepreviousresultsintheliterature.

简介：在这个惜时如金的时代，大家的时间否都好好利用了呢？不知道大家是不是跟笔者一样，一使用电脑就忘记了时间，现在，我请来一了位好帮手，帮大家管理时间。

简介：

简介：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.

简介：Thispaperdescribesamaximumtimedifferencepipelinedarithmeticchip,the36-bitadderandsubtractorbasedon1.5μmCMOSgatearray.Thechipcanoperateat60MHz,andconsumeslessthan0.5Watt.Theresultsarealsostudied,andamoreprecisemodelofdelaytimedifferenceisproposed.

简介：完整顺序的柔韧的H无穷评估者的设计被调查forcontinuous时间polytopic不明确的系统。主要目的是获得一个马厩和合适的线性评估者以便评价错误系统与prescribedH无穷变细水平仍然保持要用体力地稳定。基于展出在Lyapunov矩阵和系统之间的一种去耦的一个最近建议的H无穷性能标准动态矩阵，为柔韧的评估者的存在的一个足够的条件以线性矩阵不平等被提供。死，这被显示出建议设计策略允许parameter-dependentLyapunov功能的使用并且因此它不比更早的结果保守。一个数字例子被采用说明建议设计的可行性和优点。