一种大气干湿沉降物采样器及其使用方法

    公开(公告)号:CN118258651A

    公开(公告)日:2024-06-28

    申请号:CN202410374598.4

    申请日:2024-03-29

    Abstract: 本发明涉及一种大气干湿沉降物采样器及其使用方法,涉及大气环境沉降监测技术领域,其中采样器包括一个箱体,箱体下方设置有至少一个储存桶,箱体的两端分别嵌设有干沉降物采集桶与湿沉降物采集桶;湿沉降物采集桶包括承接部、收集部和过滤器,承接部设置在箱体上,收集部设置在箱体的内部且收集部位于承接部的下方,承接部和收集部通过过滤器连通;湿沉降物采集桶的收集部的底部设置有出料口,储存桶位于收集部的出料口的下方,且收集部的出料口与储存桶分别连通;干沉降物敞口采集桶用于收集干沉降物,湿沉降物采集桶的承接部用于收集湿沉降物。

    一种元素汞发生装置
    3.
    发明公开

    公开(公告)号:CN119869263A

    公开(公告)日:2025-04-25

    申请号:CN202510021770.2

    申请日:2025-01-07

    Abstract: 本发明涉及一种元素汞发生装置,包括载气单元、元素汞发生单元和气体混合单元,元素汞发生单元用于提供汞源,元素汞发生单元包括进口和出口;载气单元与进口和出口分别相连,用于提供稳定载气和调节元素汞发生单元发生的元素汞的浓度;气体混合单元与出口相连,气体混合单元用于调节气体均一性和去除气态活性汞。本发明能够实现对元素汞浓度的准确控制,长时间提供稳定浓度的元素汞,适用于实验室气体反应模拟和标准气体仪器校准。在实际中,可以通过改变稀释气体流速、恒温装置流速和汞渗透管渗透膜透过率来调节元素汞浓度,以达到不同的实验和校准要求。

    固定化糖苷酶及其制备方法、应用和试剂盒

    公开(公告)号:CN118086273A

    公开(公告)日:2024-05-28

    申请号:CN202211451001.9

    申请日:2022-11-18

    Inventor: 黄蔚 杨洋 唐峰

    Abstract: 本发明公开了一种固定化糖苷酶及其制备方法、应用和试剂盒,涉及生物工程领域。固定化糖苷酶,包括载体材料以及固定在所述载体材料的表面的糖苷酶;所述载体材料为磁性纳米微粒。固定化糖苷酶的制备方法,包括:将羧酸化磁性纳米微粒与1‑乙基‑3‑(3‑二甲基氨基丙基)碳二亚胺盐酸盐溶液混合进行活化,清洗后与含有所述糖苷酶的溶液混合,孵育后磁力分离得到所述固定化糖苷酶。固定化糖苷酶在糖工程抗体制备中的应用。试剂盒,包括所述的固定化糖苷酶。本申请提供的固定化糖苷酶,在增加了酶的稳定性,能够降低酶的消耗,同时固定化的酶在水溶液中可以稳定保存,节约了因酶蛋白的不断表达纯化所带来的成本。

    机载软件中目标代码到源代码的验证分析方法及存储介质

    公开(公告)号:CN114756453B

    公开(公告)日:2024-10-22

    申请号:CN202210298689.5

    申请日:2022-03-22

    Abstract: 本申请提供了一种机载软件中目标代码到源代码的验证分析方法及存储介质,具体的,根据第一目标代码通过反汇编得到第一汇编代码,根据第一汇编代码进行反编译得到第一C代码;将第一C代码与源代码进行对比,得到源代码变量名之间的对应关系;根据对应关系,结合第一汇编代码,得到源代码变量名与汇编代码的指令中逻辑地址的关系映射表;根据第二目标代码通过反汇编得到第二汇编代码;根据关系映射表对汇编代码进行反编译,得到第二C代码;将第二C代码与源代码进行对比,得到第一验证结果。本申请解决了IDA Pro不能对COFF格式文件进行反编译的缺陷,提供了新的可执行目标代码到源代码可追溯性验证思路。

    机载软件中目标代码到源代码的验证分析方法及存储介质

    公开(公告)号:CN114756453A

    公开(公告)日:2022-07-15

    申请号:CN202210298689.5

    申请日:2022-03-22

    Abstract: 本申请提供了一种机载软件中目标代码到源代码的验证分析方法及存储介质,具体的,根据第一目标代码通过反汇编得到第一汇编代码,根据第一汇编代码进行反编译得到第一C代码;将第一C代码与源代码进行对比,得到源代码变量名之间的对应关系;根据对应关系,结合第一汇编代码,得到源代码变量名与汇编代码的指令中逻辑地址的关系映射表;根据第二目标代码通过反汇编得到第二汇编代码;根据关系映射表对汇编代码进行反编译,得到第二C代码;将第二C代码与源代码进行对比,得到第一验证结果。本申请解决了IDA Pro不能对COFF格式文件进行反编译的缺陷,提供了新的可执行目标代码到源代码可追溯性验证思路。

    针对非平衡数据的入侵检测系统

    公开(公告)号:CN113553581A

    公开(公告)日:2021-10-26

    申请号:CN202110785175.8

    申请日:2021-07-12

    Abstract: 本发明公开了一种针对非平衡数据的入侵检测系统,包括获取模块,代码读取模块,分类模块,上采样模块,以及入侵检测模块,上述系统,在数据集构建中,通过对数据进行重采样,消除部分类别的不平衡,另外在入侵检测模型上进一步削减不平衡数据分类的难度,可以有效解决入侵检测系统中针对不平衡数据检测的问题,并能进一步提高保障系统安全的能力,做到高效智能。

    一种面向计算平台的自动评估方法

    公开(公告)号:CN113553247A

    公开(公告)日:2021-10-26

    申请号:CN202110786705.0

    申请日:2021-07-12

    Abstract: 本申请实施例中提供了一种面向计算平台的系统评估方法,通过根据计算机的非形式化描述语言转化得到符号逻辑的等价公式;然后,根据符号逻辑的等价公式构建得到霍尔三元组模型;最后,根据霍尔三元组模型进行自动路径测试,得到模型部分正确性结果;最后,根据霍尔三元组模型分析系统程序终止性,得到模型完全正确性结果。本申请将系统程序验证问题转化为逻辑推理问题,解决了现有技术的传统评估系统检测技术需要依赖人工逐句对系统进行验证造成的评估结果不准确的问题。

    机载软件中目标代码到源代码的验证分析系统及设备

    公开(公告)号:CN114741278B

    公开(公告)日:2024-10-22

    申请号:CN202210283082.X

    申请日:2022-03-22

    Abstract: 本申请提供了一种机载软件中目标代码到源代码的验证分析系统,具体的,第一代码模块根据第一目标代码通过反汇编得到第一汇编代码,根据第一汇编代码进行反编译得到第一C代码;关系映射模块将第一C代码与源代码进行对比,得到源代码变量名之间的对应关系;根据对应关系,结合第一汇编代码,得到源代码变量名与汇编代码的指令中逻辑地址的关系映射表;第二代码模块根据第二目标代码通过反汇编得到第二汇编代码;根据关系映射表对汇编代码进行反编译,得到第二C代码;第一验证分析模块将第二C代码与源代码进行对比,得到第一验证结果。本申请解决了IDA Pro不能对COFF格式文件进行反编译的缺陷,提供了新的可执行目标代码到源代码可追溯性验证思路。

Patent Agency Ranking