排序方式： 共有2条查询结果，搜索用时 31 毫秒
1
1.
在2015年系统野外调查基础上,研究了呼伦贝尔沙地苔藓植物区系组成和生长型构成与分布,结果如下：（1）发现苔藓植物29科77属147种,其中,苔类6科6属9种,藓类23科71属138种;优势科有柳叶藓科Amblystegiaceae、青藓科Brachytheciaceae、灰藓科Hypnaceae、丛藓科Pottiaceae、真藓科Bryaceae和曲尾藓科Dicranaceae等;优势属有青藓属Brachythecium、真藓属Bryum、镰刀藓属Drepanocladus等;（2）可划分8种地理成分类型,北温带成分显著最多（96种,65.31%）,其次是世界广布种（20种,13.61%）和东亚成分（13种,8.84%）,热带成分数量很少;（3）147种包含一级生长型9种苔类、138种藓类,二级生长型茎叶体苔类6种、叶状体苔类3种、顶蒴藓类70种、侧蒴藓类68种;从沙地东南部森林草原气候区到西北和西南草原气候区物种数量明显减少,对水分要求较高的茎叶体苔类、叶状体苔类和侧蒴藓类的分布受到不同程度的影响;头道桥林场、辉河林场、红花尔基国家森林公园和海拉尔国家森林公园可作为研究区苔藓植物多... 相似文献
2.
模型计数是求给定命题公式的模型数，是人工智能领域的一个基本问题.在贝叶斯网络、有界模型检测、精确集合覆盖等众多实际问题中，存在许多exactly-one约束.常见的处理方法是将exactly-one约束编码为CNF公式，再调用模型计数器求解.这种方法扩大了命题公式的规模，容易导致求解时间过长.本文分别提出从CNF公式中还原exactly-one约束的ECR算法和处理exactly-one约束的ECP算法.ECR算法能明显提高C2D编译器的求解效率.基于最新的模型计数器ExactMC，本文改进了能识别和单独处理exactly-one约束的模型计数器ECMC.实验结果表明，ECMC的时间效率相比ExactMC有显著提高. 相似文献
1