简介：Experimentalandnumericalstudieshaveshownsimilaritiesbetweenlocalizedturbulenceinchannelandpipeflows.Byscalinganalysisofadisturbed-flowmodel,thispaperproposesalocalReynoldsnumberReMtocharacterizethethresholdoftransitiontriggeredbyfinite-amplitudedisturbances.TheReMrepresentsthemaximumcontributionofthebasicflowtothemomentumratiobetweenthenonlinearconvectionandtheviscousdiffusion.ThelowercriticalReMobservedinexperimentsofplanePoiseuilleflow...

简介：

简介：SAT-basedboundedmodelchecking(BMC)hasbeenintroducedasacomplementarytechniquetoBDD-basedsymbolicmodelcheckinginrecentyears,andalotofsuccessfulworkhasbeendoneinthisdirection.TheapproachwasfirstintroducedbyA.Biereetal.incheckinglineartemporallogic(LTL)formulaeandthenalsoadaptedtocheckformulaeoftheuniversalfragmentofcomputationtreelogic(ACTL)byW.Penczeketal.Astheefficiencyofmodelcheckingisstillanimportantissue,wepresentanimprovedBMCapproachforACTLbasedonPenczek'smethod.Weconsidertwoaspectsoftheapproach.Oneisreductionofthenumberofvariablesandtransitionsinthek-modelbydistinguishingthetemporaloperatorEXfromtheothers.Theotherissimplificationofthetransformationofformulaebyusinguniformpathencodinginsteadofadisjunctionofallpathsneededinthek-model.Withtheseimprovements,foranACTLformula,thelengthofthefinalencodingoftheformulaintheworstcaseisreduced.TheimprovedapproachisimplementedinthetoolBMVandiscomparedwiththeoriginalonebyapplyingbothtotwowellknownexamples,mutualexclusionanddiningphilosophers.Thecomparisonshowstheadvantagesoftheimprovedapproachwithrespecttotheefficiencyofmodelchecking.

简介：

简介：Inthispaper,westudytheexistenceof0-1universalminimaltotaldominatingfunctionsinagraph.Weestablishaformulationoflinearinequalitiestocharacterizeuniversalminimaltotaldominatingfunctionsandshowthatforakindofgraphswhoseadjacentmatricesarebalanced,theexistenceofuniversalminimaltotaldominatingfunctionscoincideswiththatof0-1ones.Itisalsoprovedthatforgeneralgraphs,theproblemoftestingtheexistenceof0-1universalminimaltotaldominatingfunctionsisNP-hard.

简介：Inthispaper,weinvestigateahorizontalLaplacianversionoftheclampedplateproblemonCarnotgroupsandobtainsomeuniversalinequalities.Furthermore,forthelowerordereigenvaluesofthiseigenvalueproblemoncarnotgroups,wealsogivesomeuniversalinequalities.

简介：multiverse是创造在宇宙论解决某些问题的一个假设。当前，这个计划大部分仍然是特定的，而非源于基本法律和原则。因为这，这个理论的预兆的力量是相当有限的。而且，有担心，这个理论将使计算一些测量数量不可能，例如夸克和电子的群众。在这份报纸，我们将显示出那在字符串理论的新开发，字符串理论的通用波浪函数解释，提供一个方法导出multiverse的数学表达式。我们将证明在绳理论存在的Weyl不变性显示我们的观察宇宙是从一张全息图的设计。我们将介绍物理的法律怎么能从这个事实被导出。而且，我们建议计算象夸克和电子那样的基本粒子的群众可以也提供一个方法。

简介：Basedonmulti-module-cascadedinvertertopology,thisstudypresentedauniversalmultilevelinverterhybridtopologyandunifiedtheresearchesonmultilevelinvertertopology.Accordingtothefreedomofthisuniversaltopology,severalnewhybridtopologieswereconstructed.Also,basedonconventionalmodulationstrategies-multi-carrierSPWM(SinusoidalPulseWidthModulation),hybridmodulationstrategieswereintroducedcorrespondingtohybridtopologies,andamultilevelSVPWM(SpaceVectorPulseWidthModulation)techniquebasedonphase-shiftedtheorywasnaturallyproduced.Simulationandexperimentresultsprovethathybridtopologiesandcorrespondingmodulationstrategiesarevalid,whichlayafoundationforpracticalapplicationofhybridmultilevelinvertertopologies.

简介：

简介：ThispaperobtainstheCauchy-PompeiuformulaoncertaindistinguishedboundaryforfunctionswithvaluesinauniversalCliffordalgebra.ThisformulaisjustanextensionoftheCauchy'sintegralformulaobtainedin[11].

简介：ByA.PeresandA.Stern'sopinionsacomputationalprocessevolvesalongacycliclogicorbitdefinedbyacomputation.A.Sternthoughtthatifwecoulddesignsuchacircuit,itsoperationscanbeextendedtoincludingnonconservativebehaviorassociatedwiththeexternalperturbationsorinternalquantumerrors.A.PeresdidnotdiscusshowtomakeφM-1＝φo.A.Sternproposedonlyanecessaryconditionforaconservationofastateofaquantumcircuit.Inthispaperwepresentanecessaryandsufficientconditionforauniversalconservationofastateofaquantumcircuit.Wealsofindalloperatorswhichcanallowtheconservation.

简介：Oneofthemajordesiresofeverynationistodrasticallyreduceilliteracyespeciallyinthismodernsocieties.Thisisbecauseeducationisoneofthevitalindiciesusedinthemeasurementandcategorizationofnationsasdevelopedordeveloping.TheUniversalBasicEducation(UBE)Schemewasplannedtobringaboutpositivechangeintheeducationalsystemthroughquality,functional,andfreeeducation,butthisdreamhasmetbottlenecks,barriersthroughhighenrollmentwithinadequateclassroomspace,lackoflaboratories,dilapidatedinfrastructure,employmentofunqualifiedteachers,lackoffund,thesehaveamongothershinderedthegoodimplementationoftheprogramme.ThearticleassessedtheeffectivenessandimplementationofUBEPolicyforEducationDevelopmentinNigeriabyreviewingpastresearch/literaturetodeterminetheefficacyofUBEprogrammeinstudentenrollment,financingstrategies,governmentandinstitutionalinvolvementprogram,schoolfacilitiesprovisionandmanagement,andteacherinvolvement.Conclusionwasgivenbasedontheliteraturereviewed.Lastly,thearticleaddedtotherecommendationthat,foreffectivemanagementandimplementationoftheUBE,thereisneedoffullparticipationandcooperationfromthepublic,professionals,andthegovernment.Thegovernmentshouldbeopentoideasandallowthefreeroleandparticipationofeducationalspecialist.

简介：OnMarch15,2006,theUnitedNationsGeneralAssemblyadoptedResolution60/251tocreatea47-memberHumanRightsCouncil(theCouncil)inreplacementofa60-year-oldCommissiononHumanRights(theCommission).TheUniversalPeriodicReview(UPR)isanimportantmechanismandpowerthattheresolutionimpartedtotheCouncil.

简介：Auniversalsimulatorcapableofsimulatingvirtuallyanyuser-definedelectrochemical/chemicalproblemsinone-dimensionaldiffusiongeometrywasdevelopedbasedonanexponentiallyexpandinggridmodificationoftheexistingnetworkapproach.Somegeneralizedreaction-diffusiongoverningequationsofanarbitraryelectrochemical/chemicalprocesswerederived,andprogramcontrolledautomaticgenerationofthecorrespondingPSPICEnetlistfilewasrealized.Onthebasisoftheabovetechniques,auniversalsimulatorpackagewasrealized,whichiscapableofdealingwitharbitrarilycomplexelectrochemical/chemicalproblemswithone-dimensionaldiffusiongeometrysuchasplanardiffusion,sphericaldiffusion,cylindricaldiffusionandrotationaldiskdiffusion-convectionprocesses.Thebuildingofsuchasimulatoriseasyandthusitwouldbeveryconvenienttohaveitupdatedforsimulationsofnewlyraisedelectrochemicalproblems.

简介：

简介：

简介：1176LN是从流行的UniversalAudio175和176真空管限幅器演化而来．既保留了业界领先的固有优势．又为限幅器制订了一个新的规范。它的晶体管电路提供超一流的声音表现和独特的声音特性．是限幅器技术上的一次重大突破。

简介：Problemsaboutdensityareremarkableinthetheoryofdegreesofunsolvability.Owingtotheirdifficultyfewresultshavebeenobtainedtillnow.Sacks1964showedthatther.e.degreesaredense;Fejer1980showedthatnonbrachingdegreesaredenseinther.e.degrees,thisisthefirstnontrivialdefinablesubsetofthedegreesknowntobedense.

简介：Anoveluniversalpreprocessingmethodisproposedtoestimateanglesofarrival,whichisapplicabletoone-ortwo-dimensionalhighresolutionprocessingbasedonarbitrarycenter-symmetricarrays(suchasuniformlineararrays,equal-spacedrectangularplanararraysandsymmetriccirculararrays).Bymappingthecomplexsignalspaceintotherealone,thenewmethodcaneffectivelyreducethecomputationneededbythesignalsubspacedirectionfindingtechniqueswithoutanyperformancedegradation.Inaddition,thenewpreprocessingschemeitselfcandecorrelatethecoherentsignalsreceivedonthearray.Forregulararraygeometrysuchasuniformlineararraysandequal-spacedrectangularplanararrays,thepopularspatialsmoothingpreprocessingtechniquecanbecombinedwiththenovelapproachtoimprovethedecorrelatingability.Simulationresultsconfirmtheaboveconclusions.

简介：