期刊文献+
共找到518篇文章
< 1 2 26 >
每页显示 20 50 100
Optimal decoupling control system using kernel method
1
作者 全勇 杨杰 《Journal of Systems Engineering and Electronics》 SCIE EI CSCD 2004年第3期364-370,共7页
A major difficulty in multivariable control design is the cross-coupling between inputs and outputs which obscures the effects of a specific controller on the overall behavior of the system. This paper considers the a... A major difficulty in multivariable control design is the cross-coupling between inputs and outputs which obscures the effects of a specific controller on the overall behavior of the system. This paper considers the application of kernel method in decoupling multivariable output feedback controllers. Simulation results are presented to show the feasibility of the proposed technique. 展开更多
关键词 support vector regression kernel ridge regression DECOUPLING multivariable control systems.
在线阅读 下载PDF
云边端内核竞态漏洞大模型分析方法研究
2
作者 陈平 骆明宇 《信息网络安全》 北大核心 2025年第7期1007-1020,共14页
随着云边端场景的广泛应用,操作系统内核竞态条件检测面临新的挑战,其复杂性日益提升。针对这一问题,文章提出一种基于大语言模型的内核竞态条件分析方法Log Fuzz。该方法通过知识注入机制,实现对系统调用依赖关系的动态学习与精准分析... 随着云边端场景的广泛应用,操作系统内核竞态条件检测面临新的挑战,其复杂性日益提升。针对这一问题,文章提出一种基于大语言模型的内核竞态条件分析方法Log Fuzz。该方法通过知识注入机制,实现对系统调用依赖关系的动态学习与精准分析,有效缓解云边端环境下内核漏洞分析的难题。研究首先利用崩溃日志进行系统调用模式提取与分析,解决传统方法在复杂依赖关系建模中的局限性。在此基础上,引入大语言模型的领域知识,通过参数高效微调框架深度挖掘系统调用的语义与语法特征,指导模糊测试。实验结果表明,在Linux内核测试中,文章所提方法在18 h后的分支覆盖率较传统方法提升3.31%,并成功触发7个系统崩溃。该方法有助于提升系统安全,为云边端内核竞态条件检测提供一种技术路径。 展开更多
关键词 内核竞态条件 系统调用序列 模糊测试 大语言模型 云边端安全
在线阅读 下载PDF
面向非高斯噪声干扰和拒绝服务攻击下的电力系统状态估计方法
3
作者 巫春玲 郑克军 +1 位作者 卢勇 孟锦豪 《电网技术》 北大核心 2025年第7期2895-2905,I0067-I0070,共15页
随着传统电网逐步发展为电力信息物理系统,不可避免会受到非高斯噪声干扰以及随机发生的拒绝服务(denial of service,DoS)攻击,都会导致传统卡尔曼滤波算法在电力系统状态估计时存在估计精度低的问题。为此,该文利用DoS攻击补偿策略重... 随着传统电网逐步发展为电力信息物理系统,不可避免会受到非高斯噪声干扰以及随机发生的拒绝服务(denial of service,DoS)攻击,都会导致传统卡尔曼滤波算法在电力系统状态估计时存在估计精度低的问题。为此,该文利用DoS攻击补偿策略重构了电力系统模型,并提出柯西核最小误差熵容积卡尔曼滤波(Cauchy kernel minimum error entropy cubature Kalman filter,CKMEE-CKF)算法用于电力系统的动态状态估计。所提出的算法基于统计线性化方法构建的增广模型,运用最小误差熵(minimum error entropy,MEE)作为最优准则,将状态误差和测量误差同时合并到MEE代价函数中。同时,用对核宽度不敏感的柯西核取代MEE中的高斯核函数,大大简化了核宽度的选择难度,有效避免了Cholesky分解的奇异性。然后,采用不动点迭代算法递归更新估计。最后,在IEEE-30节点系统和IEEE-118节点系统中,分别运用所提出CKMEE-CKF算法和CKF、MEE-CKF算法在各种噪声环境和DoS攻击下对电力系统进行状态估计。以IEEE-30节点系统电压幅值估计的均方根误差为例,与CKF、MEE-CKF算法相比,实验结果表明,新算法在第3种非高斯噪声干扰下,估计精度分别提高88%、60%;在第1种DoS攻击下,估计精度分别提高91%、70%。可见在非高斯噪声干扰和DoS攻击情况下,新算法的估计精度有显著性提高,是一种有效的电力系统状态估计方法。 展开更多
关键词 电力信息物理系统 非高斯噪声 DOS攻击 柯西核 最小误差熵 电力系统动态状态估计
在线阅读 下载PDF
操作系统内核权能访问控制的形式验证
4
作者 徐家乐 王淑灵 +8 位作者 李黎明 詹博华 吕毅 代艺博 崔舍承 吴鹏 谭宇 张学军 詹乃军 《软件学报》 北大核心 2025年第8期3570-3586,共17页
操作系统内核是构建安全攸关系统软件的基础.任何计算机系统的正确运行都依赖于底层操作系统实现的正确性,因此,对操作系统内核进行形式验证是很迫切的需求.然而,操作系统中存在的多任务并发、数据共享和竞争等行为,给操作系统内核的验... 操作系统内核是构建安全攸关系统软件的基础.任何计算机系统的正确运行都依赖于底层操作系统实现的正确性,因此,对操作系统内核进行形式验证是很迫切的需求.然而,操作系统中存在的多任务并发、数据共享和竞争等行为,给操作系统内核的验证带来很大的挑战.近年来,基于定理证明的方法广泛用于操作系统各功能模块的形式验证,并取得多个成功应用.微内核操作系统权能访问控制模块提供基于权能的细粒度访问控制,旨在防止未经授权的用户访问系统内核资源和服务.在权能访问控制模块实现中,所有任务的权能空间构成多个树结构,同时每个任务权能节点包含多种嵌套的复杂数据结构,以及权能函数中广泛存在的对权能结构的访问、修改、(递归)删除等操作,使得它的形式验证与操作系统其他功能模块相比更加困难.将以并发精化程序逻辑CSL-R为基础,通过证明权能应用程序接口函数(API函数)和其抽象规范之间的精化关系,来验证航天嵌入式领域某微内核操作系统权能访问控制的功能正确性.首先对权能数据结构进行形式建模,并在此基础上定义全局不变式来保持权能空间的一致性;然后定义反映功能正确性需求的内核函数的前后条件规范和API函数的抽象规范;最终验证权能API函数C代码实现和抽象规范之间的精化关系.以上所有的定义和验证均在Coq定理证明器中完成.在验证过程中发现实现的错误,并得到微内核操作系统设计方的确认和修改. 展开更多
关键词 操作系统内核 形式验证 权能访问控制 并发精化分离逻辑
在线阅读 下载PDF
GhostFunc:一种针对Rust操作系统内核的验证方法
5
作者 何韬 董威 文艳军 《软件学报》 北大核心 2025年第8期3494-3511,共18页
操作系统是软件的基础平台,操作系统内核的安全性往往影响重大.Rust是逐渐兴起的内存安全语言,具有生命周期、所有权、借用检查、RAII等安全机制,使用Rust语言构建内核逐渐成为当前热门的研究方向.但目前使用Rust构建的系统多包含部分un... 操作系统是软件的基础平台,操作系统内核的安全性往往影响重大.Rust是逐渐兴起的内存安全语言,具有生命周期、所有权、借用检查、RAII等安全机制,使用Rust语言构建内核逐渐成为当前热门的研究方向.但目前使用Rust构建的系统多包含部分unsafe代码段,无法从根本上保证语言层面的安全性,因而针对unsafe代码段的验证对于保证Rust构建的内核正确可靠尤为重要.以某使用Rust构建的微内核为对象,提出GhostFunc的safe和unsafe代码段组合验证方法,将两类代码段采用不同层级的抽象,使用GhostFunc进行组合验证.针对任务管理与调度模块,基于λ_(Rust)形式化Arc<T>等unsafe代码段,并给出形式化GhostFunc的具体实现,完成此方法的验证实例.所有验证工作基于定理证明的方法,在Coq中采用Iris分离逻辑框架完成正确性的验证. 展开更多
关键词 形式化验证 操作系统内核 分离逻辑 RUST 定理证明
在线阅读 下载PDF
中国现代化经济体系建设水平时空演进与收敛特征研究 被引量:1
6
作者 王若男 马立平 慕娟 《统计与决策》 北大核心 2025年第6期81-85,共5页
文章首先从多维视角分析并构建现代化经济体系建设水平评价指标体系,利用二次加权PCA-EM法测度2012—2022年中国30个省份的现代化经济体系建设水平;其次,运用Dagum基尼系数和核密度估计对其区域差异及演进趋势进行分析,基于结构视角利... 文章首先从多维视角分析并构建现代化经济体系建设水平评价指标体系,利用二次加权PCA-EM法测度2012—2022年中国30个省份的现代化经济体系建设水平;其次,运用Dagum基尼系数和核密度估计对其区域差异及演进趋势进行分析,基于结构视角利用方差分解法探究产生发展差异的内在因素;最后,利用空间收敛模型对其收敛性进行分析。研究表明:中国现代化经济体系建设水平两极分化较为明显,从时间上看,研究期内各省份现代化经济体系建设水平均有所提升,但增速不同。从空间上看,呈现由东向西递减的特征,同时具有较强的集聚性且大部分省份处于低水平;地区差异主要来源于区域间的发展差异,而结构上的差异主要来源于技术驱动、生产要素和产业结构的发展差异;现代化经济体系建设水平存在显著的β空间收敛性。 展开更多
关键词 现代化经济体系 Dagum基尼系数 核密度估计 时空收敛性
在线阅读 下载PDF
轻量级的内核控制流异常检测方法
7
作者 程仲汉 陈淑珍 《计算机应用与软件》 北大核心 2025年第10期30-35,共6页
针对现有虚拟机自省技术在控制流异常检测时难以兼顾完备性和高效率的问题,提出一种轻量级的内核控制流异常检测方法HyperCache。通过设置专门的检测代码与目标地址缓存,实现在内核中就能对函数间接调用的跳转目标地址进行动态的合规性... 针对现有虚拟机自省技术在控制流异常检测时难以兼顾完备性和高效率的问题,提出一种轻量级的内核控制流异常检测方法HyperCache。通过设置专门的检测代码与目标地址缓存,实现在内核中就能对函数间接调用的跳转目标地址进行动态的合规性检查。该方法使得大部分安全检测工作无须陷入虚拟机监控器中,从而大大降低了模式切换带来的性能开销。该方法能够在rootkit跳转到恶意代码之前检测出控制流异常,并且只为原生Linux带来约4%~10%的额外性能开销。 展开更多
关键词 虚拟机自省 虚拟机监控器 操作系统内核 恶意代码 控制流 异常检测
在线阅读 下载PDF
基于Koopman特征核的工业时频因果时延推理网络
8
作者 翁若昊 郝矿荣 +2 位作者 陈磊 丁贺 刘肖燕 《自动化学报》 北大核心 2025年第8期1829-1841,共13页
因果推理在复杂工业系统中对产能分析和产出优化具有重要意义.然而,现有方法难以有效处理这种高度非线性和时延的复杂因果关系.为此,提出一种基于Koopman特征核的时频因果与时延推理网络,用于复杂工业过程的因果分析与时延识别.该方法结... 因果推理在复杂工业系统中对产能分析和产出优化具有重要意义.然而,现有方法难以有效处理这种高度非线性和时延的复杂因果关系.为此,提出一种基于Koopman特征核的时频因果与时延推理网络,用于复杂工业过程的因果分析与时延识别.该方法结合Koopman特征变换与再生核理论设计核回归层,在保留时间信息的基础上,将数据映射到高维再生核希尔伯特空间以提取时不变的非线性关系.同时,通过证明非线性格兰杰因果关系在时频域上的一致性,进而在时域上融入频域特征以提取时间维度的全局信息并捕获变量间的时延关系.此外,针对长时延问题,设计基于状态空间模型的时延发现网络.实验结果表明,该方法在三个公共数据集上表现优异,并在聚酯纤维酯化过程的实际应用中进一步验证了其有效性. 展开更多
关键词 因果推理 工业系统 再生核希尔伯特空间 状态空间模型
在线阅读 下载PDF
基于Kernel-SOM的非线性系统辨识及模型运行收敛性分析 被引量:1
9
作者 於东军 郑宇杰 +1 位作者 吴小俊 杨静宇 《电子与信息学报》 EI CSCD 北大核心 2008年第8期1928-1931,共4页
该文提出基于核SOM(Kernel-SOM)的非监督非线性系统辨识方法。在辨识误差和系统初始输入误差同时存在的条件下,对Kernel-SOM辨识模型独立运行的收敛性进行了理论分析,并给出了辨识模型运行收敛的定理。数字仿真表明了所述方法的有效性... 该文提出基于核SOM(Kernel-SOM)的非监督非线性系统辨识方法。在辨识误差和系统初始输入误差同时存在的条件下,对Kernel-SOM辨识模型独立运行的收敛性进行了理论分析,并给出了辨识模型运行收敛的定理。数字仿真表明了所述方法的有效性及收敛定理的正确性。 展开更多
关键词 核SOM 非线性系统 辨识 收敛性 模式识别
在线阅读 下载PDF
T-Kernel任务调度的实时性分析 被引量:3
10
作者 李传煌 王伟明 《计算机工程》 EI CAS CSCD 北大核心 2006年第16期58-59,62,共3页
T-Kernel由于其实时性及开源性,在全球微处理器操作系统市场中已占据了一半以上的份额。该文分析了T-Kernel的任务状态及任务调度机制,给出了其调度时机及调度算法,并从嵌入式实时操作系统的实时性出发,分析了该调度机制的主要优点。
关键词 T-kernel TRON 嵌入式操作系统 任务调度
在线阅读 下载PDF
数据驱动算法的电力信息物理系统FDIA定位检测 被引量:1
11
作者 席磊 彭典名 +3 位作者 曹伟 陈洪军 白芳岩 王文卓 《中国电机工程学报》 北大核心 2025年第18期7110-7122,I0008,共14页
虚假数据注入攻击严重威胁电力信息物理系统的安全。针对传统攻击检测方法无法高精度识别攻击并快速定位受攻击节点的问题,该文提出一种数据驱动算法的电力信息物理系统虚假数据注入攻击定位检测方法。首先,将核极限学习机与自编码器结... 虚假数据注入攻击严重威胁电力信息物理系统的安全。针对传统攻击检测方法无法高精度识别攻击并快速定位受攻击节点的问题,该文提出一种数据驱动算法的电力信息物理系统虚假数据注入攻击定位检测方法。首先,将核极限学习机与自编码器结合为多层核极限学习机,逐层学习电力量测数据。然后,利用融合Tent映射和黄金正弦策略的哈里斯鹰算法为多层核极限学习机的参数寻优,提升寻优速度和收敛精度。最后,在IEEE-14和IEEE-118节点系统对所提算法进行仿真验证。结果表明,与其他算法相比,所提算法具有更优的检测速度、准确率、精确率、召回率和F1值,可快速精准定位受攻击节点。 展开更多
关键词 虚假数据注入攻击 电力信息物理系统 定位检测 哈里斯鹰优化算法 核极限学习机
在线阅读 下载PDF
基于PLC的核桃仁分选装置控制系统设计
12
作者 丁想 李玮 《林业机械与木工设备》 2025年第5期33-37,共5页
由于目前核桃仁颜色分选设备分选准确率低,不能将好坏核桃仁完全分离,使得坏核桃仁中还混有一部分的好核桃仁。针对这一问题,设计了一套核桃仁自动分选装置来对核桃仁进行二次分选,将已经过颜色分选后的核桃仁的外观品质作为分选控制指... 由于目前核桃仁颜色分选设备分选准确率低,不能将好坏核桃仁完全分离,使得坏核桃仁中还混有一部分的好核桃仁。针对这一问题,设计了一套核桃仁自动分选装置来对核桃仁进行二次分选,将已经过颜色分选后的核桃仁的外观品质作为分选控制指标,通过工业相机和光电传感器进行信号检测。采用PLC控制系统和机器视觉技术控制核桃仁分选装置整个识别和分选过程,同时使用西门子HMI软件对分选装置功能进行仿真和测试。结果表明,其与颜色分选设备结合起来使用不仅分选效率高,而且对核桃仁外观品质和大小等级分选的准确率在95%以上。 展开更多
关键词 PLC控制系统 机器视觉 核桃仁分选 HMI仿真
在线阅读 下载PDF
一种融合多源数据信息的沪铜期货价格预测新方法
13
作者 孙景云 邴贵英 《运筹与管理》 北大核心 2025年第3期163-169,I0089-I0091,共7页
本文以上海期货市场的沪铜期货为研究对象,分别将宏观经济数据和百度搜索关键词信息作为影响沪铜期货价格变化的宏观经济因素和投资者微观关注度特征,提出了一种预测沪铜期货价格的新模型:SC-KPCA-KELM。首先对多源数据信息集进行系统聚... 本文以上海期货市场的沪铜期货为研究对象,分别将宏观经济数据和百度搜索关键词信息作为影响沪铜期货价格变化的宏观经济因素和投资者微观关注度特征,提出了一种预测沪铜期货价格的新模型:SC-KPCA-KELM。首先对多源数据信息集进行系统聚类,然后对聚类结果利用核主成分分析法进行特征提取,最后将提取出的主要特征作为预测因子,分别采用4种机器学习方法对沪铜期货的月度价格进行预测。实证结果表明,在本文预测框架下综合利用宏观经济数据和百度搜索信息的预测模型在水平和方向预测精度上均获得了更好的预测性能。本文的方法可为铜相关企业和期铜投机者提供一定的决策依据。 展开更多
关键词 沪铜期货 百度指数 系统聚类 核主成分分析 核极限学习机
在线阅读 下载PDF
高水分玉米籽粒就仓干燥设备设计与试验
14
作者 孙庆运 韩梦龙 +3 位作者 张守梅 于贤龙 郭玉秋 张宗超 《中国农机化学报》 北大核心 2025年第11期195-202,共8页
为满足小型农业经营主体对高水分玉米籽粒低投入、低成本和低品质损失的干燥需求和研制小型高水分玉米干燥仓(容量3 t)。干燥仓装配有内部通风装置,采用强制通风干燥方式,并开发过程控制系统;开展含水率为20%、27%(湿基)玉米就仓干燥特... 为满足小型农业经营主体对高水分玉米籽粒低投入、低成本和低品质损失的干燥需求和研制小型高水分玉米干燥仓(容量3 t)。干燥仓装配有内部通风装置,采用强制通风干燥方式,并开发过程控制系统;开展含水率为20%、27%(湿基)玉米就仓干燥特性和品质试验。研究表明:1号仓(20%)和2号仓(27%)的干燥时长分别为9天、16天,单位耗热量分别为2 800 kJ/kg(H_(2)O)、2 520 kJ/kg(H_(2)O);与对照组相比,1号仓和2号仓电导率值仅为其78%、82%,容重值提高14.6 kg/m^(3)和18.19 kg/m^(3),各组淀粉含量和蛋白含量的差异较小。 展开更多
关键词 玉米籽粒 就仓干燥 控制系统 干燥特性 品质
在线阅读 下载PDF
核电多回路系统多源传感器异常检测的AAKR-SPRT方法
15
作者 谢述帅 成玮 +3 位作者 张乐 聂泽琳 陈雪峰 李芸 《振动.测试与诊断》 北大核心 2025年第2期233-239,407,408,共9页
针对核电多回路耦合系统在升功率运行中异常传感器检测困难、检测延时及检测精度低等问题,提出了一种自联想核回归模型(auto-associative kernel regression,简称AAKR)与修正序贯概率比检验(sequential probability ratio test,简称SPRT... 针对核电多回路耦合系统在升功率运行中异常传感器检测困难、检测延时及检测精度低等问题,提出了一种自联想核回归模型(auto-associative kernel regression,简称AAKR)与修正序贯概率比检验(sequential probability ratio test,简称SPRT)相结合的方法。首先,利用小波软阈值降噪方法对监测数据预处理,获取高质量的多源传感器解调信号;其次,采用AAKR构造传感器正常运行数据的估计值,并获取多源传感器测量值与估计值之间的残差;然后,运用滑动时间窗获取不同阶段残差向量的均值和方差,设计一种SPRT检测规则对传感器残差进行异常检测;最后,用核电一、二回路耦合系统模拟机实验数据进行方法验证与性能分析。结果表明,所提传感器异常检测方法的准确率达到99.52%,异常检测延时降低了81.73%,可有效提高现有核电厂传感器异常检测的稳定性。 展开更多
关键词 核电系统 传感器异常检测 自联想核回归 序贯概率比检验 小波阈值降噪
在线阅读 下载PDF
中国农业强国水平测度及时空演变差异研究
16
作者 周玉倩 王亮 《江西农业学报》 2025年第3期112-121,共10页
通过构建农业强国指标体系,并采用熵值TOPSIS法、非参数核密度估计(KDE)曲线图和Moran’s I指数散点分布图测算并评价了2010—2020年我国30个省(区、市)的农业强国水平及其时空演变特征。结果表明:(1)2010—2020年我国农业强国水平总体... 通过构建农业强国指标体系,并采用熵值TOPSIS法、非参数核密度估计(KDE)曲线图和Moran’s I指数散点分布图测算并评价了2010—2020年我国30个省(区、市)的农业强国水平及其时空演变特征。结果表明:(1)2010—2020年我国农业强国水平总体呈上升趋势,但存在地区发展不同步,均值排名前3位的省份分别是山东(0.471)、江苏(0.401)、河南(0.399),具体表现为东部地区最优,中部地区次之,东北地区和西部地区紧随其后。(2)我国农业强国发展水平具有一定的地理空间聚集特征,东部地区以“高—高”组合为主,西部地区以“低—低”组合为主,中部地区和东北地区以“高—低”“低—高”组合为主。(3)在5个农业强国指标中,产品韧性和竞争能力水平发展相对较好,供给保障水平次之,科技装备和经营体系水平的发展略微靠后。我国各区域农业强国水平整体呈上升态势,发展存在空间差异,但时间演变差异不明显;我国地域辽阔,不同区域间禀赋的差异显著。鉴于此,提出了因地制宜地制定和实施农业强国战略、不断完善现代化农业生产和经营体系、推进区域间合作交流与协调发展等建议。 展开更多
关键词 农业强国 指标体系构建 熵值TOPSIS法 核密度 时空演变特征
在线阅读 下载PDF
考虑多种不确定参数的家庭能量管理系统优化调度方法
17
作者 孙雪 艾欣 《全球能源互联网》 北大核心 2025年第3期263-276,共14页
在新型电力系统运行中,由于高比例新能源出力的随机性,触发了大量需求侧响应。家庭能量管理系统将调节能力较强的家庭柔性负荷进行一体化管理,帮助用户节约电费的同时,参与智能电网优化调度。基于分布式光伏和各类家用柔性负荷,综合考... 在新型电力系统运行中,由于高比例新能源出力的随机性,触发了大量需求侧响应。家庭能量管理系统将调节能力较强的家庭柔性负荷进行一体化管理,帮助用户节约电费的同时,参与智能电网优化调度。基于分布式光伏和各类家用柔性负荷,综合考虑不确定性的环境因素与多样性的用户需求,提出一种考虑多种不确定参数的家庭能量管理系统的调度方法。权衡光伏上网率和用户用电,通过非参数核密度估计及机会约束处理不确定参数,使用非支配排序遗传算法(non-dominated sorting genetic algorithm Ⅱ,NSGA-Ⅱ)求解决策结果,对不同用电场景进行仿真,并进行对比验证。仿真算例表明:所提方法能够针对不同家庭提供更合理、更灵活的用电策略,明显降低用户用电成本,提高分布式光伏利用率,对于多种不确定变量具有较好的鲁棒性。 展开更多
关键词 家庭能量管理系统 非参数核密度估计 分布式光伏 负荷优化调度 NSGA-Ⅱ
在线阅读 下载PDF
基于Fisher_BP的入侵检测方法研究
18
作者 万佳蓉 王绍杰 《计算机应用与软件》 北大核心 2025年第3期371-376,共6页
工业控制系统面临的威胁增多,为做到主动防御,以及更加准确地识别入侵数据类型,基于工控蜜罐的部署环境,设计一种模型,用来识别入侵数据具体类型。首先对捕获的数据进行核主成分分析(Kernel Principal Component Analysis,KPCA)降维,然... 工业控制系统面临的威胁增多,为做到主动防御,以及更加准确地识别入侵数据类型,基于工控蜜罐的部署环境,设计一种模型,用来识别入侵数据具体类型。首先对捕获的数据进行核主成分分析(Kernel Principal Component Analysis,KPCA)降维,然后利用Fisher算法对处理后的数据进行分类,如果判定为异常类,则再利用BP神经网络(Back Propagation neural network)进行二次判别,确定具体的入侵类别。实验结果表明,该方法检测率可达到95%,可以较好地对数据进行分类,判定具体的入侵类型。 展开更多
关键词 工业控制系统 工控蜜罐 核主成分分析 FISHER判别 BP神经网络
在线阅读 下载PDF
Linux内核定时器并发错误检测
19
作者 周多明 马麟 周亚金 《软件学报》 北大核心 2025年第11期5356-5385,共30页
定时器是操作系统延迟任务调度与执行的驱动器,具有运行在原子上下文和异步执行的特性,可以在任何时刻与不同的线程并发执行,如果开发人员不能考虑到所有多线程交错的场景,则可能引入多种类型的并发错误,对操作系统安全产生严重威胁.定... 定时器是操作系统延迟任务调度与执行的驱动器,具有运行在原子上下文和异步执行的特性,可以在任何时刻与不同的线程并发执行,如果开发人员不能考虑到所有多线程交错的场景,则可能引入多种类型的并发错误,对操作系统安全产生严重威胁.定时器并发错误不仅涉及多线程交错,还涉及定时器处理程序的延迟执行与重复调度,比普通的并发错误更难发现,目前还没有工具可以有效地检测此类错误.总结3种定时器并发错误类型,即定时器睡眠错误、定时器死锁错误和僵尸定时器错误.为有效地对错误进行检测,首先通过指针分析,提取内核中所有与定时器有关的功能模块,避免对无关代码进行分析提高检测效率;然后构建上下文敏感、路径敏感和流敏感的过程间控制流图,为后续分析奠定基础;最后综合应用函数调用图遍历、锁集分析、指向分析、控制流分析等静态分析技术,设计针对3种定时器并发错误的检测算法.为评估算法的有效性,在Linux 5.15内核中共发现了328个真实定时器并发错误,向Linux内核社区提交了56个补丁,截至目前, 49个补丁已经合并到Linux内核主线, 295个错误被确认和修复,申请了14个CVE编号,说明了所提方法的有效性.最后通过对比实验对算法的性能、漏报与误报情况进行了系统分析,并总结3种定时器并发错误的修复方法. 展开更多
关键词 静态分析 Linux内核定时器 并发错误 操作系统安全
在线阅读 下载PDF
Kernel模式与虚拟设备
20
作者 王沛 袁晓兵 王国辉 《光学精密工程》 EI CAS CSCD 1999年第3期58-63,共6页
由于Windows操作系统不允许直接访问硬件,给图像的实时采集、存储、显示等处理工作带来了很大困难。本文提出在Kernel模式下采用编制虚拟设备驱动程序的方法,对于图像处理工作所要求的实时性及同步性在软件方面提出了一... 由于Windows操作系统不允许直接访问硬件,给图像的实时采集、存储、显示等处理工作带来了很大困难。本文提出在Kernel模式下采用编制虚拟设备驱动程序的方法,对于图像处理工作所要求的实时性及同步性在软件方面提出了一种解决方案。 展开更多
关键词 WINDOWS kernel模式 虚拟设备 图像处理
在线阅读 下载PDF
上一页 1 2 26 下一页 到第
使用帮助 返回顶部