|
搜索
搜 索
高等教育领域数字化综合服务平台
一种检测内核模块在原子上下文中休眠错误的方法
1.痛点问题
原子上下文休眠是操作系统中一类非常危险并且难以发现的缺陷，可以导致偶发的系统死锁和崩溃。实践证明，现有的主流开源操作系统存在不少该类缺陷，会引起实际的安全问题。随着系统软件自主化和物联网技术的发展，越来越多的国产操作系统诞生并被广泛使用，而这些国产操作系统中也会存在原子上下文休眠的缺陷，严重影响系统可靠性和安全性。由于操作系统具有代码量大、逻辑复杂和并发程度高等特点，对其进行代码分析和缺陷检测是比较困难的。
2.解决方案
本技术提出了一种检测原子上下文休眠缺陷的方法，包含了两个创新点：
1)自适应流敏感分析算法，能够较为准确高效地找出在原子上下文中被调用的函数；
2)函数调用图的检查算法，能够较为准确地判断函数是否可以休眠。
本技术还综合采用了流敏感分析、过程间分析、基于约束求解的路径检查和别名分析等，能够有效降低误报和漏报，并提升分析效率。
本技术的工作流程是自动的，不需要开发者和测试者手动分析和修改被测操作系统的源代码。因此，本发明可以应用于原子上下文休眠缺陷的检测，提高操作系统的安全性和可靠性。
合作需求
寻求对系统软件缺陷检测有需求的科技企业和科研单位，开展成果落地转化，以及探索服务模式。
清华大学
2022-05-20
多重PCR-反向斑点杂交技术检测结核分枝杆菌耐药性的方法
本发明涉及到一种多重PCR-反向斑点杂交技术检测结核分枝杆菌耐药性的方法,即是一种基于多重PCR的反向斑点杂交技术检测结核分枝杆菌耐药性的方法,包括了引物的设计、探针的设计、杂交试验、结果判定,能够同时检测结核分枝杆菌对RIF、INH和EMB三种药的耐药性,大大缩短了检测的时间,结果可靠。
四川大学
2017-12-28
一种深孔加工用超细硬质合金刀具材料的制备方法
本发明公开了一种深孔加工用超细硬质合金刀具材料的制备方法，其特征是采用VC-Co饱和固溶体为粘结相，并通过超声分散和pH值调节使表面包覆吐温80分子膜；采用（WC，VC）二元复合粉末实现VC对WC晶界面迁移抑制；控制用于提高红硬性的(W，Ta)C粉末的重量*平均粒度=（WC，VC）粉末的重量*平均粒度，使二者颗粒数匹配。
四川大学
2017-12-28
一种用于铸造铝合金表面制备复合涂层的涂料及使用方法
本发明提供了一种用于铸造铝合金表面制备复合涂层的涂料及使用方法，该涂料由涂料Ａ和涂料Ｂ组成，其中涂料Ａ包括Ａｌ（Ｈ２ＰＯ４）３和纯水，涂料Ｂ包括Ｍｇ（Ｈ２ＰＯ４）２、纯水和Ａｌ２Ｏ３粉末；该涂料的使用步骤如下：１）配制涂料Ａ和涂料Ｂ：２）将铸造铝合金样品放置于碱性溶液中碱洗，之后用纯水清洗，最后自然干燥后备用；３）在干燥后的铸造铝合金表面涂覆涂料Ａ，
东南大学
2021-04-14
一种便携式果蔬内部腐烂变质检测装置及其检测方法
本发明涉及果蔬检测设备技术领域，公开了一种便携式果蔬内部腐烂变质检测装置及其检测方法，包括：箱体，在所述箱体的内部构造有容纳空间；设置在所述容纳空间中并用于照射待测果蔬的光照结构；设置在所述箱体的内部并能够沿所述箱体的纵向进行上下往复运动的果蔬支撑结构；设置在所述箱体的内部并位于所述果蔬支撑结构的下方的光谱传导器件，用于传导待测果蔬中的光谱信号；设置
中国农业大学
2021-04-14
一种基于事件最优重组的保时序摘要视频生成方法与系统
本发明公开了一种基于事件最优重组的保时序摘要视频生成方法和系统，将事件最优重组问题建立在保持事件之间的时序关系的基础之上，将事件重组的问题转换为迭代判断当前事件与已发生的事件之间的轨迹相关程度以及已发生事件的疏密程度的方式来解决。通过迭代最后得到事件重组后每个事件发生的时间点，选取适当的背景图像与事件特定时刻的目标图像进行拼接得到最终的摘要视频。该方法能够避免现行的动态视频摘要生成方法中不能完全包含原始视频中的
华中科技大学
2021-04-14
一种对过渡金属氧化物进行本征改性引入氧空位的方法
本发明公开了一种对过渡金属氧化物进行本征改性引入氧空位的方法，包括以下步骤：将过渡金属氧化物与氧化石墨烯溶液按照元素比充分混合获得分散液；对该分散液进行快速冷冻干燥处理获得中间样品；将中间样品再次冷冻干燥获得金属氧化物与氧化石墨烯复合物；对金属氧化物与氧化石墨烯复合物进行微波燃烧处理获得改性材料；本发明采用过渡金属氧化物与氧化石墨烯作为原料，将原料进行均匀包覆、冷冻、干燥、微波燃烧处理，通过控制浓度、冷冻干燥的
华中科技大学
2021-04-14
一种染料敏化太阳能电池光阴极及其制备方法和应用
本发明公开了一种染料敏化太阳能电池光阴极及其制备方法和 应用。该方法包括如下步骤：(1)在具有热收缩特性的聚合物基底上沉 积一层透明导电薄膜；(2)在透明导电薄膜表面沉积一层金属薄膜；(3) 对步骤(2)得到的结构进行退火处理，使基底受热收缩，在透明导电薄 膜和金属薄膜上形成褶皱和间隙，完成光阴极的制备。本发明能显著 提高光阴极的催化面积，提高光阴极对透过光的反射率和散射率，进 而提高光阴极的还原效率及光阳极对入射光的利用率，最终提高染料·119·敏化太阳能电池的光电转换
华中科技大学
2021-04-14
一种螺旋立铣刀正交车铣加工三维稳定性建模方法
本发明公开了一种螺旋立铣刀正交车铣加工三维稳定性建模方 法，包括以下步骤:(1)将机床-刀具-工件系统简化为质块-弹簧-阻尼器 连接的振动系统，建立坐标系 xFyFzF，建立振动系统动力学方程;(2) 利用锤击法模态试验分别得到振动系统分别在 xF，yF，zF 每个方向的 频响函数，辨识出振动系统的模态质量、刚度和阻尼，计算振动系统的惯性力、弹簧力、阻尼力;(3)计算螺旋立铣刀的动态切削力;(4)求 解振动系统动力学方程得到振动系统的稳定性叶瓣图。本发明考虑了
华中科技大学
2021-04-14
一种基于开关非局部全变分的椒盐噪声污染图像滤波方法
本发明公开了一种基于开关非局部全变分的椒盐噪声污染图像滤波方法，包括以下步骤：通过一个二阶段的形态学检测算子对噪声污染图像进行预处理，得到参考图像和噪声标志位。基于噪声标志位，再用改进的非局部全变分方法对参考图像进行滤波，以得到去噪后的图像。本发明可以有效检测图像的噪声分布情况，产生很低的漏检率和误检率。此外，本发明基于参考图像，能精确计算两个图像块之间的相似度，可在有效抑制椒盐噪声的同时很好地保护图像边缘和纹理等细节信息，其提供的峰值信噪比和结构相似度优于现有椒盐噪声滤波方法。
华中科技大学
2021-04-14