|
搜索
搜 索
高等教育领域数字化综合服务平台
一种检测内核模块在原子上下文中休眠错误的方法
1.痛点问题
原子上下文休眠是操作系统中一类非常危险并且难以发现的缺陷，可以导致偶发的系统死锁和崩溃。实践证明，现有的主流开源操作系统存在不少该类缺陷，会引起实际的安全问题。随着系统软件自主化和物联网技术的发展，越来越多的国产操作系统诞生并被广泛使用，而这些国产操作系统中也会存在原子上下文休眠的缺陷，严重影响系统可靠性和安全性。由于操作系统具有代码量大、逻辑复杂和并发程度高等特点，对其进行代码分析和缺陷检测是比较困难的。
2.解决方案
本技术提出了一种检测原子上下文休眠缺陷的方法，包含了两个创新点：
1)自适应流敏感分析算法，能够较为准确高效地找出在原子上下文中被调用的函数；
2)函数调用图的检查算法，能够较为准确地判断函数是否可以休眠。
本技术还综合采用了流敏感分析、过程间分析、基于约束求解的路径检查和别名分析等，能够有效降低误报和漏报，并提升分析效率。
本技术的工作流程是自动的，不需要开发者和测试者手动分析和修改被测操作系统的源代码。因此，本发明可以应用于原子上下文休眠缺陷的检测，提高操作系统的安全性和可靠性。
合作需求
寻求对系统软件缺陷检测有需求的科技企业和科研单位，开展成果落地转化，以及探索服务模式。
清华大学
2022-05-20
多重PCR-反向斑点杂交技术检测结核分枝杆菌耐药性的方法
本发明涉及到一种多重PCR-反向斑点杂交技术检测结核分枝杆菌耐药性的方法,即是一种基于多重PCR的反向斑点杂交技术检测结核分枝杆菌耐药性的方法,包括了引物的设计、探针的设计、杂交试验、结果判定,能够同时检测结核分枝杆菌对RIF、INH和EMB三种药的耐药性,大大缩短了检测的时间,结果可靠。
四川大学
2017-12-28
一种基于多特征融合的面向对象的建筑物变化检测方法
本发明公开了一种基于多特征融合的面向对象的建筑物变化检测方法，首先求得图像像素点的形态 学建筑指数(MBI)，纹理特征和慢特征分析图(SFA);利用 MBI 指数和纹理特征进行 FNEA 分割;然 后求出每个对象的三个特征值，再作差，并利用 K 均值聚类算法求阈值，得到特征变化图;再利用 AC 指数进行后处理;利用熵值法对不同的特征变化图求权重，按照权重设定阈值求得变化图像;最后利用 投票法进行后处理。得到变化检测结果。
武汉大学
2021-04-14
一种锅炉燃烧火焰中的气相碱金属浓度的在线检测方法
本发明公开了一种直接采用火焰发射光谱分析来在线检测锅炉火焰中气相碱金属浓度的方法，首先选择要测量碱金属的特征谱线，然后构建特征谱线辐射强度关于火焰温度、气相碱金属浓度的拟合模型，再次通过实验标定确定拟合系数，最后由便携式光纤光谱仪测量火焰对象的辐射光谱，得到火焰温度和碱金属特征谱线辐射强度，代入建立的已知拟合系数的拟合模型计算得到火焰中气相碱金属的浓度。本发明能够简便、准确的在线检测炉内燃烧火焰中气相碱金属的浓度，并可以同时检测多种碱金属含量，设备简单、成本低廉，便于工业现场测量。
华中科技大学
2021-04-13
一种面向 MP3 数字音频文件的重压缩检测方法
本发明公开了一种面向 MP3 数字音频文件的重压缩检测方法，采用模式分类技术进行 MP3 数字音 频文件特征的提取，采用分类器训练和重压缩判定进行 MP3 数字音频文件重压缩检测，采用分类器训 练和原始码率判定进行 MP3 数字音频文件原始码率检测。本发明提出基于校准的重压缩检测方法，利 用原始音频与校准音频的平均每帧量化 MDCT 系数等于 0~9 值的个数的差值作为特征进行检测，实验 结果表明，能够在很大程度上解决同比特率重压缩以及从高到低比特率重压缩检测的难题。不仅能够鉴 别数字音频文件是否被压缩过，还能较准确地判定其原始压缩码率。从而为音频篡改检测提供依据。
武汉大学
2021-04-13
一种检测气体中邻苯二甲酸酯含量的装置及方法
本发明涉及一种检测设备及检测方法，尤其是一种检测气体中邻苯二甲酸酯含量的装置及方法。装置包括：真空泵、抽气管、缓冲罐、颗粒过滤装置和吸附塔，颗粒过滤装置与吸附塔连接，吸附塔与缓冲罐连接，真空泵通过抽气管与缓冲罐相连接，颗粒过滤装置中横置有第一多孔隔板，第一多孔隔板上平铺有活化后的玻璃纤维滤膜，吸附塔至少为一个，每个吸附塔中均横置有第二多孔隔板，第二多孔隔板上设置有不锈钢网，不锈钢网上承载有吸附树脂。它可使检测浓度在最大程度上接近真实浓度，可适应不同的检测环境，可使进样气体流速、流量保持稳定，结构简单，易于安装操作，不易引入外源污染物，也不会污染样品，不必消耗大量的有机溶剂，更加环保。
青岛农业大学
2021-04-13
一种基于众核和 GPU 的网络视频流不良内容检测方法和系统
本发明公开了一种基于众核和 GPU 的网络视频流不良内容检测方法，包括：在众核计算平台下获取网络数据包，对网络数据包进行分类，以提取网络数据包中的视频数据包，对视频数据包进行重组，按照网络视频流编码的语法对重组后的视频数据包进行解码，以生成图像序列，GPU 采用基于纹理检测和肤色点检测相结合的方法对图像序列进行预处理，以确定疑似不良图像，GPU 采用 SVM 对疑似不良图像进行精确处理，以确定不良图像。本发明只需获取网络数据包，即可识别出视频流，直接对视频流进行解码后，采用图像匹配检测技术即可识别该视频流是否含有不良信息。
华中科技大学
2021-04-11
一种基于数据分析的掺氢天然气安全检测方法及系统
本发明涉及安全检测技术领域，具体为一种基于数据分析的掺氢天然气安全检测方法及系统，包括以下步骤：基于掺氢天然气输配管道中的光谱透射率数据，分析测量通道的光强变化趋势，计算光程对应的光谱透射变化量，筛选光程对应的光能量衰减特征，得到光谱衰减特征数据。本发明中，通过深入分析光谱透射率数据，提升光强变化和光能量衰减的测量精度，增强光谱衰减特征数据的准确性，结合短长光程透射信息和差异化氢气掺混比例的识别，优化光谱衰减曲线，提高测量稳定性，使用偏移模型动态修正光谱数据，精准分析泄漏气体动能与流动方向，提取泄漏点扩散路径，优化安全评估过程，提升风险预警的及时性和有效性。
南京工程学院
2021-01-12
一种基于无人机图像识别的桥墩倾斜度批量检测方法
本发明公开了一种基于无人机图像识别的桥墩倾斜度批量检测方法，包括无人机批量采集桥墩图像、桥墩轮廓左右边线提取、计算桥墩左右边线的倾斜角度、计算桥墩的倾斜度、返回倾斜度列表及超额预警共五个步骤，从图像采集、图像处理、图像信息识别、关键参数提取及计算等方面出发，得到桥墩倾斜度列表，并返回倾斜度超过限制值的桥墩编号和总数目。整体流程具有大批量、快速、地形适用范围广的优点，无需额外使用全站仪、GPS接收设备。
南京工业大学
2021-01-12
一种等离子体发射光谱法检测重金属污染方法
一种等离子体发射光谱法检测重金属污染方法，对样品的发射光谱进行实时采集，根据不同重金属元素的特征发射波长对光谱数据进行识别，以标准样品的浓度为横坐标，光谱峰值强度为纵坐标，绘制标准校准曲线；将待测样品的光谱峰值强度代入标准校准曲线，计算出重金属元素的浓度，在对样品的发射光谱进行实时采集前，利用放电等离子体对样品进行处理，如果样品是液体时，将液体样品吸附在载体上进行处理。本发明在检测过程中，利用放电等离子体，能够激发重金属元素，提高检测效率，适用于快速响应的应用场景。此外，该方法无需昂贵的真空设备或复杂的化学试剂，并通过标准曲线校准，可实现对重金属元素的准确定量分析，检测精度高且结果稳定可靠。
南京工业大学
2021-01-12