园林绿地对改善城市人居环境的作用

通过对比和统计数字，说明园林植物在气温调节上的作用，并以此为切入点论述园林绿地对改善城市人居环境的作用。     

《中南大学学报(自然科学版)》来稿须知

《中南大学学报(自然科学版)》(ISSN 1672—7207,CN 43—1426/N)是教育部主管、中南大学主办,刊登矿物、冶金、化学、材料、机械、信息、地质、采矿、土木、能源、交通、环境等专业学科论文的科技期刊,自2011年起改为月刊,国内外公开发行(其前身是《中南工业大学学报(自然科学版)》,于2004年更名)。该刊一贯突出学科专业特色,坚持学术质量与编校质量并重的原则,逐渐在高校学报界脱颖而出,目前,已取得一系列成绩和荣誉,如先后荣获首届国家期刊奖、第二届国家期刊奖提名奖、第三届国家期刊奖百种重点期刊、百种中国杰出学术期刊、中国高校精品科技期刊奖、全国优秀科技期刊评比一等奖、全国高校优秀自然科学学报评     

密云 科技助力下的生态旅游

“北京山水大观，首都郊野公园”，从这个美誉之中我们就可以想见北京密云之美、旅游资源之丰富。密云县环境得天独厚，美丽的密云水库宛若明珠镶嵌在燕山群峰环抱之中，全县林木覆盖率达到60．3％，水体质量达到国家二级标准，空气质量达到国家一级标准，这二项指标居北京市各区县之首，密云县已成为净水、净土、净气、无公害的绿色乐园。     

浅谈钦州学院涉海学科专业群发展落脚点的实现

服务广西海洋经济的发展是涉海学科专业群发展的落脚点,其实现一是加强内涵外延建设,为海洋经济培养既好又多的专业人才;二是构建服务平台,为海洋经济发展提供强有力的技术支持;三是发挥教育科技资源优势,为海洋生态环境保护提供多方面的服务;四是汇聚高层次人才,为海洋经济发展提供人才支撑与智力支持。     

《中南大学学报(自然科学版)》来稿须知

《中南大学学报(自然科学版)》(ISSN 1672—7207,CN 43—1426/N)是教育部主管、中南大学主办,刊登矿物、冶金、化学、材料、机械、信息、地质、采矿、土木、能源、交通、环境等专业学科论文的科技期刊,自2011年起改为月刊,国内外公开发行(其前身是《中南工业大学学报(自然科学版)》,于2004年更名)。该刊一贯突出学科专业特色,坚持学术质量与编校质量并重的原则,逐渐在高校学报界脱颖而出,目前,已取得一系列     

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

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

嵌入式软件测试策略研究

嵌入式实时系统的应用越来越广泛，其可靠性更加依赖于嵌入式软件的质量。对嵌入式软件进行测试是提高其质量的重要手段之一。本文主要研究了嵌入式软件的测试策略，分别讨论了基于主机的仿真环境下和基于目标机平台下如何测试嵌入式软件。     

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

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

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

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

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

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