|
搜索
搜 索
高等教育领域数字化综合服务平台
一种检测内核模块在原子上下文中休眠错误的方法
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
储能规划配置方法及应用
储能在新型电力系统中源、网、荷侧发挥重要的作用，储能规划运行和安全管理是推广储能可靠、安全、经济运行的重要保障。本项目围绕电力系统中不同应用场景的源、荷特性，针对光伏电站弃光率高和预测合格率低的问题，结合电池储能SOX(SOH、SOP及SOE)动态性能，进行能量管理优化，提出了一种计算每个月光伏预测的合格率及惩罚成本的技术，可有效提升不同应用场景的储能安全性和系统经济性。
发电侧:提升预测精度，减小惩罚成本，多目标优化；
配网侧:可削峰填谷，提升分布式光伏消纳；
负荷侧:成本低，收益大。
南京工业大学
2024-07-11
连续油管作业现场检测系统
应用于连续油管作业现场，实现油管壁厚减薄、裂纹等损伤和椭圆度的实时检测。系统主要由高精度磁矢量传感器、高分辨率涡流探头、机械支架、电路机箱和上位机（笔记本电脑）组成。该项目于2012年完成验收，受到专家好评。
图1 连续油管现场检测系统
图2 检测软件界面
图3 探头
图4 现场检测
南昌航空大学
2021-05-04