|
搜索
搜 索
高等教育领域数字化综合服务平台
一种检测内核模块在原子上下文中休眠错误的方法
1.痛点问题
原子上下文休眠是操作系统中一类非常危险并且难以发现的缺陷，可以导致偶发的系统死锁和崩溃。实践证明，现有的主流开源操作系统存在不少该类缺陷，会引起实际的安全问题。随着系统软件自主化和物联网技术的发展，越来越多的国产操作系统诞生并被广泛使用，而这些国产操作系统中也会存在原子上下文休眠的缺陷，严重影响系统可靠性和安全性。由于操作系统具有代码量大、逻辑复杂和并发程度高等特点，对其进行代码分析和缺陷检测是比较困难的。
2.解决方案
本技术提出了一种检测原子上下文休眠缺陷的方法，包含了两个创新点：
1)自适应流敏感分析算法，能够较为准确高效地找出在原子上下文中被调用的函数；
2)函数调用图的检查算法，能够较为准确地判断函数是否可以休眠。
本技术还综合采用了流敏感分析、过程间分析、基于约束求解的路径检查和别名分析等，能够有效降低误报和漏报，并提升分析效率。
本技术的工作流程是自动的，不需要开发者和测试者手动分析和修改被测操作系统的源代码。因此，本发明可以应用于原子上下文休眠缺陷的检测，提高操作系统的安全性和可靠性。
合作需求
寻求对系统软件缺陷检测有需求的科技企业和科研单位，开展成果落地转化，以及探索服务模式。
清华大学
2022-05-20
中国科大在基于里德堡原子的多频率微波无线传感方面取得重要进展
有效地解码了一个含噪声QR码的FDM相移键控信号，准确率高达99.32%,研究成果表明，基于深度学习增强的里德堡微波接收器可允许一次直接解码20路频分复用(FDM)信号，不需要多个带通滤波器和其他复杂电路。
中国科学技术大学
2022-06-02
超高压同塔四回交流/双回双极直流线路零序参数测量法
本发明涉及一种超高压同塔四回交流/双回双极直流线路零序参数测量法，通过建立基于分布参数的 超高压同塔四回/双回双极输电线路模型，利用全球卫星定位系统技术(GPS)，同时测量四回/四极输电 线路首末两端的零序电压和零序电流，实现对零序电压和零序电流的同步采样;再通过本专利给出的测 量与计算方法得到超高压同塔四回/双回双极输电线路的零序电阻、零序电感、零序电容参数。本发明方 法基于分布参数模型和传输线方程，极大提高了测量精度，可满足实际工程测量的需要。
武汉大学
2021-04-14
关于举办建设教育强国·高等教育改革发展论坛之平行论坛“标准引领的‘双一流’建设”的通知
经教育部批准，中国高等教育学会决定在吉林省长春市举办“建设教育强国·高等教育改革发展论坛”（以下简称“论坛”）。论坛由1个主论坛和14个平行论坛组成， “标准引领的‘双一流’建设”是平行论坛之一。
中国高等教育学会
2025-05-07
一种半桥LLC谐振变换器中的高频中间抽头平面变压器
一种半桥LLC谐振变换器中的高频中间抽头平面变压器，采用八层结构，原边绕组位于第一、三、六、八层，两个副边绕组分别位于第二、七层和四、五层，原边附加绕组包括两个矩形的附加绕组，第一、三、五、七层的绕组串联构成一个附加绕组，第二、四、六、八层的绕组串联构成另一个附加绕组，相邻两层之间的附加绕组交叉设置，且相邻两层之间的附加绕组之间采用完全正对绕制，使两个附加绕组之间的等效电感Lr’和等效电容Cr’替代谐振网络中分立的谐振电感Lr和谐振电容Cr，励磁电感Lm由中间抽头平面变压器提供，通过磨磁芯的气隙来获得需要的励磁电感值；原边绕组或副边绕组分别位于该层相应的矩形附加绕组之内。
东南大学
2021-04-11
一种五桥臂的可控整流变频调速系统的模型预测控制方法
本发明公开了一种五桥臂的可控整流变频调速系统的模型预测控制方法，包括：A、根据测量的相电流和转速估算感应电机的定子、转子磁链；B、预测下一采样时刻八个电压矢量对应定子磁链的绝对值、·744·转矩、有功功率和无功功率；C、速度外环和母线电压外环采用比例积分调节器(PI)，调节器输出有功功率给定和电机磁链给定；D、通过预测值和给定值构建系统的目标函数，分别计算共享桥臂开关状态为 0和 1 时，整流侧和逆变侧
华中科技大学
2021-04-14
一种增强甲基硫菌灵防效的杀菌混剂配方及制备方法
本发明公开了一种增强甲基硫菌灵防效的杀菌混剂配方及制备方法，涉及农用杀菌剂应用领域。该农用杀菌混剂包含甲基硫菌灵和生石灰两种有效成份，两种成份的质量份数比为1:1‑1:20，含有两种有效成份药剂或物质在使用前直接混合，其中甲基硫菌灵为原药或者是以甲基硫菌灵为主要有效成份的各种制剂。该农用杀菌混剂主要用于树体涂枝、涂干或冬春季涂白，也可用于雨季喷雾，可以替代波尔多液或波尔多浆防治果树林木枝干病害或在雨季防治叶部病害。所发明的农用杀菌混剂克服波尔多液不具备内吸治疗效果、配制方法繁琐、以及大量使用后所造成的环境污染等问题，保持波尔多液持效期长、耐雨水冲刷等优点，为杀菌剂的开发、使用提供新的思路。
青岛农业大学
2021-04-13
一种基于微流场技术实现硫代磺酸酯烷基化的方法
本发明属于有机化学合成领域，涉及一种基于微流场技术实现硫代磺酸酯烷基化的方法。将硫代苯磺酸酯类化合物1与化合物2、铁催化剂、配体、第一溶剂混合，得到混合液；将混合液泵入至微流场反应装置的微流场反应器中进行光反应，即得硫代产物3。本发明以廉价易得的铁催化剂在紫光照射下激发产生自由基的方式激活反应活性较低的烷烃，与硫代磺酸酯交叉偶联实现室温下硫代烷基化修饰反应。该方法条件温和，无需添加外源性的氧化剂及昂贵的过渡金属络合物，同时通过微流场技术强化了反应过程，提高了反应效率，大大缩短了反应时间，为相关产物的规模化放大制备奠定了强力的基础。
南京工业大学
2021-01-12
一种3,3-二氟丙烯基硫醚化合物及其制备方法
本发明公开了一种光催化制备3,3‑二氟丙烯基硫醚类化合物的方法，属于有机合成技术领域。该方法在惰性气体保护下，以3,3‑二氟烯丙基硫醚和缺电子烯烃为原料，加入光催化剂、三乙烯二胺、磷酸二氢钠及溶剂，在450‑460nm波长，40W LED光源照射及25‑35℃条件下进行光催化反应，经柱层析纯化得到目标产物。该方法采用可见光催化策略，高效构建了含α,α‑二氟烯丙基片段的化合物。与传统方法相比，具有反应条件温和、无需过渡金属催化剂、官能团兼容性好、原子经济性高等优势。所合成的3,3‑二氟丙烯基硫醚类化合物在药物分子设计、功能材料开发及农药合成等领域具有重要应用价值。本发明为含氟有机化合物的绿色合成提供了新途径。
南京工业大学
2021-01-12
一种基于RBF神经网络预测控制的双进双出球磨机控制系统及控制方法
本发明公开了一种基于RBF神经网络预测控制的双进双出球磨机控制系统及控制方法，控制系统包括基于RBF神经网络模型的预测控制器、控制量初始化模块以及被控对象，被控对象为双进双出球磨机模型，其输出连续被控量经离散化后生成的离散被控量和被控量当前设定值输入控制量初始化模块和预测控制器，控制量初始化模块输出控制量初始值输入给预测控制器，预测控制器输出离散控制向量经零阶保持器转换为连续控制量输出给双进双出球磨机模型。控制方法采用RBF神经网络正向模型和RBF神经网络逆向模型实现对被控对象的预测控制。本发明可以对系统进行提前控制和调节，适用于大滞后系统的控制，被控量响应快、超调量小，同时具有良好的鲁棒性。
东南大学
2021-04-11