学科分类
/ 1
19 个结果
  • 简介:

  • 标签:
  • 简介:我们学习布尔可满足性问题(坐)在输入上限制了有线性算术限制,在发生在一样的子句的变量的索引上强加的为公式。这能被看作在一样的子句在变量的分配的值上与另外的限制学习容纳的问题的Schaefers两分定理的一个结构的对应物。更精确,让坐k(m,一)\left({m,\mathcal{一}}\right)表示在k-CNF公式的例子上限制的容纳的问题,从\mathcal在最后km变量的索引被第一m完全通过一些线性方程决定的每个子句选择{一}。例如,如果\mathcal{一}包含i3=i1+2i2并且i4=i2i1+1,那么到4-SAT的输入的一个子句(2,\mathcal{一})有形式yi1yi2yi1+2i2yi2i1+1,与yi一起是xi或[“(xi)]\overline{xi}。我们获得下列结果:1)如果m2,那么为任何东西设置\mathcal{一}线性限制,限制问题坐k(m,\mathcal{一})是在P或NP完全的假定PNP的任何一个。而且,相应#SAT问题总是是#P完全的,并且坐最大的问题不允许假定PNP的一个多项式时间近似计划。2)m=1,也就是说,在每个子句,仅仅一个索引能自由地被选择。在这种情况中,我们为为限制容纳的问题设计多项式时间算法和一些技术开发一个一般框架。用这些,我们为任何A证明那\mathcal{一},坐#2(1,\mathcal{一})并且Max-2-SAT(1,\mathcal{一})两个都是多项式时间可解决,它在有坐#2的将军和Max-2-SAT的坚硬结果的鲜明对比。为固定k3,我们获得重要限制的一个大班\mathcal{一},在下面它这些问题坐k(1,\mathcal{一}),坐#k(1,\mathcal{一})并且Max-k-SAT(1,\mathcal{一})都能在多项式时间或伪多项式时间被解决。

  • 标签: 可满足性问题 多项式时间算法 SAT问题 线性算法 线性约束 二分法
  • 简介:

  • 标签:
  • 简介:~~

  • 标签:
  • 简介:~~

  • 标签:
  • 简介:Bydrawingonstudiesofdomesticandinternationalforestlandscapeassessmentandvisualevaluationofurbansoundscape,wesummarizedthemainfactorsaffectingtheforestsoundscape.Onthisbasis,weestablishedanevaluationsystemforlevel2class3forestsoundscape.Elevenindicatorsoftheforestsoundlandscapeaestheticevaluationsystemandtheweightoftheproductwerescored,andthentheaccumulatedscoredvaluesweredefinedasthesoundlandscapeaestheticindex.Theacousticlandscapeindexwasusedtomeasurethesizeoftheforestlandscapebeautifuldegree.

  • 标签: FOREST SOUNDSCAPE EVALUATION INDEX EVALUATION METHOD
  • 简介:Lossassessmentanddecision-makingareessentialforearthquakeemergencyrescues,andforscientificpredictionofseismicdamageanddeterminationofrescueobjectives.Inpractice,however,thereexistsomeproblems,suchasbasicdatanotbeingpreciseandrichenoughanddecisionmakingnothavingsystematicandcompletecriteria.Thispapertriestosolvetheseproblemsusingthemethodofdataindexationbyconstructinganindexsystemforearthquakeemergencylossassessmentanddecision-making.

  • 标签: 评价指标体系 地震应急 损失评估 决策 应急救援 科学预测
  • 简介:Basedupon3widelyusedbasemodels,atotalof8ADA/GADAsiteindexmodelswerederived.Thedataforthesemodelsinthisstudywereobtainedfrom79pith-splitstemanalysisplotsandtheestimationmethodwas"indicatorvariableapproach".Weusedbothfitstatisticsandvisualanalysistoselectthebest-fitmodel,andattachedmoreimportancetothevisualanalysis.Acomprehensiveapplicationanalysiswasalsogiventotheselectedmodel.Theresultsshowed:1)GADAoutperformedADAwithrespecttopredictions.2)AGADAmodelderivedfromHossfeldⅣpresentedthebestpredictionability.Itwassuggestedthatthemodelbeusedtopredictdominantheightandtoestimatesiteindexforponderosapinestandsranging30-200yearsinBritishColumbia,Canada.3)Thebestsiteindexagewasageof100years,baseduponrelativeerrorsofpredictions.

  • 标签: SITE INDEX model GENERALIZED ALGEBRAIC DIFFERENCE
  • 简介:TwoclonaltrialstandsofChineseFir(Cunninghamialanceolata)wereusedinthisstudy,onewas19-year-oldstandwhichincluded38clones,andtheotherwas17-year-oldstandincluding102clones.Thestatisticalanalysesshowedthattherewereverysignificantgeneticvariationsinheight,DBH,volumeandratioofheartwood(Rhw),woodbasicdensity(ρb)oftheclonesinthetwostands.Therepeatabilityofcloneswasinmediantohighlevel,andthegeneticCVwasdifferentovertheallfivetraits.Therewereverysignificantphenotypicandgeneticcorrelationsamongheight,DBHandvolume,andnegativecorrelationsamonggrowth,Rhwandρb.Theselectionmethodexperimentindicatedthatindexselectioncouldimprovevolume,Rhwandρb,showingsyntheticallysuperiorselectioneffectscomparedtoanyindividualtraitselectionmethods.

  • 标签: Chinese Fir(Cunninghamia lanceolata) CLONE WOOD quality
  • 简介:一个有效压缩方法被基于与在完全上的Gabor字典匹配追求(MP)算法编码原子的顺序索引建议,它有优点与低失真根据实际请求调整压缩比率(CR)。减少计算复杂性也与基因算法(GA)被相结合。然后,这个方法的有效性被在electrocardiography(ECG)的压缩使用它验证,Electroencephalography(EEG)发信号。模拟结果证明CR能分别地在ECG和EEG信号上与1.06%和2.15%仅仅重建错误在18:1被完成。它与传统的方法,和噪音抑制效果的相比有更高的CR和更少重建错误也被介绍。

  • 标签: 信号序列 心电图 压缩比 脑电图 编码方法 匹配
  • 简介:ThisstudyexaminestheseasonalvariationsoftropicalcyclogenesisovertheSouthChinaSea(SCS)usingagenesispotential(GP)indexdevelopedbyEmanuelandNolan.Howdifferentenvironmentalfactors(includinglow-levelvorticity,mid-levelrelativehumidity,verticalwindshear,andpotentialintensity)contributetothesevariationsisinvestigated.CompositeanomaliesoftheGPindexareproducedforthesummerandwintermonsoonsseparately.ThesecompositesreplicatetheobservedseasonalvariationsoftheobservedfrequencyandlocationoftropicalcyclogenesisovertheSCS.Thedegreeofcontributionbyeachfactorindifferentregionsisdeterminedquantitativelybyproducingcompositesofmodifiedindicesinwhichonlyoneofthecontributingfactorsvaries,withtheotherssettoclimatology.OverthenorthernSCS,potentialintensitymakesthelargestcontributionstotheseasonalvariationsintropicalcyclogenesis.OverthesouthernSCS,thelow-levelrelativevorticityplaystheprimaryroleintheseasonalmodulationoftropicalcyclone(TC)genesisfrequency,andtheverticalwindshearplaysthesecondaryrole.ThermodynamicfactorsplaymoreimportantrolesfortheseasonalvariationsintropicalcyclogenesisoverthenorthernSCS,whiledynamicfactorsaremoreimportantintheseasonalmodulationofTCgenesisfrequencyoverthesouthernSCS.

  • 标签: 热带气旋 中国南海 季节变化 季节性变化 垂直风切变 诊断
  • 简介:Ahigh-density,high-fluxcirculatingfluidizedbed(CFB)riser(100mminIDand10.614minheight)wasappliedinawiderangeofoperatingconditions(withsolidfluxesupto400kg/m2sandsuperficialgasvelocitiesupto12m/s)toexamineitsradialnon-uniformitydynamics.Thesolidsholdupwasdeterminedthroughtheuseofafiber-opticprobeat11axiallevels.Theresultsindicatedthatunderalloperatingconditions,thehighsuperficialgasvelocityandlowsolidfluxesmaintainedalowradialnon-uniformityindex(RNI).Thehigh-density/fluxCFBriserhadseveraluniquecharacteristics,sothatthepeakoftheradialsolidsholdupprofileoccurredatapositionwithr/R=0.8.TheRNIandsolidsholdupatthecross-sectionalpositionhadagoodlogarithmicrelationshipatthelow-densitycondition(withameansolidsholdupof<0.2),andtheRNIdecreasedwhenthemeansolidsholdupexceeded0.2.InvestigationofthedynamicsofstratifiedinjectionrevealedthatthefeedratiohadanimportanteffectonGsandonsolidsholdupdistribution.Anovel"<"shapedaxialsolidsholdupprofilewasfound.Gsdecreasedsharplywhentheup-flowfeedratioexceeded0.5,andRNIwaslowestwhentheup-flowfeedratiowas1.

  • 标签: 气固循环流化床 高密度 高通量 均匀性指标 径向 颗粒浓度分布
  • 简介:在这份报纸,在一个长时期栅栏(LPG)的传播特征上包围中等、周围的温度的折射索引(RI)的效果试验性地被分析。光谱当周围的索引比cladding材料的更高或低时,LPG的行为被调查。结果证明更低的顺序变细乐队的折射索引敏感与最高的顺序变细乐队的相比是很低的。但是在温度的情况中,LPG罐头的更低的顺序变细乐队也展出象高顺序的乐队一样的好敏感。

  • 标签: 长周期光栅 温度依赖 折射率 共振峰 光纤 加载