Statechart描述的测试语义和测试用例自动生成

研究了Statechart描述的测试语义和测试用例自动生成.基于Tretmans的从标记转换系统描述自动生成测试用例的方法,我们研究如何从Statechart描述自动生成测试用例.建立了基于Statechart描述的一致性测试和测试用例生成的形式化基础.为Statechart描述建立了形式化测试语义,测试语义和传统的验证语义不同,强调可观察性和内部细节隐藏.基于形式化测试语义和测试假设,形式化定义了系统描述和系统实现之间的一致性关系/实现关系.然后给出了基于图遍历的测试用例生成算法,对于无环测试语义该算法可以生成完全测试集,而对于带环测试语义该算法可以生成高效率的宽泛测试集.     

近50年新疆参考作物蒸发蒸腾量的时空演变分析

根据新疆地区53个气象站1960—2009年50年的气象资料,采用FAO推荐的Penman-Monteith公式计算了各站点逐月参考作物蒸发蒸腾量(ET0)。采用GIS反距离插值方法得到新疆参考作物蒸发蒸腾量分布图,将各站点ET0变化趋势进行聚类分析,通过Morlet小波变换、倾向率等方法探讨了时空变化特征及影响因素。结果表明,近50年新疆平均ET0呈显著减小趋势,不同区域ET0的年际变化趋势差异显著;在25～30年时间尺度上,全区平均ET0的周期振荡较为明显,经历了"多→少→多"3个循环交替过程;ET0年内分布均呈单峰状,且各站之间峰值相差很大;多年平均ET0空间分布总体上由西北向东南增加,且与地形起伏有高度的一致性。新疆大部分地区ET0变化率为负值,与"蒸发悖论"规律相符,其主要原因是风速降低对ET0的影响超过了温度上升,但1992年以来,由于温度持续升高,ET0出现了回升态势。     

骊山森林公园种子植物的研究

骊山森林公园拥有种子植物357种(含种下等级),隶属74科235属.通过对其属分布区类型的分析,认为有15种分布类型.其中北温带分布68属,占总属数的34.2,其次为泛热带分布28属、旧世界温带分布23属、东亚和北美间断分布17属、东亚分布16属,分别占总属数的14.1、11.6、8.5和8.0.同时,还分析了主要的分布类型,阐明了骊山种子植物区系的基本特征.     

黑穗醋栗不同栽植密度对生长和结果的影响

1991～1996年,在新疆吉木萨尔县泉子街开展黑穗醋栗不同栽植密度试验,为北疆寒冷干旱气候条件下黑穗醋栗丰产栽培技术模式提供依据.     

油松病虫害防治技术分析

近些年来,伴随着社会经济发展速度的不断加快,世界范围内的环境问题越来越严峻,因此我国对于自然生态保护方面的工作也越来越重视,提出了"绿水青山就是金山银山"的发展理念.油松作为我国北方地区的主要种植树木品种,能够有效修复北方地区植被、保持水土平衡,在一些城市当中,合理栽植油松还能够在一定程度上美化城市,起到观赏作用.对此...     

凉山州高寒山区水土保持措施研究

针对四川凉山州海拔1 800 m以上高寒山区水土流失现状、原因等的调查分析和研究,结合该地区水土流失治理的特殊性提出参与式治理措施:二半山以上主要采取生物措施结合生态移民搬迁措施;二半山以下主要采取生物措施、工程措施和农业措施相结合等进行综合治理。     

牛背梁保护区珍稀濒危植物资源保护初探

对牛背梁自然保护区１７种国家级和省级珍稀濒危植物的区系分析表明,该区系具有起源古老,地理成分复杂等特点。并探讨了该区珍稀濒危植物的致濒原因,在此基础上,提出了有效的保护对策。     

真空隔热板用于低温冷柜的漏热实验设计与分析

对真空隔热板和传统保温材料聚氨酯制成的两种低温冷柜进行了漏热实验分析．完成了低温冷柜温度闭环控制系统的设计．利用冰蓄冷空调系统调节测试室的温度,采用自适应参数的PID温度调节器控制低温冷柜内的温度．开发完成的软件运行可靠、人机交互界面友好、数据可动态显示并存储和打印．实验结果表明,低温冷柜隔热层用真空隔热板部分替代聚氨酯具有更好的热工性能和节能效果．     

推行标准化生产 为嵩明县蔬菜产业注入新动力

<正>一、发展现状嵩明县享有“滇中粮仓”的美誉，相继获得“国家现代农业示范区”“国家农产品主产区”“云南首批高原特色农业示范县”“云南首批农业标准化示范县”等称号，有蔬菜大棚面积6 713 hm²，冷藏冷库企业30家350余座，库容9万m³；有8家省级龙头企业，16家市级龙头企业，5家县级龙头企业，223个农民专业合作社；47个产品获得“三品一标”认证，8家企业上榜省“绿色食品牌”产业基地认定名单，6个品牌进入省“绿色食品牌”目录库。