|
搜索
搜 索
高等教育领域数字化综合服务平台
一种检测内核模块在原子上下文中休眠错误的方法
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
物理所实现空气耦合的MHz频段高灵敏度超声波探测
高灵敏度、小型化的超声探测器在诸多方面发挥着重要应用，例如医学诊断、光声成像、无损检测等。目前，商用的超声波探测器主要采用压电换能器，但为了实现较高的灵敏度，往往需要较大的尺寸，其传感器的典型尺寸一般为毫米到厘米。
物理研究所
2022-10-26
中国石油大学（华东）动态热演化岩石物理分析系统公开招标公告
中国石油大学（华东）动态热演化岩石物理分析系统招标项目的潜在投标人应在青岛市市北区敦化路138号甲西王大厦24楼23A01室获取招标文件，并于2022年07月11日14点30分（北京时间）前递交投标文件。
中国石油大学（华东）
2022-06-21
一种物理法细胞破碎的微结构装置及其细胞破碎和加工方法
本发明物理法细胞破碎的微结构装置的结构为：氮气输入管道、细胞悬浮液输入管道、破碎腔室以及破碎板。采用有机聚合物模塑法加工出破碎腔室及其相连的流道，然后用热键合实现破碎腔室的封接，其他部分可用焊接的方法实现连接。细胞破碎系统利用物理碰撞的方法使细胞发生破裂，提取细胞中目标成分进行下一步实验。细胞悬浮液以喷雾状通过管道出口，喷雾颗粒的粒径大约为5微米。高速载气氮气流速为200?300m/s，将喷雾状微粒子送入破碎腔室，高速撞击破碎板，得以破碎。然后在破碎腔室中收集细胞残留物并从出口输出进行后续微流控实验。
东南大学
2021-04-11
一种基于化学和物理交联的双网络纤维素凝胶系材料
本发明公开了一种基于化学和物理交联的双网络纤维素凝胶系材料，该材料包括水凝胶、气凝胶和 生物塑料。在纤维素溶液中加入定量的交联剂并搅拌后先形成部分化学交联的纤维素凝胶，然后将该凝 胶置于纤维素的非溶剂中进行物理交联，经过水洗后得到双网络纤维素水凝胶。由双网络纤维素水凝胶 干燥制备双网络纤维素气凝胶;将双网络纤维素气凝胶在 150?oC 以上热处理后得到碳气凝胶;将双网 络纤维素水凝胶或气凝胶热压制备双网络纤维素生物塑料。本发明制备的双网络纤维素材料具有优良的 力学性能、高的比表面
武汉大学
2021-04-14
物理学院田雨团队在黑洞性质研究中取得新进展
田雨团队和合作者的研究不但揭示了一种全新的黑洞“长毛”机制，给出了长毛的动力学过程，而且在该过程中发现了一类奇妙的“动力学临界现象”。该研究成果是国内研究团队在国际基础物理前沿理论研究方面取得的重大进展。
中国科学院大学
2022-06-01
多PC多核分布式并行计算系统
多PC多核分布式并行计算系统是一个通用的分布式并行计算平台，易于使用且扩展能力强，适用于海量数据的数据分析、数据统计、数据挖掘、科学计算等领域的快速处理。 图1多PC多核分布式并行计算系统布局图 系统实现了任务提交、任务管理、任务分配、任务调度、负载均衡、结果融合、容错处理等功能。用户只需要通过C、C++、Fortran等编程语言，按照串行思路编写数据处理和数据融合函数，就可实现中小集群环境下的多PC多核分布式并行计算。 主要性能： ？ 系统可扩展性好，可适应几个到100个计算节点，可适应一个或多个磁盘； ？ 在网络带宽和磁盘读写速度等能保证的情况下，处理速度与计算节点数目基本呈线性变化； ？ 动态加载不同的计算函数和处理函数，实现不同的数据处理。
电子科技大学
2021-04-10
单动力源多负载分时传动系统
本项目研究了单个动力源分时段驱动多个负载的传动方案，采用电磁控制技术设计了分体式电磁联轴器，通过径向移动活动半联轴器，实现其与不同位置的多个固定半联轴器分时段接合。将该分体式电磁联轴器应用于多层升降横移式立体车库各层车位的升降传动装置，能够实现同一层的多个车位共用一台升降电机，电机分时段驱动各个车位的升降动作，减少电机数量，提高电机的使用率；多个车位采用一台升降电机驱动，能够方便的在电机驱动部分安装配重块，以减小电机功率、节约能源。本项目获批发明专利3项。
辽宁工程技术大学
2021-05-04
多器官获取用十二指肠灌洗管
本实用新型属于医疗器械领域，具体公开了一种十二指肠灌洗管。本实用新型灌洗管包括三通阀门接 头、主体管、防护薄膜和防逆流装置，所述主体管的上端与三通阀门接头的其中一个接头相连，主体管的 下端部有若干个侧孔，侧孔上部的主体管管壁沿轴向方向向上依次设有防逆流装置、防护薄膜，所述防逆 流装置为中间细两头粗结构，所述防护薄膜为韧性薄膜，薄膜下端与防逆流装置相连接。本实用新型灌 洗管结构形成对十二指肠近端置管口的完全封闭，不仅防止了肠内膜外翻暴露对手术范围的污染，还避免 本项目证实了增强该模式在我国癌症患者中应用的 分、有效的肠道灌洗。 有效性及适用性。增强自我效能干预模式可纳入大肠癌的护理常规，该模式可作为我国癌症患者延续护理 服务的实践模式。增强自我效能干预模式已在3家三级甲等医院中实施应用，临床效果显著，并得到了患 者与护士的高度认可，现已在临床上逐步推广应用。
中山大学
2021-04-10