|
搜索
搜 索
高等教育领域数字化综合服务平台
一种检测内核模块在原子上下文中休眠错误的方法
1.痛点问题
原子上下文休眠是操作系统中一类非常危险并且难以发现的缺陷，可以导致偶发的系统死锁和崩溃。实践证明，现有的主流开源操作系统存在不少该类缺陷，会引起实际的安全问题。随着系统软件自主化和物联网技术的发展，越来越多的国产操作系统诞生并被广泛使用，而这些国产操作系统中也会存在原子上下文休眠的缺陷，严重影响系统可靠性和安全性。由于操作系统具有代码量大、逻辑复杂和并发程度高等特点，对其进行代码分析和缺陷检测是比较困难的。
2.解决方案
本技术提出了一种检测原子上下文休眠缺陷的方法，包含了两个创新点：
1)自适应流敏感分析算法，能够较为准确高效地找出在原子上下文中被调用的函数；
2)函数调用图的检查算法，能够较为准确地判断函数是否可以休眠。
本技术还综合采用了流敏感分析、过程间分析、基于约束求解的路径检查和别名分析等，能够有效降低误报和漏报，并提升分析效率。
本技术的工作流程是自动的，不需要开发者和测试者手动分析和修改被测操作系统的源代码。因此，本发明可以应用于原子上下文休眠缺陷的检测，提高操作系统的安全性和可靠性。
合作需求
寻求对系统软件缺陷检测有需求的科技企业和科研单位，开展成果落地转化，以及探索服务模式。
清华大学
2022-05-20
中国科大在基于里德堡原子的多频率微波无线传感方面取得重要进展
有效地解码了一个含噪声QR码的FDM相移键控信号，准确率高达99.32%,研究成果表明，基于深度学习增强的里德堡微波接收器可允许一次直接解码20路频分复用(FDM)信号，不需要多个带通滤波器和其他复杂电路。
中国科学技术大学
2022-06-02
一种用缓冷含钛高炉渣制备CaTiO3复合材料的方法
简介：本发明公开一种用含钛高炉缓冷渣制备CaTiO3复合材料的方法，属于无机材料制备技术领域。该方法包括如下步骤：以含钛高炉渣与一定的NaNO3混合于高温下进行热改性，使Si组分转入易溶于水的Na2SiO3物相中，经过热水洗涤除去，滤渣再经过5wt%的稀盐酸溶液酸解使Al2O3、Fe2O3和MgO等组分进入滤液，再通过过滤和水洗涤除去，最大限度保留含钛高炉缓冷渣中原有的钙钛矿型CaTiO3，所获得的产品CaTiO3含量达到87%。本发明所提供的制备方法工艺简单、成本低，具有显著的经济和社会效益。
安徽工业大学
2021-04-13
一种气体超声波换能器压电片与匹配层的压制夹具
本实用新型公开了一种气体超声波换能器压电片与匹配层的压制夹具。底座安装下压板，底座上部安装气缸，上压板与气缸连接，上压板下端面中间纵向设有滑槽，二块固定V型块固定在滑槽内，上端放有压电片的真空吸盘安装在上压板孔中，并对真空吸盘和压电片的定位与夹紧；下压板上端面设有与上压板滑槽对称布置的滑槽，固定V型块固定在滑槽内，上端放有匹配层的真空吸盘安装在下压板孔中，活动V型块推动在滑槽内移动，实现对真空吸盘和匹配层的定位与夹紧；二个真空吸盘开有中心孔，分别经上、下压板上的气孔、气管与各自真空发生器连接。本实用新型采用负压吸附装卸压电片和匹配层方便；使用V型块定位和夹紧实现压电片和匹配层对中，同轴度较高。
浙江大学
2021-04-13
中国科学技术大学实现单离子超分辨成像
中国科学技术大学郭光灿院士团队在冷原子超分辨成像研究中取得重要进展。该团队李传锋、黄运锋、崔金明等人在离子阱系统中实现了单个离子的超分辨成像。
中国科学技术大学
2021-12-29
超细沸石粉填充PTFE复合材料的制备方法
本发明公开了一种超细沸石粉填充PTFE复合材料的制备方法，包括如下步骤：1）、配料：聚四氟乙烯、超细沸石粉、填充物Ⅰ、填充物Ⅱ按比例进行混合；2）、将配制所得的混合料均匀混合后在20～40MPa压强下冷压成型；3）、将步骤2）所得的成型物放入高温烧结炉中，以30～100℃/小时的升温速率加热至330～380℃保温0.5～2小时；4）、步骤3）所得的烧结产物自然冷却至室温，得超细沸石粉填充PTFE复合材料。采用该方法制备而得的超细沸石粉填充PTFE复合材料性能优异，在不显著降低PTFE基体摩擦系数的前提下提高耐磨性，应用范围广泛。
浙江大学
2021-04-11
一种基于超材料结构的湿度传感器
本发明公开了一种基于超材料结构的湿度传感器，包括基板、输入微带信号线、输出微带信号线、叉指结构、开路短截线电感、微带线地线、聚酰亚胺层，该湿度传感器是在基板上放置由叉指结构和开路短截线电感构成的超材料结构，当空气中的湿度发生变化时，叉指结构上涂覆的湿度敏感材料聚酰亚胺层能够吸收空气中的水汽分子，其介电常数发生变化，导致由叉指电容和开路短截线电感构成的超材料结构产生相应的相移输出，通过检测超材料结构的相移，实现湿度的测量，本发明灵敏度高，测量误差小，同时还具有结构简单、成本低、统计小、功耗低、工艺兼容等优势。
东南大学
2021-04-11
一种抗静电超疏水复合涂层的制备方法
本发明公开的抗静电超疏水复合涂层的制备方法，以重量份计，将0.2～2份苯乙烯-顺丁烯二酸酐交替共聚物溶解在20～1000份溶剂中，加入1份碳纳米管混合均匀，加入0～26份氨水和0.2～2份硅酸酯或钛酸酯化合物，搅拌混合，使硅酸酯或钛酸酯化合物发生水解反应，再加0.1～2份硅酸酯或钛酸酯化合物和0.02～0.5份含氟硅烷偶联剂，混合均匀后喷涂在基材上，经陈化和热处理得到稳定的抗静电超疏水复合涂层。本发明操作简便、条件温和，碳纳米管不需要进行任何化学修饰或改性便可直接使用，所得复合涂层疏水性好，与水的静接触角大于150°，滚动角小于3°，表面电阻率为106～1011Ω，满足抗静电透明涂层的需要，具有广阔的应用前景。
浙江大学
2021-04-11
大面积吹填造地超软地基加固技术
据统计，目前规划吹填造地面积达到1200km o吹填土具有含 水率高、孔隙比大、强度低、压缩性高等特点，处于超软状态，人员和施工机 械无法直接进入场地，处理难度极大，迫切需要研发适应大面积超软地基快速处 理新技术。本发明专利技术正是针对饱和吹填超软土加固难题而开发，实现了在 承载力为零的泥上施工、实现了泥上插板、泥上铺膜、泥上布管，采取新型管网 代替砂垫层水平排水系统，改进水平排水滤管，改进排水板和波纹滤管的连接方 法，实现了多项施工工艺的突破，从根本上解决了超软土地基上无法进行传统真 空预压的施工难题，开辟了特殊土地基加固的新途径。主要施工步骤包括铺设 浮桥、改性真空预压以及结合覆水预压技术：（1）在围堤内的淤泥区上铺设浮 桥；（2）在淤泥区上铺设塑料编织布，将其固定于围堤和浮桥上；（3）在塑料 编织布上水平铺设排水支管，塑料排水板缠绕排水支管插入淤泥区的淤泥中； (4)在塑料编织布上水平铺设排水主管，走向与排水支管垂直，排水主管一 端连接真空泵；(5)在排水主管、与排水支管上铺设土工布，在土工布上铺设 真空膜；(6)在真空膜上放置水荷载。
重庆大学
2021-04-11
重金属超积累植物东南景天种苗的繁殖方法
本发明涉及重金属超积累植物东南景天种苗繁殖方法。该方法通过取重金属超积累植物东南景天的茎段、茎尖或叶片进行培养繁殖，不仅取材范围宽，而且培养繁殖中每个环节易于操作，并能够实施监控，移栽成活率高，繁殖方法快速，高效，为大面积地修复重金属污染土壤提供了条件。
浙江大学
2021-04-11