|
搜索
搜 索
高等教育领域数字化综合服务平台
一种检测内核模块在原子上下文中休眠错误的方法
1.痛点问题
原子上下文休眠是操作系统中一类非常危险并且难以发现的缺陷，可以导致偶发的系统死锁和崩溃。实践证明，现有的主流开源操作系统存在不少该类缺陷，会引起实际的安全问题。随着系统软件自主化和物联网技术的发展，越来越多的国产操作系统诞生并被广泛使用，而这些国产操作系统中也会存在原子上下文休眠的缺陷，严重影响系统可靠性和安全性。由于操作系统具有代码量大、逻辑复杂和并发程度高等特点，对其进行代码分析和缺陷检测是比较困难的。
2.解决方案
本技术提出了一种检测原子上下文休眠缺陷的方法，包含了两个创新点：
1)自适应流敏感分析算法，能够较为准确高效地找出在原子上下文中被调用的函数；
2)函数调用图的检查算法，能够较为准确地判断函数是否可以休眠。
本技术还综合采用了流敏感分析、过程间分析、基于约束求解的路径检查和别名分析等，能够有效降低误报和漏报，并提升分析效率。
本技术的工作流程是自动的，不需要开发者和测试者手动分析和修改被测操作系统的源代码。因此，本发明可以应用于原子上下文休眠缺陷的检测，提高操作系统的安全性和可靠性。
合作需求
寻求对系统软件缺陷检测有需求的科技企业和科研单位，开展成果落地转化，以及探索服务模式。
清华大学
2022-05-20
一种模块化嵌入式多足机器人运动控制器
本发明公开了一种模块化嵌入式多足机器人运动控制器，包括PC 模块、机身控制模块和分别位于各条足上的足单元控制模块。PC模块用于识别机器人所处环境，确定机器人的下一步动作并将数据传送给机身控制模块。机身控制模块用于将该数据处理成为具体运动数据，再将数据通过机身总线分发到各足单元控制模块。本发明采用分层式控制方式，由数据运算层、机身控制层和关节控制层组成。数据运算层建立在 PC 机上，根据机器人的正逆运动学、动力学计算出机器人的步态数据。机身控制层以 ARM 处理器为控制核心。机身控制层有较大的存储空间
华中科技大学
2021-04-14
ATMP模块化高应用度全地形移动机构平台的设计研发与实现
一、项目进展
创意计划阶段
二、负责人及成员
姓名
学院/所学专业
入学/毕业时间
学号
简凯纳
机电工程学院/机械工程
2018.9/2022.6
201831031312
张星
电气信息学院/电子信息工程
2018.9/2022.6
201831072307
陈浩彬
机电工程学院/机械设计及其自动化
2020.9/
202031030285
邓青蓝
机电工程学院/机械设计及其自动化
2018.9/2022.6
201831053229
三、指导教师
姓名
学院/所学专业
职务/职称
研究方向
杨林君
工程训练中心/机械工程
实验师
机械工程
陈建勇
理学院/凝聚态物理
讲师
凝聚态物理
四、项目简介
目前，在移动机器人领域，轮式移动机器人因具有结构相对简单、驱动和控制方便、工作效率高等优点被广泛用在需要越过障碍物的工作中。但是，一般常用的移动装置为四轮驱动结构，动力相对不足，越障能力差；各种零部件之间拆装特别繁琐，不同模块之间管理混乱，更换属于一个模块的坏掉的零部件往往需要拆卸掉其它模块的零部件，电气元器件之间走线杂乱无序，电池等器件暴露在外部空气中，容易造成短路等安全问题。因此，增大驱动动力，提高越障能力，加强模块之间的管理，方便模块之间的拆装，提高电子元器件的安全性显得尤为重要。
我们项目本次设计和研究的是一种六轮结构的全地形机器人，使用模块化安装，使结构更为紧凑稳定，适用于多场景，提高轮式全地形机器人的应用度。我们采用基于探索者的PLA材料高提纯外分子重结晶化密致处理，极大增强了摩擦系数，底盘采用西南石油大学自主研发探索者二代原理高致合度准刚性攀岩越障地盘，越野能力增强，其底盘后侧主要为空体重心靠前，便于越障。
西南石油大学
2023-07-20
基于内部结构特征调控药物释放的三维打印药片
三维打印技术是一种依据“逐层打印，层层叠加”的概念，通过CAD模型及计算机控制直接制备具有特殊外型或复杂内部结构物体的快速成形技术。该技术加工过程灵活、成形速度快、运行费用低且可靠性高。由于突破了传统制剂技术的一些局限性，三维打印能够为新型口服控释给药系统的研究提供新的策略与途径，这使得其在药学中的应用引起了越来越多的关注。根据“安全、有效、方便”的给药治疗原则，可以从给药系统的内部结构、局部成分与组成的差异、特殊几何外型、独特表面特征、控释材料（或药物）的梯度或离散分布、多药在同一系统中的准确定位与分布等方面出发，设计并制备多种新型口服控释给药系统。 可以根据用户需要进行新型药物缓控释给药系统的研制和开发。
上海理工大学
2021-04-13
一种埋入式电路板复合 3D 打印方法
本发明属于 3D 打印技术领域，具体公开了一种埋入式电路板复 合 3D 打印方法，结合选区激光熔化(SLM)和选区激光烧结(SLS)两种 3D 打印方式，利用 SLS/SLM 成形装置，依靠送粉喷头和吸粉喷头实 现各层中绝缘非金属粉末和导电金属粉末在绝缘基板区域和导电线路 区域的选择性分布，经过建模、切片、铺粉、吸粉、送粉、激光扫描 成形等主要成形步骤，制造出免凹槽加工的埋入式电路板。本发明利 用 3D 打印技术可成
华中科技大学
2021-04-14
功能结构一体化3D打印创新设计
随着制造技术的快速发展，针对复杂结构件设计的需求日益广泛。改变传统的零件设计模式，将创新型设计方法与增材制造技术相结合，开展面向功能构建的创新设计，实现“结构—功能－材料”一体化，在设计阶段提升产品的功能、材料性能和降低成本，是充分挖掘增材制造的潜能，提升增材制造产业化价值的关键，是企业产品升级变革的重要手段和方法。 本项目突破集有限元分析、拓扑优化、晶格造型、力学设计、工艺约束、美学设计于一体的集成创新设计方法，充分利用晶胞的单元构造、堆积密度及空间分布直观地表达复杂产品结构件的材
南京理工大学
2021-04-14
一种适用于多材质工件的 3D 打印设备
本发明公开了一种适用于多材质工件的 3D 打印设备，其包括三 维运动结构、工作台、转盘式喷头切换装置、供料系统和控制系统， 三维运动结构包括 X 轴、Y 轴和 Z 轴运动结构；工作台与 X 轴运动结 构固定连接，其在 X 轴运动结构和 Y 轴运动结构的驱动下作水平运动， 在 Z 轴运动结构的驱动下作上下运动；转盘式喷头切换装置包括转盘 和电机；转盘周向上安装有多个分段式螺杆喷头装置，其在电机的带 动下实现旋转切换；供
华中科技大学
2021-04-14
一种基于熔融沉积成型技术的3D打印机
本实用新型公开了一种基于熔融沉积成型技术的3D打印机，属于3D打印技术领域，可简化打印机喷嘴结构、提高打印效率以及打印稳定性。所述的基于熔融沉积成型技术的3D打印机，包括打印机喷嘴和设置于打印机喷嘴下方的打印平台，还包括平台移动机构，所述打印机喷嘴固定设置，所述打印平台安装在所述平台移动机构上，所述平台移动机构可使所述打印平台分别沿X方向、Y方向和Z方向往复移动，其中X方向、Y方向和Z方向分别为三维笛卡尔坐标系中三个坐标轴所对应方向。本实用新型实现了仅由打印平台的三维复合移动即可实现3D打印过程所需的相对移动，可有效解决在打印时挤出物料不稳定的问题，进而提高打印质量和打印速率。
四川大学
2017-12-28
一种适用于FDM打印机的锥形螺杆挤出设备
本实用新型提供的适用于FDM(熔融沉积成型)打印机的锥形螺杆挤出设备是由依次连接的驱动电机、传动机构和螺杆挤出机构构成，螺杆挤出机构中的螺杆为锥形螺杆，锥形螺杆的螺纹部分是由锥形段和平直段构成，且二者的长度比至少为4：1；料筒的内腔也由锥形段和平直段构成，并与锥形螺杆外径匹配；挤出头由一连接器和热熔喷头构成，连接器的截面形状呈“T”形，固定于料筒的下端面，其上半部沿轴向开有一漏斗形通孔，并与下半部开有内螺纹的同轴通孔相通；热熔喷头通过其外表面上开的螺纹与连接器相连。本实用新型可在保证足够的螺旋线长度条件下，大幅度减小整个挤出设备的整体结构尺寸和重量，不仅使该设备驱动运转更为轻松容易，且还可以降低制备成本。
四川大学
2017-12-28
一种面向高低温组合的生物3D打印喷头
本发明公开了一种高低温组合的生物3D打印喷头，具有加热与冷却装置，可以实现多种温度的精确控制，喷头包括外壳体、导热块、加热棒、冷却片、散热片、风扇、针筒、导热块上挡板、导热块下挡板、旋盖和针头。本发明的在导热块中装有加热棒与针筒，通过加热棒可以对针筒内的材料进行加热；同时，导热块的一个外表面贴有冷却片，冷却片与散热片和风扇相连，可以对针筒内的材料进行冷却处理。这样，一个喷头便可实现对材料不同温度的打印，简化了喷头的架构，降低了成本。
浙江大学
2021-04-13