一种求解递归规则的有效算法

研究了一种求解包含一个IDB谓词线性递归程序的算法,该算法由规则间的相关性对逻辑程序进行分解,减少IDB谓词项的个数,然后再对分解后的子程序进行魔转换。并提出了对该算法的进一步优化方案。最后对算法中引入的ID号做了开销分析。

秋色叶树种在城市绿地中的应用

秋色叶树种是园林造景中重要的观赏树种之一,我国秋色叶树木资源十分丰富,开发利用秋色叶树木资源对我国园林建设具有重要意义。作者分析了秋色叶树种内涵,初步探讨了它们在城市绿地中应用情况。

常德市热带观赏植物引种与利用

通过对常德市热带观赏植物引种与利用状况的调查,经整理与鉴定该地现有热带观赏栽培植物50个科140种,并找出目前常德市在热带植物引种工作中存在的问题,提出改进措施,为进一步丰富常德市园林植物的多样性,在引进新品种的工作方面提供科学依据。