抱箍法施工盖梁在桥梁施工中研究与应用

目前抱箍法施工盖梁在桥梁施工中得到广泛的应用,盖梁抱箍法施工可操作性强,对地基要求不高,可节省支撑材料,大幅降低成本,又保证了墩柱整体性及外观质量.抱箍法施工不会影响交通,有利于快速安全文明施工,因此具有很好的推广应用价值.     

高频响空间直线驱动机构方案设计与研究

弱撞击式对接机构作为控制式对接机构,兼具对接、停靠等多种功能,其特点是采用碰撞力主动柔顺控制技术实现飞行器在轨对接,在降低传统对接机构复杂度的同时,可显著提高对接机构灵活性,适应后续载人登月和深空探测发展的需要。目前国内对于弱撞击对接机构的直线驱动机构研究还处于起步阶段,前期研制样机频响太低、无法满足使用需求,需要对其进行全面系统的研究。以弱撞击对接机构中的高频响直线驱动机构为对象,对其性能影响因素分析、方案比对、设计验证等方面进行研究,取得了良好的效果,为弱撞击对接机构原理样机研制奠定基础。     

HRB500E高强度抗震钢筋冷弯脆断原因分析

某公司生产的HRB500E高强度抗震钢筋在冷弯试验中发生脆断现象。利用直读光谱仪、光学显微镜、扫描电镜、能谱仪等分别对脆断钢筋的化学成分、显微组织、断口形貌及夹杂物成分等进行了检验和分析。结果表明:钢液氧化所产生的大量超长、超宽硅酸盐类夹杂物是导致该HRB500E高强度抗震钢筋冷弯脆断的主要原因。     

5种中药粗多糖水凝胶的制备及其促伤口愈合能力研究

以黄药子、红景天、鸡血藤、鱼腥草、一支箭5种中药为原料,采用水提醇沉法提取其中的粗多糖,测定其总多糖含量及体外抗氧化活性;将中药粗多糖载入壳聚糖中制备中药粗多糖水凝胶,并对所得水凝胶的微观结构、溶胀性能、保水性能、抗氧化活性、血液相容性及其促进伤口愈合能力等进行研究。结果表明：红景天粗多糖的总多糖含量最高,达到77.6%;各粗多糖溶液均有一定的抗氧化能力,其中对ABTS⁺自由基、DPPH自由基、·OH自由基的清除能力及总还原力最强的粗多糖溶液分别为黄药子粗多糖溶液、黄药子粗多糖溶液、一支箭多糖溶液和红景天粗多糖溶液。随着中药粗多糖的载入,中药粗多糖水凝胶的孔径增大、溶胀性能增强,但保水率和抗氧化活性均有所降低;在2000μg/mL质量浓度下,各粗多糖水凝胶均展现出良好的血液相容性;相较于空白组,黄药子粗多糖水凝胶组和鱼腥草粗多糖水凝胶组的小鼠伤口愈合更明显,结痂现象减少,且观察到毛囊、皮脂腺等皮肤附属器的形成,未见明显的炎性细胞浸润。因此,黄药子粗多糖水凝胶和鱼腥草粗多糖水凝胶在加速伤口恢复方面均效果明显,显示出其作为伤口敷料的巨大应用潜力。     

智能合约安全漏洞挖掘技术研究

近年来，以智能合约为代表的第二代区块链平台及应用出现了爆发性的增长，但频发的智能合约漏洞事件严重威胁着区块链生态安全。针对当前主要依靠基于专家经验的代码审计效率低下的问题，提出开发通用的自动化工具来挖掘智能合约漏洞的重要性。首先，调研并分析了智能合约面临的安全威胁问题，总结了代码重入、访问控制、整数溢出等10种出现频率最高的智能合约漏洞类型和攻击方式；其次，讨论了主流的智能合约漏洞的检测手段，并梳理了智能合约漏洞检测的研究现状；然后，通过实验验证了3种现有符号执行工具的检测效果。对于单一漏洞类型，漏报率最高达0.48，误报率最高达0.38。实验结果表明，现有研究涵盖的漏洞类型不完整，误报及漏报多，并且依赖人工复核；最后，针对这些不足展望了未来研究方向，并提出一种符号执行辅助的模糊测试框架，能够缓解模糊测试代码覆盖率不足和符号执行路径爆炸问题，从而提高大中型规模智能合约的漏洞挖掘效率。     

基于协议状态机遍历的模糊测试优化方法

针对现有的协议模糊测试技术存在报文重复交互、输入盲目等问题,提出一种基于协议状态迁移遍历的模糊测试优化方法。该方法将协议状态迁移遍历问题转化为中国邮路问题,求解遍历所有协议状态迁移的最短路径,并依据该最短路径对各个状态迁移进行测试。在测试过程中,通过分析协议实体在执行测试用例后的响应报文,动态调整后续的报文输入,进而避免无效交互。同时利用UIO序列判断协议实体状态是否发生异常迁移,及时检测协议逻辑漏洞。实验结果表明,该模糊测试优化方法可以显著提高测试效率与漏洞挖掘能力。     

自适应聚类的未知应用层协议识别方法

应用层协议识别是指从承载应用层协议数据的网络流量中提取出可以标识应用层协议的关键特征,并以这些关键特征为基础,将同种类型的应用层协议数据划分在一起。针对现有网络流量识别方法对未知应用层协议识别率低的问题,提出了一种自适应聚类的未知应用层协议识别方法。该方法以传统的AGNES层次聚类算法为基础,依据网络流应用层协议数据的负载特征,基于相似度对应用层协议进行聚类。方法将聚类算法中相似度计算划分为聚类前应用层协议数据间的相似度计算和聚类中簇间的相似度计算两部分,避免了重复性地计算应用层协议数据间的相似度,提升了算法的聚类效率。实验结果表明所提出的方法能够高效准确地对未知协议的网络流量进行识别。