|
搜索
搜 索
高等教育领域数字化综合服务平台
一种检测内核模块在原子上下文中休眠错误的方法
1.痛点问题
原子上下文休眠是操作系统中一类非常危险并且难以发现的缺陷，可以导致偶发的系统死锁和崩溃。实践证明，现有的主流开源操作系统存在不少该类缺陷，会引起实际的安全问题。随着系统软件自主化和物联网技术的发展，越来越多的国产操作系统诞生并被广泛使用，而这些国产操作系统中也会存在原子上下文休眠的缺陷，严重影响系统可靠性和安全性。由于操作系统具有代码量大、逻辑复杂和并发程度高等特点，对其进行代码分析和缺陷检测是比较困难的。
2.解决方案
本技术提出了一种检测原子上下文休眠缺陷的方法，包含了两个创新点：
1)自适应流敏感分析算法，能够较为准确高效地找出在原子上下文中被调用的函数；
2)函数调用图的检查算法，能够较为准确地判断函数是否可以休眠。
本技术还综合采用了流敏感分析、过程间分析、基于约束求解的路径检查和别名分析等，能够有效降低误报和漏报，并提升分析效率。
本技术的工作流程是自动的，不需要开发者和测试者手动分析和修改被测操作系统的源代码。因此，本发明可以应用于原子上下文休眠缺陷的检测，提高操作系统的安全性和可靠性。
合作需求
寻求对系统软件缺陷检测有需求的科技企业和科研单位，开展成果落地转化，以及探索服务模式。
清华大学
2022-05-20
中国科大在基于里德堡原子的多频率微波无线传感方面取得重要进展
有效地解码了一个含噪声QR码的FDM相移键控信号，准确率高达99.32%,研究成果表明，基于深度学习增强的里德堡微波接收器可允许一次直接解码20路频分复用(FDM)信号，不需要多个带通滤波器和其他复杂电路。
中国科学技术大学
2022-06-02
一种基于自然冷源驱动和太阳能再生的溶液除湿空调系统
本实用新型提供一种基于自然冷源驱动和太阳能再生的溶液除湿空调系统，从自然高温冷源的液体经过冷水泵后分成两路，一路通过第一调节阀后流入去除显热的干式室内末端装置后回流至自然高温冷源；另一路通过溶液式新风处理机组调节阀后流入溶液式新风处理机组，然后从溶液式新风处理机组流出后回流至自然高温冷源；溶液式新风处理机组回流的管路分成两路，一路经过第四调节阀后直接回流进自然高温冷源，另一路经过第五调节阀后先流入
青岛农业大学
2021-01-12
微生物法脱除气体中硫化氢及硫回收中试开发
成果简介： 生物脱硫是21世纪绿色化学的一个重要组成部分，适用范围广、实用性强，应用和发展前景广阔。气体生物脱硫及硫磺回收是基于生物硫氧化原理建立起来的以硫磺回收为目标的硫化氢脱除方法，具有高效、清洁、节能、无二次污染等优点。 本项目开展微生物法脱除气体中硫化氢及硫回收中试开发，
南京工业大学
2021-01-12
一种气体超声波换能器压电片与匹配层的压制夹具
本实用新型公开了一种气体超声波换能器压电片与匹配层的压制夹具。底座安装下压板，底座上部安装气缸，上压板与气缸连接，上压板下端面中间纵向设有滑槽，二块固定V型块固定在滑槽内，上端放有压电片的真空吸盘安装在上压板孔中，并对真空吸盘和压电片的定位与夹紧；下压板上端面设有与上压板滑槽对称布置的滑槽，固定V型块固定在滑槽内，上端放有匹配层的真空吸盘安装在下压板孔中，活动V型块推动在滑槽内移动，实现对真空吸盘和匹配层的定位与夹紧；二个真空吸盘开有中心孔，分别经上、下压板上的气孔、气管与各自真空发生器连接。本实用新型采用负压吸附装卸压电片和匹配层方便；使用V型块定位和夹紧实现压电片和匹配层对中，同轴度较高。
浙江大学
2021-04-13
一种五自由度的白光干涉原子力探针位姿调整机构
本发明公开了一种原子力探针位姿调整机构。包括探针座，调 节机构和连接头。其中探针座用于原子力探针的安装固定;调节机构 包括由下至上的第一调节部件、第二调节部件、第三调节部件以及第 四调节部件，分别用于原子力探针的里外水平偏摆、左右水平和上下 旋转、上下俯仰以及上下竖直位姿调节;连接头用于与显微物镜相连。 本发明能够实现原子力探针姿态在五个自由度上的细微调节，各个调 节动作相互独立，彼此不发生干涉，互不影响，提高了探针姿态的调 节精度;且能够对调节后的位姿进行锁定，使其保持稳定。
华中科技大学
2021-04-14
一种白光干涉原子力探针系统的成像自动调整装置及其控制方 法
本发明公开了一种基于白光干涉原子力探针扫描显微镜探针系 统的成像自动调整装置自动及其控制方法，该装置主要包括计算机， 夹持机构及铰链机构，原子力探针及其探针组件，白光干涉显微系统， 面 CCD 光路连接筒。在白光干涉原子力探针显微镜连接完成的情况 下，根据面 CCD 上探针的成像与面 CCD 坐标系的水平夹角，通过计算机来控制舵机偏转一定的角度，使得原子力探针在面 CCD 中的成像 与面 CCD 坐标系中的夹角在误差范围内，从而得到测量的结果有较小 的测量误差。本发明可以实现探针在面 CCD 中的成
华中科技大学
2021-04-14
一种用缓冷含钛高炉渣制备CaTiO3复合材料的方法
简介：本发明公开一种用含钛高炉缓冷渣制备CaTiO3复合材料的方法，属于无机材料制备技术领域。该方法包括如下步骤：以含钛高炉渣与一定的NaNO3混合于高温下进行热改性，使Si组分转入易溶于水的Na2SiO3物相中，经过热水洗涤除去，滤渣再经过5wt%的稀盐酸溶液酸解使Al2O3、Fe2O3和MgO等组分进入滤液，再通过过滤和水洗涤除去，最大限度保留含钛高炉缓冷渣中原有的钙钛矿型CaTiO3，所获得的产品CaTiO3含量达到87%。本发明所提供的制备方法工艺简单、成本低，具有显著的经济和社会效益。
安徽工业大学
2021-04-13
辐射与对流复合式供冷系统热湿传递动态特性与多目标预测控制
本项目以辐射与对流复合式供冷系统室内热湿环境控制为研究对 象，将先进的多目标优化预测控制应用于辐射与对流复合式供冷系统 中，与传统PID控制相比，预测控制器控制下的室内空气温度和湿度 的最大动态偏差更小，并且预测控制器对设定值的响应更快，调节时 间更短，预测控制器调节时间仅需12分钟，而PID控制需30分钟； 在热舒适性方面，系统稳定时，PID控制器控制下的热舒适性指标 PMV-PPD是波动的，而预测控制器控制下的PMV-PPD指标保持恒定，预 测控
南京工程学院
2021-01-12
辐射与对流复合式供冷系统热湿传递动态特性与多目标预测控制
本项目以辐射与对流复合式供冷系统室内热湿环境控制为研究对 象，将先进的多目标优化预测控制应用于辐射与对流复合式供冷系统 中，与传统PID控制相比，预测控制器控制下的室内空气温度和湿度 的最大动态偏差更小，并且预测控制器对设定值的响应更快，调节时 间更短，预测控制器调节时间仅需12分钟，而PID控制需30分钟； 在热舒适性方面，系统稳定时，PID控制器控制下的热舒适性指标 PMV-PPD是波动的，而预测控制器控制下的PMV-PPD指标保持恒定，预 测控制器将PMV-PPD指标降至热舒适范围所需调节时间
南京工程学院
2021-01-12