基于SOFL规约的复审理论及实现

介绍了对形式化语言SOFL进行复审的设计思想及实现，从两个既相对独立又相互关联的方面——基于process的复审和基于data的复审展开，依据checklist问题集，帮助复审人员系统而有效地发现SOFL规约的错误缺陷、内部不一致性、不完备性、不满足性，对记录的评注或错误描述归类存档、分析处理。     

靛蓝牛仔布增深染色工艺及机理研究

为提高靛蓝牛仔布染色深度,通过增加牛仔布染色K/S值以减少染色工序,实现节能减排。研究了阳离子改性剂B的改性工艺及机理,探讨了改性剂B质量浓度、改性温度、改性时间对K/S值的影响,并测试了改性前后棉织物的红外光谱和Zeta电位及改性染色后棉织物的染色牢度。结果表明:经过阳离子改性剂B处理后的棉织物再进行靛蓝染色,相同染色条件下染色K/S值从10.90提高到20.13,改性棉织物浸轧2次便可与未改性棉织物浸轧5次染色深度相当,耐皂洗色牢度、耐摩擦色牢度及耐日晒色牢度良好。优化后的改性工艺参数为:改性剂B 6 g/L,改性温度60℃,改性时间20 min。红外光谱表明改性后棉织物带有季铵基团,Zeta电位表明经改性剂B改性后棉织物表面Zeta电位由-22.10 mV转为+8.70 mV。