高等教育领域数字化综合服务平台
云上高博会服务平台
高校科技成果转化对接服务平台
大学生创新创业服务平台
登录
|
注册
|
搜索
搜 索
综合
项目
产品
日期筛选:
一周内
一月内
一年内
不限
一种检测内核
模块
在原子上下文中休眠错误的方法
1.痛点问题 原子上下文休眠是操作系统中一类非常危险并且难以发现的缺陷,可以导致偶发的系统死锁和崩溃。实践证明,现有的主流开源操作系统存在不少该类缺陷,会引起实际的安全问题。随着系统软件自主化和物联网技术的发展,越来越多的国产操作系统诞生并被广泛使用,而这些国产操作系统中也会存在原子上下文休眠的缺陷,严重影响系统可靠性和安全性。由于操作系统具有代码量大、逻辑复杂和并发程度高等特点,对其进行代码分析和缺陷检测是比较困难的。 2.解决方案 本技术提出了一种检测原子上下文休眠缺陷的方法,包含了两个创新点: 1)自适应流敏感分析算法,能够较为准确高效地找出在原子上下文中被调用的函数; 2)函数调用图的检查算法,能够较为准确地判断函数是否可以休眠。 本技术还综合采用了流敏感分析、过程间分析、基于约束求解的路径检查和别名分析等,能够有效降低误报和漏报,并提升分析效率。 本技术的工作流程是自动的,不需要开发者和测试者手动分析和修改被测操作系统的源代码。因此,本发明可以应用于原子上下文休眠缺陷的检测,提高操作系统的安全性和可靠性。 合作需求 寻求对系统软件缺陷检测有需求的科技企业和科研单位,开展成果落地转化,以及探索服务模式。
清华大学
2022-05-20
一种
模块
化嵌入式多足机器人运动控制器
本发明公开了一种模块化嵌入式多足机器人运动控制器,包括PC 模块、机身控制模块和分别位于各条足上的足单元控制模块。PC模块用于识别机器人所处环境,确定机器人的下一步动作并将数据传送给机身控制模块。机身控制模块用于将该数据处理成为具体运动数据,再将数据通过机身总线分发到各足单元控制模块。本发明采用分层式控制方式,由数据运算层、机身控制层和关节控制层组成。数据运算层建立在 PC 机上,根据机器人的正逆运动学、动力学计算出机器人的步态数据。机身控制层以 ARM 处理器为控制核心。机身控制层有较大的存储空间
华中科技大学
2021-04-14
基于3D
打印
的复杂结构模具制作方法及成型方法
本发明公开了一种基于3D打印的复杂结构模具制作方法和成型方法,包括:构建目标模型和模具制作装置,得到目标模型文件和模具制作装置文件;将三维模型文件和模具制作装置文件导入3D打印机,制作目标模型和模具制作装置;在目标模型表面铺设硅胶膜或明胶膜固化;在模具制作装置内表面和目标模型的薄膜表面涂覆隔断材料层,在模具制作装置中定位模型;浇注下模液,固化,得到下模;在下模上的分型面上涂覆隔断材料层,浇铸上模液,固化,去除目标模型得到复杂结构型面特征的上下模模具。本发明基于成熟的三维打印技术,稳定性、可控性好,结构简单、价格经济,加之可以脱机打印,使得生产更易于配置和优化。
浙江大学
2021-04-11
一种氧化石墨烯3D
打印
墨水及其制备方法
本发明公开一种氧化石墨烯3D打印墨水及制备方法,其制备所用的原料由氧化石墨烯、交联剂和溶剂组成,各原料用量,按氧化石墨烯:交联剂中的金属阳离子:溶剂为60mg:0.03?1mmol:40ml的比例计算。制备方法即首先用溶剂分别将氧化石墨烯、交联剂超声分散配制成溶液,然后将所得的氧化石墨烯溶液和交联剂溶液混合进行化学交联反应,所得反应液离心、去除上清液,即得氧化石墨烯3D打印墨水,当圆频率为0.9rad/s时,测得其运动粘度可达2800?20800Pa*s。使用后所得的氧化石墨烯三维气凝胶支架,在形变量为60%时,抗压模量为0.42MPa?0.98MPa。
上海理工大学
2021-04-10
基于电子束的3D
打印
飞机发动机陶瓷叶片技术
1、成果简介 用于以3D打印方式实现对高温合金、高强合金、高强材料、陶瓷材料等的成型。 技术指标:1、零件尺寸:400mm2、应用说明 主要应用对象:飞机发动机陶瓷叶片、高温合金、高强合金等领域。3、效益分析 高技术产品
北京航空航天大学
2021-04-13
一种便携式可伸缩型3D
打印
机装置
本发明公开了一种便携式可伸缩型3D打印机装置,包括便携式水 平伸缩组件、垂直伸缩组件、打印机喷头运动机构组件、打印平台调 平组件,本装置整体是由垂直方向上的三根垂直支撑杆分别与三个上 支撑角件相连,并通过垂直直线轴承伸入到各自的垂直支撑杆套中去, 垂直直线轴承是经过垂直直线轴承座固定在垂直支撑杆套的上端的, 而垂直支撑杆套的下端是与下支撑角件相连的,当在垂直方向上伸长 或缩短时,就可通过设置在垂直直线轴承座上的垂直锁紧螺钉座与垂 直支撑杆锁紧螺钉相
南京工程学院
2021-01-12
一种单喷头多料源生物3D
打印
装置及其方法
本发明公开了一种单喷头多料源生物3D打印装置及其方法,属于组织工程和生物3D打印领域。包括电机固定座,电机,主动齿轮,固定转轴,转盘合件、喷头体、单向连接阀,弹簧片和进料管连接头等结构,固定转轴安装固定,电机通过齿轮传动带动转盘旋转,转盘上单向连接阀通过2个弹簧片夹持压住,且单向连接阀与喷头体有一高度差△h,当单向连接阀转到喷头体处时,喷头体将单向连接阀顶起,并顶起钢球将喷头体与单向连接阀连通,弹簧片弹起将单向连接阀压住,同时生物材料通过进料管连接头进入,实现打印过程。通过转盘旋转可切换打印材料,实现单喷头多种生物材料的打印。其优点是:结构简单巧妙,降低成本,易于实现灵活控制,大大提高打印效率。
浙江大学
2021-04-13
3D
打印
多孔钛合金骨替代材料的结构优化及其机制研究
悬赏金额:12.5万元 发榜企业:广东施泰宝医疗科技有限公司 需求领域:临床医学-基础 3D打印技术 医学材料 生物医用材料 临床医学-外科 产业集群:生物医药与健康产业集群 技术关键词:3D打印,SLM,多孔钛合金,孔隙结构,骨替代材料
广东施泰宝医疗科技有限公司
2021-11-05
3D
打印
具有缓释抗菌功能的骨组织工程支架及制备方法
本发明公开了一种3D打印具有缓释抗菌功能的骨组织工程支架材料及制备方法,它是由多孔磷酸钙材料与海藻酸钠原位交联而成,同时负载黄连素。该骨组织工程支架材料通过在打印墨水中掺加黄连素药物,使得支架兼具抗菌和促成骨的功能,最终通过3D打印和后处理方式调控支架孔结构、通过改变氯化钙交联剂的浓度和交联时间调控支架交联度,以及通过改变药物浓度调控支架载药量来实现该支架的药物缓释效果。
清华大学
2021-04-10
一种基于机器视觉的光栅立体图像平板
打印
机及方法
本发明公开了一种基于机器视觉的光栅立体图像平板打印机,用于实现光栅板基体上的立体打印,该打印机包括打印系统、视觉测量系统和纠偏处理系统,其中,所述视觉测量系统用于获得打印系统上的光栅板图像以检测其位置和角度,所述纠偏处理系统根据该位置和角度计算其与打印图像的位置偏差,然后根据该偏差控制所述打印系统作相应的位置纠偏,从而在精确位置进行打印获得立体图像。该发明针对现有光栅立体图像印刷工艺中打印精度低、操作复杂、难以实现自动化等缺陷,采用机器视觉测量定位、机械和视觉辅助纠偏的方法,实现基于光栅板进行立体图
华中科技大学
2021-04-14
首页
上一页
1
2
...
18
19
20
21
22
23
下一页
尾页
热搜推荐:
1
第62届高博会将于2024年11月重庆举办
2
2024年云上高博会产品征集
3
征集高校科技成果及大学生创新创业项目