简介:ThispaperpresentsanotherformalproofforthecorrectnessoftheDeadlineDrivenScheduler(DDS).ThisproofisgivenintermsofDurationCalculuswhichprovidesabstractionforrandompreemptionofprocessor.Comparedwithotherapproaches,thisproofreliesonmanyintuitivefacts.Thereforethisproofismoreintuitive,whileitisstillformal.
简介:<正>Customerdataisrevolution-izingasaglobaltrendandChinaneedstofollowthetrend,saidabooknamed"InDataWeTrust"translatedbyRolandBergerStrategyConsultantsandChinaMachinePress."Thecustomerdatarevolutionhasmovedtothenextlevel.Tenyearsago,onlybigcompaniescouldaffordtoen-gageindatamining;today,everypizzadeliverycompanycandoit.Thedaysof
简介:ThepaperestablishestwostochasticSIRSmodelswithjumpstodescribethespreadofnetworkvirusbycyberwar,terrorismandothers.First,addingrandomperturbationsproportionallytoeachvariable,wegetthedynamicpropertiesaroundthepositiveequilibriumofthedeterministicmodelandtheconditionsforpersistenceandextinction.Second,givingarandomdisturbancetoendemicequilibrium,wegetastochasticsystemwithjumps.BymodifyingtheexistingLyapunovfunction,weprovethepositivesolutionofthesystemisstochasticallystable.
简介:CoordinatesofthekeyfacialfeaturepointscanbecapturedbymotioncapturesystemOPTOTRAKwithreal-timecharacterandhighaccuracy.Thefacialmodelisconsideredasanundirectedweightedgraph.Byiterativelysubdividingtherelatedtriangleedges,thegeodesicdistancebetweenpointsonthemodelsurfaceisfinallyobtained.TheRBF(RadialBasisFunctions)interpolationtechniquebasedongeodesicdistanceisappliedtogeneratedeformationofthefacialmeshmodel.Experimentalresultsdemonstratethatthegeodesicdistancecanexplorethecomplextopologyofhumanfacemodelsperfectlyandthemethodcangeneraterealisticfacialexpressions.
简介:Inthispaper,anequationsystemofelectrohydrodynamics(EHD)basedonthefluidmotionequationsisdiscussed.Emphasisisputontheeffectsofelectricalforceandsurfacetensionuponthefluidmotion.TheMarkerandCellmethodisusedtosetupacomputationalsimulationprogramofelectricallydrivenmotionoffluid.Withthehelpoftheprogram,acylindricalfluidundertheinfluencesofelectricalfieldandsurfacetensionhasbeencalculated.Theresultisingoodagreementwiththeexperimentalobservation.
简介:Wepresentamethodthatcombinesperformance-drivenmethodwithsegmented3Dblendshapemodelstoanimateaface.Firstwepreparekeysampleexamplesandcorrespondingkeytargetexamples.Nextwesegmentthewholefaceintotworegions,foreachregionwereducedimensionalityofsourceexamplesusingPACintoabstractspacewhichisdefinedbytruncatedPCAeigenvectors.Thenforeachexamplewefixthecardinalbasefunction,whichcandeterminetheweightofthetargetexample.Finally,intheanimationstagewecomputetheweightofeachexampleforeachframeandaddtheweighteddisplacementvectorsofeachregiononthegeneralfacemodel.
简介:Radiationsimulationutilizingplasmaradiationsources(PRS)generatesalargenumberofundesirabledebris,whichmaydamagetheexpensivediagnosingdetectors.Anultrafastshutter(UFS)drivenbypulsedhighcurrentcanerectaphysicalbarriertotheslowlymovingdebrisafterallowingthepassageofX-rayphotons.TheUFSconsistsofapairofthinmetalfoilstwistingtheparallelaxesinaNyloncassette,compressedwithanoutermagneticfield,generatedfromafastcapacitorbank,dischargingintoasingleturnloop.Atypicalcapacitorbankisof7.5μFchargingvoltagesvaryingfrom30kVto45kV,withcorrespondingcurrentsofapproximately90kAto140kAanddischargingcurrentperiodsofapproximately13.1μs.Ashutterclosingtimeasfastas38microsecondshasbeenobtainedwithanaluminiumfoilthicknessof100micrometersandacross-sectionalareaof15mmby20mm.Thedesign,constructionandtheexpressionsofthevalve-closingtimeoftheUFSarepresentedalongwiththemeasuredresultsofvalve-closingvelocities.
简介:有在相反的方向驾驶的二种粒子的系统的结构的进化,即,由颜色域开车,被分子的动力学模拟调查。Gaussian自动调温器,在系统限制粒子的热速度的一个普通处理,被使用了以便说明热的驱散并且允许系统到达一个稳定的状态。随驱动力(F)的力量的增加,系统从一个开始随机的混合状态经历明显的结构的转变到分开的小巷并且在每条小巷描绘的一个状态,这被发现了仅仅一个种粒子存在。分析证明为小巷结构的形成的原因是F而且粒子磨擦的变化的增加不仅系数。当使用Gaussian自动调温器时,粒子磨擦系数成为F的功能。增加的F导致高粒子磨擦系数并且不可避免地为足够强壮的驱动力导致小巷形成。当在磨擦系数上提起F的效果并且选择一个经常的磨擦系数时,我们的结果显示出那因为在那里的给定的F总是存在比系统将比哪个发展成小巷结构高的磨擦系数的批评的值。
简介:Largesizedpowertransformersareimportantpartsofthepowersupplychain.Theseverycriticalnetworksofengineeringassetsareanessentialbaseofanation'senergyresourceinfrastructure.Thisresearchidentifiesthekeyfactorsinfluencingtransformernormaloperatingconditionsandpredictstheassetmanagementlifespan.Engineeringassetresearchhasdevelopedfewlifespanforecastingmethodscombiningreal-timemonitoringsolutionsfortransformermaintenanceandreplacement.Utilizingtherichdatasourcefromaremoteterminalunit(RTU)systemforsensor-datadrivenanalysis,thisresearchdevelopsaninnovativereal-timelifespanforecastingapproachapplyinglogisticregressionbasedontheWeibulldistribution.Themethodologyandtheimplementationprototypeareverifiedusingadataseriesfrom161kVtransformerstoevaluatetheefficiencyandaccuracyforenergysectorapplications.Theassetstakeholdersandsupplierssignificantlybenefitfromthereal-timepowertransformerlifespanevaluationformaintenanceandreplacementdecisionsupport.
简介:BasedonQoS(qualityofservice)parameters:timedelay,jitter,bandwidthandpackageloss.AstimedelayintheInternetisvariable,itishardtocompensateitbytraditionalmethods.Eventsynchronizationcommunicationdrivenmethodisproposedtoovercomethenegativeeffectsinducedbytimedelay.Thismethodisanon-timebasedmethodanditcangetridoftheeffectsoftimeinthecontrolloopoftelerobotics.Stability,transparencyandsynchronizationcanbemaintainedinitbyevent-drivenmethod.Multimodalenhancedteleroboticsisputforwardwithitsfeedbackincludingforce,video,audioandtemperatureetc.Theuseofmultimodalfeedbackimprovestheefficiencyandsafetyofthewholesystem.Synchronizationinmultimodalfeedbackishardtoensureandevent-drivenmethodisalsogoodforit.ExperimentsonanInternet-basedshaft-holeassemblagesystemshowgoodresultsbyusingeventsynchronizationcommunicationdrivenmethodandUDPprotocol.