|
搜索
搜 索
高等教育领域数字化综合服务平台
一种检测内核模块在原子上下文中休眠错误的方法
1.痛点问题
原子上下文休眠是操作系统中一类非常危险并且难以发现的缺陷，可以导致偶发的系统死锁和崩溃。实践证明，现有的主流开源操作系统存在不少该类缺陷，会引起实际的安全问题。随着系统软件自主化和物联网技术的发展，越来越多的国产操作系统诞生并被广泛使用，而这些国产操作系统中也会存在原子上下文休眠的缺陷，严重影响系统可靠性和安全性。由于操作系统具有代码量大、逻辑复杂和并发程度高等特点，对其进行代码分析和缺陷检测是比较困难的。
2.解决方案
本技术提出了一种检测原子上下文休眠缺陷的方法，包含了两个创新点：
1)自适应流敏感分析算法，能够较为准确高效地找出在原子上下文中被调用的函数；
2)函数调用图的检查算法，能够较为准确地判断函数是否可以休眠。
本技术还综合采用了流敏感分析、过程间分析、基于约束求解的路径检查和别名分析等，能够有效降低误报和漏报，并提升分析效率。
本技术的工作流程是自动的，不需要开发者和测试者手动分析和修改被测操作系统的源代码。因此，本发明可以应用于原子上下文休眠缺陷的检测，提高操作系统的安全性和可靠性。
合作需求
寻求对系统软件缺陷检测有需求的科技企业和科研单位，开展成果落地转化，以及探索服务模式。
清华大学
2022-05-20
多重PCR-反向斑点杂交技术检测结核分枝杆菌耐药性的方法
本发明涉及到一种多重PCR-反向斑点杂交技术检测结核分枝杆菌耐药性的方法,即是一种基于多重PCR的反向斑点杂交技术检测结核分枝杆菌耐药性的方法,包括了引物的设计、探针的设计、杂交试验、结果判定,能够同时检测结核分枝杆菌对RIF、INH和EMB三种药的耐药性,大大缩短了检测的时间,结果可靠。
四川大学
2017-12-28
水体中主要病原微生物特异分子标识库德建立和快速检测技术
课题进展按计划进行，完成了240株检测范围内和检测范围外近缘菌株的收集；对29株军团菌、17株钩端螺旋体和32株克雷伯的靶基因序列破译和序列分析；完成了探针筛选及终型芯片点制；进行了105份模拟样品的检测实验；进行了芯片判读系统Bactarray软件的初步开发；初步建立了芯片生产质量控制体系；课题组额外进行了嗜肺军团菌3，6，13型的O抗原破译，并完成了其序列分析；申请发明专利2项，发表SCI 论文2篇。
南开大学
2021-04-14
有机磷、磺酰脲类农药高效分子印迹材料的制备技术及其检测应用
针对我国茶叶、粮谷、蔬菜、水果等具有复杂基质的农产品中有机磷和磺酰脲类农药残留，发展新型预处理方法和材料。应用组合分子印迹技术和溶胶-凝胶分子印迹技术，制备并筛选出高吸附容量、高选择性的分子印迹聚合物材料，包括固相萃取吸附剂和分子印迹整体柱。建立快速、灵敏、准确地从复杂基质茶叶、粮谷、蔬菜、水果中测定有机磷和磺酰脲类农药残留的新方法、新体系。有利于提高我国食品安全检测技术，更好地促进经济发展。
南开大学
2021-04-14
一种基于光纤图像传输的圆柱面表面微痕缺陷的检测系统
本发明公开了一种基于光纤图像传输的圆柱面表面微痕缺陷的 检测系统，运用光纤束传像原理，将传像光纤有规则地排列在一个同 心圆周上，实现外圆柱表面一周的图像采集及缺陷检测。该装置主要 包括球面聚光反射镜、点光源、聚焦透镜系统、传光光纤、自聚焦棒 透镜、传像光纤、柱面透镜和线阵 CCD。本发明一方面通过光纤将外 界照明光引入，使被检测表面的环状检测区域被充分照明;另一方面 利用传像光纤把被检测表面的反射光传递给CCD聚焦透镜系统;最后 通过图像采集卡和计算机软件分析检测圆柱类物体外表面的缺陷。该
华中科技大学
2021-04-14
磁致伸缩导波传感器及含有传感器的换热管缺陷检测系统
本发明公开了磁致伸缩导波传感器及含有传感器的换热管缺陷检测系统，传感器包括外壳，外壳的外侧壁上设置有第一环形布线槽和第二环形布线槽，第一环形布线槽和第二环形布线槽内分别放置有激励线圈和接收线圈，激励线圈和接收线圈均为螺线管线圈，外壳内腔在对应于激励线圈和接收线圈的位置分别放置有激励磁铁和接收磁铁，激励磁铁和接收磁铁均为钐钴永久磁铁，外壳的一端连接有插头连接座，插头连接座上连接有激励插头和接收插头。检测系统包括传感器、功率放大器、信号发生器、计算机、A/D 转换器和滤波放大器。本发明通过磁致伸缩效应，
华中科技大学
2021-04-14
磁致伸缩导波传感器及含有传感器的换热管缺陷检测系统
本实用新型公开了磁致伸缩导波传感器及含有传感器的换热管缺陷检测系统，传感器包括外壳，外壳的外侧壁上设置有第一环形布线槽和第二环形布线槽，第一环形布线槽和第二环形布线槽内分别放置有激励线圈和接收线圈，激励线圈和接收线圈均为螺线管线圈，外壳内腔分别放置有激励磁铁和接收磁铁，激励磁铁和接收磁铁均为钐钴永久磁铁，外壳的一端连接有插头连接座，插头连接座上连接有激励插头和接收插头。检测系统包括传感器、功率放大器、信号发生器、计算机、A/D 转换器和滤波放大器。本实用新型通过磁致伸缩效应，直接在换热管内激励出纵向
华中科技大学
2021-04-14
一种适用于点型缺陷的磁轭式局部微磁化检测装置
本发明公开了一种适用于点型缺陷的磁轭式局部微磁化检测装 置，该装置包括磁敏感元件部分，磁感应部分以及磁轭式局部微磁化 部分，磁敏感元件部分包括磁敏感元件、引线端、磁引导芯和引导芯 套筒，磁引导芯下端采用圆锥形的结构细化检测区域，实现点型缺陷 的高分辨率检测；磁感应部分由绕制在引导芯套筒外侧的磁感应线圈 组成；由引导芯套筒支撑固定的磁轭式局部微磁化部分，包括环形导 磁构件、磁铁连接件、磁轭式双磁铁以及斜向双导磁构件，该部分将 磁场量导入待检测金属体内，达到局部微磁化的效果，通过与磁引导 芯连接的磁敏感
华中科技大学
2021-04-14
一种基于多特征融合的面向对象的建筑物变化检测方法
本发明公开了一种基于多特征融合的面向对象的建筑物变化检测方法，首先求得图像像素点的形态 学建筑指数(MBI)，纹理特征和慢特征分析图(SFA);利用 MBI 指数和纹理特征进行 FNEA 分割;然 后求出每个对象的三个特征值，再作差，并利用 K 均值聚类算法求阈值，得到特征变化图;再利用 AC 指数进行后处理;利用熵值法对不同的特征变化图求权重，按照权重设定阈值求得变化图像;最后利用 投票法进行后处理。得到变化检测结果。
武汉大学
2021-04-14
一种基于视觉颜色理论和同质抑制的轮廓与边界检测算法
一种基于视觉颜色理论和同质抑制的轮廓与边界检测方法，属于计算机视觉和模式识别的交叉领域，旨在从复杂的自然场景中提取目标的轮廓和边界。本发明通过研究人眼视觉信息处理机制，对视觉通路各级神经元的感受野建立数学模型，同时利用非经典感受野的调制作用来抑制纹理边缘，从而突显轮廓和边界。本发明的创新点在于将人眼颜色信息处理机制引入轮廓与边界检测模型中，通过设置不平衡的视锥输入检测出颜色和亮度边界，保持轮廓的完整性，同时考虑
华中科技大学
2021-04-14