简介:Inthisstudy,weattempttheanalysisofthepassageflowinthecentrifugalimpellerusingFEMwith/withouttheturbulencemodel,andcomparethisresultwiththeexperimentalresult.TheturbulencemodelisthelowReynoldsk-εmodelproposedbyChien.WeusetheGSMACmethodfortheReynoldsaveragedNavier-Stokesequations,theEulerexplicitmethodforthetransportequationsoftheturbulentkineticenergyandthedissipationrate.AllequationsarediscretizedbytheGalerkin'smethod.Atthemidpassageofthecentrifugalimpeller,thepassagewisevelocitycomponenttendstoincreaseinthepressure-to-suctiondirection,andtheothercomponenttowardthepressuresurfacetendstobelargeintheregionofthemiddleblade-to-bladetothehubside.Thetipleakagesappeararoundtheregionofthemiddleblade-to-bladenearthecasingtogetherwiththesecondaryflowtowardthesuctionsurface.Thesephenomenacorrespondwiththeexperimentalresult,qualitatively.
简介:TheanalysesoflighthydrocarbonsinoilsfromtheTarimBasinshowthattheMango'sparameterKisaboutunityexceptthoseoilstrappedintheeasternpartoftheTazhong(CentralTarim)FaultUplift,TheregularvarianceofKmayindicatestheaccumulationandadmixtureoftheoilpopulationsintheeasternpartoftheTazhongFaultUplift.
简介:Globalpropertyisthenecessaryconditionwhichmustbesatisfiedbytheprovableformulas.Itcanhelptofindoutsomeunprovableformulathatdoesnotsatisfysomeglobalpropertybeforeprovingitusingformalautomatedreasoningsystems,thustheefficiencyofthewholesystemisimproved.ThispaperpresentssomeglobalpropertiesofvalidformulasinmodallogicK.Suchpropertiesarestructurecharactersofformulas,sotheyaresimpleandeasytocheck.Atthesametime,someglobalpropertiesofKunsatisfiableformulasetarealsogiven.