“碰碰”爱的时代──正以网络游戏的方式席卷而来

有人估计不久以后长期高热不退的网络＋大话话言又会增加新的版本──“碰碰爱时代”版本：你“碰碰爱”了吗？“碰”了就能爱吗？“不碰”．怎么爱呢？“碰吗？”“碰吗？”“碰吗？”……     

基于树语言逼近的安全协议形式化分析

利用形式化方法或工具自动化分析实用安全协议十分必要,定理证明技术因其可解决无限状态系统的验证备受关注,但扩展其验证规模和自动化实现时仍然存在一些局限性。以定理证明和重写逼近理论为基础,以项重写形式化定义协议模型,以树自动机模拟协议攻击者知识集,给出攻击者知识集可达项逼近求解的算法,并根据上述模型讨论秘密性和认证性的验证方法,最后以Needham-Schroeder公钥认证协议为例验证模型的有效性,并指出下一步研究方向。     

云存储中副本自适应一致性研究

在云存储系统中,为了保证系统可用性的同时尽可能提高系统性能,降低副本同步过程中网络带宽等资源的消耗。提出了基于文件热度的副本自适应一致性方法。该方法根据文件的热度不同,动态调整副本同步的一致性策略,对于热度高的文件在副本同步过程中采用强一致性,对于热度低的文件在副本同步过程中采用最终一致性。在计算文件热度时,考虑了文件访问的时间序列并结合LRFU算法,该热度值表示了文件将来可能的访问情况,并与文件的实际访问情况一致。实验表明该方法在保证系统可用性的同时显著降低了网络带宽资源的消耗,有效地平衡了系统的可用性和性能。     

轻质覆膜颗粒二次防砂控水技术在渤海油田的创新应用

随着渤海油田调整井的实施和薄油藏的开发,海上已经大量采用水平井开采方式,水平井出砂治理是一个亟待解决的修井难题。本文介绍的轻质覆膜颗粒二次防砂控水技术通过轻质覆膜颗粒、新型瘦身筛管、管柱下入工艺优化等创新方式对水平井的二次防砂提出了新的解决方案,为未来的水平井出砂治理提供了新思路。     

低温捕收剂BK421浮选内蒙某萤石矿应用研究

本文基于Gemini技术理念,研制合成了新型耐低温捕收剂 BK421。针对内蒙某萤石矿,实验室研究结果表明,BK421作为捕收剂,常温浮选时,粗精矿中CaF2回收率比油酸高7个百分点;浮选矿浆温度低至10.5℃时,粗精矿中CaF2回收率比油提高39个百分点。工业生产中, BK421替代油酸在矿浆平均温度11℃条件下浮选萤石,累计获得CaF2品位97.26%的精矿,实际回收率为82.53%,具有较高的工业应用推广价值。     

10分钟掌握卫生间装修

现代生活中卫生间不仅是方便、洗尽身上尘垢的地方,也是调剂身心、放松神经、恢复体力的场所.因此,无论在空间布置上,还是设备材料、色彩、线条、灯光等设计方面,都不应忽视,使之发挥最佳效果.     

六法清除蔬菜残毒

水烫 青椒、花菜、芹菜等蔬菜,用开水烫烫后再烹制,可清除部分残留农药。     

在室温下存放的鱿鱼甲醛含量的变化

应用高效液相色谱仪测定内洋厚皮、内洋薄皮、北太和秘鲁四种冰鲜鱿鱼在室温存放2d内甲醛含量的变化。结果表明,内洋厚皮鱿鱼和内洋薄皮鱿鱼的头部和胴体的甲醛含量随着存放时间延长而逐渐降低;而内洋薄皮鱿鱼的内脏、北太鱿鱼和秘鲁鱿鱼则呈现峰型变化,内洋薄皮鱿鱼内脏的峰值达到最大,为39μg/g,这说明鱿鱼自身会分解产生甲醛。     

韭菜中农药腐霉利残留的膳食暴露风险评估

目的评估上海市市售韭菜中农药腐霉利的残留情况及居民膳食暴露风险。方法通过2016～2018年间市售韭菜中腐霉利残留的监测数据,结合本市居民食物消费量调查结果,基于蒙特卡罗分析法,采用@Risk7.5软件和风险商值(%ADI)进行风险评估。结果根据GB 2763-2016《食品安全国家标准食品中农药最大残留限量》进行判定,近3年市售韭菜中腐霉利超标率为23.2%,残留量均值和95%分位值(P_(95))分别为0.76 mg/kg和4.81 mg/kg。本市居民通过韭菜腐霉利暴露量均值为6.17×10~(-5) mg·(kg·bw)~(-1)·d~(-1),风险商为0.06%ADI;高端暴露量(P_(95))为1.68×10~(-3)mg·(kg·bw)~(-1)·d~(-1),风险商为1.68%ADI。本市全人群居民通过韭菜、番茄、茄子等8种食用农产品摄入的腐霉利暴露量均值为8.44×10~(-5) mg·(kg·bw)~(-1)·d~(-1)。结论近3年来上海市市售韭菜中腐霉利残留检出率和超标率呈现下降趋势,食品安全监管工作取得一定成效。本市居民通过韭菜摄入腐霉利的风险商值很小,健康风险不大。