|
搜索
搜 索
高等教育领域数字化综合服务平台
一种检测内核模块在原子上下文中休眠错误的方法
1.痛点问题
原子上下文休眠是操作系统中一类非常危险并且难以发现的缺陷，可以导致偶发的系统死锁和崩溃。实践证明，现有的主流开源操作系统存在不少该类缺陷，会引起实际的安全问题。随着系统软件自主化和物联网技术的发展，越来越多的国产操作系统诞生并被广泛使用，而这些国产操作系统中也会存在原子上下文休眠的缺陷，严重影响系统可靠性和安全性。由于操作系统具有代码量大、逻辑复杂和并发程度高等特点，对其进行代码分析和缺陷检测是比较困难的。
2.解决方案
本技术提出了一种检测原子上下文休眠缺陷的方法，包含了两个创新点：
1)自适应流敏感分析算法，能够较为准确高效地找出在原子上下文中被调用的函数；
2)函数调用图的检查算法，能够较为准确地判断函数是否可以休眠。
本技术还综合采用了流敏感分析、过程间分析、基于约束求解的路径检查和别名分析等，能够有效降低误报和漏报，并提升分析效率。
本技术的工作流程是自动的，不需要开发者和测试者手动分析和修改被测操作系统的源代码。因此，本发明可以应用于原子上下文休眠缺陷的检测，提高操作系统的安全性和可靠性。
合作需求
寻求对系统软件缺陷检测有需求的科技企业和科研单位，开展成果落地转化，以及探索服务模式。
清华大学
2022-05-20
ATMP模块化高应用度全地形移动机构平台的设计研发与实现
一、项目进展
创意计划阶段
二、负责人及成员
姓名
学院/所学专业
入学/毕业时间
学号
简凯纳
机电工程学院/机械工程
2018.9/2022.6
201831031312
张星
电气信息学院/电子信息工程
2018.9/2022.6
201831072307
陈浩彬
机电工程学院/机械设计及其自动化
2020.9/
202031030285
邓青蓝
机电工程学院/机械设计及其自动化
2018.9/2022.6
201831053229
三、指导教师
姓名
学院/所学专业
职务/职称
研究方向
杨林君
工程训练中心/机械工程
实验师
机械工程
陈建勇
理学院/凝聚态物理
讲师
凝聚态物理
四、项目简介
目前，在移动机器人领域，轮式移动机器人因具有结构相对简单、驱动和控制方便、工作效率高等优点被广泛用在需要越过障碍物的工作中。但是，一般常用的移动装置为四轮驱动结构，动力相对不足，越障能力差；各种零部件之间拆装特别繁琐，不同模块之间管理混乱，更换属于一个模块的坏掉的零部件往往需要拆卸掉其它模块的零部件，电气元器件之间走线杂乱无序，电池等器件暴露在外部空气中，容易造成短路等安全问题。因此，增大驱动动力，提高越障能力，加强模块之间的管理，方便模块之间的拆装，提高电子元器件的安全性显得尤为重要。
我们项目本次设计和研究的是一种六轮结构的全地形机器人，使用模块化安装，使结构更为紧凑稳定，适用于多场景，提高轮式全地形机器人的应用度。我们采用基于探索者的PLA材料高提纯外分子重结晶化密致处理，极大增强了摩擦系数，底盘采用西南石油大学自主研发探索者二代原理高致合度准刚性攀岩越障地盘，越野能力增强，其底盘后侧主要为空体重心靠前，便于越障。
西南石油大学
2023-07-20
包装取样器 取样器
产品详细介绍郑州生产】取样器|郑州取样器厂|】-中谷机械设备（郑州）有限公司中谷机械设备（郑州）有限公司提供给您大量郑州取样器，郑州取样器厂同时您可以免费提供一个完整的取样解决方案，以满足您的需求，产品应用范围广泛，如还不能满足您的具体要求，还可以按照您的要求具体定做一、产品简介 包装取样器（插样筒、包探）长度35-65cm，多种口径，适用各类粮食品种袋包取样，用户选定规格说明取样品类。铁质或不锈钢材料制作。 二、技术参数 取样器长度 口径 35cm 14Φ、 50cm 16Φ、 60cm 16Φ、18Φ 70cm 18Φ、20Φ产品:取样器 粮食取样器 电动取样器 扦样器 电动扦样器 粮食扦样器 分层取样器 粉末颗粒取样器 窗口关闭式取样器 医药取样器 化工原料取样器 液体取样器 油桶取样管 油桶取样器 底部取样器 槽车取样器
中谷机械设备（郑州）有限公司
2021-08-23
16030量角器(圆等分器)
宁波华茂文教股份有限公司
2021-08-23
炼化设备 塔器& 分离器
塔器为圆筒形焊接结构的工艺设备，由筒体、封头和支座组成。主要用于蒸馏、提纯、吸收、精馏等化工单元操作，广泛用于气—液与液—液相之间传质、传热。
山东万邦石油科技股份有限公司
2021-06-18
解剖器
产品详细介绍
浙江诸暨市教学仪器厂
2021-08-23
解剖器
产品详细介绍
江西省吉安市科教仪器厂
2021-08-23
解剖器
产品详细介绍
山东省泰安市教学仪器厂
2021-08-23
解剖器
产品详细介绍
江阴市宏达教学仪器厂
2021-08-23
解剖器
产品详细介绍
江苏省常熟市白茆不锈钢教仪厂
2021-08-23