|
搜索
搜 索
高等教育领域数字化综合服务平台
一种检测内核模块在原子上下文中休眠错误的方法
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
一种五轴联动机床旋转轴的几何误差连续测量方法
本发明公开了一种五轴联动机床旋转轴的几何误差连续测量方 法，其包括如下步骤：在五轴联动机床的主轴上安装激光位移传感器， 并在其工作台上安装三个不共线的标定球，设定标定球的齐次坐标表 达式；分别以摆动轴 A 和回转轴 C 为标定轴，利用激光位移传感器测 量摆动轴 A 及回转轴 C 在不同转角时，各标定球圆心在 X、Y、Z 方 向上的位置偏差；根据标定球圆心的位置偏差及标定球的齐次坐标表 达式，计算获得摆动轴 A 和回转轴 C 的几何误差值。本发明利用斜曲 面建立待测刚体 X、Y、Z 三个方向位置偏差的
华中科技大学
2021-04-14
一种站坐两用式的双轮自平衡车及其平衡控制方法
本发明公开了一种站坐两用式的两轮自平衡车的平衡控制方法， 包括采集电池电压，判断电池电压是否正常，判断自平衡车是否处于 锁车状态，采集脚踏信号，判断是否有脚踩在自平衡车踏板上，以及 采集自平衡车当前俯仰角和俯仰角速度、左右车轮转速等状态信息， 和控制平衡车行驶速度速的油门指令、控制平衡车转向速度的转向指 令，通过状态反馈控制器实时计算并给定左伺服电机和右伺服电机的 驱动电压，从而使车主体在直行和转弯过程中保持平衡，并根据驾驶 者的意愿实施加减速和转向。本发明具有灵活、安全、节能的启动方 式。&nbs
华中科技大学
2021-04-14
一种基于和声搜索算法的无线传感器网络分簇路由方法
本发明公开了一种基于和声搜索算法的无线传感器网络分簇路 由方法，包括:(1)全局信息的传递和汇聚，获得全局信息，并将其传 递到汇聚节点;(2)汇聚节点通过全局信息对整个传感器网络进行网络 分簇路由的优化计算与配置;(3)普通传感器节点监测采集和处理应用 信息，将其处理成数据包，转发到簇头节点，簇头节点进行数据融合， 并向下一跳簇头节点发送数据包;(4)下一跳簇头节点接收到数据包后， 将自身剩余能量信息加入到数据包中，并按照数据包中的最优路由， 继续向下一跳簇头节点转发数据包。本发明的方法解决了无线传
华中科技大学
2021-04-14