学科分类
/ 16
302 个结果
  • 简介:~~

  • 标签:
  • 简介:我们学习布尔可满足性问题(坐)在输入上限制了有线性算术限制,在发生在一样的子句的变量的索引上强加的为公式。这能被看作在一样的子句在变量的分配的值上与另外的限制学习容纳的问题的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问题 线性算法 线性约束 二分法
  • 简介:

  • 标签:
  • 简介:叶区域索引(LAI)是陆地表面植被系统的一个重要特征,并且也是为平衡的全球水和碳循环的模型的一个关键参数。由使用Landsat-5蓝色的反射价值,绿、红的隧道从米饭反射光谱模仿了,到LAI的乐队的敏感被分析,并且对各种各样的NDVI(规范的差别植被索引)的估计LAI的反应和能力,它被与红、绿、蓝的乐队的所有可能的联合代替一般NDVI的红乐队建立,被估计。最后,结论被米饭数据以不同条件测试。到LAI的红、绿、蓝的乐队的敏感在各种各样的条件下面是不同的。当LAI是不到3时,红、蓝的乐队对LAI更敏感。不过绿乐队在这种情况下比红、蓝的乐队对LAI不太敏感,它对在一个更宽的范围的LAI敏感。当植被索引被红、绿、蓝的乐队的各种联合组成时,为使这些的敏感成为植被的前提索引到LAI有意义是联合之一的价值比0.024大,即可见反射(力)>0.024。否则,植被索引将被浸透,导致LAI的更低的评价精确性。索引从红、绿、蓝的乐队的各种联合导出到LAI评价的植被的能力上的比较显示出那GNDVI(格林NDVI),GBNDVI(绿色蓝色的NDVI)与LAI有最好的关系。到LAI评价的GNDVI和GBNDVI的能力在不同情形下面被测试,并且一样的结果被获得。它建议了更好执行比常规NDVI预言LAI的那GNDVI和GBNDVI。

  • 标签: 植被目录 水稻 叶面积指数 反射光谱 遥感
  • 简介:

  • 标签:
  • 简介:  二、如何以股价指数期货投机   三、股票投资者如何以股价指数期货避险   四、如何以股价指数期货套利   五、摩根新加坡股价指数简介   六、股价指数期货的渊源与发展   七、新加坡国际金融交易所的风险管理机 制   八、总结,我们应该说明投资人可以如何利用股价指数期货来投机、 避险、套利,摩根新加坡指数期货合约   由于机构投资人对股价指数期货都已经很熟悉

  • 标签:
  • 简介:~~

  • 标签:
  • 简介:43.05。历史;43.10。一般;43.15。标准;43.20。一般线性声学;43.25。非线性的声学;43.28。Aeroacoustics和大气的声音;43.30。在水下发出声音;43.35。声音的Ultrasonics,量声学,和物理效果;43.38。Transduction,为声音的产生和繁殖的听觉的设备;43.40。结构的声学和颤动;43.50。噪音它的效果和控制;43.55。建筑上的声学;43.58。听觉的大小和乐器学;43.60。声学的信号处理;43.64。生理的声学;43.66。心理声学;43.70。讲话生产;43.71。讲话感觉;43.72。语音处理和通讯系统;43.75。音乐和乐器;43.80。Bioacoustics;43.90。在声学的另外的话题。

  • 标签: 主题索引 非线性声学 声信号处理 气动声学 物理效应 量子声学
  • 简介:~~

  • 标签:
  • 简介:

  • 标签:
  • 简介:43.10.General;43.15.Standards;43.20.Generallinearacoustics;43.25.Nonlinearacoustics;43.28.Aeroacousticsandatmosphericsound;43.30.Underwatersound;43.35.Ultrasonics,quantumacoustics,andphysicaleffectsofsound;43.38.Transduction,acousticaldevicesforthegenerationand

  • 标签:
  • 简介:

  • 标签:
  • 简介:~~

  • 标签: