|
搜索
搜 索
高等教育领域数字化综合服务平台
一种检测内核模块在原子上下文中休眠错误的方法
1.痛点问题
原子上下文休眠是操作系统中一类非常危险并且难以发现的缺陷，可以导致偶发的系统死锁和崩溃。实践证明，现有的主流开源操作系统存在不少该类缺陷，会引起实际的安全问题。随着系统软件自主化和物联网技术的发展，越来越多的国产操作系统诞生并被广泛使用，而这些国产操作系统中也会存在原子上下文休眠的缺陷，严重影响系统可靠性和安全性。由于操作系统具有代码量大、逻辑复杂和并发程度高等特点，对其进行代码分析和缺陷检测是比较困难的。
2.解决方案
本技术提出了一种检测原子上下文休眠缺陷的方法，包含了两个创新点：
1)自适应流敏感分析算法，能够较为准确高效地找出在原子上下文中被调用的函数；
2)函数调用图的检查算法，能够较为准确地判断函数是否可以休眠。
本技术还综合采用了流敏感分析、过程间分析、基于约束求解的路径检查和别名分析等，能够有效降低误报和漏报，并提升分析效率。
本技术的工作流程是自动的，不需要开发者和测试者手动分析和修改被测操作系统的源代码。因此，本发明可以应用于原子上下文休眠缺陷的检测，提高操作系统的安全性和可靠性。
合作需求
寻求对系统软件缺陷检测有需求的科技企业和科研单位，开展成果落地转化，以及探索服务模式。
清华大学
2022-05-20
中国科大在基于里德堡原子的多频率微波无线传感方面取得重要进展
有效地解码了一个含噪声QR码的FDM相移键控信号，准确率高达99.32%,研究成果表明，基于深度学习增强的里德堡微波接收器可允许一次直接解码20路频分复用(FDM)信号，不需要多个带通滤波器和其他复杂电路。
中国科学技术大学
2022-06-02
积分球均匀光源测光功率光通量反射率量子效率辐射光度球光通球PTFE 型号：ISK300
产品信息：
创谱仪器ISK系列积分球是可以把光源/样品放置在积分球内部进行测量，如光源放置在内部，可以形成均匀光源；如中心内部放置样品，可以测试样品的荧光量子效率；内壁喷涂PTFE，具有很高的漫反射特性；
把光源放置在积分球内，光源发出的光在球内壁上经过无数次的漫反射，充分积分球之后，最终在积分球出口平面的光斑是一种均匀的漫射光，具有理想的朗伯余弦特性，所以这种均匀光斑，在国防，科研，工业等众多领域有广泛应用。例如：均匀照明源，光学仪器定标等；
创谱仪器可以根据客户要求定制各种应用积分球！
山东创谱光学仪器有限公司
2025-12-03
生科院钟伯坚研究组揭示南极嗜冷绿藻基因组水平适应极端环境的分子机制
我校生命科学学院钟伯坚教授研究组联合自然资源部第一海洋研究所等科研单位，对南极海冰生态系统特有的南极衣藻进行了基因组适应性进化研究，为理解南极植物适应极端环境的分子机制提供崭新的思路。 该研究利用三代PacBio测序、二代Illumina测序、10× Genomics和高通量染色体构象捕获技术（Hi-C）获得了南极衣藻高质量的全基因组序列，其基因组总长度为541.86Mb（Scaffold N50达到19.23Mb）。南极衣藻基因组是目前已知最大的绿藻基因组，其基因数目也是绿藻基因组中最多的，共编码19870个基因。基因组结构分析发现重复序列占其基因组序列的63.78%，重复序列含量为已发表绿藻基因组中最高。转座元件（TE）是基因组重复序列的主要组成部分，占整个基因组序列的40.67%。分析表明南极衣藻的反转录转座子发生了明显的扩张，是造成其基因组增大的主要原因。 本研究估算了南极衣藻的分化时间大约为34个百万年，与德雷克海峡开放导致南极极端低温形成的时期一致，推测南极衣藻的起源与南极极端低温的形成有关。研究发现南极衣藻通过水平基因转移的方式获得了冰结合蛋白，该蛋白可以与小的冰晶结合，具有抑制冰结晶和生长的功能。通过进一步的功能实验证实了南极衣藻中的冰结合蛋白具有提高生物抗冻能力的作用。因此，推测冰结合蛋白的获得对南极衣藻避免冰冻损伤和适应海冰中极端低温的环境十分重要。
南京师范大学
2021-02-01
一种基于单频网外辐射源雷达的飞机目标识别方法
本发明公开了一种基于单频网外辐射源雷达的飞机目标识别方法，利用飞机目标旋转部件（旋翼、 螺旋桨、或喷气式引擎）产生的微多普勒调制特征进行目标识别。首先对参考通道和监测通道信号进行 二维互相关处理，据此实现对目标的检测；接着从距离多普勒谱上不同距离单元位置提取各个发射站所 对应的微多普勒特征；最后利用信息融合技术对多角度特征进行决策级融合识别。本发明组合了单频网 中各个发射站同时提供的微多普勒特征，减少了目标微多普勒特征的姿态敏感性，从而提高识别
武汉大学
2021-04-14
6.5" 二分频无源同轴塑壳吸吊顶全频音箱-PH06
PH06是一款无源同轴塑壳吸（吊）顶音箱，由5个1寸的钕磁球顶高音单元和1个6.5寸钕磁中低音单元构成一个动态余量极大的组合，高音同轴弧形阵列式排布在中低音上方，声像定位更准，减少墙壁和地板的反射，声场覆盖均匀。产品完全自主创新设计，已申请专利。音色清晰明亮、厚实饱满，可外漏顶部吊挂式安装，也可以半隐藏顶部锁扣固定式安装，可以完美应用于各类室内扩声场合。
音王电声股份有限公司
2022-07-02
光伏发电逆变系统的研究和开发
我们对如何通过预测控制的各要素设计，提升逆变系统的性能指标，进行研究，取得了良好的成果。对LCL型三电平逆变系统，我们在分析系统指标与系统控制量之间关系的基础上，设计了相应的基于个离散控制量的预测控制器，为解决该类非线性约束优化在线计算量大的问题，基于分值定界的思想提出了相应基于DSP的快速算法。为进一步提升逆变系统的效率等指标，我们提出了变系数的光伏逆变预测控制器，在目标函数中对电流跟踪和大电流时开关动作的抑制实现了统一，设计了相应的系数表达式并给出相关算法和实验结果。我们进一步研究了基于预测控制的微电网系统的调度问题，针对微电网群系统集中式优化计算量巨大的问题，我们从结合ADMM，从给出了系统的分布式预测控制器并对其在线迭代算法并进行了研究和验证。同时，我们对无线并联型逆变系统的稳定性进行了分析。达到了预期研究目标。
南昌航空大学
2021-05-04
阳离子硫鎓盐紫外光引发剂
与自由基光固化体系相比，阳离子光固化体系具有以下特点：（1）固化体积收缩率小，（2）不被氧气阻聚，（3）固化反应不易终止。适用于厚膜和色漆的光固化，可广泛用于涂料、油墨、黏合剂，电子工业的封装材料，光刻胶及印刷材料等领域。因此，研究开发阳离子的光固化引发剂具有重要意义
武汉工程大学
2021-04-11
光物联网之智能光纤光缆管理监控系统
"项目涉及兼具高科技和经济环保意义的光纤光缆传感技术，获得山东省科技进步二等奖等两项，该技术利用光纤对环境变化的敏感性，将输入物理量变换为调制的光信号。其工作原理基于光纤的光调制效应，即光纤在外界环境因素，如温度、压力、电场、磁场等等改变时，其传光特性，如相位与光强，会发生变化的现象。因此，如果能测出通过光纤的光相位、光强变化，就可以知道被测物理量的变化。凭借自主研发的专利光纤光缆传感技术以及精湛的工艺水平，并结合多年的行业经验和客户积累，开发出了面向通信行业的业界首套智能光纤光缆管理监控系统（IFMS），该系统采用创新式的便携式音频标签，对于无源的光纤线路做业务无损的快速标定。智能光纤光缆管理监控系统具有外形紧凑、节能、智能化、高可靠、无污染、大数据等特点，符合我国建设节约型社会和环境友好型社会的要求。同时，该系统还可以拓展到光纤周界防护、水下震动定位等多个领域，满足不同行业的需求。在物联网发展及国家对光纤光缆改造工程的大背景下，“智能光纤光缆管理监控系统”，仅在运营商就拥有每年有~0.9亿的市场规模，考虑基于该系统的扩展，计算国防、民生、工程等领域，更是拥有广阔的市场前景。 "
山东大学
2021-04-10
太阳能自动跟踪光伏发电驱动系统
本发明提供一种太阳能自动跟踪光伏发电驱动系统，旨在提供一种以太阳能为能源的用于太阳能集热板转动的驱动系统，它包括太阳能槽式集热板、太阳能自动跟踪仪、太阳能电池组件、电机箱、电机、传动齿轮、转动轴、蓄电池。本系统在太阳光自动跟踪仪的带动下能全天候跟踪太阳光，通过太阳能电池组件的光伏发电为太阳能槽式集热板的转动提供动力源，使该系统具有很高的光能利用率和传质效率，采用固定式太阳能电池的效率一般在10%左右，而采用自动跟踪技术可使太阳能电池效率率达到20%左右。太阳能发电所提供的驱动动力源，使本系统摆脱外接电源的束缚，做到了高效节能，自给自足。
天津城建大学
2021-04-11