|
搜索
搜 索
高等教育领域数字化综合服务平台
一种检测内核模块在原子上下文中休眠错误的方法
1.痛点问题
原子上下文休眠是操作系统中一类非常危险并且难以发现的缺陷，可以导致偶发的系统死锁和崩溃。实践证明，现有的主流开源操作系统存在不少该类缺陷，会引起实际的安全问题。随着系统软件自主化和物联网技术的发展，越来越多的国产操作系统诞生并被广泛使用，而这些国产操作系统中也会存在原子上下文休眠的缺陷，严重影响系统可靠性和安全性。由于操作系统具有代码量大、逻辑复杂和并发程度高等特点，对其进行代码分析和缺陷检测是比较困难的。
2.解决方案
本技术提出了一种检测原子上下文休眠缺陷的方法，包含了两个创新点：
1)自适应流敏感分析算法，能够较为准确高效地找出在原子上下文中被调用的函数；
2)函数调用图的检查算法，能够较为准确地判断函数是否可以休眠。
本技术还综合采用了流敏感分析、过程间分析、基于约束求解的路径检查和别名分析等，能够有效降低误报和漏报，并提升分析效率。
本技术的工作流程是自动的，不需要开发者和测试者手动分析和修改被测操作系统的源代码。因此，本发明可以应用于原子上下文休眠缺陷的检测，提高操作系统的安全性和可靠性。
合作需求
寻求对系统软件缺陷检测有需求的科技企业和科研单位，开展成果落地转化，以及探索服务模式。
清华大学
2022-05-20
中国科大在基于里德堡原子的多频率微波无线传感方面取得重要进展
有效地解码了一个含噪声QR码的FDM相移键控信号，准确率高达99.32%,研究成果表明，基于深度学习增强的里德堡微波接收器可允许一次直接解码20路频分复用(FDM)信号，不需要多个带通滤波器和其他复杂电路。
中国科学技术大学
2022-06-02
青少年多动及注意力缺陷等外向障碍在多个认知环路上的调控机制
图示：A）奖赏预期下的多动行为核心脑区；B）行为抑制任务下的冲动行为核心脑区；C）行为抑制任务下的注意力缺陷核心脑区；D）行为抑制任务下的品行问题的核心脑区
复旦大学
2021-01-12
一种五自由度的白光干涉原子力探针位姿调整机构
本发明公开了一种原子力探针位姿调整机构。包括探针座，调 节机构和连接头。其中探针座用于原子力探针的安装固定;调节机构 包括由下至上的第一调节部件、第二调节部件、第三调节部件以及第 四调节部件，分别用于原子力探针的里外水平偏摆、左右水平和上下 旋转、上下俯仰以及上下竖直位姿调节;连接头用于与显微物镜相连。 本发明能够实现原子力探针姿态在五个自由度上的细微调节，各个调 节动作相互独立，彼此不发生干涉，互不影响，提高了探针姿态的调 节精度;且能够对调节后的位姿进行锁定，使其保持稳定。
华中科技大学
2021-04-14
一种白光干涉原子力探针系统的成像自动调整装置及其控制方 法
本发明公开了一种基于白光干涉原子力探针扫描显微镜探针系 统的成像自动调整装置自动及其控制方法，该装置主要包括计算机， 夹持机构及铰链机构，原子力探针及其探针组件，白光干涉显微系统， 面 CCD 光路连接筒。在白光干涉原子力探针显微镜连接完成的情况 下，根据面 CCD 上探针的成像与面 CCD 坐标系的水平夹角，通过计算机来控制舵机偏转一定的角度，使得原子力探针在面 CCD 中的成像 与面 CCD 坐标系中的夹角在误差范围内，从而得到测量的结果有较小 的测量误差。本发明可以实现探针在面 CCD 中的成
华中科技大学
2021-04-14
一种磁测探头及一种便携式铯原子激光光泵磁力仪
本实用新型公开了一种磁测探头及一种便携式铯原子激光光泵磁力仪，其中磁测探头包括VCSEL单模激光器(4)、准直镜(5)、圆偏振器(6)、铯原子气室(7)、加热线圈(8)、射频线圈(9)和光电探测器(10)；便携式铯原子激光光泵磁力仪是一种利用激光光抽运技术与铯原子磁光共振相结合，精确测量磁场的磁力仪，包括了一个由单模激光器作为泵浦光源的磁测探头、一个中继控制器，使用PC电脑从中继控制器读取即时测量数据。本实用新型测量系统可以实时准确测得同一位置的磁感应强度。
浙江大学
2021-04-13
AIChE再度报道华东理工大学原子层沉积ALD多尺度模拟研究进展
近日，我校化工学院功能膜与电子化学品团队青年教师庄黎伟博士，与美国约翰霍普金斯大学、北卡罗来纳州立大学等单位合作，开发了一套原子层沉积（ALD）技术在多孔材料纳米孔道内进行薄膜沉积的数值模型，可用于预测2-5纳米孔道内前驱体扩散、吸附、脱附、沉积反应以及孔道收缩直至堵塞的动态过程。
华东理工大学
2022-09-28
环境透射电镜助力解析Yolk−Shell结构向表面单原子催化剂转变过程
利用电解水制造高纯氢气是当前能源利用与转换中一个重大课题，因此，探索低成本、高效的水裂解制氢反应电催化剂具有重要意义。商用IrO2催化剂由于使用贵金属，成本非常昂贵。目前，单原子催化剂已被证明是用于氧气析出反应（OER）的有效催化剂，且由于这些单原子的配位环境，使得单原子催化剂具有高选择性。同时，单原子催化剂可以提高有效负载量，并减少至少10倍的贵金属使用。 制备单原子催化剂的典型方法
南方科技大学
2021-04-14
天津大学机械学院大样品台原子力显微镜项目竞争性磋商公告
天津大学机械学院大样品台原子力显微镜项目竞争性磋商
天津大学
2022-05-27
甲醇汽车尾气净化单原子Pd1/Ce1-xLaxO2催化剂的研究
一、项目进展
创意计划阶段
二、负责人及成员
姓名
学院/所学专业
入学/毕业时间
学号
宋兆华
化学化工学院
2018.09-2022.06
201831045132
三、指导教师
姓名
学院/所学专业
职务/职称
研究方向
陈永东
化学化工学院
教授
能源催化，环境催化
四、项目简介
针对甲醇汽车尾气净化催化剂贵金属Pd用量大、甲醇深度氧化起燃温度高等问题，本项目拟以Ce1-xLaxO2为载体，采用光化学还原法制备Pd1/Ce1-xLaxO2单原子催化剂，并将其涂覆在蜂窝陶瓷上制成整体式催化剂，考察其甲醇深度氧化性能；并利用XRD、XPS、TEM、球差校正高角环形暗场扫描透射电镜（AC-HAADF-STEM）、X射线吸收精细结构（XAFS）等技术对载体及催化剂进行系统表征，揭示载体晶相、尺寸、形貌对Pd1/Ce1-xLaxO2界面结构的影响规律；结合动力学研究，建立Pd1/Ce1-xLaxO2界面结构—催化性能之间的构-效关系；为设计和开发新型高效低贵金属甲醇汽车尾气净化催化剂提供理论指导和实践基础。
西南石油大学
2023-07-20