RVM在SoC验证中的应用及覆盖率驱动技术

介绍了RVM的层次化验证平台的结构，描述了RVM提供的基类和它们相互之间的关系。并且以USB 为例，给出了利用RVM搭建模块级验证平台的方法，阐述了基于代码覆盖率和功能覆盖率的覆盖率驱动技术。     

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

软件测试过程是软件生命周期中提高软件质量的重要阶段，但无论结构测试还是接收测试（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％。     

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

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

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

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

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

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

GATEST:使用遗传算法自动生成模拟矢量的验证平台

对硬件设计进行功能验证的一个关键问题是需要大量的模拟矢量来保证验证的充分性。本文针对Verilog语言,采用遗传算法(GeneticAlgorithm,GA)作为解决方案,设计了一个使用遗传算法自动生成模拟矢量的验证平台GATEST。该平台的一个特点是,根据指定的关键信号使用数据流分析产生关键路径集合,并采用基于该集合的路径覆盖率作为适应度函数引导模拟矢量的生成。使用该验证平台对北大众志-863系统芯片的功能模块进行实验,并详细分析了不同控制参数配置下的实验结果,说明该平台具有一定的有效性。     

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

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

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

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

基于ETM+遥感影像的森林植被信息提取方法研究

以南京市区的遥感影像图为研究对象,对基于ETM 遥感影像的森林覆盖面积提取的一般方法进行研究.笔者分析了ETM 影像波段的特征值和相关性,得出TM3、TM4、TM5之间的相关性小,包含信息量丰富;采用Brovey变换将TM3、TM4、TM5与PAN波段融合,并提出用融合后的波段TM4R和TM3R作归一化植被指数,得到NDVIR;然后利用最大似然法对融合图像和NDVIR的组合图像进行分类,根据分类结果计算出南京市森林覆盖率为38.63%.