|
搜索
搜 索
高等教育领域数字化综合服务平台
工业自动化线束
机器人电缆线束，报警与安防电缆线束，通讯线束，同轴数据电缆线束；自动化设备线束。医疗设备线束：生化检测类，射频类，监护类机内外线束等
永瞻电子科技（东莞）有限公司
2023-08-01
一种检测内核模块在原子上下文中休眠错误的方法
1.痛点问题
原子上下文休眠是操作系统中一类非常危险并且难以发现的缺陷，可以导致偶发的系统死锁和崩溃。实践证明，现有的主流开源操作系统存在不少该类缺陷，会引起实际的安全问题。随着系统软件自主化和物联网技术的发展，越来越多的国产操作系统诞生并被广泛使用，而这些国产操作系统中也会存在原子上下文休眠的缺陷，严重影响系统可靠性和安全性。由于操作系统具有代码量大、逻辑复杂和并发程度高等特点，对其进行代码分析和缺陷检测是比较困难的。
2.解决方案
本技术提出了一种检测原子上下文休眠缺陷的方法，包含了两个创新点：
1)自适应流敏感分析算法，能够较为准确高效地找出在原子上下文中被调用的函数；
2)函数调用图的检查算法，能够较为准确地判断函数是否可以休眠。
本技术还综合采用了流敏感分析、过程间分析、基于约束求解的路径检查和别名分析等，能够有效降低误报和漏报，并提升分析效率。
本技术的工作流程是自动的，不需要开发者和测试者手动分析和修改被测操作系统的源代码。因此，本发明可以应用于原子上下文休眠缺陷的检测，提高操作系统的安全性和可靠性。
合作需求
寻求对系统软件缺陷检测有需求的科技企业和科研单位，开展成果落地转化，以及探索服务模式。
清华大学
2022-05-20
【中国教育报】高博会服务高校设备更新改造及数字化建设专项工作新闻发布会召开
中国高等教育学会把服务高校设备更新改造及数字化建设列为重点工作
云上高博会
2023-01-12
中药饮片质量标准生产执行系统及智能化中药炮制设备-中药饮片生产智型物联控制系统
南京中医药大学
2021-04-13
绿色颗粒肥料产业化关键设备（分段式流化床颗粒包膜装 置）与核心工艺技术开发
成果简介：分段式流化床颗粒包膜装置主要用于农业、制 药、环保、化工等行业的肥料、药物、吸附剂、催化剂等颗粒 表面的聚合物包膜以实现肥料和药物的缓/控释系统和提高颗 粒机械强度。 与传统方法相比，本装置能够显著提高包膜的均匀性、和 包膜率和，减少包膜材料的损失，大幅度降低包膜材料的使用 量和各种包膜产品的成本，尤其适合于包膜材料成本相对昂贵 的情况，如包膜肥料等。这对于解
合肥工业大学
2021-04-14
一种基于射频与常压辉光放电的四管道异性型聚酯纤维面料表面功能化改性设备及方法
本发明公开了一种基于射频与常压辉光放电等离子体的四管道异性型聚酯纤维面料表面功能化改性设备及方法，属于纺织材料改性技术领域。设备由射频等离子体反应器和常压辉光放电反应器组成，其中射频等离子体反应器包括平行板电极、气体注入管道、中央控制系统；常压辉光放电等离子体反应器配备针极电极、PID温控模块及气体混合系统。通过双反应器协同作用，结合多通道气体精准注入与智能控制，实现阻燃、抗菌、疏水多功能改性。方法包括预处理清洁、氩气活化表面、接枝阻燃单体、氦气交联强化、CF<subgt;4</subgt;疏水处理、抗菌剂接枝及后处理。本发明突破传统工艺局限，解决功能单一、均匀性差及耐久性低的问题，适用于高温工作防护服、医用纺织品等领域。
南京工业大学
2021-01-12
建筑固体废物资源化共性关键技术及产业化应用
该项目围绕建筑固体废物高效资源化利用的重大社会需求，研发了适合我国特点的 分离、分选和质量调控等建筑垃圾处理工艺和核心装备，建立了建筑固废的全组分多路 径资源化利用模式，研发了建筑垃圾系列再生产品，形成完整产业链。该项目成果已在 北京、上海、河南等25个省市自治区建成生产线80余条，开发出再生混凝土、干混砂浆、 透水砖等系列产品，实现产业化应用。鉴定专家认为：成果拓宽了我国建筑固废资源化 利用途径，为改善建筑固废资源化利用模式、规范管理和行业健康发展提供了技术保障， 总体达到国际先进水平，对节能、环保和绿色制造有重要推动作用。
青岛农业大学
2021-04-11
建筑固体废物资源化共性关键技术及产业化应用
该项目围绕建筑固体废物高效资源化利用的重大社会需求，研发了适合我国特点的分离、分选和质量调控等建筑垃圾处理工艺和核心装备，建立了建筑固废的全组分多路径资源化利用模式，研发了建筑垃圾系列再生产品，形成完整产业链。该项目成果已在北京、上海、河南等25个省市自治区建成生产线80余条，开发出再生混凝土、干混砂浆、透水砖等系列产品，实现产业化应用。鉴定专家认为：成果拓宽了我国建筑固废资源化利用途径，为改善建筑固废资源化利用模式、规范管理和行业健康发展提供了技术保障，总体达到国际先进水平，对节能、环保和绿色制造有重要推动作用。
青岛农业大学
2021-05-07
一种超支化聚三唑功能化的石墨烯及其制备方法
一种超支化聚三唑功能化的石墨烯及其制备方法，其中，该超支化聚三唑功能化的石墨烯是将芳香基团修饰的超支化聚三唑修饰到石墨烯表面形成的；所述芳香基团修饰的超支化聚三唑是在超支化聚三唑末端接枝上芳香基团形成的。
华中科技大学
2021-04-10
一种超支化聚三唑功能化的石墨烯及其制备方法
本发明公开了一种超支化聚三唑功能化的石墨烯及其制备方法， 其中，该超支化聚三唑功能化的石墨烯是将芳香基团修饰的超支化聚 三唑修饰到石墨烯表面形成的；所述芳香基团修饰的超支化聚三唑是 在超支化聚三唑末端接枝上芳香基团形成的。本发明通过点击化学反 应制备出末端接枝上芳香基团的超支化聚三唑，然后将其以非共价键 法修饰到石墨烯的表面，使超支化聚三唑功能化的石墨烯具有良好的 分散性和反应能力；所得石墨烯具有良好的分散性和反应能
华中科技大学
2021-01-12