SOC的形式化验证方法

如何对片上系统(SOC)来进行验证,是一个比较复杂的问题。本文介绍了用形式化方法来验证SOC,讨论在对SOC进行等价性验证时应注意的几个问题以及解决的方法。最后给出了对SOC验证的一般方法。     

分层式专家系统在故障诊断及远程维护支持中的应用

针对一类军事指挥自动化系统，提出了远程维护和故障修复支持技术模型，对适应该模型的专家系统技术进行了深入的探讨，并利用分层结构专家系统技术实现了该系统的远程故障诊断与维护支持，最后给出了基于CLIPS专家系统的一个实现模型，包括推理机与知识库的设计和实现．     

片上多处理器的层次化高速测试和验证技术

片上多处理器的体系结构具有高效、低功耗的特点,但由于整体逻辑规模较大,且存储系统有一致性的要求,因此其模拟器测试和验证的计算量大、复杂度高,整体采用传统的形式化测试方法测试速度慢.运用分隔测试技术可以在测试过程中降低整体计算的复杂度,将使用传统测试方法不能测试的复杂系统测试简单化;利用随机程序生成技术可以减少测试人员编写测试程序的时间并加速发现系统的错误,并行测试技术可以快速低功耗检验片上多处理器存储器系统的功能并具有良好的可扩充性.将上述测试方法集成在片上多处理器的测试中,能够对整体的计算量进行合理的分割和并行化,迅速定位整个系统的错误,大大缩减所需要的测试时间,降低了测试人员的工作量,提高测试结果的覆盖率和可信性.     

基于FPGA的RF无线通信技术的研究及实现

详细阐述了基于FPGA的RF无线通信技术的原理及硬件设计.从系统的角度提出RF无线通信的完整设计方案,给出了基于Cyclone II芯片的Nios II的RF无线通信模块框图.实验结果表明,采用ALTERA的Cyclone II芯片设计实现RF无线通信具有明显优势.     

基于功能虚拟原型的验证方法

为解决片上系统验证和设计不能同步、系统级验证效率低下的问题,该文基于统一验证方法提出一种基于可演化模型的三级验证过程模型。该模型由系统级、行为级和RTL级三级功能虚拟原型演化模型构成,在不同设计阶段复用相同的系统级验证环境,可减少验证的重复工作,将其应用于设计的整个流程,可成功地实现验证和设计同步,提高验证效率。     

片上系统在动态测试领域的应用探讨

在实时动态测试领域中,测试系统微型化是一个重要的研究方向.片上系统技术的发展,为降低系统体积、功耗提供了有效的技术手段.本文利用该技术对微型测试系统进行了研究,对包括SoC(System on Chip)单片机、基于FPGA(Field Programmable Gate Array)的SoPC(Systems on a Programmable Chip),SIP(System-in-package),ASIC(Application Specific Integrated Circuits)等片上系统技术在动态测试领域中的应用进行了探讨.设计了SoC单片机及SoPC在动态测试中的应用方案,并进行了试验测试.结果表明,片上技术能更好地完成动态测试.     

CIS片上系统中伽玛校正的低功耗设计

为了实现CMOS图像传感器(CIS)片上系统(SoC)中伽玛(γ)校正的低功耗设计,同时又保证校正的精度,提出一种查找表和直线拟合相结合的γ校正技术。算法对灰度值较低的像素使用直接查找表方法校正,对于γ曲线上升缓慢部分的像素采用分段直线拟合的方法。在直线分段时,使用外层分段与内层分段相结合的方法,达到了分段优化的目的。算法保证了图像校正精度,与使用完全查找表法相比,误差在0.5 pixel之内。基于该方法设计了一个8 bit输入/8 bit输出的VLSI模块,通过FPGA对模块进行了验证,模块占用723个LE和195个LC寄存器,比完全查找表法减少了硬件资源耗费,实现了低功耗设计。系统最大工作频率可达148 MHz,完全满足实时处理的需求。     

基于V-R模型与卡尔曼滤波器的蓄电池SOC估计

蓄电池组广泛应用于UPS系统中,荷电状态(SOC)是表征蓄电池状态的重要参数之一.在线准确估算蓄电池SOC,有利于开展对蓄电池的状态诊断、维护,保证电池组安全供电.通过对阀控铅酸电池作了大量的充放电试验,根据试验数据应用最小二乘法进行辨识,获得蓄电池SOC的端电压-电阻的计算模型,运用卡尔曼滤波器算法,对SOC做最优估计.经实验验证和仿真,得到了蓄电池SOC最优估计结果,具有很好的精确度,表明该方法能够在工程上用来估算蓄电池的SOC.     

基于温度和SOC的锂离子电池特征提取及SOH估计

为了解决电池日常使用过程中数据量获取不足和健康因子提取难的问题,通过分析不同温度下锂离子电池的荷电状态(SOC)与充电电压的变化曲线,提出基于温度和SOC的锂离子电池健康因子提取及健康状态(SOH)在线估计的方法.在电池的实际充电过程中,根据环境温度差异选取电压和电流作为健康因子.利用遗传-爬山算法优化极限学习机的网络参数,建立健康因子和SOH的映射关系,实现SOH在线估计.使用9组NASA电池老化数据进行验证,结果表明,本文方法具有估计精度高、环境温度适应性强的优点.     

一种基于SOC应用的Rail-to-Rail运算放大器IP核

采用上华0.6μm DPDM CMOS工艺,设计实现了一种基于片上系统应用的低功耗、高增益Rail-to-Rail运算放大器IP核．基于BSIM3V3 Spice模型,采用Hspice对整个电路进行仿真,在5V的单电源电压工作条件下,直流开环增益达到107.8dB,相位裕度为62.4°,单位增益带宽为4.3MHz,功耗只有0.34mW．     

蓄电池电量监测新技术

为准确了解以蓄电池为动力的电动汽车所用电池的剩余电量,在分析目前一些电池剩余电量计算方法的基础上,提出了一种利用阻抗跟踪技术的单芯片监测电池剩余电量方案.在实际设计方案中采用了TI公司的bq20z80芯片,能够在电池整个寿命周期内以高达99%的精确度计算电池组的剩余电量.在电池组处于静止状态时,通过在相应的温度下关联电池组的空载电压和充电状态可以分析出准确的电荷状态.     

机械式智能分层注水工艺技术研究与应用

针对目前海上油田注水技术存在调配工作量大,测调周期长,测调精度低,受井斜影响严重等问题,开展了机械式分层注水工艺技术研究。该工艺技术首次采用液压机械式控制方式,并集成了智能化井下监测、自动化工具调控等特点,实现了实时监测、在线测调的功能。此项工艺技术2017年6月在渤海某油田X井的成功应用,表明分层注水工具性能可靠,在线实时测调,提高了测调效率,可适用酸化、井间示踪剂等作业,为渤海油田分层注水开发技术提供了新的思路。     

铝箔轧机单辊驱动力矩的分析与计算

本文通过对铝箔轧机在金属挤压变形作用下轧辊受力情况的分析。给出了单辊驱动力短的计算方法和公式及有关参数选择的规则和范围。     

基于SOC单片机的电机状态智能监测系统

以CYGNAL SOC单片机为核心,通过对交流异步电机定子电流进行采样、处理,得出电机运行状态参数,可用于电机运行状态监测和远程故障分析、诊断,为及时消除事故隐患提供依据.     

结构化程序的验证和调试

为了保证程序的正确性,本文研究了结构化程序验证和调试的原理,给出了验证和调试的方法,并且将它们应用于程序设计中。     

层状双金属氢氧化物电催化剂的合成与应用研究进展

层状双金属氢氧化物（LDHs）具有层内离子可变、层间阴离子可交换以及反应表面较大的特点,因而表现出优异的电催化析氢和析氧性能。此外,基于LDHs的衍生物能够实现催化剂材料的多功能化和性能的增强,使其在众多领域均表现出显著的优势和良好的应用前景。系统分析了LDHs层板结构的可调变性、可剥层及组装性、结构记忆效应等性质,以及剥层法、共沉淀法和水热合成法等LDHs高效电催化剂的常用制备方法,综述了LDHs及其复合衍生物在电解水析氧反应、析氢反应、乙醇电催化氧化反应、氧还原反应等电催化领域的应用研究,并对LDHs所涉及的问题和解决方案进行了分析及展望。     

基于LabVIEW的纯电动汽车蓄电池SOC估算的实现

在纯电动汽车运行时利用数据采集模块从CAN总线接口采集数据,上传至上位机车载电脑,采用上位机的虚拟仪器分析软件LabVIEW获取汽车运行时的部分数据,并结合两种传统的SOC估算方法进行数据分析,得到有效的SOC数据,为蓄电池性能分析提供数据支持。     

太阳辐射计检定用多维工作台的研制

针对太阳辐射计量仪表进行检定的需要,提出了一种具有四个自由度功能动作的多维检定工作台。工作台在与太阳模拟器联合,可同时对两块待栓仪表的参数误差进行检定。在对太阳高度角和方位角的研究基础上,阐述了工作台旋转机构、升降机构、俯仰机构和转臂机构的设计过程,并对工作台的控制系统进行了说明。测试结果表明多维工作台各级转动误差小于0．05°,由倾角仪和步进电机组成的台面水平控制误差在±10’以内,满足设计指标要求。     

开关磁阻电动机工作原理及其调速系统概述

本文首先介绍了开关磁阻电动机的工作原理及常用控制方式,有电流斩波、脉宽调制方式和角度位置控制方式,其次介绍了开关磁阻电动机调速系统的基本组成,其中对功率变换器、位置检测器、电流检测器、控制器的作用进行了简单的阐述,最后介绍了开关磁阻电动机调速系统的应用。     

PAC平台的关键技术及其应用

作为一种新型的自动控制技术,PAC是目前工业自动化领域研究的热点之一。首先简要介绍PAC技术的功能特征,进而论述PAC的实现技术一RIO技术。针对传统流体控制测试系统参数繁多、系统庞杂的现状,提出一种基于PAC的流体控制系统设计方案。以NI公司的cRIO-9104嵌入式实时控制器为核心,结合多功能数据采集模块及信号调理模块,利用串口通信实现主机对变频器的多种控制,开发出模拟不同流动情况的测试系统。模拟结果表明该系统测试方便、精度较高、可扩展性好。