蜕变测试和断言检查的比较与实验研究

在软件测试中,测试预言是一种用于检查程序在测试中是否正常运行的机制.然而在某些实际情况下,还无法制定测试预言或者难以有效地应用测试预言.针对此类测试预言问题,蜕变测试于近年应运而生,但蜕变测试的效率问题还没有被充分地加以研究.作者用控制实验的方法研究了使用蜕变测试的成本及效率,进而将蜕变测试和常用的断言检查两种方法的错误检测率和时间成本进行了比较和分析.实验结果表明,相比于断言检查方法,蜕变测试具有检测到更多错误的潜力.通过分析蜕变测试的效率和性能,与断言测试相比,蜕变测试的错误检测率更高效而效率有待提高,可适用于较为粗粒度的测试需求.     

改革稻麦草蒸煮工艺 提高产品质量 增加经济效益

近年来,国内有关单位对草类原料蒸煮的机理进行了一些研究,提出草类蒸煮机理不同于木材蒸煮。在这方面,我厂开始做了一些实际改革,并取得了一定成果,现简要报告如下。 我厂以稻麦草为主要原料,采用硫酸盐法制浆;次氯酸钙一段漂白;φ330圆盘磨多台串联打浆;一台1575     

矿用双棒法光纤连接器及其在煤矿光纤接续中的应用

介绍了双棒法光纤连接器的接续原理及其在矿井中的使用情况。通过对双棒法光纤连接器和光纤活动连接器在矿井光缆接续中的接续损耗分析得出，双棒法光纤连接器更适合于矿井光纤接续。     

低温下固体材料导热系数的测定

我们研制了一套能在4～300K温区和1×10~(-4)～1×10~( 2)W·cm~(-1)·K~(-1)导热系数范围内,测出各种固体材料导热系数的装置。该装置具有结构简单、操作方便等优点。本文介绍了装置的原理、结构以及几种工程材料导热系数的测试结果。     

光纤传感技术在煤矿电参数测量中的应用

介绍了光纤电压、电流传感器在煤矿中的应用，在工频电压４～６ｋＶ和工频电流１００～１０００Ａ条件下验证了该光纤电参数传感器电压误差小于１％、电流误差小于３％。指出了提高电流检测精度是提高光功率、降低前放噪声及有效收集磁场的有力措施     

碳膜低温传感器的研制

报道了一种体积小、热容低、灵敏度高、热响应速度快、不易受强磁场影响的新型碳膜电阻低温传感器。介绍了这种传感器的制备结构和性能测试方法。给出了其电阻-温度特性和热响应时间的测试结果。     

数学模型在近似筛分技术中的应用

本文首次成功地建立了近似筛分的数学模型,通过试验数据的检验与经验模型的比较证明,有较高的预测精度.     

光纤传感技术在煤矿电参数测量中的应用

介绍了光纤电压、电流传感器在煤矿中的应用，在工频电压４－６ｋＶ和工频电流１００－１０００Ａ条件下验证了该光纤电参数传感器电压误差小于１％、电流误差小于３％。指出提高电流检测精度是提高光功率、降低前放噪声及有效收集磁场有力措施。