学科分类
/ 21
412 个结果
  • 简介:

  • 标签:
  • 简介:Construction Booms in LhasaConstructionBoomsinLhasa¥CERINGYANGjJANWhenTibetwaspeacefullyliberatedin1951,theremoteregionsuffer...

  • 标签:
  • 简介:Thispaperdealswithmodelgenerationforequationaltheories,i.e.,automaticallygenerating(finite)modelsofagivensetof(logical)equations.Ourmethodoffinitemodelgenerationandatoolforautomaticconstructionoffinitealgebrasisdescribed.Someexamplesaregiventoshowtheapplicationsofourprogram.Wearguethat,thecombinationofmodelgeneratorsandtheoremproversenablesustogetabetterunderstandingoflogicaltheories.Abriefcomparisonbetwweenourtoolandothersimilartoolsisalsopresented.

  • 标签: 有限代数 自动化理论 有限模型产生
  • 简介:WestructureakindofrationalsplinesfarintroducingsomeofthePadeapproximenttechniquesintorationalsplines.Inthispaper,theresultsontheexistence,uniquenessandalgorithmoftherationalsplinearegivenandanumericalexampleisprovided.

  • 标签: RATIONAL SPLINE FRACTION in lowest TERMS
  • 简介:我们在场多在间隔上构造决定分析的一个具体方法。方法概括科恩,Daubechies和小瓶的相应结果[Appl.Comput。泛音肛门,1(1993),54-81]。由分操作符的使用,构造函数的表达式是更紧缩的。而且,方法更清楚地揭示一些性质多有某些近似顺序的决定分析。

  • 标签: 区间 多分辨分析 可加细函数 细分算子
  • 简介:<正>AssociatedwitheachfinitedirectedquiverQisaquasi-hereditaryalgebra.theso-calledtwisteddoubleofthepathalgebrakQ.Characteristictiltingmodulesoverthisclassofquasi-hereditaryalgebrasareconstructed.Theirendonorphismalgebrasareexplicitlydescribed.Itturnsoutthatthisclassofquasi-hereditaryalgebrasisclosedundertakingtheRingeldual.

  • 标签: Quasi-hereditary ALGEBRA CHARACTERISTIC TILTING MODULE Ringel
  • 简介:Incontrasttothemainstreamofstudyingthechaoticbehaviorofagivenmap,constructingchaoticmaphasattractedmuchlessattention.Inthispaper,weproposesimpleanalyticalmethodforconstructingone-dimensionalcontinuousmapswithcertainspecificperiodicpoints.Further,weobtainresultsfortheexistenceofchaoticphenomenoninthesenseofLiandYorke.Someexamplesarealsoanalyzedusingtheproposedmethods.

  • 标签: Chaos CHAOTIC map PERIODIC orbits.
  • 简介:HL-2AisthefirsttokamakwithdivertorinChina.TheobjectivesofHL-2Aaretoproducemoreadaptabledivertorconfigurationstostudyenergyexhaustandimpuritycontrol,andtostudyenhancedcoreplasmaconfinementbyprofilecontrolandmoderateplasmashaping.HL-2Ahaswelloptimizedoperationalflexibilityandexcellentaccessi-bilityforthediagnosticsystemstofacilitatevariousplasmaexperiments.

  • 标签: HL-2A 托卡马克装置 结构设计 等离子体物理学 涡轮分子泵
  • 简介:RecentlythephenomenonofdisposableschoolbookinChinanotonlyhaswastedsomanyresourcesthatproduceunfavorableinfluence,butalsohasincreasedunnecessaryimpactburdensonconsumptionsofChinesefamilies.Thepaperanalyzesvalueofthereuseofschoolbooksandmainobstacles,introducestheconceptofservi-cizing,discussestheproblemofthereuseofschoolbooksfromconstructionofproduct-servicesystem,andputsfor-wardthatrealizationofthereuseofschoolbooksdependsoninnovationofpresentsystemandmodel.Constructionofschoolbook-servicesystemneedsshiftfromvaluetoconsumptionhabitsandbehaviors,andactiveparticipationofeverysocialclass.

  • 标签: 教科书 重复利用系统 中国 环境保护
  • 简介:China’scoastallinestartsattheYaluRiverinLiaoninginthenorthandendsattheBeilunRivermouthinGuangxi.Itis18,000kilometreslongandcrosses11provinces,municipalitiesandautonomousregions,includingLiaoning,Hebei,Tianjin,Shandong,Jiangsu,Shanghai,Zhejiang,Fujian,Guangdong,GuangxiandHainan.In1988,theChinesegovernmentoutlinedtheCoastalProtectionForestSystemConstructionProjectanddefinedthecoastallineof11provincesasthemainconstructionline.Theprojectaimsatdevelopingamulti-functional

  • 标签:
  • 简介:我们在场为构造最大地局部性的Wannier的一个一般方法工作。它由三步组成:拣局部性的试用波浪功能的(i),(ii)执行完整的乐队设计,并且(iii)有L的orthonormalizing?wdin方法。我们的方法能够没有进一步的最小化,生产最大地局部性的Wannier功能,并且没有使用supercells,它能正直地被用于随机的潜力。我们的方法的有效性为简单乐队和合成乐队被表明。

  • 标签: r函数 局域化 构造 试探波函数 正交化方法 本地化
  • 简介:Inrecentyears,alongwithcenteringonestablishmentofmarketeconomysystem,stressingtheimportanceofmacroeconomicmanagement,incessantexploitation,conservationandoptimizingutilizationofenergy,andincorporatingruralproductionandenvironmentalprotectionthroughtechnicalinnovation,ruralenergyconstructionhasgainedasignificantprogresswithremarkableeconomical,environmentalandsocialbenefit.

  • 标签:
  • 简介:Editor'sNote:Duringthecelebrationofthe50thanniversaryoftheQinghai-TibetandSichuan-TibetHighways,weinterviewedSongWangui,directoroftheTibetHighwayBureau,onroadconditionsofthetwohighwaysandthetransportsituationinTibet.

  • 标签: 西藏 公路建设 交通设施 政府投资
  • 简介:It'slearnedfromSGCCAnnualWorkConferencethatSGCCwillinvest301.9billionyuaninpowergrids,forthefirsttimetoexceed300billioninrecentyears.Griddevelopmentwillenteranewstagewiththeconstructionandoperationofalargenumberoftransmissionprojects,newenergygenerationdeliveryprojectsandleadingtechnologydemonstrationprojects.Amongthem,UHVtransmissionprojectshavebrokenmanyworldrecords,andhavegreatlyacceleratedChina'ssmartgridconstruction.

  • 标签: 电网建设 特高压 国家电网公司 输电工程 新能源发电 示范项目