基于形式规约的软件测试用例自动生成技术研究

在Hierons提出的一种基于Z语言软件自动测试方法的基础上进行了拓展．该方法基于软件的Z语言规约；以HierOns提出的推理规则为基础，提出了分裂树的算法，将操作模式的约束条件转换为形如ViPi∧Qi的析取范式；然后根据析取范式将Z语言描述的操作模式划分为子操作模式；依据子操作模式的前置条件和后置条件，将子操作模式作为状态转换图的转换关系，构建了被测试软件的状态转换图；依据状态转换图，提出了相应的状态覆盖准则、转换关系覆盖准则和转换关系谓词覆盖准则等测试数据选择准则．     

气象观测场数据分析对农业发展的影响

针对气象进行观测,分析未来天气的发展形势,可以对农业生产作出贡献。本文主要是利用了某一城市一年当中1月、4月和7月这三个月的城市抬高气象观测场与地面观测场对比的观测资料,对一些气象要素进行了数据的对比和分析,并且对两组数据之间的差异原因进行了探讨。最终的分析结果显示出,抬高气象观测场与地面观测场的各个气象要素在数据上都是有一定的差异,在这其中,气温的差异是最大的,而湿度、风向以及风速的差异则比较小。     

基于绿洲建设的沙产业实践模式探析——以甘肃武威市凉州区为例

研究针对河西走廊绿洲腹地的凉州区面临的水资源短缺、土地沙化和荒漠化日益严峻的形式下,在钱学森沙产业理论指导和凉州区自身特点的基础之上,总结凉州区发展沙产业的5种模式:沙区林业实践模式;人工控制水热的日光温室产业;太阳能光伏发电产业;人工装置中的微藻类产业;以沙区旅游业为主的第三产业。针对5种模式存在及面临的问题,提出绿洲建设过程当中沙产业要加快产业升级,增加沙产业产品附加值、加大科技创新投入力度以及完善市场机制,加快龙头企业带动产业发展和新绿洲建设等建议。     

匍匐桃栽培管理技术

北疆冬季严寒,桃不能直立越冬,若采用匍匐栽培,生长结果良好,经济效益高。 一、建园技术1．建园①选地桃是喜光、喜肥、忌涝的果树,园址选择土层深厚、地下水位低于1．5米的砂壤土为宜。     

基于计算机图像处理的农田环境定位

针对计算机对农田环境定位困难问题,提出一种计算机图像预处理和霍夫变换相结合进行农田环境定位的方法。通过对农田作物行图像特点的分析,运用恰当的计算机图像处理方法,从作物行图像中提取出反映作物行位置的准定位参考线,运用霍夫变换技术得到真正的定位参考线及其参数。采用600×450的甘著作物行图像进行实验,结果表明该方法能够实现较好的定位效果。     

基于笔划和笔顺的汉字识别算法

以笔划为基元结构笔划的顺序来表示汉字的结构信息，在此基础上提出了一种笔写汉字识虽的匹配算法，对于结构类似的汉字，该算法可以通过特征关系予以识别，从而提高汉字的识别率。     

壮丰安浸种对甜菜幼苗生长及产量的影响试验

由于新疆早春气温回升快,苗期易遇到回升的高温,引起甜菜高脚苗的发生,造成后期甜菜根大青头的现象,降低甜菜的品质。用壮丰安进行不同浓度浸种处理,对甜菜幼苗生长、产量及含糖率有不同程度的影响。     

信息时代下中小学计算机教师教学方式的积极转变

随着互联网时代的到来,中小学计算机教学效果也越来越受到重视。虽然现在全国范围内计算机教学基本得到普及,但是实际的教学效果却并不尽如人意。本文从计算机教学方式的现状出发,分析了中小学计算机教学方法的转变之路,仅供参考。