学科分类
/ 2
27 个结果
  • 简介:我们在场在Hoare风格节目逻辑的标准标记打扫无用单元收集程序的保守变体的机器级的实现的确认。收集者的说明用分离逻辑在一个机器级的存储模型上被给,并且是足够强壮的保存任何普通mutator节目的安全性质。我们的确认充分在Coq证明助手被实现并且能作为带证明的代码包装的foundational立即被包装。我们的工作向造充分证明的生产质量无用单元收集程序做重要尝试。电子增补材料这篇文章(doi:10.1007/s11390-007-9049-z)的联机版本contatins增补材料,它对授权用户可得到。

  • 标签: 程序验证 垃圾信息收集器 程序安全 证明携带码
  • 简介:Bisphenolscontaininglongaliphatichydrocarbonsidechainsweresynthesizedbythecondensationofphenolwithaldehydeorketoneinthepresenceofheteropolyacid.TheirstructureswerecharacterizedbyIR,1HNMR,13CNMRandelementanalysis.Theexperimentresultsshowthatwhenheteropolyacidwasusedasacatalyst,thesebisphenolswereobtainedinhighselectivityandhighyields.

  • 标签: 合成 双酚A 碳氢化合物侧链 杂多酸 结构表征 催化剂
  • 简介:Basedontheretrospectionofresearchesoncarryingcapacity,thisarticlereviewedsystematicallytheresearchprogressesoncarryingcapacityofrelativeresources(CCRR).ThentheviewpointwasputforwardthatCCRRisnotanappropriatemethodofappraisingtheregionalsustainability,butasoundwaytoobtaincognitionforcoordinatingspatiallocationandflowofpopulationandeconomy.However,asthemostpopularcomputingmethodofCCRR,theWeightingLinearSumModelisdefectiveintherandomofweightchoiceandtheneglectofmatchingamongdifferentresources.Therefore,thisarticleestablishedtheGeometricModelonCCRRbasedonmodifyingWeightingLinearSumModel,whichcanbeusedtoappraiseregionswhereresourcesareclosematching.EmployingtheGeometricModel,thearticleempiricallyanalyzedthepopulationandeconomicCCRRinHubeiProvincefrom1978to2006.TheresultindicatesthatthepopulationinHubeiProvinceisoverloadingwhiletheeconomiccarryingcapacityisabundantcomparedtothewholecountry,andtheeconomicinsufficiencyrestrictsthepopulationcarryingcapacity.Inthefuture,HubeiProvincewillbecomeoneofthecoredevelopingzoneswhicharecharacterizedbyeconomicconglomeration.

  • 标签: 承载能力 线性模型 区域资源 区域可持续发展 流动人口 应用
  • 简介:Thepopulationcarryingcapacityofrestricteddistrict,keydevelopmentdistrict,optimizeddistrictappeargradientdecrease.Whiledifferentiationofsatisfactionregardingpopulationcapacityappearsinoptimizingdistrict,keydevelopmentdistrictsorrestricteddistricts,theunbalanceddistributionofpopulationbetweendistrictsorwithindistrictsemerges.Usingmulti-prongedmeasurestoreasonablycontrolpopulationsizeandguidethemovementofpopulationtothesuburbs,thisisarealisticpolicydirectionforBeijing,ShanghaiGuangzhouandShenzhenFirst-tiercities.Otheroptimizingdistrictsandkeydevelopmentdistrictsshouldraisetheirpopulationcarryingcapacity'sshortboard.RestricteddistrictshouldincreasetheirfinancialinputandimprovetheirImprovetheirlevelofpublicservice.

  • 标签: 人口承载力 功能区 人口承载能力 梯度下降 人口容量 人口分布
  • 简介:Thispaperproposesthatitisnecessarytoimplementtheconceptoftouristcarryingcapacitytofacilitatethetourismplanning,andpresentsamethodtoevaluatethecarryingcapacity.Themethodcalledmatterelementanalysiscansolvetheuncertainandincompatibleproblemoftheevaluatedfactorsinassessingcarryingcapacity.Thecurrentstateofadestination'scarryingcapacitycanbedeterminedbyestablishingthestandardindexesandthematterelementmodel.ThroughtheevaluatingofthetravelindustryzonesoftheAutonomousPrefectureofWesternHunan,themethodisprovedtobesimpleandfeasible,anditisimprovedtobesignificantforthetourismplanninganddeterminationaswellasthesustainabledevelopmentoftheregionaltourism.

  • 标签: 物元分析理论 旅游承载能力 旅游开发 旅游计划
  • 简介:Asaresultsofmagnetoelasticinteraction,themechanicalbehaviorofcurrent-carryingcoilstructures,suchasdeformationandinstability,isakeyprobleminthedesignofstrongfieldmagnets.Inthispaper,anonlinearmathematicalmodelispresentedtodescribethedeformationandbucklingofD-typecurrent-carryingcoils,basedontheBiot-Savartlawandthebendingtheoryofcurvedbeams.Thebendingdeformation,thecriticalvalueofcurrentforthemagnetoelasticbucklingofthecurrent-carryingcoil,andtheeffectsofthetypeandnumberofsupportsatmiddlepartofthebendingcoilonthecriticalvaluearequantitativelyinvestigatedbyasemi-analyticalandsemi-numericalmethod.Thenumericalresultsareshowntobeingoodagreementwiththeexperimentaldata.

  • 标签: D-type COIL MAGNETOELASTIC coupling interaction nonlinear
  • 简介:包含脲组的新奇phenylacetylene衍生物被综合并且有Rh催化剂到的polymerized给相应聚合物,poly(1)与中等数字一般水准分子的重量。(1)poly在甲苯是可溶的,CHCl3,CH2Cl2,THF,DMF,和DMSO,但是在己不可溶解,diethyl醚和MeOH。特定的旋转和圆形的二色性(CD)分光镜的研究表明(1)那poly拿了主要传递一个的螺旋状的结构。intramolecular氢结合的存在被液体状态红外光谱学证实。helicity(1)能被温度和阴离子poly调节。聚合物的螺旋状的符合构造对Br-是稳定的但是产生F<啜class=“a-plus-plus”>。

  • 标签: 乙炔衍生物 螺旋结构 合成 基团 光性质 聚乙炔
  • 简介:Basedontheconceptofecosystemcarryingcapacity,theindicatorsystemofquantitativeassessmentwassetup,whichconsistedofsupportindicatorsystemandpressureindicatorsystem.Andthefactoranalysismethodwasusedtoscreentheindicatorsystem.Differentfromthetraditionalindicatorweightdeterminationbasedontheabsolutevaluesofthecoefficientsofregressionequation,thesquaresoffactorloadingsintherotatedcomponentmatrixwereattemptedtodeterminetheweightsof40assessmentindicators.TheresultshowsthatecologicalsupportsystemandpressuresysteminBinhaiNewAreaarerelativelybalancedamongsixyears,andthedevelopinglevelofurbanecosystemisbasicallyhealthyonthewhole.However,duetocontinuouslyincreasingpressureoftheresourcesconsumptioncausedbytherapidgrowthofthesecondindustry,whichistheLeadingIndustryofBinhaiNewArea,theecosystemcarryingcapacityreachedtheminimumin2005.

  • 标签: 城市生态系统 评价指标体系 滨海新区 承载能力 天津 载运
  • 简介:Inthispaper,wedemonstrateaschemeforcompensatingdistortedopticalvortexbeamscarryingorbitalangularmomentum.ByinputtingtheintensityprofileintotheGerchberg–Saxtonalgorithm[Optik35,237(1972)],thepre-compensationphasemaskcanbeacquired.Noadditionalprobebeamsareintroduced,andallthecomputingisaimingatthetransmittedvortexbeams.Thedistortedvortexbeamsareinvestigatedexperimentallybeforeandafterpre-compensation,showingfavorablecompensationperformance.Thisschemewillfindapplicationsintheareasofrotationdetection,opticalcommunications,andsoon.

  • 标签:
  • 简介:Withpopulationgrowthandincreasingpressureonlandresources,landcarryingcapacity(LCC)andfoodsafetyhavebeenattractinggreatattentionworldwide.Fromthepointofman-grainrelationshipandbyestablishingLCCandlandcarryingcapacityindex(LCCI)models,thisarticlefirstlyanalyzesthespatial-temporaldynamicsofLCCofChinafrom1949to2005atcounty,provincialandnationallevels.Choosing2005asarepresentativeyear,thisarticlethenevaluatestheLCCof264pastoralregions(semipastoralregions),663urbanregionsand592povertystrickenregionsofthecountry.Theresultsshowthat:(1)from1949to2005,withtheincreaseofgrainproduction,theLCCofChinahasbeenimprovedconspicuously,butduetotherapidpopulationgrowth,theproductioncanonlymaintainalowlevelgrainconsumption;(2)overthepast25years(1980-2005),thenumberofpopulationoverloadingprovincesdecreasedfrom23to15andthemangrainrelationshiphasbeenimprovedgradually,butthereweremoreoverloadingprovincesthansurplusprovincesinChina;(3)atcountylevel,therewere1572overloadingcountiesin1980accountingfor68.26%ofthetotalcountiesofthecountryandwherewere649millionpeoplelived,whilein1990,2000and2005,thenumberofoverloadingcountieswere1066,1133and1087respectively,whichshowsthattheman-grainrelationshiphasbeenimprovedobviouslyduringthepast25years;asforspatialdistribution,thesurpluscountiesweremainlyconcentratedinagriculturedevelopedregions,suchasNortheastPlain,NorthChinaPlain,middleandlowerReachesoftheYangtzeRiverPlain,andoverloadingcountiesweremainlylocatedinregionswithpoornaturalenvironmentandlowgrainproductioncapacity,suchasNorthwestChina,TibetanPlateauandLoessPlateauandeconomicallydevelopedurbanregions,suchasBeijing,TianjinandShanghai;(4)animalhusbandryimprovedgreatlytheLCCofpastoralandsemi-pastoralregions,whileurbanregionswereoverloadingforincreasingpopulationpressureandmoreth

  • 标签: 粮食生产能力 中国西北地区 土地资源 贫困地区 城市地区 人口增长
  • 简介:Evaluationsofresourcesandenvironmentalcarryingcapacities(GRECC)arethepremiseoflandspaceplanningandusecontrol.Resourceallocationsandenvironmentalcapacityarethebasicconditionsthatrestrictdevelopmentinaregion.Inthispaper,basedonasystematicreviewofChina'sgeologicalenvironment,groundwaterresources,mineralresources,othergeologicalresourcesandtheenvironmentalcarryingcapacityresearchstatus,therelationshipbetweenthenaturalresourceenvironmentalsystemandthesocio-economicsystemisstudied.Thena"coordinationtheoryofresourcesandenvironmentalcarrying"isproposed.Next,onthebasisofanevaluationexperimentperformedatdifferentscalesandfordifferenttypesofregions,thetechnicalmethodsforanevaluationofthegeologicalresourcesandenvironmentalcarryingcapacityattheregional(inter-provincial)andprovincialscalesinChinaareestablishedforthefirsttime.Thispaperpresentsastandardizedmethodbasedontechnicalideas,evaluationmethods,andindexsystemsforgeologicalresourceandenvironmentalcarryingcapacityevaluation.Finally,anevaluationofthegroundwaterresourcecarryingcapacityinChinaisusedasanexampleforthedemonstrationofthegroundwaterresourcebackgroundanduseofstateevaluationmethods.

  • 标签: GEOLOGICAL ENVIRONMENT GROUNDWATER RESOURCES RESOURCE and
  • 简介:Thestructuresinengineeringcanbesimplifiedintoelasticbeamswithconcentratedmassesandelasticspringsupports.Studyingthelawofvibrationofthebeamscanbeahelpinguidingitsdesignandavoidingresonance.BasedontheLaplacetransformmethod,themodeshapefunctionsandthefrequencyequationsofthebeamsinthetypicalboundaryconditionsarederived.Acantileverbeamwithalumpedmassandaspringisselectedtoobtainitsnaturalfrequenciesandmodeshapefunctions.AnexperimentwasconductedinordertogetthemodalparametersofthebeambasedontheNExT-ERAmethod.Bycomparingtheanalyticalandexperimentalresults,theeffectsofthelocationsofthemassandspringonthemodalparameterarediscussed.Thevariationofthenaturalfrequencieswasobtainedwiththechangingstiffnesscoefficientandmasscoefficient,respectively.Thefindingsprovideareferenceforthevibrationanalysismethodsandthelumpedparameterslayoutdesignofelasticbeamsusedinengineering.

  • 标签: elastic BEAMS concentrated MASSES SPRINGS naturalfrequencies
  • 简介:Theresonancefrequenciesandstabilityofananobeaminalongitudinalmagneticfieldareinvestigated.Tothisaim,athreedimensionalbeammodelisusedinwhichthesmall-scaleeffectistakenintoaccountbasedonthenonlocalelasticitytheory.TheLorentzforcesareobtainedintermsofthelocalelasticrotationsofthebeamandthethermalstressduetocurrentismodeledasanaxialcompressiveforce.UsingtheGalerkinmethod,thegoverningequationsofmotionaresolvedandthestabilityboundaryofthenanobeamisdetermined.

  • 标签: 弹性旋转梁 共振频率 纵向磁场 稳定性 纳米 GALERKIN方法
  • 简介:Theecologicalcarryingcapacity,animportantindica-tortoevaluatethesustainabledevelopmentoftheecosystem,meansthepotentialabilityofthenaturalecosystemtocarryso-cioeconomicdevelopmentwhiletheecosystemishealthy.Itislimitedbythecarryingcapacityofnaturalresourcesandenviron-mentandtheelasticityoftheecosystem.Itwillbegreatlysignifi-canttostudytheecologicalcarryingcapacityofHainanProvince,thefirstecologicalprovinceadmittedbytheStateEnvironmentalProtectionAdministrationinChina.Notonlyisthenaturaleco-systemreflected,butalsotheeffectsofhumanactivitiesareem-phasizedbyintegratingtheecosystemhealthanalysisintotheecologicalcarryingcapacityresearch.Theresearchresults,usingtheFactorAnalysistoolsofsoftwareSPSS,indicatethattheeco-logicalcarryingcapacityofHainanProvincefluctuatedobviouslyfrom1996to2005.TheleveloftheecologicalcarryingcapacityofHainanProvincewasrelativelyhighin1996,andreachedintotroughfrom1997to1999.Ithassteadilyascendedtobeabovethemiddlelevelsincethe21stcentury.Theresultsalsoshowthatpolicyfactors,especiallytheimplementationofthe'EcologicalProvince'strategy,wereimportantdrivingforcestoinfluencetheecologicalcarryingcapacity.Withthepopulationrapidlyincreas-ing,thelandandwaterresourcespercapitahavedecreasedquickly.Theamountoftheecologicalcarryingcapacitywaspro-motedremarkablybysocioeconomicdevelopmentespeciallyeconomicgrowthandtechnologyapplications.Allofthesewillprovideusefulsuggestionstoestablishandenactregionaldevel-opmentpolicies,especiallyforprotectingandreconstructingtheecologyandenvironmentofHainanProvince.

  • 标签:
  • 简介:Theconflictbetweencitydevelopmentandurbancarryingcapacityisgettingeverprominent.InordertostudyandpredicttherestrictionfactorsandprominentproblemsinthedevelopmentoftheShandongPeninsulaBlueEconomicZoneaswellaspromotethetransferofeconomicdevelopmentpatterninthisregion,thisstudystartsfromfoursinglefactorcarryingcapacityindicatorsofwater,earth,transportationandenvironmentinthecityanditscomprehensivecarryingcapacityindicator,evaluatesandanalyzesitscarryingcapacityandthenpapoosespolicysuggestionsforimprovingitscarryingcapacity.

  • 标签: the BLUE ECONOMIC ZONE of SHANDONG