|
搜索
搜 索
高等教育领域数字化综合服务平台
一种检测内核模块在原子上下文中休眠错误的方法
1.痛点问题
原子上下文休眠是操作系统中一类非常危险并且难以发现的缺陷，可以导致偶发的系统死锁和崩溃。实践证明，现有的主流开源操作系统存在不少该类缺陷，会引起实际的安全问题。随着系统软件自主化和物联网技术的发展，越来越多的国产操作系统诞生并被广泛使用，而这些国产操作系统中也会存在原子上下文休眠的缺陷，严重影响系统可靠性和安全性。由于操作系统具有代码量大、逻辑复杂和并发程度高等特点，对其进行代码分析和缺陷检测是比较困难的。
2.解决方案
本技术提出了一种检测原子上下文休眠缺陷的方法，包含了两个创新点：
1)自适应流敏感分析算法，能够较为准确高效地找出在原子上下文中被调用的函数；
2)函数调用图的检查算法，能够较为准确地判断函数是否可以休眠。
本技术还综合采用了流敏感分析、过程间分析、基于约束求解的路径检查和别名分析等，能够有效降低误报和漏报，并提升分析效率。
本技术的工作流程是自动的，不需要开发者和测试者手动分析和修改被测操作系统的源代码。因此，本发明可以应用于原子上下文休眠缺陷的检测，提高操作系统的安全性和可靠性。
合作需求
寻求对系统软件缺陷检测有需求的科技企业和科研单位，开展成果落地转化，以及探索服务模式。
清华大学
2022-05-20
多重PCR-反向斑点杂交技术检测结核分枝杆菌耐药性的方法
本发明涉及到一种多重PCR-反向斑点杂交技术检测结核分枝杆菌耐药性的方法,即是一种基于多重PCR的反向斑点杂交技术检测结核分枝杆菌耐药性的方法,包括了引物的设计、探针的设计、杂交试验、结果判定,能够同时检测结核分枝杆菌对RIF、INH和EMB三种药的耐药性,大大缩短了检测的时间,结果可靠。
四川大学
2017-12-28
一种便携式果蔬内部腐烂变质检测装置及其检测方法
本发明涉及果蔬检测设备技术领域，公开了一种便携式果蔬内部腐烂变质检测装置及其检测方法，包括：箱体，在所述箱体的内部构造有容纳空间；设置在所述容纳空间中并用于照射待测果蔬的光照结构；设置在所述箱体的内部并能够沿所述箱体的纵向进行上下往复运动的果蔬支撑结构；设置在所述箱体的内部并位于所述果蔬支撑结构的下方的光谱传导器件，用于传导待测果蔬中的光谱信号；设置
中国农业大学
2021-04-14
一种小容量薄膜电容永磁同步电机直轴电流给定控制方法
本发明公开了一种小容量薄膜电容永磁同步电机直轴电流给定控制方法，采用小容量的薄膜电容，代替传统功率电路中的大容量电解电容，相比传统的电机驱动系统，小容量薄膜电容变频系统体积得到减小，重量得到减轻。本发明不需要考虑波动的母线电压对交直轴参考电流的影响，相比于传统的直轴电流给定方式更简单有效；交直轴电压给定经过陷波器，滤除特定次谐波分量，电流控制器采用内
东南大学
2021-04-14
一种基于事件最优重组的保时序摘要视频生成方法与系统
本发明公开了一种基于事件最优重组的保时序摘要视频生成方法和系统，将事件最优重组问题建立在保持事件之间的时序关系的基础之上，将事件重组的问题转换为迭代判断当前事件与已发生的事件之间的轨迹相关程度以及已发生事件的疏密程度的方式来解决。通过迭代最后得到事件重组后每个事件发生的时间点，选取适当的背景图像与事件特定时刻的目标图像进行拼接得到最终的摘要视频。该方法能够避免现行的动态视频摘要生成方法中不能完全包含原始视频中的
华中科技大学
2021-04-14
一种对过渡金属氧化物进行本征改性引入氧空位的方法
本发明公开了一种对过渡金属氧化物进行本征改性引入氧空位的方法，包括以下步骤：将过渡金属氧化物与氧化石墨烯溶液按照元素比充分混合获得分散液；对该分散液进行快速冷冻干燥处理获得中间样品；将中间样品再次冷冻干燥获得金属氧化物与氧化石墨烯复合物；对金属氧化物与氧化石墨烯复合物进行微波燃烧处理获得改性材料；本发明采用过渡金属氧化物与氧化石墨烯作为原料，将原料进行均匀包覆、冷冻、干燥、微波燃烧处理，通过控制浓度、冷冻干燥的
华中科技大学
2021-04-14
一种站坐两用式的双轮自平衡车及其平衡控制方法
本发明公开了一种站坐两用式的两轮自平衡车的平衡控制方法， 包括采集电池电压，判断电池电压是否正常，判断自平衡车是否处于 锁车状态，采集脚踏信号，判断是否有脚踩在自平衡车踏板上，以及 采集自平衡车当前俯仰角和俯仰角速度、左右车轮转速等状态信息， 和控制平衡车行驶速度速的油门指令、控制平衡车转向速度的转向指 令，通过状态反馈控制器实时计算并给定左伺服电机和右伺服电机的 驱动电压，从而使车主体在直行和转弯过程中保持平衡，并根据驾驶 者的意愿实施加减速和转向。本发明具有灵活、安全、节能的启动方 式。
华中科技大学
2021-04-14
一种螺旋立铣刀正交车铣加工三维稳定性建模方法
本发明公开了一种螺旋立铣刀正交车铣加工三维稳定性建模方 法，包括以下步骤:(1)将机床-刀具-工件系统简化为质块-弹簧-阻尼器 连接的振动系统，建立坐标系 xFyFzF，建立振动系统动力学方程;(2) 利用锤击法模态试验分别得到振动系统分别在 xF，yF，zF 每个方向的 频响函数，辨识出振动系统的模态质量、刚度和阻尼，计算振动系统的惯性力、弹簧力、阻尼力;(3)计算螺旋立铣刀的动态切削力;(4)求 解振动系统动力学方程得到振动系统的稳定性叶瓣图。本发明考虑了
华中科技大学
2021-04-14
一种基于开关非局部全变分的椒盐噪声污染图像滤波方法
本发明公开了一种基于开关非局部全变分的椒盐噪声污染图像滤波方法，包括以下步骤：通过一个二阶段的形态学检测算子对噪声污染图像进行预处理，得到参考图像和噪声标志位。基于噪声标志位，再用改进的非局部全变分方法对参考图像进行滤波，以得到去噪后的图像。本发明可以有效检测图像的噪声分布情况，产生很低的漏检率和误检率。此外，本发明基于参考图像，能精确计算两个图像块之间的相似度，可在有效抑制椒盐噪声的同时很好地保护图像边缘和纹理等细节信息，其提供的峰值信噪比和结构相似度优于现有椒盐噪声滤波方法。
华中科技大学
2021-04-14
一种五轴联动机床旋转轴的几何误差连续测量方法
本发明公开了一种五轴联动机床旋转轴的几何误差连续测量方 法，其包括如下步骤：在五轴联动机床的主轴上安装激光位移传感器， 并在其工作台上安装三个不共线的标定球，设定标定球的齐次坐标表 达式；分别以摆动轴 A 和回转轴 C 为标定轴，利用激光位移传感器测 量摆动轴 A 及回转轴 C 在不同转角时，各标定球圆心在 X、Y、Z 方 向上的位置偏差；根据标定球圆心的位置偏差及标定球的齐次坐标表 达式，计算获得摆动轴 A 和回转轴 C 的几何误差值。本发明利用斜曲 面建立待测刚体 X、Y、Z 三个方向位置偏差的
华中科技大学
2021-04-14