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

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

航空交流电源系统仿真器的设计

介绍一种航空交流电源仿真器的设计，它采用微处理器通过SPWM控制，为了仿真航空电源的三相交流电源系统的正确信号与故障时的信号，是一个电压与频率变化的信号发生器。论文给出了变压变频控制方法．硬件结构和软件流程。该仿真器实现了多路的变频变压电源信号的控制。     

基于P2P的虚拟VPN网关模型

一、虚拟私有网的产生 我们知道，大部分企业或机构都构建有供自己办公使用的局域网，用来沟通部门之间的信息联系和信息共享。对处在地理位置范围相对狭小的机构来说．这很容易做到。但在实际生活中．我们往往会遇到以下几种典型情形：机构的各部门地理位置分散；工作人员异地出差时要访问办公资源；SOHO家庭办公等等。     

对等网络中的信息安全

近年来，对等网络得到迅速发展，其广泛应用促进了信息技术的发展，也带来了一系列的安全问题。介绍了对等网络中若干安全问题，并针对这些问题，分析并给出了相应的安全保障策略，最后对P2P中的信息安全问题的未来做了展望。     

移动通信系统中功率控制研究

在阐述功率控制在移动通信系统中的发展过程的基础上，着重研究了WCDMA系统的功率控制，最后对功率控制未来的研究方向做了简要的分析。     

信息化革命对军事领域的影响

不同领域的信息化有着不同的要求。军事信息化是指在统一规划和组织下.军事领域各个方面广泛应用现代信息技术,大力开发信息资源,以提高军队指挥自动化效能为核心,以全面提升军队战斗力、打赢未来信息化战争为目标,实现由机械化军队向信息化军队发展的过程。军事信息化有以下一些主要标志:信息技术广泛渗透到军事领域各个方面、各个环节:信息力成为生成与提高军队战斗力的倍增因子;信息对抗贯穿于战争全过程,在作战致胜中居主导地位;指挥自动化是遂行作战指挥不可或缺的手段;信息技术物化出的     

切换模拟或数字信号的开／关缓冲器

很多应用都需要使用在数字控制下切换模拟信号或数字信号的方法。这种开关的期望规格包括：当开关处于关断状态时,衰减小于90 dB；当开关处于打开状态时,失真不大于0.002%；以及能在10μs以内响应开、关命令的能力。另外,电路应     

多带抗噪声语音识别算法研究

根据Flether等人的研究,基于感知独立性假设的子带识别方法被用于抗噪声鲁棒语音识别。本文拓展子带方法,采用基于噪声污染假定的多带框架来减少噪声影响。论文不仅从理论上分析了噪声污染假定多带框架在识别性能上的潜在优势,而且提出了多带环境下的鲁棒语音识别算法。研究表明：多带框架不仅回避了独立感知假设要求,而且与子带方法相比,多带方法能更好的减少噪声影响,提高系统识别性能。     

1／8砖包装DC/DC转换器

OB2252是昂宝电子推出的又一款高度集成的电流模式PWM（脉宽调制）AC／DC控制IC。它为10W以下小功率电源适配器以及充电器产品量身定制，具有高度的可靠性，优良的性能。采用了Burst及Extended Burst技术使电源模块在空载及轻载时的待机功耗小于0．2W，满足能源之星和蓝天使标准；OB2252集成了完善的保护功能（OCP，OVP，输出箝位保护等等），使采用OB2252的小功率电源系统不附加额外系统成本的情况下，能够很轻易达到很高的安全性和可靠度。昂宝电子采用OB2252设计的5W系统可以通过EN55022和FCC Part 15 Class B的所有EMI性能要求而无需使用X电容、Y电容以及共模电感。     

国内市场动态

《电子信息产品污染控制管理办法》发布，2006年我国电子信息产业增速将达20%，2005年我国电子元器件贸易逆差达962.6亿美元，2005中国十大IC设计公司座次重排，2006年我国仪器仪表增幅将达20%，平板电视市场份额增至9年将达45%，[编按]