本发明公开了一种程序中基于动态符号执行的自动错误定位方法，包括蜕变模型构造、测试引擎、自动错误定位引擎和错误定位结果整合；蜕变模型构造利用蜕变关系将没有Oracle的程序构造出有Oracle的程序，通过测试引擎进行测试，找到多个导致错误...

本发明公开了一种能够使超宽带声波聚焦的声学材料，所述声学材料的表面上设置有依次排列的不同深度的槽，所述槽的宽度d均相同，其中，λ>2d，λ为声波的波长，相邻所述槽之间的距离为d0，其中，d≥3d0，建立x轴，所述x轴平行于所述表面...

本发明公开了一种能够使超宽带声波重定向的声学材料，所述声学材料的表面上设置有依次排列的不同深度的槽，所述槽的宽度d均相同，其中，λ>2d，λ为声波的波长，相邻所述槽之间的距离为d0，其中，d≥3d0，建立x轴，所述x轴平行于所述表...

本发明公开了一种超导纳米线单光子探测器，由N个串联的超导纳米线单元、N个不同阻值的并联电阻和光学谐振腔组成，所述N个不同阻值的电阻分别并联在N个超导纳米线单元的两端，所述光学谐振腔覆盖在N个串联的超导纳米线单元上层。本发明不仅能够实现光...

本发明公开一种阻变存储器及其制备方法，所述存储器为依次由下电极、阻变层和上电极组成的叠层结构；所述阻变层依次由上层氧化铝薄膜、氧化铪薄膜和下层氧化铝薄膜构成；所述下电极为氮化钛；该存储制备方法为A）以硅片为衬底，沉积形成下电极TiN；B...

本发明公开了一种选择性降解高毒性多氯联苯及类二噁英物质的方法，属于持久性污染物降解领域，解决了现有的降解PCBs方法存在不具备选择性、不易操控且容易形成二次污染等问题。本发明以蒙脱土为模板在蒙脱土层间原位合成Fe0-Ni0双金属材料，在...

一种有机胍催化熔融-固相缩聚(MP-SSP)合成聚(己二酸-共-对苯二甲酸丁二醇酯)(PBAT)的新工艺。该方法采用有机胍、助催化剂1与助催化剂2组成的三元高效催化体系，通过MP-SSP联用技术合成高分子量PBAT。本发明的有益特点为：...

本发明公开了一种针对安卓应用的迁移重构及支持系统，所述系统包含应用重构模块和运行时支撑模块。应用重构模块通过程序分析算法，获取可以转移的计算任务和传感器功能，并通过程序插桩算法，在字节码层次改写这个安卓应用，使得这个应用具有计算任务和传...

本发明公开了一种石灰石-石膏湿法烟气脱硫增效剂，由以下组分组成：癸二酸、三氧化二铁和六偏磷酸钠。其中癸二酸的含量为80％-90％。其中三氧化二铁的含量为5-15％。其中六偏磷酸钠的含量为3-8％。最佳的使用浓度为1.2-1.5g/L。本...

一种生物有机胍催化合成聚丁二酸丁二醇酯的工艺方法。本发明的鲜明特点是：以人体内代谢生成的生物有机胍肌酐或鸟嘌呤为主催化剂组成高效四元催化体系，合成工艺包括：(1)将丁二酸、1,4-丁二醇和生物有机胍催化剂置于反应器中，常压下于180～2...

本发明涉及一种基于符号执行路径剪枝的缓冲区溢出漏洞自动检测方法，首先使用漏洞特征匹配方法得到大量含有误报的漏洞疑似路径，其次利用基于状态空间缩减和路径剪枝的符号执行技术验证设定的漏洞疑似静态分析路径，在检测点处通过构建溢出模型以及约束求...

本实用新型公开了一种纳秒脉冲激光变频模块，包括非线性晶体、谐振腔和温控系统：所述非线性晶体为周期极化的铌酸锂或者其他具有非线性效应的晶体，所述谐振腔由平平腔、平凹腔、凹凹腔或直接在非线性晶体端面镀膜形成，所述温控系统可以是控温的器件也可...

本实用新型公开一种应用于破碎岩体进行钻孔的水钻机；解决的技术问题：针对现有技术中的水钻机进行野外注水试验时对破碎花岗岩进行钻孔时，水钻机无法固定的问题。采用的技术方案：一种应用于破碎岩体进行钻孔的水钻机，包括电机；立柱的上端设置有电机；...

本发明提供了一种激素诱导快速繁殖蓖齿眼子菜工程苗的方法，主要包括以下步骤：(1)采集蓖齿眼子菜，用水洗去表面附着物后，用75％酒精和5％的次氯酸钠对茎段进行消毒处理；(2)培养基、培养液的配制和培养条件的设定；(3)新株的培育。将蓖齿眼...

本发明涉及有机合成和药物化学领域，具体涉及闭花木酮Cleistanone的O-(三唑基)乙基衍生物、制备方法及其在制备抗炎药物上的用途。本发明合成了一个新的闭花木酮Cleistanone的O-(三唑基)乙基衍生物，并公开了其制备方法。药...

本实用新型公开一种针对完整岩石样体的取样工装；解决的技术问题：针对现有技术中的便携式钻机在较完整的坚硬岩石中钻进时常遇的岩芯根部切断后难以顺利取出的问题。采用的技术方案：一种针对完整岩石样体的取样工装，包括套管；套管的顶部设置有支撑盖板...

本发明属于环境污染修复领域，公开了一株邻苯二甲酸二酯类增塑剂降解菌，其分类命名为Camelimonas sp.，该菌株已保藏于中国典型培养物保藏中心，保藏日期为2015年1月9日，保藏编号为CCTCC NO:M2015029。本发明还公...

本发明公开一种云计算平台中快速部署和更新虚拟环境系统及其方法，用配置文件描述虚拟环境，将配置文件解析为模型，计算模型差异获得操作集合，对操作集合排序后执行，执行过程中使用云计算平台提供的编程接口和硬件资源池操作虚拟硬件，使用自动化软件配...

本发明公开了一种混凝污泥铝盐循环强化再生系统及处理混凝污泥的方法，属于污泥再生领域。本发明的污泥再生系统包括混合室、旋转沉降池、强化反应室、脱水室和加压处理室；混凝污泥经过与酸液混合、沉降、强化再生处理、脱水、酸液循环、超滤及纳滤处理后...

本发明公开了像平面不同极轴方向图像序列进行超分辨率重建的方法，包括以下步骤：步骤一，拍摄一组焦距相同极轴方向不同的低分辨率图像序列，从中选定一副图像作为参考图像，并对图像序列进行预处理；步骤二，利用尺度不变特征变换(Scale Inva...