课程文献中心 更多>>

关键词： 单片机技术   电子防盗设备   硬件设计   探究  

摘要： 对于设计电子防盗锁工作而已,需要掌握其工作基本的原理,在当前的设计技术中,电子防盗在集成电路实施控制的情况下,通过密码输入和自动判断是否开关锁而完成防盗保护工作,同时此设备还支持更改密码。在本文中主要研制出采用单片机STC89C52和存储器(AT24C04)主控芯片完成数据存储功能的防盗设备,同时对其外围设计主要包括:电子键盘、手机智能设备、互联网技术和液晶显示的硬件,有效实现电子设备防盗、变更密码的目的。

关键词： 单片机   硬件电路设计   程序研究  

摘要： 基于单片机AT89C51完成公交车自动报站系统的设计系统,包含系统硬件电路的设计及软件程序的设计,实现高效、准确的城市公交无线自动报站系统的分析与研究。

关键词： 电动汽车充电   模式Ⅱ   硬件设计  

摘要： 电动汽车的销量逐渐增加,充电问题逐渐得到重视,模式Ⅱ充电器是充电使用频次最高的充电设备,对电池动车使用十分关键。本文基于MC9S12G128微处理器,设计模式Ⅱ充电器的整体硬件系统,具体为单片机控制模块、控制导引模块、电源模块、电压电流采样电路和蓝牙模块等,论述各个模块的设计原理。设计系统样机,系统可以稳定可靠工作运行。

关键词： 控制系统   飞控系统   DSP   CPLD  

摘要： 控制系统是导弹武器系统的重要组成部分。作为飞控系统的核心单元,控制系统的性能直接影响导弹武器工作准确性及正常性。从硬件出发,设计了基于DSP+CPLD的导弹控制系统,可用于完成飞行控制管理和数据解算,并通过接口分组件与相关的子系统进行数据交换,从而实现对导弹的飞行控制。系统具有成本低、稳定性强、控制精度高的特点,具有工程应用价值。

关键词： 空地导弹   导弹任务机   DSP   FPGA  

摘要： 空地导弹是实施空袭的主要兵器,而某导弹任务机是某空地导弹系统的核心部件,实现对空地导弹的制导控制,从硬件系统设计出发,设计了以DSP+FPGA的嵌入系统。系统电路结构简单、集成度高、可靠性高、成本低,可用于导弹发射平台信号进行初始化,接收火控系统的目标信息,实现飞行控制律的运算。

关键词： 电力电子滤波器   硬件设计   电路设计  

摘要： 进入21世纪以来,我国的经济发展呈现出爆炸式增长态势,与之相对性的是各项资源能源的需求呈几何倍数增加,这些都对现如今的经济发展造成一定的影响,成为一项亟待解决的问题。在电力能源的供应方面,电力行业不断推陈出新,开拓创新,进行产业升级和技术提升,希望能够对电网和用电设备减轻工作压力、减少安全隐患。本文基于电力电子滤波器的视角,对电力电子滤波器的硬件设计与控制方法进行了深入的探究,旨在有效减少谐波对电网和电力设备的损害,为电网和电路的日常工作减轻压力,切实解决更多的安全隐患,为电力系统的安全运行提供保障。

关键词： CAN总线   PowerPC   FPGA   嵌入式  

摘要： CAN总线通信协议是ISO国际标准化的串行通信协议,以其低成本、高可靠性以及高性能等特点在当今汽车、船舶和工业设备等行业得到广泛应用。文章提出了一种嵌入式CAN总线系统的硬件设计方法,基于PowerPC嵌入式处理器、FPGA以及CAN微控制器的架构,顶层应用通过PowerPC嵌入式处理器对CAN总线上的任意设备进行访问和控制。

关键词： 空舰导弹   供电系统   检测仪   硬件设计  

摘要： 为解决某型飞机空舰导弹供电系统故障无法检测与定位的技术难题研制了检测仪;检测仪硬件利用新型大功率器件和传感器技术构建双通道大功率负载检测硬件平台,有效解决了大功率模拟带来的体积、重量和散热等问题。采用同一厂家最新的商用货架产品及合理布局和检测电缆的有效设计,解决了相互不兼容/匹配的问题;研究结果表明,在应急保障条件下,火控人员使用该设备对某型飞机空舰导弹供电系统进行故障检测,其中发现×架飞机空舰导弹供电系统工作异常,其诊断结果均与故障部位吻合,达到设计的性能要求。该检测仪具有运行稳定可靠、检测准确度高、扩展性好等优点,有效提高了部队空舰导弹供电系统维护保障能力;该研究具有一定的实用性和推广价值。

关键词： 单片机   电磁计程仪   硬件设计  

摘要： 电磁计程仪是舰船主要导航仪器之一。在研究某型电磁计程仪工作原理的基础上,提出了一种基于单片机技术的电磁计程仪模拟器硬件设计方案。方案是以模拟器性能需求为基础,以STC89C55型单片机为核心,配合接口电路和外围模块进行设计。在该方案的基础上,配合相应软件设计,可以使学员通过该模拟器熟练掌握某型电磁计程仪的使用操作。

关键词： 硬件设计   安全验证   定理证明   形式化语义模型   细粒度  

摘要： 针对硬件设计长期缺乏有效的安全验证方法问题,提出了一种硬件安全门级细粒度形式化验证方法.该方法使用形式化语言在逻辑门层面上描述硬件电路的安全属性,构造包含安全属性跟踪逻辑的形式化语义语句,从而将硬件设计转化为电路语义模型,并结合霍尔逻辑三元组理论构造用于验证该模型安全属性的定理.定理的证明过程是以人机交互的方式在定理证明器环境下验证定理的合理性.实验结果表明,该方法能够形式化地遍历电路语义模型的状态空间,精确验证不同输入状态下电路语义模型的安全性.该方法通过构造安全属性跟踪逻辑提高了验证的精确性,结合定理证明提高了验证覆盖率,能够有效地验证硬件设计的安全性.