基于模型检测的机载电子硬件验证方法研究

模型检测技术已广泛应用于计算机硬件、通信协议、控制系统等领域,在民用航空领域如何采用模型检测技术开展硬件符合性验证,成为设计及验证人员待解决的问题。文中介绍模型检测方法的验证机理,并提出使用该方法作为机载电子硬件的补充验证方案。以PCI总线状态机模块作为验证对象,开展模型检测补充验证,确定了状态机各状态转移路径的正确,说明了该方法的合理性。     

赛灵思公司推出一体化SmartNIC平台 为云数据中心运营商带来一站式网络、存储和计算加速

3月4日,赛灵思公司(Xilinx)宣布推出一体化SmartNIC平台——Alveo U25,在单颗器件上实现了网络、存储和计算加速功能的完美融合。U25专门针对云服务提供商、电信公司和私有云数据中心运营商而设计,致力于为他们带来SmartNIC更高的效率和更低的总拥有成本。U25将高度优化的SmartNIC平台与强大灵活的FPGA引擎相结合,实现了全可编程与一站式加速应用。U25为应对如SDN、虚拟交换、NFV、NVMe-oF、电子交易、AI推断、视频转码和数据分析等,提供了一个强大的一体化SmartNIC平台。     

河南开通电子口岸

11月8日，河南省政府口岸办举行新闻发布会，宣布河南电子口岸正式开通。今后，十几个和出口业务相关的政府部门将实现协同作业，而进出口企业也将通过互联网方便快捷地完成各种审批手续。     

英国领先显示技术寻求中国合作伙伴

英国投资贸易总署显示技术访问团于2006年11月23日访沪,与上海相关显示技术企业进行会晤并就显示技术如何进行更广泛的合作交流作出表态和解释。英国是世界最受欢迎的研发(R&D)中心之一。目前在显示市场上英国有很多新的技术以及产品。在显示材料方面,目前电子企业都在研发一些     

基于AD9851的高频高压脉冲发生器设计

当前脉冲发生器里的脉冲形成器件,大部分是用火花气隙（spark gap）和高压电子开关（high voltageswitch）.采用火花气隙充当脉冲形成器件有很多弊病：（1）火花气隙在低于1kV时,在机械和电气上不稳定,所以对低于2kV的试验电压要通过分压器来得到.     

中国信息化趋势报告(五十九)壮大电子信息企业的战略建议

发达国家主导了全球电子信息产业的发展，其战略是制定全球性规则，发挥本国企业的领先优势，利用知识产权和技术标准战略强化领先地位。中国电子信息企业在未来一段时期内基本上是跟随者，不得不在有限的市场和狭窄的价值空间内成长。要突破发展屏障，企业和政府应形成战略共识。政府要为跟随企业维持和创造发展空间，帮助企业不断积累力量。     

浅议电子对抗装备软件定型管理

软件在电子对抗装备中所占的比例越来越大，文章分析了电子对抗装备软件的分类及特点，提出了其定型管理的流程，以及这一领域今后的发展方向。     

欧胜推出用于消费电子的三款器件

欧胜微电子公司于近日发布了用于数字消费电子产品的三款新品，分别是单声道的编解码器WM8974、立体声音频模数转换器WM8521和高性能模拟前端WM8216，为快速发展的亚洲市场提供了新的动力。营销副总裁Julian Hayes认为，亚洲的日本、韩国和中国是消费电子的主要产地，公司的大部分收入也来自这一地区，但这三个国家的需求又存在明显差异，     

世界唯一的电子元器件质量评定体系--IECQ-CECC

2003年4月1日,IEC电子元器件质量评定体系(IECQ)与欧洲同类体系CECC按照计划实现了两个组织的聚合。现在IECQ-CECC体系是IEC下设的世界唯一的电子元器件质量评定体系,该体系可独立批准电子元器件制造商的全部系列产品。这种方法被称之为技术批准(Technology Approval),简称为TA。独立的技术批准(TA)体系给电子元器件制造商和使用电子元器件的采购方/用户带来的最大好处就是降低电子元器件的费用。特别对采购方而言,对制造商的评估和对入厂的每一种电子元器件类型的质量检查迄今仍在不断地增加时间消耗和沉重的费用负担。按照要…