|
搜索
搜 索
高等教育领域数字化综合服务平台
一种检测内核模块在原子上下文中休眠错误的方法
1.痛点问题
原子上下文休眠是操作系统中一类非常危险并且难以发现的缺陷，可以导致偶发的系统死锁和崩溃。实践证明，现有的主流开源操作系统存在不少该类缺陷，会引起实际的安全问题。随着系统软件自主化和物联网技术的发展，越来越多的国产操作系统诞生并被广泛使用，而这些国产操作系统中也会存在原子上下文休眠的缺陷，严重影响系统可靠性和安全性。由于操作系统具有代码量大、逻辑复杂和并发程度高等特点，对其进行代码分析和缺陷检测是比较困难的。
2.解决方案
本技术提出了一种检测原子上下文休眠缺陷的方法，包含了两个创新点：
1)自适应流敏感分析算法，能够较为准确高效地找出在原子上下文中被调用的函数；
2)函数调用图的检查算法，能够较为准确地判断函数是否可以休眠。
本技术还综合采用了流敏感分析、过程间分析、基于约束求解的路径检查和别名分析等，能够有效降低误报和漏报，并提升分析效率。
本技术的工作流程是自动的，不需要开发者和测试者手动分析和修改被测操作系统的源代码。因此，本发明可以应用于原子上下文休眠缺陷的检测，提高操作系统的安全性和可靠性。
合作需求
寻求对系统软件缺陷检测有需求的科技企业和科研单位，开展成果落地转化，以及探索服务模式。
清华大学
2022-05-20
一种强化载氧体氧化再生的化学链燃烧空气反应器
本发明属于流化床和多相流领域，特别涉及一种强化载氧体氧化再生的化学链燃烧空气反应器；包括反应室、第一提升管、复合式内构件和第二提升管；所述反应室的侧壁设置给料口，底部设置空气入口；所述反应室和第一提升管之间采用第一渐缩管连接；所述第一提升管与第二提升管之间安装有复合式内构件；所述复合式内构件包括第二渐缩管、环形内构件、导向管、支撑板和倾斜式环形内构件；解决了现有技术中提升管内载氧体径向分布不均、氧化再生效率不高的问题，可以有效延长载氧体的停留时间，提高大粒径载氧体的氧化再生效率，从而提高化学链燃烧效率。
东南大学
2021-04-11
一种多径网络基于链路时延控制的软负载均衡方法
本发明公开了一种多径网络中基于链路时延控制的软负载均衡 方法。在此算法模型中，决定流量的最佳路径分配时，同时考虑了传 播时延和链路带宽，在无额外开销的基础上，一方面，可以实现最小 化最大链路端到端时延，减小接收端数据包重排序的等待时延；另一 方面，可以使各条链路的端到端时延差最小，因此减小了数据包时延 抖动，降低了数据包进行重排序的风险。数据包进行重排序的风险越 低、等待时延越小，数据包重排序进程带来的时延越小。因此，本发 明提出的算法模型不仅能减小端到端时延，还能减小数据包重排序进 程的时延，进而使得成功传输一个数据包的时延减小，优化多径网络 整体的吞吐量。
华中科技大学
2021-04-11
一种基于矢量变换与信号滤波的定子磁链计算方法
本发明公开了一种基于矢量变换与信号滤波的定子磁链计算方法。采用交流电动机定子磁链的电压模型，对输入的反电动势矢量进行幅值和相位变换直接得到原始的定子磁链矢量，然后经过信号滤波与补偿处理得到期望的定子磁链。分别设计了基于可编程的低通滤波器(LPF)和带通滤波器(BPF)的矢量变换方案，并且根据计算磁链幅值尽快收敛于给定磁链值的原则得到优化函数，对 LPF 与 BPF 的优点进行组合，得到性能最优的磁链计算方法。进一步的
华中科技大学
2021-04-14
一种基于自动识别技术的教学实验样品的生产和使用链
本发明是一种教学实验样品的生产和使用链，属于教育产业领域，特别是一种基于自动识别技术的教学实验样品的生产和使用链。基于自动识别技术的教学实验样品的生产和使用链，包括样品分析与优化环节、样品生产与运输环节、样品分配与使用环节，每份样品或者样品的包装上随机贴上包含有唯一性编码信息的标签，每份样品的定量特性数值和对应的唯一性编码信息录入定量特性数据库并建立关联。本发明提供的方法极大地提高了学生对待实验的认真程度、投入程度，督促学生负责地完成实验，提高学生的实验能力和水平。本发明提供的方法极大地降低了实验指导教师的劳动强度、提高了实验指导教师的工作效率。可以广泛应用于教育行业，经济和社会效益显著。
青岛大学
2021-04-13
一种电涡流三维减振装置
本发明提供一种电涡流三维减振装置，该减振装置包括箱体、连接螺孔A、转轴、扭力弹簧、外层球体、中层球体、内层球体、附加质量块A、附加质量块B、连接螺孔B、内层球体扇叶、内层球体底座、中层球体扇叶、中层球体底座、外层球体扇叶、外层球体底座。当结构发生振动时，首先由附加质量块、扭力弹簧和各个球体组成的TMD阻尼器进行能量转移，减小结构振动；其次，在TMD阻尼器工作过程中，由导体与永磁体相对运动产生的电涡流阻尼来耗散能量。该装置利用球体嵌套，实现附加质量块的三维运动；通过设置不同的球体材料，利用电涡流阻尼进行能量耗散，实现多维减振。通过调整扭力弹簧刚度以及附加质量块质量，可对减振装置的使用频率范围进行调节。
东南大学
2021-04-11
一种三维艺术品展示装置
本发明公开了一种三维艺术品展示装置，其包括固定架、水平设置的展示台、排列设置在展示台上的多个旋转台、位于旋转台下方的驱动旋转台自转的旋转驱动机构以及将旋转驱动机构与不同旋转台进行传动对接的水平移动机构；旋转驱动机构包括设置在展示台底面的固定滑轨、滑动连接在固定滑轨上的旋转滑块、传动连接在旋转滑块下方的旋转滑槽、与旋转滑槽滑动配合的滑块、与固定架固定连接的竖直旋转轴以及将滑块与竖直旋转轴进行铰接的连
青岛农业大学
2021-01-12
一种薄型电动二维精密平台
本实用新型公开了一种薄型电动二维精密平台，包括上平台、下平台以及联接安装在两者之间且整体呈平板结构的中间连接件，其中中间连接件的上表面与上平台底座表面相互平行，并在两者之间保持间隙用于储存润滑介质；该上表面的两侧还分别设置有沿着 X 轴方向分布的导轨副，同时通过设置在外侧凹陷区域的 X 向电机和第一精密螺纹丝杆传动单元，使上平台沿着导轨副在 X 轴方向上移动。该中间连接件的下表面结构与上表面相类似。通过本实用新型，能够在显著减少平台整体厚度的情况下，在 X 轴和 Y 轴两个运动方向上实现高精度和较大
华中科技大学
2021-04-14
一种三维激光扫描方法及装置
本发明公开了一种三维激光扫描方法及装置，方法包括在垂直·800·扫描面中以扫描头内激光发射中心点为扫描原点建立扫描仪的三维坐标系，每次获取激光测距时，根据扫描头的方位角θ和顶点角Φ，计算出测距传感器发射激光束的方位角θ和俯仰角度β，从而得到三维激光角点坐标的计算公式，装置包括扫描头、轴驱动单元、测距单元、电机驱动单元和嵌入式控制单元，扫描头包括反光镜、轴承、激光孔和机械支架；机械支架包括横向支架、纵向支
华中科技大学
2021-04-14
一种铸型三维喷印成形方法
本发明属于快速铸造技术领域，并公开了一种铸型三维喷印成 形方法，包括以下步骤：(1)制备液体粘结剂；(2)制备混合粉末；(3) 将步骤(1)制备的液体粘结剂放入快速成型设备的喷墨打印头内，将步 骤(2)制备的混合粉末放入粉缸内，开启快速成型设备进行三维喷印成 形，在打印过程中和/或零件打印完成后，采用加热和/或微波干燥的方 式使零件固化，固化完成后去除多余粉末即得到所需的铸型零件。本 发明采用的液体粘结剂为水基粘结剂
华中科技大学
2021-04-14