基于序演算的推理系统OCRS及其判定算法

序演算可以保留很多语言学的信息,可以更自然的刻画日常交流中的推理,因此序演算成为很多自然逻辑推理系统的核心方法.在Zamansky等学者工作的基础上,以序演算为核心,结合Lambek演算,增加了性质类序关系,考虑了模糊量词的语义特征,构造了基于序演算的自然逻辑推理系统OCRS.该系统所描述的推理范围较之以前的自然逻辑系统进一步扩大.另外,也给出了OCRS系统中序演算的判定算法,证明了其判定算法的对应定理.     

橡胶手套中有害化学物质的风险评估

橡胶手套在使用过程中与人体亲密接触,其中的有害化学物质可通过皮肤接触和呼吸等途径危害人体健康。监测了流通领域橡胶手套中挥发性化合物、苯类溶剂、塑化剂残留情况,并经过剂量-反应评估和暴露评估,初步评估挥发性化合物为低风险,苯类溶剂、邻苯二甲酸酯为可容许风险。     

防断发功效评价中头发损伤模型的建立和验证

发丝在受到损伤后会产生断裂、分叉。用过氧化氢-氨水溶液对头发进行漂白，结合重复梳理带来的机械损伤，建立头发损伤模型。探究过氧化氢含量和机械损伤程度对头发断裂、分叉的影响，确定过氧化氢质量分数为6%～9%最合适。循环处理5次和10次后，样品组断发根数均显著低于对照组；循环处理10次后，样品组分叉根数显著低于对照组。用市场上具有防断或强韧功效宣称的洗护发产品对方法进行验证，结果显示3种产品均能有效减少头发断裂、分叉。