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

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

高温季节适宜于奶牛生产的14种饲料添加剂

奶牛是一种怕热耐寒的动物。适合于在气候凉爽地带饲养。每年夏季高温天气，我国大部分地区奶牛均会发生不同程度的热应激反应，严重影响奶牛生产性能和健康，因而受到奶牛业界的普遍关注和重视。许多研究发现，日粮中加入某些饲料添加剂。可以缓解热应激对奶牛的不良影响。因此，高温季节在防暑过程中补充几种添加剂。可取得满意的效果。下面介绍一下，供奶牛养殖户参考。     

牛恶性卡他热被误诊为感冒、肺炎和巴氏杆菌病的报道

恶性卡他热是牛的一种病毒性传染病，其主要特征是持续性高热，黏膜特别是口、鼻黏膜和呼吸道黏膜发生急性卡他性、纤维素性炎症，并拌发有角膜炎和严重的神经症状。本病世界各地均有散发性，致死率较高。     

三项措施：夜间放牧 调整饲喂 风扇喷雾系统

正为缓解热应激,我们主要从三方面采取措施,首先是夜间放牧,晚上把牛放到运动场,这是今年我们采用的新措施。奶牛不运动就等于自杀,但是夏天白天运动场太热,奶牛不愿意到运     

积极应用奶牛的生产性能测定技术提高奶牛群综合效益

<正>奶牛生产性能测定(DHI),其含义是奶牛群体改良。广泛推广DHI测试体系,同时结合后裔鉴定技术,可以持续性提高奶牛群品质,也有助于建立有效的奶牛育种与良种登记体系。1完善奶牛生产记录体系首先,生产性能测定工作为奶牛场提供了完整的生产性能记录体系,为牛场进行科学管理提供了     

后期热固化处理对竹基纤维复合材料性能的影响

对竹基纤维复合材料进行两种条件(80℃处理8h和50℃处理24 h)的热固化处理后,观测其表观形貌,并进行拉伸、压缩、水平剪切性能以及疲劳性能检测.结果表明:经过热固化处理后,竹基纤维复合材料表面有不连续的微小裂纹产生,其拉伸、压缩、水平剪切性能略有提高,疲劳性能则无显著变化.     

中药抗热应激添加剂对蛋鸡生产性能的影响研究

比较复方中药和复合西药对热应激蛋鸡生产性能的影响.采用复方中药添加剂和复合西药添加剂对热应激海兰褐蛋鸡生产性能的影响进行对比试验,并对其产蛋率、蛋质量、破蛋率、料蛋比、蛋形指数、蛋壳厚度、蛋壳强度和哈氏单位等指标进行评价分析.结果表明:热应激条件下添加中药抗应激添加剂组和西药抗应激添加剂组的生产性能均明显高于对照组,而中药组和西药组间差异不显著.可以用复方中药代替西药用于蛋鸡抗热应激,而且中草药具有不良反应小、残留低和来源广泛等优点,符合无公害产品生产要求.     

反刍酵母改进型对奶牛生产性能的影响

反刍酵母改进型是安琪酵母股份有限公司开发专用于反刍动物的酵母类改进型产品,试验主要研究改进型反刍酵母对奶牛生产性能的影响,试验选用30头荷斯坦奶牛,采用配对试验设计,分为2组,每组15头牛.分为对照组和改进型反刍酵母组.试验结果表明:在奶牛日粮中添加改进型反刍酵母产品对提高及稳定产奶量具有一定效果,其中每天每头牛添加饲喂10 g改进型反刍酵母组与对照组相比,每天每头牛产奶量提高1.02 kg,产奶量增长8.23％.奶牛对改进型反刍酵母产品具有很好的喜食性,采食速度非常快.添加反刍酵母对奶牛的粪便成形度有一定改善作用,但并不显著.     

降低夏季肉鸡热应激的有效措施

由于肉用鸡体重大、生长速度快,符合现代饲养业高密度集约化发展的需求,因此肉鸡饲养是畜牧业发展最为迅速的产业之一。影响肉鸡生产性能的因素有很多,环境因素是其中非常重要的制约因素,而其中尤以高温导致的     

钼精矿焙烧回转窑热平衡测试与分析

本文以某公司钼精矿焙烧回转窑作为测试对象进行热工测试和热平衡计算,由此了解钼精矿焙烧回转窑的能量利用情况。通过分析结果提出了优化设计以及节能建议,以达到高产低耗的目的。