|
搜索
搜 索
高等教育领域数字化综合服务平台
一种检测内核模块在原子上下文中休眠错误的方法
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
一种模块化多电平换流器拓扑结构的电容预充电方法
本发明公开了一种n+1混合式模块化多电平换流器拓扑结构及其控制策略，属于电力电子及分布式发电领域。其拓扑结构通过在传统n个半桥子模块的模块化多电平换流器(MMC)基础上，在每相上下桥臂加入一个全桥型子模块构成，使全桥子模块的电容电压是半桥子模块的一半，实现输出电压电平数由原先的n+1增长至2n+3。
本发明以提高子模块输出电平数、改善MMC换流器的输出电压质量为目的，根据其拓扑结构提出其控制策略：一种混合式调制方式和一种电容预充电方式，具有一定的有效性和可行性。
东南大学
2021-04-11
永磁同步电机无差拍直接转矩控制系统及控制方法
本发明公开了一种永磁同步电机无差拍直接转矩控制系统及控制方法，解决了永磁同步电机采用传统矢量控制或直接转矩控制分别带来的转矩响应较慢和转矩纹波较大的问题。本发明方法根据永磁同步电机电压、电流、磁链、电磁转矩的关系，在离散状态下利用数值积分原理构造了一种状态观测器，同时引入ＰＩ调节器消除观测误差，实现了对下一控制周期系统状态的准确预测，基于该观测器建立永磁同步电机无差拍直接转矩控制系统，在保持转矩响应快的同时减小了转矩纹波，提高了永磁同步电机运行性能。
东南大学
2021-04-11
工业控制系统的功能安全与信息安全实时协调控制方法
本发明公开了一种工业控制系统的功能安全与信息安全实时协调控制方法，首先建立系统模型，包括工业控制系统功能支撑模型、安全相关任务与功能间映射关系模型、安全相关任务评价模型；然后分析获取就绪的功能安全任务与信息安全任务之间可能存在的冲突或矛盾；按照预设的冲突协调规则获取无冲突安全相关任务集；根据系统功能性任务集和无冲突安全相关任务集，确定全局任务集；基于全局任务集构建基于 DAG 的任务图；并将风险作为约束条件、将全局任
华中科技大学
2021-04-14
一种具备直流潮流与短路控制的复合装置及其控制方法
一种直流电网用的具备直流潮流控制与直流短路控制的复合装置及其控制方法，复合控制装置包括：潮流控制装置，其包括一对耦合电感、四个开关管、四个二极管和两个电容；短路控制装置，其包括两个高压快速机械开关、三个避雷器和三个开关管。所述第一电容作为第一可调电压源串联在第一条输电线路中，第二电容作为第二可调电压源串联在第二条输电线路中，用于潮流控制；快速机械开关
东南大学
2021-04-14
一种仿人机械臂体感控制系统及控制方法
本发明公开了一种仿人机械臂体感控制系统及控制方法，引入 臂型角来定义手臂肩关节、肘关节和腕关节形成的平面与参考平面的 夹角大小。通过手掌和肩关节的位置差来确定手臂末端的位置，手臂 末端的姿态通过手掌、拇指和手掌末端形成的平面与肩关节坐标系的 相对姿态来确定。得到人体手臂的臂型角以及手臂末端的位置和姿态， 就可以由控制系统计算出机械臂的七个自由度的角度，从而实现机械 臂的精确控制。本发明与现有技术相比，具有以下优点:基于手臂臂 型角的仿人机械臂体感的控制方法，将人体手臂的位置和姿态进行了 完整的定义，
华中科技大学
2021-04-14
一种仿人机械臂体感控制系统及控制方法
本发明公开了一种仿人机械臂体感控制系统及控制方法，引入 臂型角来定义手臂肩关节、肘关节和腕关节形成的平面与参考平面的 夹角大小。通过手掌和肩关节的位置差来确定手臂末端的位置，手臂 末端的姿态通过手掌、拇指和手掌末端形成的平面与肩关节坐标系的 相对姿态来确定。得到人体手臂的臂型角以及手臂末端的位置和姿态， 就可以由控制系统计算出机械臂的七个自由度的角度，从而实现机械 臂的精确控制。本发明与现有技术相比，具有以下优点：基于手臂臂 型角的仿人机械臂体感的控制方法，将人体手臂的位置和姿态进行了 完整的定义，
华中科技大学
2021-04-14
仿人双足机器人步态切换控制系统及控制方法
本发明涉及一种基于磁流变技术的仿人机器步态切换控制系统及控制方法，所述控制系统包括多个柔顺控制器，所述柔顺控制器包括磁流变单元、长度调节单元和反馈回路单元。所述步态切换方法将事先规划好的走路(跑步)的末状态和跑步(走路)的初状态插值成连续光滑可导的曲线，同时，在线反复优化计算步态切换瞬间关节的运动轨迹，通过控制柔顺控制器活塞的往复运动，改变机器人杆件的质心位置、速度和加速度，当机器人有向前倾倒的趋势时，使前腿伸长，后腿缩短，机器人质心调后；当机器人有向后倾倒的趋势时，使前腿缩短，后腿伸长，机器人质心调前，控制机器人的稳定性，实现机器人走路、跑步间的自由切换。
浙江大学
2021-04-13
一种记忆电机磁化状态选择与弱磁控制协同控制方法
本发明公开了一种定子永磁型记忆电机磁化状态选择与弱磁控制协同控制方法，通过在不同永磁磁化状态下结合弱磁控制方法拓展定子永磁型记忆电机的恒功率工作范围。该方法在不同的转速区间采取不同的电流分配策略，优化了电机的控制性能。与采用ｉｄ＝０的分段永磁磁通控制方法相比，该方法提高了电机在不同转速区的转矩输出能力。同时，在恒定的负载转矩下，该方法提高了定子永磁型记忆电机在不同转速区间的效率。
东南大学
2021-04-11