对象驱动的Linux内核crash分类技术研究

Crash(程序崩溃)分析是漏洞挖掘与利用的关键阶段,精准的crash分类是crash分析和漏洞利用的前提.针对现有的Linux内核crash存在大量重复的问题,本文提出一种对象驱动的Linux内核crash分类方法.该方法将内核crash与内核对象的关系建模为二部图结构,从而将crash分类问题转化为内核对象的相似性对比问题.首先,通过对crash执行后向污点分析提取crash相关的内核对象;其次,构造内核对象调用图计算内核与根本原因的相关性度量;最后,基于上述结果构造二部图实现crash相似性比较算法.基于上述方法,本文开发出了Linux内核crash分类的原型系统.通过在真实的数据集上进行实验,验证了系统的有效性和可用性,弥补了现有分类方法粒度较粗,存在误报较多的问题.

文化自信:习近平文化思想的精神内核

文化自信是一个文化主体最恒久、最稳定、最具特质的精神内核。习近平文化思想是新时代中国特色社会主义文化的理论呈现和高度概括,是文化自信的精神产物、实践成果、价值依托。从文化自信视角理解习近平文化思想的特质属性和现实性,把握其自见之明、自觉之信、自强之为的内核意蕴,有助于进一步增强以习近平文化思想统领中国特色社会主义文化强国建设的理论自信、实践自信、主体自信,不断以中国式现代化开创中华民族现代文明和人类文明新形态。

从“蛇”与“墙”的意象看非亚诗歌的精神内核

“蛇”与“墙”是非亚诗歌中的一组核心意象。在非亚的诗歌中,“墙”代表了都市和现代生活对现代人的禁锢。面对到处都是“墙”的困境,非亚选择化身为“蛇”。他充分发挥“蛇”的特性,一边自由穿梭、勇往直前,打破“墙”的禁锢;一边又不断地内省,完成精神的蜕变与重生。对“蛇”与“墙”意象的书写诠释了非亚对人的灵魂和生存状态的关注,以及对诗和人生的深入理解,体现了他诗歌的精神内核。

马克思主义视角下乡村振兴的理论内核与实现路径

马克思主义为乡村振兴战略提供丰富的学理依据,是地域分工理论、城乡关系理论和生态文明理论在新时代中国特色社会主义建设中的又一生动实践。从现实来看,实施乡村振兴战略是中国特色社会主义的本质要求,是化解我国不平衡不充分矛盾的必然选择,也是实现我国可持续发展的有效路径。从马克思主义理论来看,乡村振兴是量变与质变的辩证统一,也是生产力水平的发展和社会分工的高级化的必然结果。其中,人的全面发展是乡村振兴的主体条件,人与自然的辩证统一是乡村振兴的重要组成部分。在此基础上,提出包括缩小城乡生产力水平差距、建设城乡要素双向流动的体制机制、推动城乡合作迈向新阶段和促进基本公共服务均等化等实现路径,为乡村振兴战略的实施提供政策支持。

Linux内核下Ansible自动化运维技术探讨

随着移动互联网的普及,移动设备上部署的应用越来越多,应用程序的数量也在不断增加。随着应用数量的增多,其运维管理也面临着新的挑战。例如,在应用程序增多之后,如何提高用户体验,确保服务质量;如何减少系统的负荷,提高系统的稳定性;如何降低运营成本等。自动化运维技术能使我们摆脱重复性劳动,把更多的精力投入到有价值的工作中去。

EAGLE:一种内核态及用户态中基于遥测数据图的网络遥测方案

网络遥测是一种新型的网络测量技术,具有实时性强、准确性高、开销低的特点。现有网络遥测技术存在无法收集多粒度网络数据、无法有效存储大量原始网络数据、无法快速提取及生成网络遥测信息、无法利用内核态及用户态特性设计网络遥测方案等问题。为此,提出了一种融合内核态及用户态的、基于遥测数据图和同步控制块的多粒度、可扩展、覆盖全网的网络遥测机制(a nEtwork telemetry mechAnism based on telemetry data Graph in kerneL and usEr mode,EAGLE)。EAGLE设计了一种能够收集多粒度数据且数据平面上灵活可控的网络遥测数据包结构,用于获取上层应用所需的数据。此外,为快速存储、查询、统计、聚合网络状态数据,实现网络遥测数据包所需遥测数据的快速提取与生成,EAGLE提出了一种基于遥测数据图及同步控制块的网络遥测信息生成方法。在此基础上,为了最大化网络遥测机制中网络遥测数据包的处理效率,EAGLE提出了融合内核态及用户态特性的网络遥测信息嵌入架构。在Open vSwitch上实现了EAGLE方案并进行了测试,测试结果表明,EAGLE能够收集多粒度数据并快速提取与生成遥测数据,且仅增加极少量的处理时延及资源占用率。

进化内核模糊测试研究综述

模糊测试是一种通过生成随机、异常或无效的测试样例来检测软件或系统中潜在漏洞和错误的技术方法。内核作为一种高度复杂的软件系统,由众多互相关联的模块、子系统和驱动程序所构成,相比用户态应用程序,将模糊测试应用于内核面临着代码庞大、接口复杂、运行时不确定等具有挑战性的问题。传统的模糊测试方法生成的输入只能简单地满足接口规范和显式调用依赖,难以深入探索内核。进化内核模糊测试借助于启发式的进化策略,在反馈机制的引导下动态地调整测试样例的生成和选择,从而迭代式地生成质量更高的测试用例。对现有的进化内核模糊测试工作开展研究,阐述了进化内核模糊测试的概念并总结了进化内核模糊测试的通用框架,根据反馈机制类型对进化内核模糊测试工作进行分类和对比,从反馈机制在运行时信息的收集、分析和利用等方面剖析反馈机制引导进化的原理,对进化内核模糊测试的发展方向进行展望。

地球内核各向异性结构成因:矿物学模型和动力学机制

地震学观测表明,地球内核具有复杂的不均一性和各向异性结构,认知内核结构的关键在于研究内核各向异性结构的矿物学组成和动力学机制。本文将介绍内核各向异性结构特征,并探讨其矿物模型和动力学机制。在内核温压下,六方相(hcp)和体心立方(bcc)相铁合金都表现出各向异性,若其快轴沿自转轴产生定向排布,则可以解释内核南北方向快、赤道方向慢的各向异性特征。轻元素的加入将显著改变铁合金的各向异性,特别是超离子态铁-氢合金的快轴方向随氢含量的增加而发生倒转。内核各向异性的动力学机制可分为3种:(1)凝固时晶体的定向生长。凝固时的组构在内核温度下会很快消失,因此该机制不是导致内核各向异性结构的主要原因;(2)外应力驱动。外应力驱动的定向排列需要考虑内核物质的流变机制,目前的模型主要基于刚性内核假设,要求内核主要发生位错蠕变且黏度大于1018Pa·s;(3)扩散内应力驱动。若内核处于超离子态,地磁场驱动轻元素定向扩散所产生的内应力可驱动晶格的定向排布。上述机制的驱动力(化学对流、热对流、地磁场)均来自外核,因此了解外核动力学与内核动力学的相互作用是认知内核组成和结构的关键。

地球内核超离子态铁合金及其效应

超离子态介于固态与液态之间,被认为广泛存在于地球和行星内部。计算研究发现,在地球内核温度压力条件下,铁-氢、铁-碳、铁-氧合金处于超离子态,表现为氢、碳、氧等元素在固态铁合金中像液体一样快速流动。流动的轻元素导致铁合金软化及地震波速降低,与地球物理观测到的内核密度亏损和低剪切波速的特征一致。内核超离子态铁-氢合金可以与地磁场发生相互作用,在偶极地磁场的驱动下形成定向排列组构,从而解释了内核的各向异性结构成因。内核超离子态铁-轻元素合金的发现更新了人们对内核物态的认知,对掌握地球内核的结构、组成和演化以及内核结构与地球磁场的关系等具有重要意义。

基于RISC-V内核的UHF RFID阅读器SoC设计

为降低RFID阅读器产品设计的难度和结构复杂度,设计一款符合ISO/IEC 18000-6C协议的RFID阅读器SoC。系统用硬件实现协议中对于阅读器要求的脉冲间隔码模块、循环冗余编码/校验模块、FM0码/Miller码解码模块等。(有歧义)选用开源RISC-V内核蜂鸟E203提供控制和用户可编程空间。编写基于FreeRTOS实时嵌入式操作系统的SoC配套软件。经过测试,该设计能够在FPGA芯片内正常运行,实现符合协议对阅读器通信要求的相关操作,能够支持二次开发实现除RFID通信外的其它操作。

出版精神内核历史探源及特征机理

出版史是人类的文明史,不同地区的出版有其独特的精神内核。中西方出版源头是从出版载体为物质源头开启发展历程,依据出版符号展开了认知、思维和传播的文化特征,并因为载体基础与出版符号特征而带来了出版技术的应运而生,又重新作用于前者。出版精神内核的三要素之间互相影响、互为因果,从而造成了中外出版特征的差异,并在环环相扣的内在逻辑和历史沉淀中,生长为出版精神内核形成的内在肌理。

基于种子智能生成的内核模糊测试模型

操作系统具有庞大的用户群体,因此使得内核漏洞具有极强的通用性。模糊测试作为一种高效的漏洞挖掘方法,也被应用于操作系统内核,并且已经取得不错的成果。但是,目前流行的面向内核的模糊测试模型Syzkaller在生成种子时具有一定的盲目性,无法自动产生具有依赖关系的系统调用,制约了模糊测试的代码覆盖能力。为解决上述问题,本文提出并实现了基于种子智能生成的内核模糊测试模型SyzMix。该模型一方面结合LSTM(Long Short-Term Memory)神经网络,使用语法模板,通过序列化操作和反序列化操作,能自动生成更多蕴含潜在依赖关系的系统调用序列,有效提高了种子执行的成功率;另一方面,通过静态分析方法获得系统调用显式依赖关系,通过动态分析方法获得系统调用隐式依赖关系,并通过上述依赖关系进一步优化种子内部系统调用关系,结合测试用例的生成策略和变异策略,显著提高了选择系统调用的准确性。综合上述方法,SyzMix达到了更高的代码覆盖能力和代码覆盖加速比。为了验证模型的有效性和实用性,利用SyzMix与Syzkaller在不同版本的内核中进行测试,种子执行成功率提高了16%,选择系统调用的准确性提高了88.8%,内核代码覆盖率提高了7.87%,代码覆盖加速比达到了132.3%。另外,SyzMix在不同版本的内核中发现了8个的未知bug,并申请得到CVE编号CVE-2021-45868。

铁路线站设计用几何计算内核的构建与应用

研究目的:传统铁路线站设计软件高度依赖于特定的图形平台,限制了软件的可移植性和独立性,不利于铁路线站设计软件的自主发展。为此,本文通过对线站设计用几何计算内核架构、几何算法及第三方图形平台解耦机制的研究,旨在构建一个独立于图形平台的铁路线站设计用几何计算内核,使得线站设计业务逻辑与特定图形平台解绑,使其能够适应不同的操作系统和图形平台,从而提高铁路线站设计软件研发的自主性。研究结论:(1)本文提出的几何计算内核架构可扩展性强,核心算法通用度高,能够满足各类铁路线站设计场景;(2)与第三方图形平台相比,本文提出的几何计算内核在铁路线站线型支持、绘制方法、计算精度、计算效率、跨平台移植方面具有明显优势;(3)通过在实际生产项目上的应用,证明了本文提出的几何计算内核可作为线站设计软件研发的底层内核,同时通过对线型定义层的拓展,几何内核构建方法及相关解耦机制也可为其他线性工程设计软件的自主研发提供借鉴。

历史逻辑视域下教育家精神的演变脉络、结构特征和内核解析

教育家精神是对新时代教育工作者的品质凝练、历史要求和殷切期望,也是建设高素质专业化教师队伍的必然要求。从历史基点看,教育家精神是中华优秀教育精神和品质的传承;从结构特征看,教育家精神是具有历史、理论、实践特征的精神理念;从内容特征看,教育家精神具有个体特质上升为集体精神的价值内涵。以历史逻辑为视角有助于深刻挖掘、系统阐述和全面弘扬教育家精神,为全面建设社会主义现代化国家铸就专业化、高素质的教师队伍。

生成式人工智能视角下的图书馆评价研究:关键视角、理论内核与驱动前因

文章旨在应用生成式人工智能技术,系统梳理和总结中国图书馆评价领域的研究现状,以期为图书馆事业的发展提供理论支撑,推动图书馆服务质量的提升和管理实践的改进。研究发现,当前图书馆评价领域的研究集中在图书馆统计、图书馆评价、资源建设、编目工作、数字图书馆、参考咨询服务等核心领域。绝大多数研究集中在图书情报与数字图书馆领域,计算机软件及应用领域也占有重要地位。图书馆统计与评价研究经历了初期阶段、稳定增长阶段、显著增长阶段和波动调整阶段。图书馆评价研究涵盖了科技社会结构理论、评价与数字图书馆管理结合的方法、市场营销策略等。图书馆评估的驱动前因主要包括政府机构主导的政策法规支持、资金及资源支持,图书馆及其组织间的统计评估,以及第三方机构提供的专业评估标准和方法。

人类文明新形态的生成、内核与价值——评《创造人类文明新形态》

“创造人类文明新形态”是党的二十大报告概括的中国式现代化的本质要求之一。《创造人类文明新形态》一书科学论证了人类文明新形态的生成逻辑、文明内核和价值意蕴,有助于引导人们正确认识人类文明发展的最新动向,助推人类文明发展的实践进程。人类文明新形态既是文明演进、文明积累的独特表达,也是中国式现代化道路的必然结果。该书从世界文明普遍性与中国道路独特性的双重视角考证了人类文明新形态的历史生成和实践证成。

《流浪地球》原著到电影的文化内核流变

电影《流浪地球》对原著小说的改编,显示了从原著到电影文化内核的置换与重构,并从三个维度体现:一是从解构人文传统的后人类主义到基于家国同构之上的人类命运共同体;二是从后发现代性对科学的工具性价值追求到人类核心价值观的再确认;三是从末日科幻想象到“讲好中国故事”的民族元素书写。

习近平总书记关于弘扬爱国主义精神重要论述的理论内核与价值意蕴

习近平总书记关于弘扬爱国主义精神的重要论述内容丰富、思想深邃,对增强全体人民的凝聚力和向心力、实现中国梦具有重大而深远的意义。弘扬爱国主义精神需要以实现中国梦作为鲜明主题,以坚持爱国、爱党、爱社会主义高度统一为本质,以维护祖国统一和民族团结为着力点,以尊重和传承中华优秀传统文化为源泉,同时要坚持立足民族又面向世界的国际视野。从价值意蕴来看,这一重要论述有助于为实现中国梦凝聚思想共识,有助于反对历史虚无主义,有助于培育新时代青年的爱国情怀。

基于多内核的操作系统内生安全技术

随着数字化、智能化、网络化趋势席卷全球,功能安全与网络安全日益交织、叠加,演变为内生安全问题。操作系统是计算机系统的重要组成部分,是软件架构的基石,操作系统级内生安全至关重要。基于拟态防御的动态异构冗余架构是实现操作系统内生安全的关键技术,但目前面临单内核操作系统不支持内生安全、操作系统级内生安全方案缺失、操作系统层共识机制设计不完善等挑战。本文从操作系统内生安全架构、异构冗余机制、高效通信和共识机制等方面展开分析和设计,提出了一套基于多内核的操作系统内生安全技术方案。

“中国之治”的生态探索:森林“四库”的思想内核、实践探索及经验镜鉴

助力生态文明建设再上新台阶是推动马克思主义中国化创造性转化的内在要求,也是促进经济社会发展全面绿色转型的现实使然。实践表明,作为习近平总书记关于林业生态环境工作经验的提炼和升华,森林“四库”以生态发展观、生态系统观、生态民生观以及生态文明观为核心,内涵丰富,是马克思主义生态自然观同中国传统朴素自然观的内在契合,是在赓续百年林业生态建设实践探索基础上生成的,多维度揭示了森林同水资源、物质财富、粮食、碳汇之间的内在联系。新阶段,要高质量实现森林“四库”价值,应以史为鉴,以习近平生态文明思想为指引,发展“战略思维”,坚守“底线思维”,秉持“系统思维”,遵循“辩证思维”,合力绘就一幅“中国之治”的现代化绿色新图景。