简介:Inthisarticlewedefineasurfacefiniteelementmethod(SFEM)forthenumericalsolutionofparabolicpartialdifferentialequationsonhypersurfacesFinR~(n+1).ThekeyideaisbasedontheapproximationofFΓbyapolyhedralsurfaceΓ_hconsistingofaunionofsimplices(trianglesforn=2,intervalsforn=1)withverticesonF.AfiniteelementspaceoffunctionsisthendefinedbytakingthecontinuousfunctionsonΓ_hwhicharelinearaffineoneachsimplexofthepolygonalsurface.WeusesurfacegradientstodefineweakformsofellipticoperatorsandnaturallygenerateweakformulationsofellipticandparabolicequationsonΓ.Ourfiniteelementmethodisappliedtoweakformsoftheequations.Thecomputationofthemassandelementstiffnessmatricesaresimpleandstraightforward.Wegiveanexampleoferrorboundsinthecaseofsemi-discretizationinspaceforafourthorderlinearproblem.Numericalexperimentsaredescribedforseverallinearandnonlinearpartialdifferentialequations.Inparticularthepowerofthemethodisdemonstratedbyemployingit,tosolvehighlynonlinearsecondandfourthorderproblemssuchassurfaceAllen-CahnandCahn-Hilliardequationsandsurfacelevelsetequationsforgeodesicmeancuryatureflow.
简介:Thispaperdealswithmodelgenerationforequationaltheories,i.e.,automaticallygenerating(finite)modelsofagivensetof(logical)equations.Ourmethodoffinitemodelgenerationandatoolforautomaticconstructionoffinitealgebrasisdescribed.Someexamplesaregiventoshowtheapplicationsofourprogram.Wearguethat,thecombinationofmodelgeneratorsandtheoremproversenablesustogetabetterunderstandingoflogicaltheories.Abriefcomparisonbetwweenourtoolandothersimilartoolsisalsopresented.
简介:§1.IntroductionIn[1],R.SchoenandS.T.Yanusedharmonicmaptostudythetopologyofanon-compactcompletestablehypersurfaceinamanifoldofnon-negativecurvature.Essentiallythemethodistoprovefirstthenonexistenceofsomekindofnonconstantharmonicmapandthentodrawtherelativeconclusionsconcerningthetopology.Suchnonexistencetheoremshavebeenobtainedin[3]and[4]incaseswheretheconcernedmanifoldsarecompact.Theaimofthispaperistostudythenon-compactcompletecase.Ourmainresultscanbestatedasfollows.
简介:Inthispaper,weshallprovethatforanypositiveintergern,thereexistsnon-trivialcommutativefinitesemigroupofidempotentconsistingofsomen×nrealquaternionmatri-ceswhichislowersemilattice.Intheprocessofsolvingthisproblemweshallseethatmanypropertiesofgeneralizedinversesforcomplexmatricesstillholdforquaternionsma-
简介:Theballoon-basedcathetersareattractivefortheminimallyinvasiveproceduresbecausethesecatheterscanbeconfiguredtomatchrequirementsonsizeandshapefortheinteractionwiththesofttissue.Ananalyticalmechanicmodelisdevelopedforthedeformedballoontodeterminetheshapeoftheinflatedcatheter.Thebridgesalonglatitudinaldirectionshouldbehighstretchableduetothehighelongationalongthelatitudeoftheinflatablecatheter.Theseresultsagreewellwiththefiniteelementmethodwithoutanyparameterfitting.
简介:Anewhigh-ordertime-steppingfiniteelementmethodbaseduponthehigh-ordernumericalintegrationformulaisformulatedforSobolevequations,whosecomputationsconsistofaniterationprocedurecoupledwithasystemoftwoellipticequations.Theoptimalandsuperconvergenceerrorestimatesforthisnewmethodarederivedbothinspaceandintime.Also,aclassofnewerrorestimatesofconvergenceandsuperconvergenceforthetime-continuousfiniteelementmethodisdemonstratedinwhichtherearenotimederivativesoftheexactsolutioninvolved,suchthattheseestimatescanbeboundedbythenormsoftheknowndata.Moreover,someusefula-posteriorierrorestimatorsaregivenonthebasisofthesuperconvergenceestimates.
简介:本文研究具有混合边界条件半导体方程的近似解,给出了两种近似格式:Galerkin离散格式和混合变量离散格式,同时还给出了误差分析
简介:Whethertheconceptofeffectivestressandstraininelastic-plastictheoryisstillvalidundertheconditionoffinitedeformationwasmainlydiscussed.Theuni-axialcompressionexperimentsinplanestressandplanestrainstateswerechosenforstudy.Inthetwokindsofstressstates,thestress-straincurvedescribedbylogarithmstrainandrotatedKirchhoffstressmatchestheexperimentsdatabetterthanthecurvesdefinedbyotherstressstraindescription.
简介:Inthisnotewecharacterizethegeometricfactureofa(μ,r,k)-FES.Namely,foraC~μtriangularin-terpolationschcmewithC~rvertexdata,anyangleofthemacrotrianglemustbedividedintoatleast(μ+1)/(r+1-μ)parts.
简介:在这篇论文,我们学习有限复杂性的selfinjectiveKoszul代数学。当它是有限的时,我们证明复杂性是一个非否定的整数;并且范畴Jin郭云电子邮件:gjy@xtu.edu.cn全文预览(小,大)src=“http://ads.link.valueclick.net/jsmaster”type=text/javascript>type=text/javascript>如果(ValueLoaded)ValueShowAd();language=JavaScriptsrc=...http://ads.link.valueclick.net/cycle?host=hs0005647&b=pagebuster.183&v=1.2.20&c=00&hcat=M100&kissn=1439-7617&kkeyword=selfinjectiveKoszul代数学,复杂性,斜组代数学,平淡的对称的代数学,16G60,16G20,有限complexity&aid=1439-7617&pid=10.1007/s10114-009-6703-0&bso=listed&msizes=468x60&t=js的16D50&kdoi=10.1007/s10114-009-6703-0&ktitle=SelfinjectiveKoszul代数学...>...>var闪光名字...“...”;varaltImgName=“http://cdn.valueclick.net/hg/0120/a0120602/Springer_TOC_Alerts.gif”;varxmlfile=“http://cdn.valueclick.net/hg/0120/a0120602/sgwIssnJournalMapping.xml”;varminFlashVer=5;var宽度=468;var高度=60;var按标签=“http://ads.link.valueclick.net/redirect?host=h0005647;size=468x60;t=js;c=00;target_id=0;hcat=M100;aid=1439-7617;pid=10.1007/s10114-009-6703-0;banner=a0120602;vcurlpreserve=”;vargifclickTAG=“http://ads.link.valueclick.net/redirect?host=h0005647;size=468x60;t=js;c=00;target_id=0;hcat=M100;aid=1439-7617;pid=10.1007/s10114-009-6703-0;banner=a0120602;vcurlpreserve=”;var插件=0;vard=文件;如果(navigator.mimeTypes&&navigator.mimeTypes[“application/x-shockwave-flash”]&&navigator.mimeTypes[“application/x-shockwave-flash”].enabledPlugin){如果(navigator.plugins&&navigator.plugins[“冲击波闪光”])varswver=(navigator.plugins[“冲击波闪光”].description.split(''))[2];如果(swver>=minFlashVer)插件=1;}另外如果(navigator.userAgent&&navigator.userAgent.indexOf(“MSIE”)>=0&&(navigator.u
简介:Theauthorsstudyrecursivestructureswith'finitememory'inEuclideanmatricspaceandthemultifractaldecompositionofthecorrespondingfractals.Foranytwopositivenumbersq,β,andsucharecursivestructure,alinearoperatorV~(q,β)infinitedimensionalspaceisdefined.ThemultifractalspectrumisgivenbythespectralradiusofV~(q,β).
简介:Accordingtothelower-boundtheoremoflimitanalysistheRigidFiniteElementMeth-od(RFEM)isappliedtostructurallimitanalysisandthelinearprogrammingsforlimitanalysisarededucedinthispaper.Moreover,theThermo-ParameterMethod(TPM)andParametricVariationalprinciples(PVP)areusedtoreducethecomputationaleffortwhilemaintainingtheaccuracyofsolutions.Abettersolutionisalsoobtainedinthispaper.
简介:Inthispaper,alargeclassofndimensionalorthogonalandbiorthognalwaveletfilters(lowpassandhighpass)arepresentedinexplicitexpression.Wealsocharacterizeorthogonalfilterswithlinearphaseinthiscase.Someexamplesarealsogiven,includingnonseparableorhogonalandbiorthogonalfilterswithlinearphase.
简介:ThetransientbehaviorofasemiconductordeviceconsistsofaPoissonequationfortheelectricpotentialandoftwononlinearparabolicequationsfortheelectrondensityandholedensity.Theelectricpotentialequationisdiscretizedbyamixedfiniteelementmethod.Theelectronandholedensityequationsaretreatedbyimplicit-explicitmultistepfiniteelementmethods.Theschemesareveryefficient.Theoptimalordererrorestimatesbothintimeandspacearederived.
简介:Themathematicalmodelofsemiconductordevicesisdescribedbytheinitialboundaryvalueproblemofasystemofthreenonlinearpartialdifferentialequations.Oneequationinellipticformisfortheelectrostaticpotential;twoequationsofconvection-dominateddiffusiontypearefortheelectronandholeconcentrations.Finitevolumeelementprocedureareputforwardfortheelectrostaticpotential,whileupwindvolumeelementschemesforthetwoconcentrationequations.ErrorestimatesinL2normforournumericalschemesarederived.
简介:TheFiniteAnalyticMethod(FAM)isanewnumericalmethodforsolvingNavier-Stokesequations.However,oncomplexgeometricdomainsthismethodmustemploytheboundary-fittedcoordinatetransformation,whichbecomesverydifficultforsomeflowregions.Inthispaper,theIsoparametricElement,whichhasbeenwidelyusedintheFiniteElementMethod,isincorporatedintotheFAM.Theflowregionissubdividedintoanumberofsmallar-bitaryquadrilaterals,andeachelementistransformedintoasquareelementbytheshapefunc-tionsofIsoparametricElement.ThenthepartialdifferentialequationsonthesquareelementcanbesolvedbytheFAM.Asanexample,theflowintubebundleshasbeencalculatedbythismethod.