检索结果-南通市图书馆

同方期刊数据库

HiLog:OpenHarmony的高性能日志系统

在线全文

学校读者我要写书评

暂无评论

软件学报 2024年第4期35卷 2055-2075页

作者：吴圣垚王枫武延军凌祥屈晟罗天悦吴敬征中国科学院软件研究所智能软件研究中心北京100190 计算机科学国家重点实验室(中国科学院软件研究所) 北京100190

日志是计算机系统中记录事件状态信息的的重要载体,日志系统负责计算机系统的日志生成、收集和输出.OpenHarmony是新兴的、面向全设备、全场景的开源操作系统.在所述工作之前,包括日志系统在内OpenHarmony有许多关键子系统尚未构建,而Op... 详细信息

日志是计算机系统中记录事件状态信息的的重要载体,日志系统负责计算机系统的日志生成、收集和输出.OpenHarmony是新兴的、面向全设备、全场景的开源操作系统.在所述工作之前,包括日志系统在内OpenHarmony有许多关键子系统尚未构建,而OpenHarmony的开源特性使第三方开发者可以为其贡献核心代码.为了解决Open Harmony日志系统缺乏的问题,主要开展如下工作:(1)分析当今主流日志系统的技术架构和优缺点;(2)基于OpenHarmony操作系统的异构设备互联特性设计HiLog日志系统模型规范;(3)设计并实现第1个面向OpenHarmony的日志系统HiLog,并贡献到OpenHarmony主线;(4)对HiLog日志系统的关键指标进行测试和对比试验.实验数据表明,在基础性能方面,HiLog和Log的日志写入阶段吞吐量分别为1500 KB/s和700 KB/s,相比Android日志系统吞吐量提升114%;在日志持久化方面,HiLog可以3.5%的压缩率进行持久化,并且丢包率小于6‰,远低于Log.此外,HiLog还具备数据安全、流量控制等新型实用能力.

关键词：操作系统日志系统开源软件数据安全流量控制

谛听:面向鲁棒分布外样本检测的半监督对抗训练方法

在线全文

学校读者我要写书评

暂无评论

软件学报 2024年第6期35卷 2936-2950页

作者：周志阳窦文生李硕亢良伊王帅刘杰叶丹中国科学院软件研究所北京100190 中国科学院大学北京100049 计算机科学国家重点实验室(中国科学院软件研究所) 北京100190 中国科学院大学南京学院江苏南京211135

检测训练集分布之外的分布外(out-of-distribution,OOD)样本对于深度神经网络(deep neural network,DNN)分类器在开放环境的部署至关重要.检测OOD样本可以视为一种二分类问题,即把输入样本分类为“分布内(in-distribution,ID)”类或“... 详细信息

检测训练集分布之外的分布外(out-of-distribution,OOD)样本对于深度神经网络(deep neural network,DNN)分类器在开放环境的部署至关重要.检测OOD样本可以视为一种二分类问题,即把输入样本分类为“分布内(in-distribution,ID)”类或“分布外”类.进一步地,检测器自身还可能遭受到恶意的对抗攻击而被再次绕过.这些带有恶意扰动的OOD样本称为对抗OOD样本.构建鲁棒的OOD检测器以检测对抗OOD样本是一项更具挑战性的任务.为习得可分离且对恶意扰动鲁棒的表示,现有方法往往利用辅助的干净OOD样本邻域内的对抗OOD样本来训练DNN.然而,由于辅助的OOD训练集与原ID训练集的分布差异,训练对抗OOD样本无法足够有效地使分布内决策边界对对抗扰动真正鲁棒.从ID样本的邻域内生成的对抗ID样本拥有与原ID样本近乎一样的语义信息,是一种离分布内区域更近的OOD样本,对提升分布内边界对对抗扰动的鲁棒性很有效.基于此,提出一种半监督的对抗训练方法——谛听,来构建鲁棒的OOD检测器,用以同时检测干净OOD样本和对抗OOD样本.谛听将对抗ID样本视为一种辅助的“近OOD”样本,并将其与其他辅助的干净OOD样本和对抗OOD样本联合训练DNN,以提升OOD检测的鲁棒性.实验结果表明,谛听在检测由强攻击生成的对抗OOD样本上具有显著的优势,同时在原分类主任务及检测干净OOD样本上保持先进的性能.

关键词：分布外样本检测对抗鲁棒性对抗训练

从线性校验子分析方法浅析曾肯成先生的密码分析思想

在线全文

学校读者我要写书评

暂无评论

密码学报（中英文） 2024年第2期11卷 255-262页

作者：冯登国中国科学院软件研究所北京100190

曾肯成先生于1986年洞察到了密码体制中的熵漏现象,后来在此基础上提出著名的线性校验子分析方法.本文全面剖析了线性校验子分析方法的发展历程,由此深刻揭示了曾先生的密码分析思想的精髓.首先,介绍曾先生通过观察Geffe序列生成器的熵... 详细信息

曾肯成先生于1986年洞察到了密码体制中的熵漏现象,后来在此基础上提出著名的线性校验子分析方法.本文全面剖析了线性校验子分析方法的发展历程,由此深刻揭示了曾先生的密码分析思想的精髓.首先,介绍曾先生通过观察Geffe序列生成器的熵漏现象,提出线性校验子分析方法的朴素思想的过程及其蕴含的思想方法;其次,介绍曾先生通过在Geffe序列生成器基础上凝练出的一般问题,提出解决这一问题的一般方法—线性校验子分析方法的过程及其蕴含的思想方法;再次,介绍曾先生通过分析线性校验子分析方法存在的缺陷,进一步完善和改进线性校验子分析方法的过程及其蕴含的思想方法;最后,通过分析从相关分析方法到线性校验子分析方法的进阶之路,阐述了线性校验子分析方法这把利剑的威力.

关键词：序列密码密码分析线性校验子分析方法相关分析方法择多原理

在线全文

学校读者我要写书评

暂无评论

一种扫频干涉激光测距系统的标定方法

光学学报 2024年第14期44卷 111-119页

作者：闫语畅薛蔺洋陈潇洒陈桂林韩昌佩中国科学院上海技术物理研究所中国科学院大学

针对扫频干涉激光测距系统的标定问题，首先建立扫频干涉的数学物理模型，对测距原理进行推导；然后针对激光频率漂移导致系统误差的问题，提出通过改变扫描镜角度并利用基准尺对系统参数进行标定的方法；之后研究激光器扫频非线性误差... 详细信息

针对扫频干涉激光测距系统的标定问题，首先建立扫频干涉的数学物理模型，对测距原理进行推导；然后针对激光频率漂移导致系统误差的问题，提出通过改变扫描镜角度并利用基准尺对系统参数进行标定的方法；之后研究激光器扫频非线性误差数学物理模型，提出线性电流调制和信号处理算法对扫频特性进行标定，再构造电流调制函数对扫频非线性进行校正，仿真分析并对其进行验证；最后搭建相关实验平台，对两种标定校正方法分别进行实验，验证所提方法的有效性。在不额外增加光学器件或高精度仪器的情况下，所提标定方法可以实现扫频干涉激光测距系统的参数标定和校正，对在地面测试和在轨部署应用的测距系统保持长期稳定工作具有实际工程价值。

关键词：测量扫频干涉激光测距分布式反馈激光器系统标定非线性校正风云四号

在线全文

同方期刊数据库

学校读者我要写书评

暂无评论

GH3535合金焊缝高温氦离子辐照效应

金属学报 2024年第3期60卷 299-310页

作者：白菊菊李健健付崇龙陈双建李志军林俊中国科学院上海应用物理研究所上海201800 中国科学院大学北京100049

焊缝因其组织及力学性能不均匀性常被视为结构材料的薄弱环节。本工作对焊缝进行高温氦离子辐照效应研究,明确辐照缺陷在焊缝与母材中的演化差异。850℃下,对GH3535合金焊接接头进行2×10^(16) ions/cm^(2)氦离子辐照,利用TEM和纳米压... 详细信息

焊缝因其组织及力学性能不均匀性常被视为结构材料的薄弱环节。本工作对焊缝进行高温氦离子辐照效应研究,明确辐照缺陷在焊缝与母材中的演化差异。850℃下,对GH3535合金焊接接头进行2×10^(16) ions/cm^(2)氦离子辐照,利用TEM和纳米压痕仪对焊缝和母材的微观结构及力学性能进行表征,对比分析高温下焊缝中微观缺陷的演化行为及力学性能变化。结果表明,850℃下,焊缝中He泡多分布在位错线和碳化物-基体界面上,碳化物-基体界面上的He泡较位错线上的He泡尺寸更小,密度更高;焊缝中峰值处He泡平均数密度小于母材,尺寸略大于母材,而位错环的数密度和尺寸均小于母材。纳米压痕结果表明,同样辐照条件下,焊缝的辐照硬化程度(36%)约为母材(70%)的一半。经DBH模型计算确认辐照后样品中He泡和位错环是造成辐照硬化的主要因素。分析认为,高温下纳米碳化物和位错线对He原子以及间隙子的捕获是导致焊缝与母材辐照行为差异的关键原因。

关键词： GH3535焊接接头氦离子辐照 He泡位错环辐照硬化

基于核空间联合稀疏表示和指数平滑的多基地水下小目标识别

在线全文

学校读者我要写书评

暂无评论

电子学报 2024年第1期52卷 217-231页

作者：王佳维许枫杨娟中国科学院声学研究所北京100190 中国科学院大学北京100049

针对多基地水下小目标分类识别问题,本文提出了一种基于核空间联合稀疏表示和指数平滑的多基地水下小目标识别方法 .对水下目标多角度散射信号提取6种典型的具有信息互补性和关联性的特征,提出一种随机森林(Random Forest,RF)和最小冗... 详细信息

针对多基地水下小目标分类识别问题,本文提出了一种基于核空间联合稀疏表示和指数平滑的多基地水下小目标识别方法 .对水下目标多角度散射信号提取6种典型的具有信息互补性和关联性的特征,提出一种随机森林(Random Forest,RF)和最小冗余最大相关(minimum Redundancy and Maximum Relevance,mRMR)相结合的特征选择方法(RF-mRMR),得出综合的特征重要性排序结果 .通过实验得出分类模型所需的最优特征子集,达到降低数据处理复杂度和提高目标分类结果的目的 .为了捕捉到数据中的高阶结构,在联合稀疏表示模型的基础上,使用核函数将线性不可分的特征数据映射到高维核特征空间.为了充分挖掘稀疏重构后包含在残差波段中的有用信息,使用指数平滑公式对具有一定意义的残差信息进行再利用,最后由核特征空间下的最小误差准则判定目标的类别.应用本文提出的方法对4类目标的海试数据进行识别,结果表明,相较于其他7种对比算法,本文提出的改进方法具有更好的分类性能,而且大多数情况下,本文提出的算法在双基地声呐模式下具有比单基地声呐更高的识别准确率和更低的虚警率.

关键词：多基地水下小目标识别多特征融合特征选择核空间联合稀疏表示指数平滑

同方期刊数据库

在线全文

学校读者我要写书评

暂无评论

耦合浅海声信道目标回波建模与检测性能分析

声学学报 2024年第4期49卷 719-730页

作者：许彦伟薛勐谷浩翔刘明刚侯朝焕中国科学院声学研究所北京100190 中国科学院大学北京100049

为提高浅海扩展目标回波检测性能,基于浅海声信道模型和多亮点模型,建立了耦合浅海声信道扩展目标回波模型,并基于副本相关积分(RCI)检测理论对浅海多亮点目标回波RCI检测进行了理论推导。采用带宽分别为50 Hz,100 Hz,500 Hz,1000 Hz的... 详细信息

为提高浅海扩展目标回波检测性能,基于浅海声信道模型和多亮点模型,建立了耦合浅海声信道扩展目标回波模型,并基于副本相关积分(RCI)检测理论对浅海多亮点目标回波RCI检测进行了理论推导。采用带宽分别为50 Hz,100 Hz,500 Hz,1000 Hz的线性调频信号,仿真分析了不同浅海环境下的RCI检测性能。结果表明,海深、声呐深度、目标位置和波形带宽都会影响浅海目标回波扩展特性和RCI检测性能,合适的声呐深度和波形带宽有利于提高浅海扩展目标检测性能。

关键词：扩展目标浅海声信道多亮点模型副本相关积分检测

在线全文

学校读者我要写书评

暂无评论

具有可变真空结构的物镜优化设计及性能分析

光学学报 2024年第5期44卷 193-202页

作者：史丽娜王鹏飞刘俊标王岩殷伯华韩立中国科学院电工研究所北京100190 中国科学院大学北京100049

环境扫描电子显微镜(ESEM)能够在低真空环境模式下对含水、含油以及生物等样品进行高分辨率观测。由于电子束通道与样品室间存在着极大的真空压差,采用真空差分结构会导致出现物镜的工作距离增加、偏转范围缩小、电子束和气体碰撞概率... 详细信息

环境扫描电子显微镜(ESEM)能够在低真空环境模式下对含水、含油以及生物等样品进行高分辨率观测。由于电子束通道与样品室间存在着极大的真空压差,采用真空差分结构会导致出现物镜的工作距离增加、偏转范围缩小、电子束和气体碰撞概率增加等问题,最终影响成像分辨率和效率。针对这些问题,本文从电子光学理论出发,综合考虑了ESEM中物镜结构和真空差分结构,将两者结合在一起进行优化设计,提出了一种具有可变真空结构的物镜设计方法,并搭建了实验平台,开展了物镜磁场测试、真空压差测试和分辨率测试。测试结果表明,在目前实验条件和133 Pa的低真空环境模式下,工作距离为15 mm时,20μm×20μm的扫描场对应的成像分辨率优于50 nm。

关键词：电子光学物镜可变真空结构压差光阑节流管

在线全文

学校读者我要写书评

暂无评论

柔直换流阀用相变冷却工质击穿特性研究

电工技术学报 2024年第3期39卷 875-886,913页

作者：温英科阮琳中国科学院电工研究所北京100190 中国科学院大学北京100049

相变冷却技术冷却效率高、安全可靠,有望攻克柔直换流阀散热瓶颈,实现其高压、大容量发展,在换流阀冷却领域具有良好的应用前景。为实现相变冷却换流阀绝缘系统可靠设计,该文设计研制了三相态相变冷却工质可调频绝缘特性测试专用平台,... 详细信息

相变冷却技术冷却效率高、安全可靠,有望攻克柔直换流阀散热瓶颈,实现其高压、大容量发展,在换流阀冷却领域具有良好的应用前景。为实现相变冷却换流阀绝缘系统可靠设计,该文设计研制了三相态相变冷却工质可调频绝缘特性测试专用平台,并以换流阀用相变冷却工质为研究对象,依据换流阀典型运行工况,利用专用测试平台开展了相变冷却工质三相态、50~300 Hz频率范围的绝缘击穿特性研究。得到了相变冷却工质击穿特性随工质相态及电压频率的变化规律,分析了相变冷却工质不同相态的击穿机理,揭示了工质相态和电压频率变化对冷却工质击穿特性的影响机制。研究工作不仅解决了高频下相变冷却工质的三相态耐压测试方法问题,且所得研究成果为相变冷却柔直换流阀的绝缘设计奠定了基础,同时可指导相变冷却技术在其他电力电子器件及装备上的应用。

关键词：换流阀柔性直流输电相变冷却击穿特性高频绝缘