|
搜索
搜 索
高等教育领域数字化综合服务平台
一种检测内核模块在原子上下文中休眠错误的方法
1.痛点问题
原子上下文休眠是操作系统中一类非常危险并且难以发现的缺陷，可以导致偶发的系统死锁和崩溃。实践证明，现有的主流开源操作系统存在不少该类缺陷，会引起实际的安全问题。随着系统软件自主化和物联网技术的发展，越来越多的国产操作系统诞生并被广泛使用，而这些国产操作系统中也会存在原子上下文休眠的缺陷，严重影响系统可靠性和安全性。由于操作系统具有代码量大、逻辑复杂和并发程度高等特点，对其进行代码分析和缺陷检测是比较困难的。
2.解决方案
本技术提出了一种检测原子上下文休眠缺陷的方法，包含了两个创新点：
1)自适应流敏感分析算法，能够较为准确高效地找出在原子上下文中被调用的函数；
2)函数调用图的检查算法，能够较为准确地判断函数是否可以休眠。
本技术还综合采用了流敏感分析、过程间分析、基于约束求解的路径检查和别名分析等，能够有效降低误报和漏报，并提升分析效率。
本技术的工作流程是自动的，不需要开发者和测试者手动分析和修改被测操作系统的源代码。因此，本发明可以应用于原子上下文休眠缺陷的检测，提高操作系统的安全性和可靠性。
合作需求
寻求对系统软件缺陷检测有需求的科技企业和科研单位，开展成果落地转化，以及探索服务模式。
清华大学
2022-05-20
中国科大在基于里德堡原子的多频率微波无线传感方面取得重要进展
有效地解码了一个含噪声QR码的FDM相移键控信号，准确率高达99.32%,研究成果表明，基于深度学习增强的里德堡微波接收器可允许一次直接解码20路频分复用(FDM)信号，不需要多个带通滤波器和其他复杂电路。
中国科学技术大学
2022-06-02
TRAC-II叶面积指数检测仪（植物冠层分析仪）
又称为植物冠层分析仪。只要手持本仪器在植物冠层下穿行或行走，即可获取叶面积指数、丛生指数、间隙率、光合有效辐射、光合有效辐射分量等植物冠层的参数。是联合国粮农组织推荐的叶面积指数检测仪器，并用于对LAI2000的修正或取代。
TRAC-II叶面积指数检测仪是在加拿大皇家院士陈先生的叶面积指数检测理论与算法的基础上研发的。相对第一代TRAC，主要改进有：增加了手机现场处理功能，存储容量增大了256倍，采用了无线网络通信，提高了检测精度，减轻了传感器重量，升级并完善了处理软件到TRACWin 5.9.0版。
TRAC（Tracing Radiation and Architecture of Canopies即植物冠层分析仪的缩写）是检测叶面积指数及植被吸收光合有效辐射的光学仪器。TRAC通过间隙大小分布及间隙率来检测叶面积指数，可用于森林、植冠等叶面积指数的检测，从而为森林碳汇与林业碳汇、作物长势等的研究提供依据。TRAC-II由手机及智能传感器两部分构成，检测光合有效辐射，采用无线传感器网络交换数据，通过手机或计算机处理软件计算出结果。企业合作项目。
南京信息工程大学
2021-04-26
一种基于 SD-RAN 的跨层协作内容缓存方法及系统
本发明公开了一种基于 SD-RAN 的跨层协作内容缓存系统，属 于无线通信技术领域。该系统由一个提供控制覆盖的宏蜂窝基站及其 覆盖范围内的若干个互不重叠且无缝连接的小蜂窝基站构成，宏蜂窝 基站和小蜂窝基站共同提供数据服务功能，系统通过将流行度最高的 内容缓存在小蜂窝缓存节点，次流行的内容缓存在宏蜂窝缓存节点， 可以降低用户反复从远端内容服务器调取相同内容带来的系统开销， 本发明还实现了一种基于 SD-RAN 的跨层协作内容缓存方法；本发明 充分利用软件定义网络和跨层协作缓存的优点，通过优化宏蜂窝基站 和小蜂窝基站的内容存储空间分配系数，能够显著降低系统的平均内 容获取开销。
华中科技大学
2021-04-11
一种用于制造片材与柔性薄膜复合叠层的热压设备
本发明公开了一种用于制造片材与柔性薄膜复合叠层的热压设备，该设备包括：由上下两个热压头共同组成的热压装置,位于热压装置的外侧用于将片材提供给真空拾放装置的上料装置，用于从上料装置的片材料盒中取料并将片材输送至下热压头上的相应叠合位置的真空拾放装置，位于柔性薄膜的输送路径上用于将输送中的柔性薄膜撑起一定高度的撑膜装置，以及分别用于对柔性薄膜的输送位置和片材上料位置等信息进行检测和反馈的薄膜检测装置和上料检测装置。通过本发明，能够同时实现热压、上料、拾取和转移等多种功能，结构紧凑，便于控制和操作，并利用视觉定位技术和独立的热压装置支撑框架来进一步保证薄膜叠层的精度。
华中科技大学
2021-04-11
一种气体超声波换能器压电片与匹配层的压制夹具
本实用新型公开了一种气体超声波换能器压电片与匹配层的压制夹具。底座安装下压板，底座上部安装气缸，上压板与气缸连接，上压板下端面中间纵向设有滑槽，二块固定V型块固定在滑槽内，上端放有压电片的真空吸盘安装在上压板孔中，并对真空吸盘和压电片的定位与夹紧；下压板上端面设有与上压板滑槽对称布置的滑槽，固定V型块固定在滑槽内，上端放有匹配层的真空吸盘安装在下压板孔中，活动V型块推动在滑槽内移动，实现对真空吸盘和匹配层的定位与夹紧；二个真空吸盘开有中心孔，分别经上、下压板上的气孔、气管与各自真空发生器连接。本实用新型采用负压吸附装卸压电片和匹配层方便；使用V型块定位和夹紧实现压电片和匹配层对中，同轴度较高。
浙江大学
2021-04-13
一种制备高温超导涂层导体LaSrMn03缓冲层薄膜的方法
本发明公开了一种制备高温超导涂层导体La0.7Sr0.3MnO3缓冲层薄膜的方法，属于高温超导材料制备技术领域。该方法制备的薄膜平整致密，织构良好，可以充分发挥La0.7Sr0.3MnO3作为导电型缓冲层薄膜具有的隔离、外延、电流传输的三重功效。本发明包括以下步骤：分析纯氧化镧(La2O3)按阳离子比La∶Sr∶Mn＝0.7∶0.3∶1的比例，溶解于乙酸中(乙酸与阳离子摩尔比为10∶1)。待完全溶解后，将溶液置于红外干燥箱中，待溶液被烘干成白色固体后取出。将乙酸锶和乙酸锰按照上述阳离子比La∶Sr∶Mn＝0.7∶0.3∶1的比例与制得的白色固体(即乙酸镧)混和溶解在丙酸中，形成无水溶液；向无水溶液中加入聚乙烯醇缩丁醛(PVB)，制成成膜性好的胶体；再将胶体涂覆在基片上，干燥后，放入烧结炉中烧结成相，即得镧锶锰氧La0.7Sr0.3MnO3高温超导涂层导体缓冲层。该方法成本不高，制作工艺简单，操作控制容易，不污染环境。
西南交通大学
2016-10-20
一种应用于高压固态电力电子开关的叠层母排
本发明公开了一种叠层母排，其由 9 层子排组成，通过将第一 绝缘子排(1)、第二连接子排(2)、第二绝缘子排(3)、正子排(4)、第三绝 缘子排(5)、负子排(6)、第四绝缘子排(7)、第一连接子排(8)、第五绝缘 子排(9)按从下至上的叠放次序，将各子排中各组绝缘开孔对正，而后 经压合固定成一体。本发明实例还提供了相应的高压固态电力电子开 关结构。本发明结构紧凑，空间利用率高，采用导体片代替导线并使 用相叠连接，极大的减少了线路寄生电感，平行导体片连接半导体开 关器件的不同电极，额外形成了极间缓冲
华中科技大学
2021-04-14
一种化学溶液动态制备RexCe1-xOy缓冲层长带的方法
本新技术成果提供了一种化学溶液动态制备RexCe1-xOy缓冲层长带的方法。
西南交通大学
2016-06-28
一种五自由度的白光干涉原子力探针位姿调整机构
本发明公开了一种原子力探针位姿调整机构。包括探针座，调 节机构和连接头。其中探针座用于原子力探针的安装固定;调节机构 包括由下至上的第一调节部件、第二调节部件、第三调节部件以及第 四调节部件，分别用于原子力探针的里外水平偏摆、左右水平和上下 旋转、上下俯仰以及上下竖直位姿调节;连接头用于与显微物镜相连。 本发明能够实现原子力探针姿态在五个自由度上的细微调节，各个调 节动作相互独立，彼此不发生干涉，互不影响，提高了探针姿态的调 节精度;且能够对调节后的位姿进行锁定，使其保持稳定。
华中科技大学
2021-04-14