移动通信基站平台的SNMP系统设计

文中首先介绍了OMS系统中SNMP模块的架构,然后对模块状态机和状态跳转关系进行分析,并提出了SN-MP模块的关键数据和关键类的设计思路,在对系统的SNMP模块架构设计进行了充分讨论的基础上,考虑到模块与系统的功能扩展,设计了独立的SNMP系统框架,并对单一基站应对多个管理端提出了解决方案.     

基于有限状态机的飞行器自毁系统时序控制设计

飞行器自毁系统是飞行器的重要组成部分,它的可靠性和稳定性是飞行器可靠工作的基础.分析飞行器自毁系统工作原理,采用复杂可编程逻辑器件(CPLD)实现了飞行器自毁系统设计,结合CPLD的特点,提出一种基于改进型有限状态机的飞行器自毁系统时序控制的设计方法,并在CPLD中予以实现.仿真及实验表明,基于有限状态机的飞行器自毁系统定时精度达到纳秒级,可以有效地控制自毁信号输出并消除毛刺现象,很好地满足系统性能要求.该方法具有结构简单紧凑、成本低、可靠性高、精度高等优点.     

复杂Web系统的模型驱动重构方法研究

大型复杂Web系统在演化过程中出现多种臭味而需重构。在分析重构需求基础上,给出一种模型驱动重构方法。针对Web构件跳转逻辑的重构需求,主张采用协议状态机建模方法,以此建立项目范围的跳转模式并给出推理方法。与传统方法相比,该方法具有可伸缩性、并能保持和增强安全性,适合复杂Web系统的重构。     

浅谈状态机的设计方法及应用

有限状态机（Finite State Machine，FSM）是时序电路设计中经常采用的一种方式，尤其适用于设计数字系统的控制模块。有限状态机不是孤立的一个状态，它依赖于输入输出关系，系统需求，编程语言的条件限制以及其他诸多因素。本文主要介绍了有限状态机的原理及实际应用。     

基于FSM的高速采样滤波控制器的研究

针对单片机采样控制的速度局限，利用有限状态机的方法，设计了基于FSM和FPGA的高速采样滤波控制器，完成了对两路高速A／D转化器TLC5510和高速自适应滤波器的控制，并进行了时序仿真，给出了高速自适应滤波系统的结构框图。结果表明：基于有限状态机和FPGA的设计方法是完成高速器件控制的有效方式。     

一个基于PLA的FSM测试方案及算法实现

有限状态机（FSM）是一种实现时序逻辑的常用设计模式，目前更加广泛地被应用于数字系统中控制逻辑的实现，本文主要介绍对基于PLA实现的FSM测试方案及其算法流程的研究及设计。该方案所考虑的故障模型是由交叉点故障，触发器功能故障和固定型故障所构成的混合模型，算法流程是在PLA自动测试生成系统基础上进行开发的，因此，可靠性比较高。     

基于FPGA的UART设计

UART作为RS232协议的控制接口得到了广泛的应用,将UART的功能集成在FPGA芯片中,可使整个系统更为灵活、紧凑,减小整个电路的体积,提高系统的可靠性和稳定性。提出了一种基于FPGA的UART的实现方法,具体描述了发送、接收等模块的设计,恰当使用了有限状态机,实现了FPGA片上UART的设计,给出了仿真结果。     

基于EAP-TLS的认证机制研究与实现

描述了TLS(transport layer security)协议、EAP(extensible authentication protocol)、EAP-TLS协议流程和消息格式,给出了EAP-TLS协议的有限状态机设计,并根据有限状态机在Ubanto系统下实现EAP-TLS认证机制。测试结果表明,开发的软件具有良好的规范性、可靠性和稳定性,能有效实现用户和服务器间的双向认证。     

基于FPGA的PicoBlaze嵌入式通信系统设计

研究了应用常量编码可编程状态机(KCPSM)的PicoBlaze嵌入式通信系统设计,通过nrf2401数据传输模块,在Xilinx Spartan 3E FPGA上的实现数据的传输和显示。在研究了系统硬件的原理和功能的基础上,应用可编程状态机对FPGA的PicoBlaze IP核进行设计,利用IP Core对收发模块进行控制,实现了模拟数据和数字数据的通信。     

自主化全电子信号机控制单元的设计与研究

设计和实现全电子计算机联锁中的信号机控制单元驱动和采集信号机信息。全电子信号机控制单元设计为二乘二取二架构,在硬件设计中,单元分为主从CPU模块、监控CPU模块、信号机接口模块、电源模块和复位模块等六种功能电路。其中,信号机接口模块中的信号机点灯电路采用机械开关和电子开关,异构的驱动设计有效避免共模错误。遵循EN50129标准,软件设计为初始化、通信控制、应用程序、状态机计算和驱动五个功能模块。然后,对全电子信号机控制单元的可靠性进行了分析,结果表明单元的可靠性能够满足铁路信号系统的安全需求。最后搭建了测试环境,对全电子信号机控制单元进行硬件、软件和集成测试,验证了单元的可用性和稳定性。     

CAN总线在测绘相机控制器中的应用设计

为了实现测绘相机控制器与星务计算机之间的可靠数据通讯,对CAN总线在测绘相机控制器中的应用方法进行研究。首先,根据CAN总线工作原理对硬件电路进行设计,然后在对CAN总线控制器和TSC695的接口逻辑进行分析比较的基础上,采用状态机设计法解决接口时序的不匹配性问题,并利用Modelsim软件对状态机进行时序仿真与验证。最后介绍了CAN总线控制器初始化配置流程和定时状态设计方法。实验结果表明:相机控制器通过CAN总线以307.2 kb/s波特率通讯时无错误,CAN总线接口状态机的时序余量能够达到20%,满足测绘相机控制器CAN总线通讯的可靠性要求。     

Incorporating reliability specifications in the design oftelecommunication networks

The current state of reliability specification and design methods is described. These methods aim to keep the expected value of the effect of network failures on the users under a certain level by assuming that the effect is approximately proportional to the outage time. The evaluation of long outages is discussed. Future reliability specification and design methods are also discussed     

具有动态检测功能的彩色九画面处理器的设计与实现

描述了具有动态检测功能的彩色多画面处理器的软硬件设计思路和实现途径.针对软件设计的复杂性,采用基于有限状态机的软件设计方法,来提高系统软件的可靠性和代码的重用性,测试结果表明系统实现了预定功能.     

临近空间高超声速跳跃式滑翔目标跟踪模型

针对临近空间高超声速跳跃式滑翔目标跟踪问题,在分析目标运动特性的基础上提出了一种二阶时间相关的新型机动跟踪模型,该模型的核心是将加速度作为具有衰减振荡自相关的零均值随机过程,并据此构建了跟踪临近空间高超声速跳跃式滑翔目标的状态方程;为进一步分析模型的运动适应性,结合卡尔曼滤波算法推导了模型的系统动态误差稳态值,从模型参数取值的角度探讨了模型的适应性问题;为提高模型参数设计的合理性,分析了模型中两个参数的对应关系,并给出了参数设计的大致参考区间.理论分析表明,模型具备周期性与衰减性的统一,在短时间内主要表现为周期性,在长时间内主要表现为指数衰减性,这一特性提高了对临近空间高超声速跳跃式滑翔运动描述的合理性,此外,该模型跟踪临近空间高超声速跳跃式滑翔目标时的参数理论取值具有较低的系统动态误差稳态值.仿真实验表明与已有的临近空间高超声速目标单噪声机动模型相比,该模型具有较高的跟踪精度;并通过比较不同参数下的仿真结果一定程度说明了参数取值方法的合理性.     

脉冲雷达高度表串行高度数据接收模块设计

介绍基于现场可编程门阵列(FPGA)的脉冲雷达高度表串行高度数据接收模块的设计,讨论了异步串行接收模块的内部结构、帧格式、同步检测与采样过程以及算法转移状态机。通过仿真波形验证了其内部时序的正确性。     

基于FPGA的高可靠性SDRAM控制器设计与实现

为了实现空间电磁环境中数据缓存,提出了一种采用FPGA设计具有高可靠性的SDRAM控制器方案.该控制器采用自顶向下的模块化设计,包括顶层控制和底层驱动两层状态机,并且通过上电自校验和关键控制模块三模冗余提高其可靠性.在此基础上,完成了控制器的FPGA硬件实现和测试.测试结果表明,该设计方案具有很高可靠性和可移植性,对应...     

MVC技术在光刻机人机工程中的应用研究

针对光刻机界面现存的界面数据显示不一致、可靠性差、友好度低等问题,本文结合Model-View-Controller(MVC)模型及其关键技术设计出了操作快捷、响应事实、运行稳定的人机交互界面。结合ADAE(Adaptive Distribute Application Environment)平台和光刻机系统状态管理模型实现了人机交互界面的框架设计方案。     

大功率电子设备结构热设计研究

大功率电子设备发热量大,其热设计的好坏直接影响系统的可靠性。针对大功率电子设备的热设计问题,介绍了一种实用的强迫风冷散热设计方法。以某工程大功率功放设备结构热设计为例,详细阐述了热设计方法的选择以及设计步骤和设计过程,并采用Icepak热分析软件对整机设计进行热设计仿真,给出合理优化的设计结果。经过高低温环境试验和工程实际应用验证,证明该设计方案有效可行。     

PLC在镗床控制系统中的应用

针对传统继电-接触控制的镗床存在电路复杂、可靠性差、故障诊断与排除困难等缺点，提出了用可编程控制器对镗床控制系统进行改造。介绍了0MRON公司CPM1A系列可编程控制器在镗床控制系统中的应用，给出了可编程控制器改造T68镗床电气控制系统的硬件组成和软件设计，其中包括可编程控制器的机型选择、输入/输出地址分配、输入／输出端接线图及可编程控制器梯形图程序设计。详细地分析了用可编程控制器控制镗床的工作过程。说明了可编程控制器控制取代传统继电-接触控制的方法，使得镗床的可靠性和效率大为提高，在工业上有广泛的应用前景。     

面向独热编码的有限状态机抗单粒子翻转设计

在空间高能粒子影响下,电路容易发生单粒子翻转,而在电路设计中处于核心地位的有限状态机一旦受到单粒子翻转影响,可能无法进行正常的状态转移,从而导致有限状态机失去数据控制功能。为此,面向独热编码的有限状态机进行了抗单粒子翻转设计,并以航空全双工交换以太网中的入队数据总线控制模块作为验证模型,通过故障注入验证了设计方法的正确性。最后对该设计进行了可靠性评估,结果表明相比于传统的三模冗余加固方法,该方法的失效概率降低了两个数量级,此外还能根据实际需求调整纠正位数。相比于编码方式,该方法采用的逻辑更简单,更便于设计人员的开发和使用,具有较强的实用性。