期刊文献+
共找到495篇文章
< 1 2 25 >
每页显示 20 50 100
Advances of embedded resistive random access memory in industrial manufacturing and its potential applications
1
作者 Zijian Wang Yixian Song +7 位作者 Guobin Zhang Qi Luo Kai Xu Dawei Gao Bin Yu Desmond Loke Shuai Zhong Yishu Zhang 《International Journal of Extreme Manufacturing》 SCIE EI CAS CSCD 2024年第3期175-214,共40页
Embedded memory,which heavily relies on the manufacturing process,has been widely adopted in various industrial applications.As the field of embedded memory continues to evolve,innovative strategies are emerging to en... Embedded memory,which heavily relies on the manufacturing process,has been widely adopted in various industrial applications.As the field of embedded memory continues to evolve,innovative strategies are emerging to enhance performance.Among them,resistive random access memory(RRAM)has gained significant attention due to its numerousadvantages over traditional memory devices,including high speed(<1 ns),high density(4 F^(2)·n^(-1)),high scalability(~nm),and low power consumption(~pJ).This review focuses on the recent progress of embedded RRAM in industrial manufacturing and its potentialapplications.It provides a brief introduction to the concepts and advantages of RRAM,discusses the key factors that impact its industrial manufacturing,and presents the commercial progress driven by cutting-edge nanotechnology,which has been pursued by manysemiconductor giants.Additionally,it highlights the adoption of embedded RRAM in emerging applications within the realm of the Internet of Things and future intelligent computing,with a particular emphasis on its role in neuromorphic computing.Finally,the review discusses thecurrent challenges and provides insights into the prospects of embedded RRAM in the era of big data and artificial intelligence. 展开更多
关键词 embedded resistive random access memory industrial manufacturing intelligent computing advanced process node
在线阅读 下载PDF
A novel SRAM test method based on embeddedimplementation on FPGA
2
作者 ZHANG Jingjing CHEN Jia WAN Min 《太赫兹科学与电子信息学报》 2015年第2期352-356,共5页
With the development of satellite based remote sensors, embedded systems become moreand more popular in space camera electronics. Static Random Access Memory(SRAM) is one kind of themost widely used memories due to ... With the development of satellite based remote sensors, embedded systems become moreand more popular in space camera electronics. Static Random Access Memory(SRAM) is one kind of themost widely used memories due to its merits of high efficiency and low power dissipation, but testing itsfunction still depends on writing testing modules with hardware description language, which results in lowdeveloping efficiency and low reliability. In this paper, an embedded testing method is proposed, which isbased on MicroBlaze and its speed increasing function design. Implementation of the test method is basedon reusable Intellectual Property(IP) technique and greatly improves data transfer speed. With this method,secondary development of SRAM test system can be made in application layer instead of fundamentallogical layer, which simplifies the system design. It is not only more efficient and more reliable, but alsoeasier to transplant, which greatly reduces test design cost. The validity and feasibility of the method havebeen proved by test results. 展开更多
关键词 STATIC RANDOM Access memory Field PROGRAMMABLE GATE Array embedded system reliability high-speed CIRCUITS
在线阅读 下载PDF
Secure encryption embedded processor design for wireless sensor network application
3
作者 霍文捷 Liu Zhenglin Zou Xuecheng 《High Technology Letters》 EI CAS 2011年第1期75-79,共5页
This paper presents a new encryption embedded processor aimed at the application requirement of wireless sensor network (WSN). The new encryption embedded processor not only offers Rivest Shamir Adlemen (RSA), Adv... This paper presents a new encryption embedded processor aimed at the application requirement of wireless sensor network (WSN). The new encryption embedded processor not only offers Rivest Shamir Adlemen (RSA), Advanced Encryption Standard (AES), 3 Data Encryption Standard (3 DES) and Secure Hash Algorithm 1 (SHA - 1 ) security engines, but also involves a new memory encryption scheme. The new memory encryption scheme is implemented by a memory encryption cache (MEC), which protects the confidentiality of the memory by AES encryption. The experi- ments show that the new secure design only causes 1.9% additional delay on the critical path and cuts 25.7% power consumption when the processor writes data back. The new processor balances the performance overhead, the power consumption and the security and fully meets the wireless sensor environment requirement. After physical design, the new encryption embedded processor has been successfully tape-out. 展开更多
关键词 embedded processor security memory encryption wireless sensor network (WSN) CACHE
在线阅读 下载PDF
SAP S/4HANA Embedded Analytics: An Overview
4
作者 Abani Pattanayak 《Journal of Computer and Communications》 2017年第9期1-7,共7页
Operational analytics is all about answering business questions while doing business and supporting business users across the organization, from shop floor users to management and executives. Therefore, business trans... Operational analytics is all about answering business questions while doing business and supporting business users across the organization, from shop floor users to management and executives. Therefore, business transactions and analytics must co-exist together in a single platform to empower business users to drive insights, make decisions, and complete business processes in a single application and using a single source of facts without toggling between multiple applications. Traditionally transactional systems and analytics were maintained separately to improve throughput of the transactional system and that certainly introduced latency in decision making. However, with innovation in the SAP HANA platform, SAP S/4HANA embedded analytics enables business users, business analysts, and management to perform real-time analytics on live transactional data. This paper reviews technical architecture and key components of SAP S/4HANA embedded analytics. This paper reviews technical architecture and key components of SAP S/4HANA embedded analytics. 展开更多
关键词 SAP HANA In-memory COMPUTING S/4HANA embedded ANALYTICS
暂未订购
生态链嵌入视阈下高校图书馆数字记忆工程建设路径研究
5
作者 高冕 封丽 王鹏 《江苏科技信息》 2026年第2期72-79,共8页
文章基于生态链嵌入视角,从上游、中游、下游3个构成要素分析了高校图书馆数字记忆工程建设的生态链结构,设计了生态链嵌入视角下的高校图书馆数字记忆工程建设服务方案。具体而言,从嵌入上层生态链视角开展数字资源的采集、处理与组织... 文章基于生态链嵌入视角,从上游、中游、下游3个构成要素分析了高校图书馆数字记忆工程建设的生态链结构,设计了生态链嵌入视角下的高校图书馆数字记忆工程建设服务方案。具体而言,从嵌入上层生态链视角开展数字资源的采集、处理与组织及数字资源库建设,形成高质量数字资源;从嵌入中层生态链视角开展记忆资源挖掘、关联与揭示,提供经深层次处理的知识模块、数据映射与洞察解析;从嵌入下层生态链视角开展记忆工程平台的展示、传播与维护,提升数字记忆资源的吸引力与活力,实现产学研用的深度融合。 展开更多
关键词 高校图书馆 数字记忆 特藏资源 生态链嵌入
在线阅读 下载PDF
基于March C+算法的Memory BIST设计与实现
6
作者 翟明静 殷景华 +1 位作者 宋明歆 郭喜俊 《哈尔滨商业大学学报(自然科学版)》 CAS 2009年第5期549-552,共4页
随着信息技术的发展,设计越来越复杂,嵌入式存储器在SoC芯片面积中所占的比例越来越大,由于本身单元密度很高,嵌入式存储器容易造成硅片缺陷,降低了芯片的成品率.针对投影仪梯形校正项目嵌入的存储器模块存在的故障等问题,讨论了基于M a... 随着信息技术的发展,设计越来越复杂,嵌入式存储器在SoC芯片面积中所占的比例越来越大,由于本身单元密度很高,嵌入式存储器容易造成硅片缺陷,降低了芯片的成品率.针对投影仪梯形校正项目嵌入的存储器模块存在的故障等问题,讨论了基于M arch C+算法的B IST的设计与实现,并对B IST进行改进,完成对存储器故障的检测和定位,整个测试故障覆盖率接近100%、测试时间为35.546 m s. 展开更多
关键词 MARCH C+算法 嵌入式存储器 BIST SOC
在线阅读 下载PDF
基于FreeRTOS优化的嵌入式实时操作系统设计
7
作者 魏杰 尹力 +2 位作者 曹晋豪 李凤岐 王德广 《软件导刊》 2026年第3期107-114,共8页
针对当前嵌入式操作系统实时性能与嵌入式系统需求不匹配的问题,深入剖析了FreeRTOS嵌入式实操作系统内核的性能瓶颈,提出了一系列内核性能优化创新策略。首先,在FreeRTOS的基础上,结合轮询调度机制与基于优先级的抢占式调度算法进行任... 针对当前嵌入式操作系统实时性能与嵌入式系统需求不匹配的问题,深入剖析了FreeRTOS嵌入式实操作系统内核的性能瓶颈,提出了一系列内核性能优化创新策略。首先,在FreeRTOS的基础上,结合轮询调度机制与基于优先级的抢占式调度算法进行任务调度,以提升系统实时性;其次,引入内存两级分割策略算法(TLSF)算法与内存池机制,动态分配与回收管理内存,在减少内存碎片的同时快速分配、回收内存;最后,增加任务直接通知通信机制,增强系统的实时响应能力。基于上述创新策略,采用分层设计实现了基础且高效内核功能的基于Cortex-M架构的嵌入式操作系统CMRTOS。硬件仿真与实例表明,CMRTOS相较于FreeRTOS,在内存资源利用效率、实时性和稳定性方面提升显著。 展开更多
关键词 嵌入式操作系统 内核功能 任务调度 内存分配 通信机制 实时性
在线阅读 下载PDF
低功耗AOSFET 2T0C存储阵列读晶体管阈值电压优化
8
作者 林泽添 张志斌 +2 位作者 郑凌丰 杨业成 王少昊 《微电子学与计算机》 2026年第3期176-182,共7页
基于垂直沟道全环绕(Channel-All-Around,CAA)非晶氧化物半导体场效应晶体管(Amorphous Oxide Semiconductor Field-effect Transistors,AOSFET)的双晶体管(2T0C)增益单元存储器,因其高载流子迁移率、高存储密度、低读取功耗及三维多层... 基于垂直沟道全环绕(Channel-All-Around,CAA)非晶氧化物半导体场效应晶体管(Amorphous Oxide Semiconductor Field-effect Transistors,AOSFET)的双晶体管(2T0C)增益单元存储器,因其高载流子迁移率、高存储密度、低读取功耗及三维多层堆叠潜力而备受关注。然而,在crossbar存储阵列中,旁路串扰电流会严重制约2T0C存储阵列的读取裕度。不同应用场景对读电流的串扰抑制比(Signal-to-noise Ratio of crosstalk,SNRc)提出差异化要求,传统方案常需提高阵列读取电压或缩减阵列规模来保障读取可靠性。与硅基器件不同,AOSFET支持通过多种工艺灵活调控晶体管阈值电压(V_(TH))。本文提出面向2T0C阵列的读晶体管V_(TH)优化策略,通过降低预设阈值电压,有效抑制旁路串扰,降低存储阵列工作电压,并提升列长度与读取裕度。进一步地,建立面向不同应用需求的读晶体管阈值电压选取方法,兼顾读取速度与能耗。仿真结果表明,当V_(TH)设置为-0.35 V时,64单元存储列在电压0.775V下可实现SNRc>20 dB,功耗仅为15.12 fJ。 展开更多
关键词 AOSFET 2T0C存储器 晶体管阈值电压调控 低功耗存储器 嵌入式存储器
在线阅读 下载PDF
面向嵌入式系统的内存泄漏检测与动态调试方法研究
9
作者 王健 文臣 《智能物联技术》 2026年第1期130-134,共5页
嵌入式系统具有资源受限、功能高度集成的特性。尤其在多任务并行和动态内存频繁使用的背景下,内存泄漏问题易积累并诱发系统响应延迟、服务中断甚至整体失效。构建一种融合静态分析与动态回溯的多层内存异常检测方法,并配套设计轻量级... 嵌入式系统具有资源受限、功能高度集成的特性。尤其在多任务并行和动态内存频繁使用的背景下,内存泄漏问题易积累并诱发系统响应延迟、服务中断甚至整体失效。构建一种融合静态分析与动态回溯的多层内存异常检测方法,并配套设计轻量级调试机制,以支持高频任务调度下的实时排查与定位,提升检测精度与运行效率,为资源受限平台的软件可靠性维护提供技术支撑。 展开更多
关键词 嵌入式系统 内存泄漏 动态调试
在线阅读 下载PDF
基于LSTM-EM的电动汽车充电桩故障率预测
10
作者 周宇 韦宣 黄泓叶 《电力电子技术》 2026年第1期139-148,共10页
充电桩作为电动汽车(EV)的重要充电设备,其能否正常运行直接关系到用户对EV的体验和EV产业的推广。准确预测充电桩的故障率能够有效保障EV充电过程的安全。本文提出了一种长短期记忆网络(LSTM)与嵌入方法(LSTM-EM)相结合的充电桩故障率... 充电桩作为电动汽车(EV)的重要充电设备,其能否正常运行直接关系到用户对EV的体验和EV产业的推广。准确预测充电桩的故障率能够有效保障EV充电过程的安全。本文提出了一种长短期记忆网络(LSTM)与嵌入方法(LSTM-EM)相结合的充电桩故障率预测模型,以捕获充电桩故障特征的长时间序列与多维性的特点,使得模型能够更好地学习不同特征以精准预测故障率。首先基于LSTM学习故障率的时序序列来捕捉序列数据中的时间依赖关系,然后基于嵌入方法将离散的特征映射到连续的向量空间中,最后使用全连接层融合两部分的特征,经过线性激活函数返回最终的预测结果。实验结果表明,提出的方法对问题预测的效果很好,与Transformer、LSTM、循环神经网络(RNN)、卷积神经网络(CNN)-LSTM模型相比,预测结果的对称平均绝对百分比误差(SMAPE)分别降低了48.18%、43.33%、41.69%、37.46%。 展开更多
关键词 充电桩 故障率预测 长短期记忆网络 嵌入方法
在线阅读 下载PDF
SENTRY:Lifetime Secure Technique for Industry Embedded Non-Volatile Random-Access Memory
11
作者 Zi-Long Guo Liang Chang +3 位作者 Jian-Wei Liu Hai-Ning Tan Jing Zhou Qiang Wu 《Journal of Computer Science & Technology》 2025年第6期1530-1545,共16页
Emerging non-volatile memories(NVMs),including resistive random-access memory(RRAM)and magnetic random-access memory(MRAM),have been promising solutions for intelligent embedded systems.With the non-volatility and low... Emerging non-volatile memories(NVMs),including resistive random-access memory(RRAM)and magnetic random-access memory(MRAM),have been promising solutions for intelligent embedded systems.With the non-volatility and low leakage power consumption,the industry-based embedded NVMs can be used to develop energy-efficient artificial intelligent processors.However,industry-based NVMs typically have low endurance with only 10^(4) to 10^(6) maximum write times,shortening the lifetime of embedded systems.In addition,non-uniform write distribution to physical addresses onto NVMs may further reduce system lifetime.Furthermore,several intentional attacks,such as malicious writing,may impair embedded NVMs.In this paper,we present a novel wear-leveling technique based on row-column data movement,SENTRY,to extend system lifetime.We explore industry-based embedded NVM chips and analyze practical data distributions of several tasks.We design a coordinate system based moving method with negligible storage overhead for more efficient data movement.The experiment shows that SENTRY achieves a 96.07%life utilization rate with 1.47%data movement overhead.In addition,SENTRY increases the endurance margin of memory by 6048x compared with an unprotected baseline(without SENTRY)under malicious address attacks. 展开更多
关键词 embedded nonvolatile memory ENDURANCE wear-leveling resistive random access memory magnetic random access memory
原文传递
A novel one-time-programmable memory unit based on Schottky-type p-GaN diode
12
作者 Chao Feng Xinyue Dai +4 位作者 Qimeng Jiang Sen Huang Jie Fan Xinhua Wang Xinyu Liu 《Journal of Semiconductors》 EI CAS CSCD 2024年第3期53-57,共5页
In this work,a novel one-time-programmable memory unit based on a Schottky-type p-GaN diode is proposed.During the programming process,the junction switches from a high-resistance state to a low-resistance state throu... In this work,a novel one-time-programmable memory unit based on a Schottky-type p-GaN diode is proposed.During the programming process,the junction switches from a high-resistance state to a low-resistance state through Schottky junction breakdown,and the state is permanently preserved.The memory unit features a current ratio of more than 10^(3),a read voltage window of 6 V,a programming time of less than 10^(−4)s,a stability of more than 108 read cycles,and a lifetime of far more than 10 years.Besides,the fabrication of the device is fully compatible with commercial Si-based GaN process platforms,which is of great significance for the realization of low-cost read-only memory in all-GaN integration. 展开更多
关键词 wide-bandgap semiconductor one-time programmable Schottky-type p-GaN diode read-only memory device
在线阅读 下载PDF
多尺度特征提取的Transformer短期风电功率预测 被引量:9
13
作者 徐武 范鑫豪 +1 位作者 沈智方 刘洋 《太阳能学报》 北大核心 2025年第2期640-648,共9页
针对短期风电功率预测特征提取尺度单一问题,设计一种基于多尺度特征提取的Transformer短期风电功率预测模型(MTPNet)。首先,在Transformer构架的基础上,利用维数不变嵌入,设计多尺度特征提取网络挖掘风电功率序列本身时序特征,保证了... 针对短期风电功率预测特征提取尺度单一问题,设计一种基于多尺度特征提取的Transformer短期风电功率预测模型(MTPNet)。首先,在Transformer构架的基础上,利用维数不变嵌入,设计多尺度特征提取网络挖掘风电功率序列本身时序特征,保证了特征提取时维数不被破坏;其次,利用融合自注意力机制的长短期记忆网络挖掘气象条件与功率之间的全局依赖关系;最后,融合风电功率序列本身时序特征和气象条件依赖关系,实现短期风电功率预测。实例仿真结果表明,MTPNet模型预测精度得到提升;消融实验证明了模型各模块的可靠性和有效性,具有一定的实用价值。 展开更多
关键词 风电功率预测 TRANSFORMER 注意力机制 特征提取 长短期记忆网络 维数不变嵌入层
原文传递
基于动态嵌入特征的鲁棒半监督视频目标分割 被引量:2
14
作者 陈亚当 赵翊冰 吴恩华 《北京航空航天大学学报》 北大核心 2025年第7期2253-2261,共9页
针对半监督视频目标分割(VOS)方法存在推理时内存占用不断增加及仅依赖低级像素特征训练困难的问题,提出一种基于动态嵌入特征和辅助损失函数的半监督视频目标分割方法。使用动态嵌入特征建立恒定大小的记忆库;通过时空聚合方法,利用历... 针对半监督视频目标分割(VOS)方法存在推理时内存占用不断增加及仅依赖低级像素特征训练困难的问题,提出一种基于动态嵌入特征和辅助损失函数的半监督视频目标分割方法。使用动态嵌入特征建立恒定大小的记忆库;通过时空聚合方法,利用历史信息生成和更新动态嵌入特征;使用内存更新感应器来自适应控制记忆库的更新间隔,适应不同视频的运动模式;使用辅助损失函数,在高级语义特征层面上给网络提供辅助指导,并通过在多重特征层面多方面指导,提高模型精度和训练效率;针对视频前背景中相似目标误匹配的问题,设计一种时空约束模块,以利用视频的时间连续性特性更好地捕获前一帧掩码信息与当前帧之间的关联。实验结果表明:所提方法在DAVIS 2017验证集上达到84.5%J&F的精度,在YouTube-VOS 2019验证集达到82.4%J&F的精度。 展开更多
关键词 视频目标分割 时空记忆网络 时空约束 内存更新感应 动态嵌入特征
原文传递
深度CNN模型在嵌入式存算一体架构中的应用 被引量:2
15
作者 谢宾铭 郑磊 汪林 《信息技术》 2025年第4期73-82,共10页
为提升存储和运算性能,将深度CNN模型应用于嵌入式存算一体架构设计之中。改装存储器、运算器和嵌入式处理器的内部结构,加设加速器设备,利用调整电路实现硬件设施的连接。以深度CNN模型作为架构运算业务的执行逻辑,并通过存储模块与运... 为提升存储和运算性能,将深度CNN模型应用于嵌入式存算一体架构设计之中。改装存储器、运算器和嵌入式处理器的内部结构,加设加速器设备,利用调整电路实现硬件设施的连接。以深度CNN模型作为架构运算业务的执行逻辑,并通过存储模块与运算模块的协同工作,实现存算一体软件功能。结果表明:优化设计嵌入式存算一体架构的存储完整度提高了4.4%,架构的运算速度和吞吐量均得到明显提升,即深度CNN网络模型在嵌入式存算一体架构设计中具有较高的应用价值。 展开更多
关键词 深度CNN网络 嵌入式 存算一体架构 协同工作 吞吐量
在线阅读 下载PDF
中文专利文本结构信息提取方法 被引量:1
16
作者 吕国燕 戴佳呈 +1 位作者 吕学强 游新冬 《计算机工程与设计》 北大核心 2025年第3期665-672,共8页
专利文本的主体-行为-客体(SAO)结构提取直接影响着专利相似性计算、专利聚类与分类等专利文本挖掘下游任务的应用与效果,但目前存在效率低下和提取结构信息不充分等问题。对此进一步提取中文专利文本的技术方法F和功能效果E。为解决这... 专利文本的主体-行为-客体(SAO)结构提取直接影响着专利相似性计算、专利聚类与分类等专利文本挖掘下游任务的应用与效果,但目前存在效率低下和提取结构信息不充分等问题。对此进一步提取中文专利文本的技术方法F和功能效果E。为解决这一全新任务,提出一种基于深度语义的提取模型,通过词嵌入更好理解专利文本的语义信息,利用双向长短期记忆捕捉长距离的上下文依赖关系,应用多头注意力对关键特征进行更精准的关注。实验结果表明,该方法相较于传统SAO提取方法F1值提升了5.15%,验证了高效提取SAO、F和E结构时,模型各部分的正向效果。 展开更多
关键词 主体-行为-客体结构 中文专利 技术方法 功能效果 词嵌入 双向长短期记忆 多头注意力
在线阅读 下载PDF
基于词嵌入的词汇稀疏分布式编码方法
17
作者 吴开 武新乾 +1 位作者 陈祖刚 张冀 《中文信息学报》 北大核心 2025年第7期27-43,共17页
词嵌入被用作各种自然语言处理和信息检索任务的构建块。它们在大型语料库上进行训练,在各种自然语言任务中表现优异,但不适用于需要二值输入的层次时间记忆模型、伯努利朴素贝叶斯模型等机器学习模型,且用浮点数表示的词向量会占用大... 词嵌入被用作各种自然语言处理和信息检索任务的构建块。它们在大型语料库上进行训练,在各种自然语言任务中表现优异,但不适用于需要二值输入的层次时间记忆模型、伯努利朴素贝叶斯模型等机器学习模型,且用浮点数表示的词向量会占用大量内存空间。该研究基于非参数和非线性映射的编码结构,提出了一种新的二值化词向量的稀疏分布式编码方法,在尽可能降低语义精度损失的同时提高计算效率。在词语义相似度、词类比和词概念分类任务中使用多个中文和英文数据集进行实验。结果表明,该文所提编码方法在词语相似度任务上优于语义折叠方法,在词语概念分类任务中相较于原始词嵌入方法,精度损失仅为1%~4%。此外,在Top-K查询任务中,该方法的执行速度更快,所生成的词向量在内存占用方面仅为原始词向量的几分之一,内存消耗减少至1/5~1/3倍。 展开更多
关键词 词嵌入 分位数转换 非线性映射 稀疏二进制编码 内存优化
在线阅读 下载PDF
A low-voltage sense amplifier for high-performance embedded flash memory 被引量:3
18
作者 柳江 王雪强 +4 位作者 王琴 伍冬 张志刚 潘立阳 刘明 《Journal of Semiconductors》 EI CAS CSCD 北大核心 2010年第10期74-78,共5页
This paper presents a sense amplifier scheme for low-voltage embedded flash (eFlash) memory applications. The topology of the sense amplifier is based on current mode comparison. Moreover, an offset-voltage eliminat... This paper presents a sense amplifier scheme for low-voltage embedded flash (eFlash) memory applications. The topology of the sense amplifier is based on current mode comparison. Moreover, an offset-voltage elimination technique is employed to improve the sensing performance under a small memory cell current. The proposed sense amplifier is designed based on a GSMC 130 nm eFlash process, and the sense time is 0.43 ns at 1.5 V, corresponding to a 46% improvement over the conventional technologies. 展开更多
关键词 sense amplifier current mode embedded flash memory low voltage
原文传递
基于Isabelle的核电嵌入式操作系统内存管理形式化建模方法研究
19
作者 李幼媛 张亚栋 +4 位作者 武方杰 杜乔瑞 首云旭 孙王强 洪鑫哲 《自动化博览》 2025年第11期20-27,共8页
核电嵌入式操作系统作为核电站安全运行的核心基础软件,其安全性和可靠性至关重要。随着形式化方法在计算机领域的广泛应用,基于定理证明的形式化验证技术有助于提升满足核电行业法规标准要求。本研究提出了一套面向核电嵌入式操作系统... 核电嵌入式操作系统作为核电站安全运行的核心基础软件,其安全性和可靠性至关重要。随着形式化方法在计算机领域的广泛应用,基于定理证明的形式化验证技术有助于提升满足核电行业法规标准要求。本研究提出了一套面向核电嵌入式操作系统软件生命周期的形式化方法流程框架,以及适配生命周期流程中各个阶段的形式化建模和验证执行流程,旨在提升软件的可靠性与安全性。本研究以某嵌入式操作系统的内存管理核心模块的设计算法为具体案例,建立了功能正确性定理和系统不变式的形式规约,并使用Isabelle定理证明器建立了形式化模型,并进行了形式化验证,证明了该模型能够严格满足预设的安全属性要求,进而提升了软件质量。该研究为核电关键软件的形式化验证提供了可借鉴的方法论和实践案例。 展开更多
关键词 核电嵌入式操作系统 形式化建模 内存管理 Isabe
在线阅读 下载PDF
基于记忆增强潜在扩散模型的异常检测
20
作者 张吉陈 张智 《计算机工程与设计》 北大核心 2025年第9期2592-2598,共7页
为解决传统基于重构的异常检测方法重建图像质量低导致异常检测准确度不高的问题,提出了一种基于记忆增强扩散模型的异常检测方法。考虑到时间成本以及计算资源有限,使用潜在扩散模型作为基础架构。同时为更好的避免异常部分的直接重建... 为解决传统基于重构的异常检测方法重建图像质量低导致异常检测准确度不高的问题,提出了一种基于记忆增强扩散模型的异常检测方法。考虑到时间成本以及计算资源有限,使用潜在扩散模型作为基础架构。同时为更好的避免异常部分的直接重建,引入了记忆增强模块记住正常数据的典型特征,从而使异常数据的重构误差更大,提高了异常检测的准确性。为了在保证正常区域相同的情况下重建异常区域,提出了一种噪声条件嵌入的方法,提高了重建的稳定性。在MVTec-AD上的实验结果表明,与相关方法相比,所提方法有更好的检测和定位性能。 展开更多
关键词 异常检测 扩散模型 记忆增强 潜在空间 自编码器 噪声条件嵌入 生成模型
在线阅读 下载PDF
上一页 1 2 25 下一页 到第
使用帮助 返回顶部