一种认证协议的检测模型

在分布式系统中,客户向对方证实自己的身份以及建立会话密钥已是非常重要,密码协议的实施就是达到这种目的的有效方法。但密码协议的设计容易出错。本文给出了一种密码协议分析和检测模型,该模型对密码协议的描述简单而且直观。在此模型中,协议被描述成状态变换系统,通过对系统状态的检测,能够发现协议中存在的泄漏。最后,给出了如何将改进的TMN协议模型化,并找出了一种新的攻击,同时,给出了TMN协议的进一步改进。     

基于并行总线分布式波控系统的实现

随着相控阵雷达技术的发展，大型有源相控阵雷达的天线阵列面大、T／R组件数目多达几百、几千个，对如此众多的T／R组件实现快速、准确的波束控制，给波控系统的设计带来了新的难度。介绍了一种基于并行总线接口技术分布式控制的波控系统的设计方法，解决了布相时间短、波束切换快、实时校正补偿、BIT自动检测等多项工程难题。     

基于总线ICD测试方法研究

分析了综合航空电子系统中MIL-STD-1553B总线系统的特点,对总线测试的方法进行介绍,给出控制接口文档ICD在航空总线测试系统中的作用。ICD是对总线数据的定义,在此对传统ICD设计方法进行了阐述和总结。通过通用航空总线ICD数据库对总线进行测试,极大地优化了测试的方法,并对通用航空总线ICD设计方法进行了理论研究,通过实时分析论证其可行性。     

基于梯形波的交流母线分布式电源系统

文中介绍了新型梯形波交流母线分布式电源系统的组成,这种基于梯形波的母线电压使系统具有（N＋1）个前端变流器串联冗余能力,较低的开关损耗和电磁辐射,谐波分量程度适中;给出了梯形波交流母线分布式电源系统的拓扑结构,对几种阶梯波调制方法进行了分析和研究;同时给出了系统主要器件的设计公式。     

基于RS485总线的面粉厂集散控制系统

概述了面粉厂的基本状况及技术要求，详细介绍了面粉厂控制系统的控制方案及设计方法。给出了基于RS485总线集散控制系统的硬件配置和软件设计。系统实际应用表明，该方法为实现低成本的网络控制系统提供了一个实例。     

基于扩展变迁系统的分布式系统一致性测试研究

本文用形式化技术给出分布式系统的一致性概念和测试结构,并讨论基于扩展变迁系统描述的包含实现关系、测试例、测试集和测试执行的测试理论.     

Distributed diagnosis for homogeneous systems

This article presents a distributed fault-diagnosis algorithm for identifying faulty and fault-free units (processors, PEs, cells) in homogeneous systems. It is based on local comparison among units in a system and dissemination of the test results. Each unit performs comparison with its neighbors by using its own comparator. Unlike other approaches, the algorithm does not assume that diagnostic circuits are fault free. The algorithm is simple enough to be realized with small circuit overhead. The results are especially useful in locating faulty units in processor arrays implemented on a single chip or wafer. Computer simulation has shown that even for low unit yields, extremely high performance (fault coverage) can be obtained by adjusting algorithm parameters.     

基于CAN总线的智能测控节点的设计

本文介绍了一种具有通用性的基于ＣＡＮ总线的智能测控节点的设计方法，并阐述了系统各部分的硬件结构及相应的芯片功能。     

一种基于PCI总线与PIC单片机通信的实现方法

基于PCI总线实现各种数据通信、数据采集以及状态控制已得到广泛的应用。本设计在遵循PCI总线原理下,利用CPLD中I／O资源丰富、用户可自定制逻辑的优势,应用Verilog HDL语言完成对PCI总线接口芯片的设计与实现,并通过接口芯片实现PIC单片机与上层应用程序的通信任务,完成各项控制命令。     

A Distributed Packet Scheduling Scheme with Interference Avoidance for Non Real-Time Applications in CDMA Networks

In this paper, a packet scheduling scheme based on real-time channel conditions and dominant intercell interferer avoidance is proposed, studied and evaluated for reverse links in a time-slotted code division multiple access (CDMA) system. This scheme is implemented by distribution of tags by receivers among transmitters. Each base station issues M(1) tags to M mobile users based on the ranked reverse link gains in every slot. M=1 corresponds to spread-spectrum time division multiplexing mode operation and M1 corresponds to scheduling multiple simultaneous transmissions as in the traditional CDMA systems. The number of issued tags is a system parameter which depends on the expected traffic, the number of cells and the propagation conditions in the network. In the proposed scheme, users who not only have stronger channel gains to their respective home base stations but also cause relatively lower intercell interference are scheduled for transmissions. Different classes of tags can be issued and various scheduling decision rules can be implemented giving flexibility in interference management. Simulation results in shadow and multipath fading environment are presented to show the performance advantage of the proposed scheme.     

基于混合总线的地面情报雷达自动测试设备设计

随着科学技术的不断发展,军事电子产品的生产和测试对自动测试技术提出了越来越高的要求。工作方式灵活、功能齐全的自动测试设备成为了军事电子产品生产和科研的必需设备。本文重点讨论了基于混合总线的自动测试设备架构设计,并叙述了关键技术的设计与实现。     

基于PCI总线的数码管现场显示控制卡设计

PCI总线是先进的高性能32/64位局部总线,易于实现高速实时的I/O口控制卡、通信接口卡。论文设计了一种基于CH365芯片的PCI总线控制卡,主要包括PCI接口芯片、单片机以及数据缓存单元;同时设计了基于数码管驱动芯片CH451的显示电路板,CH451并联应用,连接单片机控制信号,占用较少单片机引脚即可实现多路数据的显示。实验验证了基于PCI总线控制数码管现场显示的可行性。     

基于协议芯片和工具链的ARINC659总线开发平台

文中研究的平台旨在将ARINC659总线技术应用于高安全性、可靠性要求的飞行控制系统。依照《ARINC659协议》和《IEEE1149.5协议》,研制了协议专用数字芯片;并针对系统时间规划这一应用中的关键环节,研制了一整套开发工具链。软硬件协同运作,实现系统时间的智能规划以及单板级、机箱级的调试与监控,为安全关键控制系统提供了完整、通用的平台。     

基于高频高压交流母线多组输出直流电源的研制

本电源是基于高频高压交流母线具有多组输出的直流电源，它具有高达200kHz的开关频率，后级的整流电路由于高频交流母线的存在，使得变压器和电感的设计变得简单，滤波电容的选择也更容易。本电源由PFC电路提供400V的高压直流输入，再由MOSFET组成全桥逆变电路，在固定额率的PWM发生电路和IR2110 MOSFET驱动电路作用下，只加—个谐振电感就可实现开关管的零电压开通，可在大大降低开关损耗和噪声的同时实现直流交流的变换。整流部分采用倍流整流电路以提高原边电压的利用率，可输出低压大电流。由于采用肖特基管，—方面可使得二板管的损耗可以接受，另外—方面还避免了采用同步整流电路所面临的电路结构复杂和驱动困难。     

一种基于PWM的电压输出DAC电路设计

对实际应用中的脉宽调制(PWM)波形的频谱进行了理论分析．指出通过一个低通滤波器可以把PWM调制的数模转换信号解调出来．实现从PWM到DAC的转换。论文还对转换误差产生的因素进行了分析，指出了减少误差的方法，论文给出了两种从PWM到0～5V电压输出的电路实现方法，第2种电路具有很高的转换精度。     

室内分布发射天线STBC系统的发射天线位置优化

该文针对室内环境下分布发射天线STBC系统,在考虑了路径损耗、阴影衰落和莱斯衰落的基础上推导了室内的平均误符号率(AASER),通过使室内的平均误符号率最小得到了优化的发射天线位置。理论分析表明最优的发射天线位置与房间的长、宽、高以及移动台的高度有关。仿真结果验证了理论分析的正确性。     

Modular Precoding Based on Zero Forcing in Large Scale Antenna Systems with Imperfect Channel State Information

In Large scale antenna systems (LSAS), the user number is usually much less than the number of base station antennas. By leveraging this characteristic, Modular precoding based on zero forcing (MZF) is pro-posed to achieve higher spectrum efficiency than Maximum ratio combining (MRC), while preserve the advantage of distributive processing. The achievable rates of the MZF, MRC and Zero forcing (ZF) are derived under the general-ized model of imperfect Channel state information (CSI). The imperfect CSI model includes the channel estimation delay, the noise in the pilot channel, and the pilot contam-ination. The analytical achievable rates match the simula-tions even with a small number of base station antennas. When the antenna number approaches to infinity, the an-alytical achievable rates of MZF converge to the analytical achievable rates of ZF.     

An Algorithm for Output Spectrum Analysis of Nonlinear System with Correlative Sources Based on Power Series

An algorithm for output spectrum analysis of nonlinear system with correlative sources is proposed. First, the output terms of nonlinear system are analyzed based on the power series. Then, the algorithm is proposed. In the proposed method, different terms with the same frequency are picked out and added together by considering different phases, and the amplitudes of the output spectrum are obtained from the summarized results. Two numerical examples are used to verify the proposed algorithm. It is found that the amplitudes of output spectrum vary with different combinations of phases. Finally, the proposed algorithm is applied to control the output spectrum. Results show that the output amplitude of a specific frequency can be suppressed through changing both the amplitudes and the phases of the input signals.