一种用于浮点乘法的边界筛选伪随机测试方法

复杂测试空间中难以命中的冷僻细节,导致在IEEE浮点算法测试过程中难以验证单条浮点运算的正确性。该文针对传统直接随机测试方法的缺点,提出一种边界筛选生成案例的测试方法。该方法对待测算法边界条件建模,求解边界条件,利用解来构造筛选操作数的标准,并通过筛选操作数实现测试。实验证明该方法比直接随机测试方法更可靠。     

植酸酶降解豆粕粉与玉米粉释放有效磷条件的研究

试验以豆粕粉和玉米粉为底物,研究植酸酶在不同温度、pH值条件下的生物活性.结果表明:以玉米粉为作用对象,植酸酶最适酶解pH值为4.0,最适酶解温度为33℃;以豆粕粉为作用对象,植酸酶最适酶解pH值为4.0,最适酶解温度为35℃.