PID控制技术在砌块养护窑中的应用

本文介绍了一种利用S7-200型PLC的PID控制技术来实现砌块养护窑的自动控制系统，详细介绍了系统的硬件配置以及软件设计流程图，并根据模拟实验的编程经验．介绍了编程中的关键问题。     

静脉输液结束呼叫监控系统设计

介绍了输液结束后的自动呼叫监控系统的硬件、软件。该系统的应用将大大提高了医院的护理水平。     

大专计算机硬件课程体系改革与实践

本文结合大专计算机应用与维护专业的课程体系改革实践,分析硬件类课程教学现状,探讨有关课程的优化组合,研究教学实施的关键问题。     

智能卡话者确认系统的研究

介绍了一个将参考模板存放在智能卡上的与相关的话者确认系统及其工作原理、相关算法和参数设置。     

水泥行业温室气体重点排放单位碳核查要点分析

水泥行业是排放二氧化碳的重点行业之一,其碳排放量约占全国总碳排放量的10%。碳排放核查是排放二氧化碳量化的重要工具,明确水泥行业重点排放单位碳核查要点,可以提高水泥行业二氧化碳核查质量,推动水泥行业在双碳目标下高效前进。     

ND620多参量数据获取和处理系统

多参量在线数据获取与分析系统是目前国际上核物理实验的通用设备。与传统的单参量系统相比,多参量系统有其独特的优越性。尤其是事件式或列表式数据获取方式可以最大限度地得到有关实验的信息,供研究人员进行分析,近年来已在国内受到各方面的重视。ND620系统是我所引进的一套多参量系统,它的主要功能是对实验数据进行多参量获取并记录在磁带上供分析,并且根据需要对数据进行实时取样监督。     

基于MPSoC的轻量化汽车检测系统及硬件加速 平台设计与优化

针对车辆分类检测在精度和实时性方面存在的挑战,提出了一项改进方案,以优化YOLOv5s 模型,旨在实现轻量化 的汽车检测。通过在MPSoC硬件架构的现场可编程门阵列(FPGA) 上设计系统,成功打造了一个具备高精度、快速检测和低 能耗的解决方案。为了使得模型更适合嵌入式设备部署,采用了MobileNetv3 Small 替代YOLOv5s 的主干网络,并引入卷积 块注意力模块(CBAM) 注意力机制和Inner-IoU Loss 优化方法,使模型在轻量化的同时提升了检测精度和速度。改进后的模 型相较于原始Yolov5s模型,平均精度均值(mAP) 提升了14.8%,参数量减少了49.7%,模型体积减小了40.7%,计算量减 少了48.9%,在NVIDIA 3060上,改进后的检测速度提升了48.8%,达到了82 fps。此外,还利用FPGA 对YOLOv5s 进行了 硬件加速。经过优化的系统达到了45fps 的检测帧率,并保持了较高的精度和速度,这一系统易于部署,适用于智能交通系 统,满足其高效实时监测的需求。     

军用自动测试系统通用性技术研究与应用

自动测试系统软、硬件平台的通用性技术是目前测试领域研究的热点之一。本文在自动测试系统发展历程的基础上,介绍了通用平台的概念和系统结构,详细讨论了如何从硬件平台和软件平台两方面实现通用性的关键技术,并通过某机载综合检测设备的应用实例描述了关键技术的使用方法。工程实用表明,该综合检测设备具有很强的通用性、易扩展性和维护性。     

A novel intelligent verification platform based on a structured analysis model

An intelligent verification platform based on a structured analysis model is presented.Using an abstract model mechanism with specific signal interfaces for user callback,the unified structured analysis data,shared by the electronic system level design,functional verification,and performance evaluation,enables efficient management review,auto-generation of code,and modeling in the transaction level.We introduce the class tree,flow parameter diagram,structured flow chart,and event-driven finite state machine as structured analysis models.As a sand table to carry maps from different perspectives and levels via an engine,this highly reusable platform provides the mapping topology to search for unintended consequences and the graph theory for comprehensive coverage and smart test cases.Experimental results show that the engine generates efficient test sequences,with a sharp increase in coverage for the same vector count compared with a random test.     

Slicing Software for Model Construction

Applying finite-state verification techniques (e.g., model checking) to software requires that program source code be translated to a finite-state transition system that safely models program behavior. Automatically checking such a transition system for a correctness property is typically very costly, thus it is necessary to reduce the size of the transition system as much as possible. In fact, it is often the case that much of a program's source code is irrelevant for verifying a given correctness property.In this paper, we apply program slicing techniques to remove automatically such irrelevant code and thus reduce the size of the corresponding transition system models. We give a simple extension of the classical slicing definition, and prove its safety with respect to model checking of linear temporal logic (LTL) formulae. We discuss how this slicing strategy fits into a general methodology for deriving effective software models using abstraction-based program specialization.