现代EDA技术及其应用

说明了国内外EDA技术发展的过程,介绍了现代高级EDA技术的主要功能,对如何建立EDA系统提出了建议。     

单兵计算机系统体系结构——“数字化战场与单兵数字化系统”系列论文之三

本文从分析单兵计算机系统的功能、功能特点及其与外部交换信息的类型、性质和规模出发，提出以两级总线互连、分层递阶控制的容错多处理器结构作为单兵计算机系统的体系结构，并从硬件和软件两方面对其结构原理进行了说明。     

火控计算机CPU板测试与故障诊断

针对某火控计算机CPU板的检测与诊断问题,提出了利用专用测试程序实现交互式诊断的方法,在握手测试的基础上,通过自检与被动测试相结合,实现板级和模块级的功能检测和故障诊断。给出了详细的硬件设计方案,提出了故障诊断的基本思路和方法,对同类CPU板的测试和诊断有一定指导意义。     

落实挂钩帮带制度要当好“四员”

一、当好“调研员”，认真摸清挂钩帮带单位全面建设的底数。机关要带着对基层的深厚感情，采取检查了解、蹲点走访、机关沟通、当兵代职等途径，把挂钩帮带单位的基本情况和制约基层建设的各类问题摸清楚。（一）摸清党支部班子建设情况。对班子成员的组成，主要成员个人基本情况、主要经历、个性特征、思想基础，班子建设取得的主要成绩、党员队伍的先锋模范作用发挥、思想骨干队伍建设、内部团结、贯彻民主集中制锋隋况要有全面了解。（二）摸清单位建设基本情况。掌握挂钩单位的使命任务、人员编成、发展历史、按纲建连、战备制度落实、军事训练任务完成、官兵的思想基础、管理教育、全面建设的亮点、单位建设水平的层次、驻地环境、硬件设施建设等情况。（三）摸清存在的主要问题。了解挂钩单位全面建设中存在的主要问题特别是影响战斗力提高的问题，形成这些问题的原因，采取了哪些解决措施，如何解决新的问题，等等。只有对有关情况了如指掌，解决问题才能做到有的放矢。     

第4讲 FTN传输技术研究现状和发展

在FTN系统中,码元以超Nyquist速率进行传输,可以保持误码性能不变。该理论推广至频域后,性能得到进一步提升,但FTN的实现仍存在诸多问题需要解决。文章首先从FTN系统的发送、接收和硬件实现几个方面,对超Nyquist现有的技术进行了总结和归纳。在此基础上,又探索了发送端信号设计和预编码的优化思路,指出了有关低复杂度接收和硬件实现的一些发展方向。之后将该理论推广至衰落信道,介绍了一些初步的研究成果,并提出了可进一步改进的方向,以推进其工程实现。这些方面的研究对于FTN的应用和发展有着重要的意义。     

高速互连网络中基于网卡的归约计算硬件卸载机制

聚合通信广泛应用于高性能计算的研究和工程领域。在大规模的科学和工程计算中,聚合通信开销占据很大比例,有时甚至可达到全部消息传递开销的80%,是高性能计算系统的性能瓶颈。因此提出了一种基于网卡的归约计算硬件卸载机制,通过在网卡上嵌入归约操作逻辑部件,实现了数据在传输过程中的计算,减轻了CPU的负担,降低了通信延迟。通过FPGA平台实现了16节点的归约操作实验,并基于xNetSimPlus模拟器模拟了不同节点规模的归约操作。实验证明,卸载机制能有效减少聚合通信中归约操作的时间,所提支持归约计算的网卡卸载机制最高可以加速归约操作2.71倍。     

基于深度优先搜索与增量式求解的极小一阶不可满足子式提取算法

随着寄存器传输级甚至行为级的硬件描述语言应用越来越广泛,基于一阶逻辑的可满足性模理论(Satisfiability Modulo Theories,SMT)逐渐替代布尔可满足性(Boolean Satisfiability,SAT),在VLSI形式化验证领域具有更加重要的应用价值。而极小不可满足子式能够帮助EDA工具迅速定位硬件中的逻辑错误。针对极小SMT不可满足子式的求解问题,采用深度优先搜索与增量式求解策略,提出了深度优先搜索的极小SMT不可满足子式求解算法。与目前最优的宽度优先搜索算法对比实验表明:该算法能够有效地求解极小不可满足子式,随着公式的规模逐渐增大时,深度优先搜索算法优于宽度优先搜索算法。     

基于通用接口适配器的半实物仿真系统设计与实现

针对航空领域通用接口半实物仿真环境的应用需求,在构建虚拟集成与仿真验证平台的基础上,提出了基于ARINC664接口适配器的半实物仿真系统的实现方法。以ARINC664接口适配器的工作原理为牵引,明确半实物仿真系统的设计原理和方法,搭建半实物仿真验证环境,并基于北斗定位处理机的硬件在环仿真场景对系统进行验证测试,结果表明,系统的设计与实现是正确、合理的。     

开发“两室一部”功能

开发学习室基地化功能。新形势下,建设开发连队学习室,使之走基地化道路,把连队建成真正的“熔炉”、“学校”,既是新时期“两室一部”焕发活力的内在要求,也是军营文化育人为本的基本条件。(一)加大投入,完善硬件设施。挤出资金为基层连队购置成套桌椅、制式黑板,配置幻灯机、荧光屏幕、视频和网络终端等电化教学设备,使学习室硬件设施达到基地化要求。(二)注意综合利用,使之成为“四个基地”。①政治教育基地。学习室内要营造良好的思想政治教育氛围,使官兵置身于学习室,便受到感染和熏陶;借助电化教学设备,保证现代化教学方法的运用和实…     

民兵连建设要克服“三重三轻”现象

抓基层民兵建设是人武部门的重头戏,要舍得花气力、投财力,使民兵连建设质量不断提高,在占领城乡思想文化阵地方面发挥重要作用,有力促进经济发展和思想文化建设。但在工作中,笔者认为有以下三个值得注意的现象要认真克服和纠正。一是重硬件建设轻软件建设的现象。过去往往把有几间好房子、墙上有几块好牌子、屋内有几张好桌凳作为衡量民兵连建设的主要硬件,不少民兵连还为＂青年民兵之家＂购置了大屏幕电视机、影碟机、音响设备等现代化电器,进一步完善了硬件设施。值得注意的是这些民兵连的硬件虽然过硬,但软件建设却相差许多,比如有的图书报刊比较少,尤其是科技图书和军事报刊不够齐全;