基于XML的面向二进制漏洞模式形式化描述研究

研究人员通过深入分析大量已公开漏洞的触发成因,将存在安全缺陷的代码抽象为漏洞模式。二进制静态漏洞挖掘技术的核心思想,就是在对二进制程序反汇编得到汇编代码的基础上,以漏洞模式为指导进行安全缺陷检测。文章对缓冲区溢出漏洞、数组越界漏洞、写污点值到污点地址漏洞模式进行了总结,并使用XML对漏洞模式作了形式化描述。     

基于层次聚类元对象表征的岩性识别方法

由于测井数据标签的连续性特点,数据样本间具有较强的上下文关联性.针对现有岩性识别方法所构造基本识别单元无法充分利用测井信号曲线连续性提供的上下文信息的问题,提出了一种基于层次聚类元对象表征的岩性识别方法.该方法依据基于区域生长的分层聚类方法,综合利用多条常规测井曲线进行目标储层自动分层,然后从统计特征和形态特征双视角度...     

隧道掌子面与不利地质结构最小安全净距分析

隧道穿越不利地质结构施工时掌子面极易发生坍塌，故通常对其进行注浆加固，这其中如何确定隧道掌子面与不利地质结构最小安全净距是亟需解决的核心问题。首先基于朗肯土压力理论概化出岩板可能存在的模型，进而分析掌子面的应力状态；结合抗拉和抗剪强度理论，推导出掌子面岩板在不同约束模式下的最小安全净距解析解；最后，以天峨县穿越破碎带的岗岭坡隧道为依托，研究了在破碎带不同高度、宽度以及倾角条件下，掌子面距不利地质结构的最小安全净距的变化规律，验证推导的理论解其可靠性和可行性。结果表明：(1)最小安全净距随破碎带高度和宽度的增加而增大，随着破碎带倾角的增加而减小；(2)台阶法开挖时，最小安全净距随台阶高度增加而增大，减小隧洞直径可以有效减小安全距离。(3)不同方法得到的最小安全岩板净距大小依次为：弹性厚板理论>本文方法(固支)=线性Mohr-Coulomb准则>本文方法(简支)=突变理论。相关研究成果可为隧道穿越破碎带的设计与施工提供理论基础。     

二维MXene基油水分离膜的最新研究进展

含油废水的工业排放和石油泄漏对水生环境构成了严重威胁。MXenes由于其卓越的物理化学特性，在过去十年中作为用于水修复技术的有前途的材料而受到广泛关注。文章综述了MXene基膜在含油废水分离中的最新进展和潜力，评估了各种合成路线，并详细研究了众多影响参数的影响。     

CuO/蒙脱土复合材料可见光催化降解丁基黄药研究

采用浸渍—热解法优化制备得到光催化性能优良的CuO/蒙脱土复合材料(CuO/MMT),借助XRD、SEM、TEM、BET、UV-vis及PL光谱等检测手段表征了所制备样品的物相、形貌结构和光化学性能,考察了单一组分及不同CuO负载量的复合材料光催化降解丁基黄药(SBX)的效果,提出了可能的降解反应机理。研究发现,酸活化预处理显著增大了MMT的比表面积,CuO/MMT复合材料中的CuO主要以纳米球状均匀负载于MMT表面,从而提高了所获复合材料对SBX分子的吸附能力;与单一CuO相比,CuO/MMT复合材料对紫外光和可见光的吸收率均显著提高。在可见光照射80min、CuO/MMT复合材料用量0.2g/L的条件下,10%-CuO/MMT复合材料对初始浓度为20mg/L的SBX降解效果最佳,降解率达到99.65%,其中空穴(h⁺)和超氧自由基(·O₂^-)在该光催化降解过程中发挥了主要作用。研究结果构建了CuO/MMT的新型光催化复合材料,为实现选矿废水中黄药的经济高效处理提供了有益借鉴。     

双向同步拉伸工艺对PET聚酯薄膜性能的影响

为阐明双向同步拉伸工艺对聚酯薄膜性能的影响，利用聚对苯二甲酸乙二醇酯(PET)聚酯切片进行挤出铸片，并在不同拉伸温度、拉伸倍率和拉伸速度下进行双向同步拉伸制膜，研究了拉伸工艺对聚酯薄膜的拉伸行为、拉伸取向和结晶行为的影响。研究表明，随拉伸温度的提高，聚酯在拉伸过程中的拉伸应力减小，聚酯薄膜取向度降低，结晶度降低，但晶粒尺寸增加，薄膜雾度升高；随拉伸倍率的提高，拉伸应力增大，取向度升高，结晶度升高；随拉伸速度的提高，拉伸应力增大，取向度升高，结晶度升高，但晶粒尺寸变化不大，薄膜雾度相当。     

樽形支撑超长多层马蹄形空间曲面钢结构关键施工技术研究与应用

<正>一、成果研究背景习近平总书记在庆祝海南建省办经济特区30周年大会上的讲话中提出在海南建设国家深海基地和科技创新战略高地的战略构想。根据海南省委、省政府对建设三亚崖州湾科技城的部署，科创平台项目应运而生。该项目集结了上海交通大学、浙江大学等高校，建成后将成为全国深海科技领域研发的开放式共享基地，为入驻涉海高校科研工作提供“设备共用、资源共享”的重要平台。三亚科创平台项目效果图见图1。     

五轴(3+2)加工中心坐标系转换与优化技术研究

针对具有多个面均有加工要求的多面体零件，讨论了五轴(3+2)加工中心，且不具有五轴联动和Rtcp刀尖跟随功能机床的坐标系转换和优化问题。在基于同一个坐标系的前提下，完成包含平面、孔、凸台、型腔及轮廓等几何特征的多个面精度加工要求，同时完成任意角度固定轴的钻孔及轮廓铣削的加工要求，是一次坐标系转换与优化技术的综合应用。研究编制了NX软件加工程序，利用TCL语言修改定制后处理文件，利用三维空间坐标的旋转算法编制宏程序，将NX软件生成的程序与宏程序建立联系作为转换新程序。机床运行该程序时自动调用宏程序内容实现对坐标值的实时数学计算转换，从而计算出坐标轴旋转后新的坐标值。刀具根据该坐标值进行切削加工，采用该技术，一次装夹完成所有面的加工任务，不仅提高了加工精度，同时也大大拓展了机床的加工能力，减轻了多次找正坐标系的重复劳动，提高了加工效率，是一种后处理、宏程序及坐标系之间优化技术的实际应用，对于类似多面体零件的加工具有借鉴意义。