基于有限自动机的软件测试方法

基于有限自动机的增量一致性测试方法只对实现系统的修改部分进行测试,而被测试部分与规格说明书的修改部分相对应。在系统实现过程中,规格说明书经常改动,而新方法不测试给定系统的重用部分,所以可以大大节省时间,提高测试效率。特别是当整个规格说明书的修改部分低于20%时,效果更明显。     

在加压气化条件下用石灰石和白云石作为硫吸收剂

石灰石和白云石吸收Ｈ２Ｓ的实验可用加压热重力仪来进行研究。试验条件的选择与加压流化床气化器条件相似，依照这些条件，未煅烧的石灰石（ＣａＣＯ３）或煅烧过的石灰石（ＣａＯ）半煅烧白云石（ＣａＣＯ３＋ＭｇＯ）或完全煅烧白云石（ＣａＯ＋ＭｇＯ）与Ｈ２Ｓ的发生反应，反应产物是硫化钙（ＣａＳ），由于热动力的限制，ＭｇＯ在这些环境下，不能与Ｈ２Ｓ发生反应。（注：以下将未煅烧的石灰石，煅烧过的石灰石，半煅烧的白云     

直接染料在牛仔布经纱轧染中的应用

本文介绍直接染料在牛仔布经纱轧染中的应用情况，包括染料、助剂的选用，工艺流程及工艺条件的确定，以及轧染的注意事项。     

ON THE EXAMINATION OF FRACTURED SURFACE BY SEM

文中介绍了确定断裂面的结晶学性质的一些技术: 1.电子通道图分析技术; 2.表面特征痕迹分析技术; 3.二面角分析技术; 4.蚀坑分析技术。 对上述技术所存在的问题和局限性进行了讨论,表明这四种技术是互为补充的。根据断裂性质,可以选用其中一种技术去分析其断裂面的结晶学位向。