使用有安全保障的闪存存储构建安全的汽车系统

最新设计资源

基于形式验证的高效 RISC-V 处理器验证方法[嵌入式技术][物联网]

　　在本文中，我们将介绍一个基于形式验证的、易于调动的 RISC-V 处理器验证程序。与 RISC-V ISA 黄金模型和 RISC-V 合规性自动生成的检查一起，展示了如何有效地定位那些无法进行仿真的漏洞。通过为每条指令提供一组专用的断言模板来实现高度自动化，不再需要手动设计，从而提高了形式验证团队的工作效率。

发表于：6/1/2023

TLVR高压考虑事项[电源技术][数据中心]

　　随着设计需求越来越具有挑战性，尤其是在数据中心和AI等低电压、大电流应用领域，电压调节器（VRS）的性能改进非常重要。一种可能的性能改进是使用耦合电感[1-4]，但最近业界提出了一种类似的方法，那就是跨电感电压调节器（TLVR） [5-7]。 TLVR的原理图来自耦合电感模型，但物理行为不同。事实上，耦合电感的简单模型通常是可以轻松用于仿真以实现正确波形的东西，但它与实际物理行为并不对应。另一方面，TLVR几乎是由原理图所示的元件构建，因此在这种情况下，仿真模型更接近实际系统的物理行为。

发表于：6/1/2023

PKS体系生态建设的“5S”模式及其实践[其他][信创产业]

PKS体系是我国自主计算体系的代表。为了实现PKS体系高质量发展，亟需系统推进PKS体系生态（简称PKS生态）建设。以中电（海南）联合创新研究院有限公司的工作实际为基础，分析了PKS生态建设的重要意义，创新性地提出了一种“5S”模式，旨在从发展战略、组织体系、工程服务、资源共享和品牌推广五个维度共同推进PKS生态建设。该模式已经在公司内部得到了推广和应用，并取得了一定的成效，对今后开展相关工作具有一定的参考价值和指导意义。

发表于：5/31/2023

一种智能网卡新型架构研究与设计[通信与网络][信创产业]

作为云数据中心核心业务卸载及加速处理的关键部件，智能网卡对于数据中心网络、存储业务处理效率提升具有特殊意义。数据中心业务需求复杂多变，缺乏成熟商用芯片支持，智能网卡设计难以在受限空间内满足业务卸载灵活性、高性能、成本经济性等多重要求。设计一种分离架构方案，将智能网卡通信接口功能与业务卸载处理功能进行物理解耦，突破网卡物理空间限制，复用业务卸载处理硬件资源，改善成本经济性，是实现智能网卡工程化和大规模部署的有效途径。 关键词：智能网卡,虚拟化输入输出,弹性裸金属服务,块服务卸载引擎

发表于：5/31/2023

基于光通信技术的园区网络技术探索与解决方案[通信与网络][信创产业]

随着通信技术的发展和智慧园区类需求的不断增加，传统园区网络也面临着带宽不足、组网僵化、物联网接入困难等重大挑战。产业界内近几年通过在园区网络引入PON、WDM等网络技术，或改进优化现有以太网技术，以应对面临的问题和挑战。通过综述产业界代表性组网方案，分析技术原理、特点和组网优劣势，以园区网场景为索引分别进行适应性判别和总结，以达到技术先进性的对比和判断。通过对比可以更为深入理解现有技术的不足和新型技术的优劣势，以期在未来组网建设时作为方案选型参考。

发表于：5/31/2023

基于PKS体系的终端性能场景验证方法研究[其他][信创产业]

近年来计算机硬件软件体系国产化发展迅速，中国电子主导构建的通用技术架构和生态体系Phytium Kylin Security （PKS）也越来越成熟。目前关于终端性能场景验证方法的研究大多基于非国产化体系设备，缺少针对性，很难完全发掘出国产计算机硬件软件体系的问题。提出了一种基于PKS体系的终端性能场景验证方法研究，并对国内常见的国产设备进行了终端性能场景验证方法的对比测试，实验结果显示提出的基于PKS体系的终端性能场景验证方法研究对于国产化设备可以进行更加针对、深入的测试，同时满足了国内终端性能场景验证的需求，实现了国产设备系统化自主检验。

发表于：5/31/2023

一种基于FPGA的多路高速雷达数据存储技术[嵌入式技术][数据中心]

为了解决先进雷达数据存储应用领域的带宽高、通道多、容量大、集成度高等难题，提出了一种基于FPGA的多通道数据源的NVMe固态盘存储阵列技术。存储单元设计成标准模块集成于雷达系统；以FPGA为核心芯片，采用双组内存同时并行读写数据以及双通道PCIe Gen3独立处理数据的方法，设计了复杂的逻辑功能模块，实现了大数据流的传输和处理，提高了存储带宽。该技术已经实际应用于工业环境下的雷达，经反复测试表明，单个存储单元能同时存储16路数据源，存储容量达24 TB，存储带宽达7 GB/s，可满足系统存储性能。

发表于：5/31/2023

一种弹载设备快速软件在线升级设计与实现[其他][其他]

针对弹载设备在装弹条件下内部软件数量多、规模大、升级时间长且分散到多个模块、拆装困难等问题，提出了一种基于1553B总线结合SRIO高速串口的远程软件在线升级方法，描述其系统组成和工作原理，给出远程在线升级方法和实现的具体流程。该方法有效解决了全弹状态弹载复杂单机软件的高可靠性、高吞吐速率的在线升级需求和软件维护，实际应用中具有灵活性、可靠性和高数据率等优点。

发表于：5/31/2023

风洞自由飞多路数据采集与传输系统设计[模拟设计][其他]

传统风洞自由飞实验通过缩比模型来研究气动参数，随着采集器种类与数量的增加，机载设备结构设计与数据传输控制难度日趋增大。针对这一现状，设计一套基于FPGA逻辑控制与时序驱动的多路数据采集与传输系统。系统采用机载端、地面端、上位机端三端结构，分工明确。机载端采用小型化双层结构化设计来采集舵机角度信号、风向标志信号、IMU惯性测量单元信号、航空姿态信号，地面端负责数据的整合与分发，上位机端进行数据监视与系统控制。经过测试，该系统采集精度达±0.07%FS，数据传输时延低于2.42 ms，符合预期目标。

发表于：5/31/2023

基于FPGA的运动目标实时检测系统设计[模拟设计][其他]

目标检测是智能安防领域中的重要研究内容，为满足安防检测系统的小型化和高实时性的使用需求，设计了一种基于FPGA （Field Programmable Gate Array，现场可编程门阵列）的运动目标实时检测系统，采用CMOS摄像头采集视频图像，DDR3 SDRAM作为视频图像帧的缓存介质，结合FPGA器件的可并行处理特点，采用流水线技术对帧间差分检测算法进行模块化处理，检测结果通过以太网传输至上位机，实现了图像采集和运动目标检测及显示。实验测试结果表明，该系统能够快速准确地检测出运动目标，稳定性高，实时性好。

发表于：5/31/2023

基于FPGA的远程实验系统硬件平台的设计与实现[模拟设计][其他]

实验教学作为实践育人体系的重要组成部分，是培养学生创新能力和实践能力的重要手段。针对当前计算机类硬件实验教学存在的实验平台体积庞大、实验地点固定且实验室共享化程度低的问题，提出了基于FPGA的远程实验系统硬件平台的设计。硬件平台使用FPGA搭建了底层结构，实现了FPGA的远程配置功能，支持丰富的实验内容。实验结果表明，该硬件平台支持实验程序的远程下载与远程调试。在教学中使用该硬件平台可以提供与线下体验相似的远程实验课程。

发表于：5/31/2023

一种结合TF-IDF和Simhash的科技项目文本相似性度量方法[其他][其他]

为了提高科技项目文本相似性度量的准确性和性能，将TF-IDF和Simhash相结合，提出了一种新的科技项目文本相似性度量方法。首先，该方法对科技项目文本进行预处理得到词项集合，再使用TF-IDF计算词项集合中每个词项的权重值，并选取具有较高权重值的重要词项；其次，使用Simhash把重要词项映射为固定长度的二进制串，并求和得到文本的Simhash签名；最后，使用汉明距离计算两个Simhash签名间的相似性。实验结果表明，所提方法在查准率、召回率和F度量值方面优于传统的Simhash算法和TF-IDF方法。

发表于：5/31/2023

分布式元数据系统的设计与实现[模拟设计][其他]

随着企业业务发展以及业务数据的不断积累，数据类型参差不齐，海量数据越来越难以处理。元数据系统作为提升数据质量和数据分析的平台应运而生。元数据现已成为数据仓库以及商业智能的核心，各个厂商针对元数据系统提出了自己的解决方案。现有解决方案目前对业务数据的更新操作支持不足。针对当前元数据系统面临的随着业务数据的增加，元数据系统快速扩展支持不够，造成数据无法及时处理，以及针对元数据修改无法同步更新到业务数据中，导致元数据和业务数据不同步的问题，提出一种分布式元数据解决方案，支持系统横向扩展，同时支持通过元数据操作，反向控制业务数据。通过元数据操作，支持业务生成。

发表于：5/31/2023

工业互联网平台之云化工业软件功能视图研究[其他][工业自动化]

工业互联网平台正由单项赋能向综合赋能转变，工业软件的云化和平台化发展给企业数字化转型带来新工具。通过分析工业互联网平台云化工业软件技术、功能特点，提出体现云化工业软件逻辑架构与优势特点的功能视图，帮助工业企业遴选、考察与业务需求相适应的软件功能，推动工业企业数字化转型，为促进软件服务商产品规划提供了相应参考。

发表于：5/31/2023

显著性视觉的毫米波分区域检测算法[测试测量][其他]

针对毫米波图像中人体不同部位呈现不同的结构特性、隐匿物品与人体灰度差异小、检测困难的问题，提出了一种显著性视觉的毫米波分区域检测算法。该算法在双边滤波后，结合大津法（OTSU）和形态学运算完成预处理以获得人体区域，再根据人体特征进行区域划分，分区域采用对称判定策略判断目标是否存在，最后显著性增强并通过K-means聚类分割算法分割出隐匿物品完成检测。实验数据表明，所提算法与典型的主动式毫米波图像检测算法相比，检出率提高了8.28%，误报率减少了1.58%，有更好的检测性能。

发表于：5/31/2023