|
搜索
搜 索
高等教育领域数字化综合服务平台
一种检测内核模块在原子上下文中休眠错误的方法
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
一周科创资讯｜多份重磅文件发布
一周科创资讯｜多份重磅文件发布
云上高博会
2022-01-17
数字信息立体显示的多通道全息记录方法
数字信息立体显示的多通道全息记录方法,属于图像处理领域,本发明是为了解决现有全息图单通道记录方法记录时间过长的问题.本发明方法包括以下步骤:一,将三维图像转换成不同视角的二维图像阵列;二,将每幅二维图像按光学通道格局分割处理成子图像;三,运算处理子图像获得通道合成图像,在液晶空间光调制器SLM上显示,控制全息底片移动,每移动一次,每个光学通道显示一幅子合成图像,并在全息底片记录一个点,记录一个点的过程为:激光器输出激光同时控制e个电动快门开启工作,光学通道同时记录,形成的物光束打在全息底片的一侧;另一部分激光打在全息底片的背面上,逐点记录,多个光学通道在全息底片上记录的通道全息图拼合形成整个全息图.
哈尔滨师范大学
2021-05-04
粉煤成型及催化热解-活化耦合多联产技术
煤是一种廉价的、使用量最大的、短期内无法替代的能源。随着机械化采煤技术的普及，煤炭在开采过程中的块煤率降低，粉煤、末煤率却高达 40~60% 以上。粉煤与块煤的价格相差甚远，如不加以合理利用，会给煤炭企业带来较大的经济损失。西安科技大学化学与化工学院周安宁教授带领的科研团队针对这一现状及粉煤热解加工利用难题，成功开发了新型粉煤成型技术及连续式梯级热解 - 活化耦合多联产移动床（自有专利技术），在实现粉煤热解加工利用的同时，多联产兰炭（或高附加值的活性炭）和氢气。相关的研究成果已申请发明专利 2 项，发表论文 10 余篇。目前该成果已进入中试开发阶段。
西安科技大学
2021-04-11
基于多径能量窗的CDMA移动通信接收技术
本技术系CDMA移动通信系统核心技术方面的发明性成果，由国家杰出青年科学基金项目和教育部重点科学基金项目联合支持，并结合国家863计划九五重点之重项目和信产部移动通信专项基金“第三代移动通信系统研究开发项目”的实施而形成。
东南大学
2021-04-10
多视角桌面式三维显示装置
本发明公开了一种多视角桌面式三维显示装置。它包括对称分布的双投影机阵列、双纵向散射屏及桌面结构，其中第一投影机阵列放置于第一纵向散射屏一侧，第二投影机阵列放置于第二纵向散射屏一侧，桌面形式可以是回字形桌面或是中部开口L形桌面，双纵向散射屏嵌入桌面结构并设置成V形、直角形、梯形或弧形，双投影机阵列通过对应的散射屏向桌面中心投影图像。本发明的优点是可以产生高图像分辨率、高视角分辨率，并且在桌面两侧或一侧很大视场范围内都能观察到细腻的横向视差的三维图像。嵌入桌面的结构可以实现三维图像的悬浮效果。相对于单个裸眼立体显示器，多投影设置可以实现三维图像的拼接，大大增加三维图像的空间尺度。
浙江大学
2021-04-11
桂花多酚提取物及其制备方法和用途
本发明涉及一种从桂花中提取的植物多酚类提取物及其制法和用途。具体而言，本发明公开了一种桂花多酚提取物的制备方法，包括以下步骤：1）、将桂花与提取剂水溶液按照1g/15~60ml的料液比混合后于200~500KPa的压力下，80~200W功率进行微波提取，提取时间为3~20min；重复上述提取；2）、所得滤液合并后进行干燥处理，得桂花多酚提取物。该桂花多酚提取物，可用于制备抗肿瘤的药物或保健品，也可用于抑制5α-还原酶活性。
浙江大学
2021-04-11
外场协同西北侏罗纪煤高效转化多联产成套技术
我国资源量超过 40% 的优质西北侏罗纪煤惰质组分含量高，造成此类煤的粘结性、成浆性能、液化性能整体下降，极大地增加了煤的高效洁净利用难度。本成果的核心是进行煤炭的分质加工利用，一方面开发了新型煤岩分选技术实现煤岩组分的高效分离，另一方面针对不同煤岩组分开发了多联产高效转化技术。成果来源于陕西省科技攻关项目，前期获得了陕西省教育厅专项基金和中国博士后科学基金的支持，已有一部分工作申请国家发明专利，摸索出煤炭分质利用的新技术，取得了良好的技术经济和社会效益。
西安科技大学
2021-04-11
一种多足机器人平衡控制方法
本发明公开一种多足机器人平衡控制方法，用于多足机器人在非结构化地形条件下运动时的平衡控制，控制流程简洁明确。本发明是检测到机器人失稳后，快速计算出调整腿末端下一个运动周期的落点位置，执行控制策略后，将使得机器人由失稳状态迅速转换为静态稳定状态。足端落点位置应满足的约束条件和足端落点位置均由解析式给出，计算效率较高，适合于在线实时计算和实时控制。整套控制方法利用机器人各关节角度信息、机身位姿信息和足端脚力信息对机器人各腿的运动进行位置控制，该控制方法适应于多足机器人在非结构化环境下的平衡控制。
华中科技大学
2021-04-11