首页期刊导航|微电子学与计算机
期刊信息/Journal information
微电子学与计算机
微电子学与计算机

李新龙

月刊

1000-7180

MC771@163.com

029-82262687

710054

西安市81号信箱

微电子学与计算机/Journal Microelectronics & ComputerCSCD北大核心CSTPCD
查看更多>>本刊创办于1972年，是我国微电子技术与计算机技术相结合的唯一专业性国家中文核心期刊，同时也是中国计算机学会会刊。本刊的宗旨是，严谨认真，求实创新；以人为本，研以致用；弘扬科学，追求真理。本刊国内公开发行，面向科研院所，厂矿技术人员、院校师生和管理人员，及时提供国内微电子与计算机行业最新科研成果、学术与工程技术动态，是较为实用的参考资料和科学决策的准确依据。
正式出版
收录年代

    基于定理证明器的行波进位加法器开发以及新的芯片设计方法探索

    孟月华陈乡栎陈钢
    95-105页
    查看更多>>摘要：数字芯片的规模已经进入几百亿晶体管的时代,传统的硬件设计方法难以应对日益复杂的电路需求,比如基于Verilog语言的硬件设计.针对这个问题,文章以行波进位加法器为例,探索基于交互式定理证明器Coq的芯片设计方法,该方法不仅在Coq中完成了加法器的RTL描述,而且进行了加法器的功能仿真、形式验证、Verilog代码生成、网表生成和网表仿真.这个案例在单一的编程平台里把RTL设计同前端EDA的主要流程整合在一起,虽然案例简单,但可以初步体现出基于Coq的芯片前端设计的可能性,并且希望能够从此出发探索出新的基于定理证明器的芯片设计流程.文章的主要技术路线是在Coq中开发芯片设计的抽象语法树,然后基于这个抽象语法树展开行波进位加法器的前端开发流程.实验结果表明,Coq在支撑芯片设计方面有巨大的潜力,并且基于定理证明器的验证是可以复用的,这有利于验证大规模的系统.尽管这一方法处于探索阶段,但它为未来的芯片前端设计提供了全新的思路,有希望发展成为一种新型的芯片前端设计方法.

    定理证明器芯片设计Coq行波进位加法器

      原文链接:
    • NETL
    • NSTL
    • 万方数据

    应用于锂电池SOC估计的PCNN_LSTM硬件加速器设计

    王巍夏旭丁辉吴浩...
    106-116页
    查看更多>>摘要：为了克服传统的锂电池状态估计效果差、计算效率低和能效低等问题,提出一种应用于锂电池荷电状态(State of Charge,SOC)估计的PCNN_LSTM算法与硬件加速器设计.该算法结合了卷积神经网络和长短期记忆神经网络的特点,可以提取输入数据的空间特征和时间特征,从而实现更准确的估计效果.为了进一步提高计算效率,设计了基于现场可编程逻辑门阵列(FPGA)的硬件加速器.该加速器利用FPGA的并行计算和片上存储特性,通过并行流水和模块折叠复用的方式来优化卷积运算和矩阵乘法,采用分段线性拟合和移位的方式实现激活函数模块,以及采用分时复用策略实现element_wise模块.在保证精度的同时,有效减少了硬件资源的消耗,提高了整体性能.实验结果表明,在Zynq UltraScale+MPSoC ZCU102 FPGA上实现了一个输入时钟频率为 100 MHz的PCNN-LSTM加速器,其峰值吞吐量为 75.84 GOP/s,能效比为 60.915 GOP/W.

    锂电池荷电状态卷积神经网络长短期记忆神经网络FPGA硬件加速

      原文链接:
    • NETL
    • NSTL
    • 万方数据

    基于CERLMDAN-PE-NLMS的MEMS陀螺信号去噪方法

    王镜淇李杰马喜宏胡陈君...
    117-123页
    查看更多>>摘要：随着武器技术的不断发展,常规弹药的制导化改造已成为一种必然趋势.通过应用精确制导技术,可以显著提高弹药的打击精度和效率.而在实现弹药制导化改造的过程中,精准测量角速度是一项关键核心技术.微机电系统(Micro-Electro Mechanical System,MEMS)陀螺仪存在输出信号噪声大、精度低的问题,针对上述问题,提出了一种自适应噪声完备集合鲁棒局部均值分解(CERLMDAN)和归一化 LMS算法(Normalized Least Mean Square,NLMS)结合的滤波模型.该模型通过在鲁棒局部均值分解(Robust Local Mean Decomposition,RLMD)过程中添加白噪声将原始数据分解为多个乘积函数(Product Functions,PF),并根据排列熵(Permutation Entropy,PE)将PF分为混合PF和有用PF;其次对混合PF使用NLMS去噪;最后,把处理后的PF和有用PF进行重构,得到去噪后的信号.试验表明,本文提出的去噪模型对信号均值与方差有显著提升,信号均值由 0.589 1 提升至 0.539 6,信号方差由 44.473 提升至 5.269 2.

    MEMS陀螺仪自适应噪声完备集合鲁棒局部均值分解非局部均值降噪排列熵

      原文链接:
    • NETL
    • NSTL
    • 万方数据

    侵彻式月壤探测器中某控制器瞬态热分析与优化

    张志祥李逵雷冰刘曦...
    124-130页
    查看更多>>摘要：围绕侵彻式月壤探测器中控制器的散热需求,结合侵彻着陆的实际工作过程进行分载荷步的瞬态热仿真分析,以获取各个关注器件在侵彻过程中的瞬时温度分布.针对散热瓶颈器件,提出增加热过孔及基板表面大面积铺铜的散热解决方案,仿真结果显示:散热瓶颈器件的散热效果改善明显.进一步,重点对控制器结构内主要热传导材料—灌封胶进行了关键热参数包括比热容和热导率的试验设计敏感度分析,通过二元线性回归分析可知灌封胶的比热容对器件温度影响更大,为模块灌封材料的选型提供参考.

    月壤探测器瞬态热仿真比热容热导率

      原文链接:
    • NETL
    • NSTL
    • 万方数据

    面向多基站需求感知的网络切片资源管理分布式架构

    孙晓川秦贞滕张琪崔东艳...
    131-140页
    查看更多>>摘要：针对B5G无线接入网网络切片中多样化的服务需求和基站数量增加所导致的用户需求感知速度慢,计算和存储压力大等问题,提出了一种基于分布式多智能体鲁棒近端策略优化的多基站需求感知网络切片架构.此架构由参数服务器,样本缓存和多个鲁棒近端策略优化(Robust Proximal Policy Optimization,RPPO)智能体组成.其中每个基站都有一个RPPO智能体和样本缓存,前者在近端策略优化算法的基础上引入优势值归一化,策略熵和价值裁剪优化机制来探索高效的资源管理方案,后者存储用户样本数据.参数服务器中负责从样本缓存中抽取数据更新参数并发布到每个基站的RPPO模型中,基站中的RPPO智能体使用发布的参数实现每个基站的资源分配.仿真结果表明,所提架构在频谱效率,服务水平协议满意率,系统效用和用户需求感知速度等方面都有所提升.

    网络切片分布式架构深度强化学习资源管理系统效用

      原文链接:
    • NETL
    • NSTL
    • 万方数据

    《微电子学与计算机》征稿简则

    封3页
      原文链接:
    • NETL
    • NSTL
    • 万方数据