城市绿色生态环境建设探讨

本文结合城市的建设发展,提出建立健全的绿色生态建筑,做好园林绿化基础设施,改善城市环境素质。     

高效验证平台在TD-SCDMA终端芯片功能验证中的应用

介绍了基于事务级验证的验证方法学(RVM)和覆盖率驱动技术,以及如何将RVM方法学和覆盖率驱动技术结合而搭建高效的验证平台,并详细分析了使用此验证平台对TD-SCDMA终端芯片进行完备和高效的RTL级功能验证.此验证平台比传统验证平台在效率上大大提高,有效地缩短了SoC芯片模块级和系统级的验证时间,缩短了3 SoC芯片的开发周期.     

利用软件故障注入提高软件测试覆盖率

软件测试过程是软件生命周期中提高软件质量的重要阶段，但无论结构测试还是接收测试（AT），都很难测试程序的所有分枝，对于容错软件的异常处理和故障恢复代码的测试尤其困难。使得这些代码中可能包含软件故障，反而成为软件质量的隐患，为此采用程序变异的方法对被测软件进行故障注入，用强制的方法执行被测分支，从而提高软件的测试覆盖率。     

福建省山樱花的组织培养及植株再生

以春季萌发的福建山樱花嫩枝为外植体诱导丛生芽 。在1／4MS＋BA1．0mg/L IBA0.1mg/L的培养基上，其丛生芽诱导率达87．5％；在继代培养中选择MS＋BA1．0mg/L IBA0.1mg/L GA30.3mg/L或KT1.0mg/L NAA0.1mg/L BA30.3mg/L培养基，不定芽增殖较快。赤霉素对其不定芽的伸长有明显效果，当芽伸长在3－4cm时，切下置于生根培养基1／2MS＋NAA1.0mg/L IBA1.0mg/L BA0.75mg/L中，生根率达90％以上，移栽成活率达95％。     

微处理器指令译码功能测试的连环验证法

提出了微处理器指令译码部分在受限验证思想下的一种改进测试方法——连环验证法,测试序列长度显著减少,故障覆盖率进一步提高。     

城市道路绿化景观设计探讨

道路是城市中具有重要地位的空间环境，人们对城市最直接最经常的感受来自于街道，因此道路的景观构成对城市形象具有很大的影响力。     

完善景观绿化招投标制度推行最低价中标

本文通过从企业竞争、节约投资、提高工程质量等几方面的分析,得出最低价中标法是一种理论上最优,实际中可行的建筑工程招标方法,值得全面推广应用。在推广应用的同时还要完善相关的措施。     

移动卫星通信星座工程设计

在考虑许多的约束条件的情况下,研究了一个工程上可实现的轨道和星座设计方法。详细分析了移动卫星通信星座在工程设计时,就轨道参数、星座参数选择时所需考虑的在星体指标、通信要求、覆盖性能、发射及测控、经济等方面的约束条件,并进行综合考虑和优化设计。在此基础上,给出了一个星座通信系统的空间段设计,经专家评审该星座方案在工程实现上是可行的。     

果树在奎屯城市绿化中的应用

通过对适应奎屯地区栽培的果树生态习性的介绍,展望了果树在城市绿化应用中的发展前景及其存在的问题,为推广果树在城市绿化中的应用提供借鉴。     

封山育林是加快太行山绿化的重要途径

介绍了封山育林的概念和封山育林的优势,阐述了封山育林的对象、条件、类型、方式和封山育林的年限,提出了加快太行山封山育林的对策。