|
搜索
搜 索
高等教育领域数字化综合服务平台
一种检测内核模块在原子上下文中休眠错误的方法
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
一种模块化多电平换流器拓扑结构的电容预充电方法
本发明公开了一种n+1混合式模块化多电平换流器拓扑结构及其控制策略，属于电力电子及分布式发电领域。其拓扑结构通过在传统n个半桥子模块的模块化多电平换流器(MMC)基础上，在每相上下桥臂加入一个全桥型子模块构成，使全桥子模块的电容电压是半桥子模块的一半，实现输出电压电平数由原先的n+1增长至2n+3。
本发明以提高子模块输出电平数、改善MMC换流器的输出电压质量为目的，根据其拓扑结构提出其控制策略：一种混合式调制方式和一种电容预充电方式，具有一定的有效性和可行性。
东南大学
2021-04-11
专家报告荟萃㊸ | 北京理工大学学工部副部长，心理健康教育与咨询中心主任李旭珊：数字化时代高校学生心理健康工作的机遇与挑战
第三届高校心理健康创新发展论坛是第62届中国高等教育博览会的同期学术活动。期间，李旭珊主任以《数字化时代高校学生心理健康工作的机遇与挑战》为题作了主题报告。她提出，数字化时代给心理健康教育工作带来挑战的同时，也带来了新的机遇。我们要积极应对挑战、把握机遇，共同推动高校心理健康教育事业的发展。
中国高等教育博览会
2025-03-14
科技部、北京市共同召开北京国际科技创新中心建设现场推进会
4月16日上午，部市共建北京国际科技创新中心现场推进会召开。北京市委书记蔡奇主持，科技部党组书记、部长王志刚出席并讲话。科技部、北京市、教育部、工业和信息化部、财政部、人力资源和社会保障部、国务院国资委、中国科学院、中国工程院、国家自然科学基金委等中央有关部门负责同志参加。
科技部战略规划司
2022-04-18
空间中心发现明安图射电频谱日像仪图像位置校准新方法
中国科学院国家空间中心明安图野外科学观测研究站研究员颜毅华带领的研究团队，探索出一种新的可用于明安图射电频谱日像（MUSER）图像位置校准的方法。近日，相关研究成果发表在Research in Astronomy and Astrophysics上。
国家空间科学中心
2022-10-26
脑智卓越中心发现注意力对大脑前额叶价值编码的调控机制
研究采用清醒猕猴电生理记录的手段，揭示了眶额叶脑区的价值编码主要受到自下而上的奖赏显著性的影响，而不受自上而下注意力的调控，为科学家理解价值抉择的神经机制提供了帮助。
脑科学与智能技术卓越创新中心
2022-10-26
【教育现代化成果推介】人大实现以学生为中心的智慧教学改革
守正创新·教育现代化成果展
中国高等教育学会
2022-09-20
先导中心8 寸平台上制造绝缘体上张应变锗（TSGOI）晶圆
已有样品/n实现了工艺过程中对Ge的诱导应变微调，使Ge的带隙改变为0.7eV。以此类Ge衬底制备的PMOS器件实现了506cm2V-1s-1的高空穴迁移率。
中国科学院大学
2021-01-12