模型学习与符号执行结合的安全协议代码分析技术

符号执行技术从理论上可以全面分析程序执行空间,但对安全协议这样的大型程序,路径空间爆炸和约束求解困难的局限性导致其在实践上不可行。结合安全协议程序自身特点,提出用模型学习得到的协议状态机信息指导安全协议代码符号执行思路;同时,通过将协议代码中的密码学逻辑与协议交互逻辑相分离,避免了因密码逻辑的复杂性导致路径约束无法求解的问题。在SSH协议开源项目Dropbear上的成功实践表明了所提方法的可行性;通过与 Dropbear 自带的模糊测试套件对比,验证了所提方法在代码覆盖率与错误点发现上均具有一定优势。     

植酸在金属防护中的应用

介绍了植酸在金属防腐、磷化、钝化等工艺中的最新 开发应用成果.应用结果表明，植酸确为一种优良的金属缓蚀成膜添加剂，极具推广价值。      

满足抗冲切要求的柱下矩形扩展基础上层台阶最小平面尺寸直接求解方法

在由抗冲切验算确定了基础高度以后,若基础高度较大可能要分成2～3个台阶,每个台阶的高度和宽度一般采用平均分配的办法;通过分析认为,采用平均分配的办法是不合适的,可以通过直接求解得到上层台阶的最小平面尺寸,所有大于该最小平面尺寸的尺寸都能满足台阶的冲切要求,并以MATLAB为平台编制了程序,供大家使用。     

福州地区输电线路雷害及综合治理

1存在问题 福州电业局输电线路以220kV／110kV为骨干网，辅之35kV线路。架空输电线路所经地区的气候、地形、地质和各种自然条件很复杂。因为高土壤电阻率、海洋季风、雷云距地较低、地面落雷密度大等因素的影响，在雷雨季节线路遭受雷击跳闸次数较多。     

合成绝缘子内绝缘缺陷的探讨

从合成绝缘子的结构特征、失效机理出发,总结分析了国内外合成绝缘子的运行现状、经验;通过技术、经济比较目前国内外常用的各种仪器、方法,同时就现场测试与实验室模拟进行比对,得出目前相对合理便于现场操作的带电检测方案。     

植酸在白酒除固形物中的应用研究

白酒固形物超标，一直是困扰酒界的一大难题。实验证明，将植酸用于白酒除固形物，效果明显，安全无毒，改善口味。     

真空压浆技术在后张预应力混凝土结构桥梁工程中的应用

本文根据笔者多年施工实践，对后张预应力混凝土结构桥梁工程采用真空压浆进行了分析，并结合工程实例的应用，从多方面论述了真空压浆技术的工作原理、施工工艺和技术优势，对其施工效果进行了评析。     

地质灾害勘查与防治技术研究

开展地质灾害勘察不仅可以掌握当地地质实际情况,同时也可以结合所掌握的信息制定出有效的预防措施,降低水土流失等问题,在恢复生态功能等的基础上为人与自然和谐、稳定发展提供支持。因此工作人员需要及时针对地质灾害情况进行分析,采取有效的勘察措施,利用专门的防治技术做好控制工作,制定出有效的防治方案。     

查48区块葡萄花储层四性关系研究

查48区块葡萄花油层经历了复杂的沉积和成岩作用,具备低孔低渗特点。利用测井、录井、岩心和试油等资料,分析了该区储层的岩性、物性、含油性和电性特征及其相互关系,并确定出了该区有效厚度下限标准:孔隙度为10.2%,渗透率为0.14 mD;电性下限电阻率为5.5Ω·m,声波时差为250μs/m,含水饱和度小于63%。从而为查48区块进一步储层评价和增产,提供了有力的依据。     

常用颜色模型的应用技巧与转换

要创作具有高度真实感的图形图像,熟悉颜色模型原理是必要的。本文通过对几种常用颜色模型的分析,结合Photoshop软件功能,介绍了调整图片色彩的一些技巧,并分析了HSV模型与RGB模型之间的转换方法。