|
搜索
搜 索
高等教育领域数字化综合服务平台
一种检测内核模块在原子上下文中休眠错误的方法
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
镍基高温合金组织结构超声智能评价方法
航空发动机机匣是一种复杂薄壁零件，其加工变形问题是我国航空发动机制造的关键技术瓶颈。机匣毛坯组织结构的均匀性是影响机匣加工变形的主要原因之一。镍基高温合金具有优异的高温强度，良好的抗氧化和抗热腐蚀性能，是航空发动机机匣的主要原料。镍基高温合金铸、锻件组织结构的无损检测与定量评价是实现组织结构均匀性检测与评价的基础，有助于准确判断毛坯制造质量，表征制造工艺改进的有效性，降低机匣加工变形概率。
超声检测具有穿透能力强，灵敏度和分辨率高、可定位和定量检测等优点，在航空发动机大规格高温合金构件制造质量检测领域得到了广泛应用。超声检测信号特征值与材料组织结构变化、二次相或沉淀物的形成相关，具备有效评价镍基高温合金的组织结构的能力。现有镍基高温合金铸、锻件组织结构的超声检测以噪声波高为主要判据，指标简单、阈值设置严格、误判率高，无法适应不断改进的制造工艺。
组织结构超声定量评价技术的核心是确定微观组织特征参数与超声检测特征参数之间的定量关系模型，其本质是以模型待定系数为决策变量，以评价准确性为目标函数的优化问题。超声波在镍基高温合金中传播时，受到晶界、相界、孪晶等复杂组织结构的综合作用，若采用声速、衰减系数、非线性系数等单一超声检测参数对组织结构进行建模与评价，会因信息量的缺失而导致评价误差大；若增加检测参数规模，则会导致所对应优化问题的困难性大幅增加。
本研究以镍基高温合金组织结构定量评价为主要研究对象，围绕如何利用协同进化算法求解定量评价的大规模优化问题、以及如何同时利用多种微观组织特征参数对镍基高温合金进行综合表征展开研究。科研成果为航空发动机机匣镍基高温合金毛坯制造质量检测、评价、性能预测提供技术支持，为制造工艺改进提供数据支持，也可进一步推广至其它高温合金、钛合金等材料中。
南昌航空大学
2021-05-04
N端RNA结合域的晶体结构研究
2020年3月8日，中山大学第五医院在bioRxiv上上传了一篇题为Crystal structure of SARS-CoV-2 nucleocapsid protein RNA binding domain reveal spotential unique drug targeting sites的研究，确定了SARS-CoV-2核糖蛋白N-端RNA结合域的晶体结构。虽然整体结构与其他冠状病毒核N端RNA结合域相似，但它们之间的表面静电电位特征却不同。与轻度病毒类型HCoV-OC43 等效域的进一步比较显示，β-螺旋核心旁边具有独特的潜在RNA 结合槽。结合体外数据，结果提供了SARS-CoV-2N端RNA结合域的几种原子分辨率特征，指导了针对SARS-CoV-2的新型抗病毒剂的设计。
中山大学
2021-04-10
测定混凝土孔结构的方法及专用成型装置
本发明公开了一种测定混凝土孔结构的方法，包括以下步骤：在成型装置中注入待测浆料，待浆体凝结硬化后养护至所需龄期；采用溶剂终止水化，然后放入真空烘干箱进行烘干，即得带有型腔的试样；将温变合金融化倒入烘干后试样的型腔内，并置于保温装置中，并置于离心机上进行离心，即得可测定孔结构的试样，并通过电镜和CT测定试样中温变合金所占位置，即测得孔结构。本发明利用离心力压入熔融温变合金，避免传统取样方法对孔结构的破坏，且温变合金无毒无害，操作过程中没有污染，不会对人体造成伤害，也没有改变混凝土的孔结构，能够反映混凝土孔结构的真实性。
东南大学
2021-04-11
超薄膨胀型钢结构防腐防火双功能涂料
超薄膨胀型钢结构防腐防火双功能涂料是专门用于建筑物钢结构防火和防腐保护的 功能性涂料。钢结构虽然有强度高、重量轻和易于施工等优点，但也存在不耐热、易腐 蚀的缺点，不经防火防腐保护的钢结构建筑往往存在较大的安全隐患。本成果提供的防 火防腐双功能涂料集良好的防火、防腐蚀功能于一身，同时还具有良好的装饰性。可采 用喷涂、刷涂等方法施工。是各种大型公共建筑物、化工企业钢结构建筑物（构筑物） 和设备的保护神。该涂料是同济大学材料学院高分子材料研究所承接的“863”计划项 目成果，已在国内 52 项建筑工程中应用，施工面积 60 多万平方米。
同济大学
2021-04-11
铁路轨道扣件弹条和固定结构
成果描述：本实用新型提供了一种铁路轨道扣件弹条和固定结构,涉及铁路扣件系统,该铁路轨道扣件弹条包括弹条本体,弹条本体设有卡合部、第一压合部和第二压合部,卡合部包括过渡段、第一卡合段和第二卡合段,第一压合部与第一卡合段连接,第二压合部与第二卡合段连接,过渡段的两端分别与第一卡合段远离第一压合部的一端和第二卡合段远离第二压合部的一端连接,第一卡合段和第二卡合段均为“S”形。通过将第一卡合段和第二卡合段设计为“S”形,第一卡合段和第二卡合段远离过渡段的部分向内收缩,从而卡紧紧固件,避免紧固件从卡合部中滑出。此外,该固定结构包括上述铁路轨道扣件弹条。利用该铁路轨道扣件弹条将铁轨上的紧固件固定,固定效果好。市场前景分析：本实用新型提供了一种铁路轨道扣件弹条和固定结构,涉及铁路扣件系统,该铁路轨道扣件弹条包括弹条本体,弹条本体设有卡合部、第一压合部和第二压合部,卡合部包括过渡段、第一卡合段和第二卡合段,第一压合部与第一卡合段连接,第二压合部与第二卡合段连接,过渡段的两端分别与第一卡合段远离第一压合部的一端和第二卡合段远离第二压合部的一端连接,第一卡合段和第二卡合段均为“S”形。通过将第一卡合段和第二卡合段设计为“S”形,第一卡合段和第二卡合段远离过渡段的部分向内收缩,从而卡紧紧固件,避免紧固件从卡合部中滑出。此外,该固定结构包括上述铁路轨道扣件弹条。利用该铁路轨道扣件弹条将铁轨上的紧固件固定,固定效果好。与同类成果相比的优势分析：国内先进
成都大学
2021-04-10
一种改进的钻孔灌注桩结构
成果描述：本实用新型公开了一种改进的钻孔灌注桩结构,包括桩体,所述桩体为圆柱体空腔结构,且桩体底端预留有沉渣层,沉渣层的顶部设有膨胀层,所述桩体内部垂直放置有钢筋笼,所述钢筋笼包括第一主筋和第二主筋,且第一主筋和第二主筋的顶端均焊接有挂钩,所述第一主筋和第二主筋的侧壁中上端均焊接有定位块,所述第一主筋的外壁焊接有箍筋和螺旋箍筋,且箍筋的横截面为正八边形。本实用新型钢筋笼横截面呈正八边形,且有螺旋箍筋固定,从而使整个桩体不管是纵向还是横向受力均匀,受用范围广,钢筋笼设有固定块和固定钢筋,在吊起时保证了整个钢筋笼不变形,沉渣层放置膨胀剂,可膨胀沉渣层加强桩基硬度。市场前景分析：本实用新型钢筋笼横截面呈正八边形,且有螺旋箍筋固定,从而使整个桩体不管是纵向还是横向受力均匀,受用范围广,钢筋笼设有固定块和固定钢筋,在吊起时保证了整个钢筋笼不变形,沉渣层放置膨胀剂,可膨胀沉渣层加强桩基硬度。与同类成果相比的优势分析：国内领先
成都大学
2021-04-10
再生混合混凝土结构关键技术及工程应用
本成果提出了废旧混凝土大尺度块体循环利用的思想；建立了再生混合混凝土以及高强化再生混合混凝土的非线性强度预测公式及考虑内、外双尺寸效应的再生混合混凝土强度预测公式；提出了再生混合混凝土基本徐变的预测方法；沉淀形成了再生混合混凝土从理论到实践验证的完整体系，编制了相关标准，为废旧混凝土的高效循环利用开辟了一条新路。若我国废旧混凝土的1/4采用再生块体混凝土技术进行循环利用，每年可减少水泥和天然砂石用量分别约750万吨和3750万吨，降低CO2排放约620万吨，节省商品混凝土费用约65亿元，社会经济效益显著。本成果已在广东、福建、贵州等地的多项实际工程中成功应用。获得了全国发明展览会金奖及2016年度高等学校科学研究科技进步一等奖。
华南理工大学
2021-04-10