1.痛点问题 原子上下文休眠是操作系统中一类非常危险并且难以发现的缺陷，可以导致偶发的系统死锁和崩溃。实践证明，现有的主流开源操作系统存在不少该类缺陷，会引起实际的安全问题。随着系统软件自主化和物联网技术的发展，越来越多的国产操作系统诞生并被广泛使用，而这些国产操作系统中也会存在原子上下文休眠的缺陷，严重影响系统可靠性和安全性。由于操作系统具有代码量大、逻辑复杂和并发程度高等特点，对其进行代码分析和缺陷检测是比较困难的。 2.解决方案 本技术提出了一种检测原子上下文休眠缺陷的方法，包含了两个创新点： 1)自适应流敏感分析算法，能够较为准确高效地找出在原子上下文中被调用的函数； 2)函数调用图的检查算法，能够较为准确地判断函数是否可以休眠。 本技术还综合采用了流敏感分析、过程间分析、基于约束求解的路径检查和别名分析等，能够有效降低误报和漏报，并提升分析效率。 本技术的工作流程是自动的，不需要开发者和测试者手动分析和修改被测操作系统的源代码。因此，本发明可以应用于原子上下文休眠缺陷的检测，提高操作系统的安全性和可靠性。 合作需求 寻求对系统软件缺陷检测有需求的科技企业和科研单位，开展成果落地转化，以及探索服务模式。

小型化高稳定度光频原子钟是一项结合小体积和高稳定度优点的时频计量科学仪器设备，性能指标超越传统微波原子钟，基于创新性的研究方案，克服了光晶格钟和离子光钟普遍存在的体积庞大、系统复杂的问题，具有巨大的应用前景和产业化能力。该项目已实现基于钙、铷、铯不同原子体系的小型化高稳定度光频原子钟。在钙原子方面，创新性提出热原子能级转移探测方案被国际著名研究单位广泛引用效仿。在铷、铯原子方面，通过与国内科研机构的项目合作，实现了研究成果处于国际先进水平的小型化高稳定度光频原子钟。

本技术提出了基于多尺度理论模拟结合深度机器学习的一整套解决方案，即利用先进多尺度模拟方法精准解析SEI原子结构，建立新一代SEI模型，阐明SEI结构和形成机制，完整构建SEI与电池性能之间的内在联系，定向设计符合不同商用条件的新型电解液配方，为开发新一代高能量密度电池提供可能。 一、项目分类 显著效益成果转化 二、技术分析 随着智能手机、笔记本电脑等消费电子产品的快速发展，锂离子电池（Lithium Ion Battery, 简写为LIB）已经成为最成功的电化学储能设备之一，并从根本上影响并改变了人们的日常生活方式。随着制造工艺的逐步成熟，LIB的能量密度已经接近其理论极限。另一方面，可移动电子设备的快速普及和汽车电动化的蓬勃发展也不断要求开发具有更高能量密度的充电电池以满足实际使用的需求，而最先进的LIB依然无法完全满足上述需求。因此，寻找更高能量比的锂电池电极材料，加快下一代新型锂电池关键技术的相关研究，已成为制约锂电池技术产业发展进步的关键问题。锂金属电池的能量密度虽足以达到下一代电动车的要求，但其自身的稳定性仍令人担忧，这主要是因为Li金属的反应活性过高，其几乎可与所有的电解液均能自发地发生化学反应。在电池的运行过程中，Li电极和电解液之间通过自发化学反应和电化学反应导致了固体电解质界面（solid electrolyte interphase，SEI）的形成。当所形成的SEI结构不均匀时会诱发电池体积膨胀，此外，充放电过程中锂的不均匀沉积会导致锂枝晶的形成，锂枝晶的不规则生长会刺穿SEI，导致SEI膜发生破裂，并产生死锂，降低锂金属电池库伦效率；更严重的是，锂枝晶的不断生长会刺穿隔膜，造成电池内部的短路，导致火灾和爆炸等安全事故，大大缩短了电池的使用寿命，严重阻碍了其大规模商业化发展。因此，SEI对LMB的性能具有至关重要的影响。良好且稳定的SEI可以阻止（或者大幅度减缓）负极界面上反应的持续发生，起到保护Li电极的作用。针对下一代高稳定性锂金属电池设计中存在的关键问题，结合国际研究进展与本团队前期研究基础，我们提出了基于多尺度理论模拟结合深度机器学习的一整套解决方案，即利用先进多尺度模拟方法精准解析SEI原子结构，建立新一代SEI模型，阐明SEI结构和形成机制，完整构建SEI与电池性能之间的内在联系，定向设计符合不同商用条件的新型电解液配方，为开发新一代高能量密度电池提供可能。本方案已形成完整的工作流，相关自动化软件已开发完成并交付使用，且具有完全的自主知识产权，可用于国内外上游电池生产研发企业积累原始电池性能数据，大范围筛选有效电解液组分，指导下一代高能量密度锂电池研制。 我们的技术优势与创新主要表现在： 1）首次在电池体系中实现了QM与MM的混合模拟与混合加速； 2）在电池体系模拟中实现了开放电子体系对电化学反应的热力学和动力学预测； 3）在保证精度的前提下，实现了在纳米尺度上对真实的实验SEI结构直接模拟； 4）通过耦合深度机器学习，实现了电解液组分大范围筛选与性能优化。

项目简介： 目前，针对衣服和鞋子都推出个性定制，高端时尚领域也为之疯 狂。量体裁衣的难题在于设备昂贵、精确的测量与裁缝的经验不衔接、 服装放宽量大，需要更多的经验、服装式样起主导作用，尺寸的误差 对舒适度影响不大等等；量足制履的难题在于设备比较简单、脚与鞋 贴合紧密和高跟鞋型与脚型不匹配直接影响舒适度和足部健康等等。

背  景特有技术： 彩色编码光栅三维测量技术：技术特点： 单幅照片完成三维测量适用范围： 人体测量量体裁衣 设备昂贵 精确的测量与裁缝的经验不衔接 服装放宽量大，需要更多的经验 服装式样起主导作用，尺寸的误差对舒适度影响不大

MS-246小型多靶磁控溅射镀膜机 真空腔室：1Cr18Ni9Ti优质不锈钢材质，氩弧焊接，上开盖和前开门结构；真空系统：机械泵+分子泵（进口和国产可选）；极限真空：优于8✕10-5Pa（设备空载抽真空24h）；真空抽速：大气～8✕10-4Pa≤30min；升降基片台：尺寸直径100mm，高度60～120mm可调，旋转0～20r/min可调，可加热至300℃（可选水冷功能），可选配偏压清洗功能；磁控靶：直径2英寸2只（可升级成3只），兼容直流和射频，可以溅射磁性材料的靶材；溅射电源：直流脉冲溅射电源、全自动匹配的射频溅射电源可任选；质量流量计：10sccm、50sccm质量流量控制器各1套；膜厚监控仪：可选配国产或进口单水冷探头膜厚仪；控制方式：PLC+触摸屏控制系统，具备漏气自检与提示、通讯故障，实现一键抽停真空；整机尺寸：L60cm✕W60cm✕H96cm机电一体化机架，预留1个CF35法兰接口。

EV-246小型电阻蒸发镀膜机真空腔室：1Cr18Ni9Ti优质不锈钢材质，氩弧焊接，上开盖和前开门结构；真空系统：机械泵+分子泵（进口和国产可选）；极限真空：优于8✕10-5Pa（设备空载抽真空24h）；真空抽速：大气～8✕10-4Pa≤30min；基片台：可拆卸式，尺寸60✕60mm，旋转0～20r/min可调，可加热至300℃（可选水冷功能）；蒸发源及电源：水冷铜电极3组，逆变式蒸发电源，功率2KW，配源间防污隔板；膜厚监控仪：采用国产或进口膜厚监控仪在线监测和控制蒸发速率、膜厚；控制方式：PLC+触摸屏控制系统，具备漏气自检与提示、通讯故障，实现一键抽停真空；整机尺寸：L60cm✕W60cm✕H96cm机电一体化机架，预留1个CF35法兰接口。

本发明属于流化床和多相流领域，特别涉及一种强化载氧体氧化再生的化学链燃烧空气反应器；包括反应室、第一提升管、复合式内构件和第二提升管；所述反应室的侧壁设置给料口，底部设置空气入口；所述反应室和第一提升管之间采用第一渐缩管连接；所述第一提升管与第二提升管之间安装有复合式内构件；所述复合式内构件包括第二渐缩管、环形内构件、导向管、支撑板和倾斜式环形内构件；解决了现有技术中提升管内载氧体径向分布不均、氧化再生效率不高的问题，可以有效延长载氧体的停留时间，提高大粒径载氧体的氧化再生效率，从而提高化学链燃烧效率。

本发明公开了一种多径网络中基于链路时延控制的软负载均衡 方法。在此算法模型中，决定流量的最佳路径分配时，同时考虑了传 播时延和链路带宽，在无额外开销的基础上，一方面，可以实现最小 化最大链路端到端时延，减小接收端数据包重排序的等待时延；另一 方面，可以使各条链路的端到端时延差最小，因此减小了数据包时延 抖动，降低了数据包进行重排序的风险。数据包进行重排序的风险越 低、等待时延越小，数据包重排序进程带来的时延越小。因此，本发 明提出的算法模型不仅能减小端到端时延，还能减小数据包重排序进 程的时延，进而使得成功传输一个数据包的时延减小，优化多径网络 整体的吞吐量。

本发明公开了一种基于矢量变换与信号滤波的定子磁链计算方法。采用交流电动机定子磁链的电压模型，对输入的反电动势矢量进行幅值和相位变换直接得到原始的定子磁链矢量，然后经过信号滤波与补偿处理得到期望的定子磁链。分别设计了基于可编程的低通滤波器(LPF)和带通滤波器(BPF)的矢量变换方案，并且根据计算磁链幅值尽快收敛于给定磁链值的原则得到优化函数，对 LPF 与 BPF 的优点进行组合，得到性能最优的磁链计算方法。进一步的