辅助动力装置多级嵌套有限状态机控制方法

对辅助动力装置的控制实现采用多级嵌套有限状态机方法,可以兼顾电子控制器自身的工作状态与辅助动力装置不同的使用场景及运行状态,并对电子控制器工作模态进行离散化处理。与传统方法相比,该方法提高了系统的可扩展性,针对不同的控制模态自适应制定相应的控制策略,可以满足不同工况下的控制需求,降低了控制策略的复杂性,同时提高了电子控制器软件的模块化设计程度和系统的可靠性。运用辅助动力硬件在回路仿真系统对该方法进行验证,结果表明该方法可以保证辅助动力装置稳定、可靠的运行。

有限状态机在嵌入式软件中的应用

简述了有限状态机的基本概念和传统理论,提出了利用有限状态机进行程序设计的基本思想,并结合实际应用给出了在大型复杂软件中的一种实现方法。

基于嵌套树模型检测的研究

文章针对软件验证过程中的结构抽象表示问题,考虑到结构程序的顺序结构、调用返回关系,给出了嵌套树以及嵌套状态机的定义。在该数据结构及μ演算的基础上,定义了嵌套树的μ演算(NT-μ)。NT-μ的公式语法是基于概要的,在嵌套状态机上提出基于概要类的模型检测。嵌套状态机的结点是有限的,且嵌套状态机有限的概要类对应于嵌套树中的无限的概要,因此该方法能提高检测的效率。

高速高精度数据获取系统的研究与应用

设计1个高速高精度的适用于光伏型红外探测器的数据获取系统。该系统可以同时采集6路随机的入射红外辐射的能量,并计算入射红外辐射的谱线。采用了Xilinx公司的Spartan 3系列的FPGA作为控制核心,实现了对输入信号的采样跟踪和峰值保持、AD变换、AD变换数据预处理、数据存储、数据上传,并协调各部分的工作。系统的输出数据经USB口上传至PC,然后在PC上进行数据分析处理和谱线显示。FPGA复杂的控制逻辑采用嵌套的状态机实现。实验结果表明,采集死时间大约为6~7μs,误差小于1 mV。

嵌入式软构件模型JECM的技术研究及实现

将软构件技术应用到嵌入式软件的开发中去,可以提高嵌入式开发的效率。利用JAVA语言的优势,构建了嵌入式软构件模型—JECM。介绍了JECM构件模型,阐述了JECM模型的实现技术,并结合一个实例给出了该模型的具体实现。

I^2C总线接口的FPGA实现研究

该文详细阐述了I2C总线接口的结构、工作原理,提出了复杂时序电路状态机嵌套的设计思想,并给出了基于VerilogHDL的I2C接口电路的描述。

有限状态机在嵌入式软件中的应用

简述了有限状态机的基本概念和传统理论,提出了利用有限状态机进行程序设计的基本思想,并结合实际应用给出了在大型复杂软件中的一种实现方法。

基于FPGA的多通道音频信号评估系统

设计并实现了一种基于FPGA的六通道音频信号评估系统。系统由最高64 kS/s的16位模数转换器AD73360对常用音频信号进行采样。设计了一个嵌套式状态机,按照状态跳变,将输入信号暂存到FIFO中。FIFO中的数据会通过USB协议上传到电脑端的MATLAB GUI(Graphical User Interface)中,GUI负责处理数据并显示结果。系统配备了ARM处理器作为辅助,可以根据不同的ADC采样频率和输入信号频率,计算并实时纠正FPGA和GUI的通信波特率,确保不丢码。试验结果表明,该系统可以实现对音频信号的高精度采集。该系统为保真采集音频信号提供了完整的解决方案。

基于PLC与STM32的喷气织机引纬系统设计

为提高喷气织机引纬控制系统的电气化和智能化水平,本文基于欧姆龙PLC与意法半导体推出的STM32微控制器,设计了喷气织机引纬系统,并给出了系统运行原理,充分利用串口、SPI、GPIO等片上接口,扩展独立以太网控制器、LCD液晶屏、Flash等资源,并对系统的硬件采用模块化设计方式,提高硬件系统的可修改性及可扩展性;同时,应用嵌套式状态机算法对系统的软件进行设计,提高了软件系统的实时性,移植UIP协议,增强系统的网络化水平,实现了引纬控制系统。采用日本丰田JAT600型喷气织机为测试机型进行测试。测试结果表明,系统能满足750r/min高速运行,支持部分故障检测、液晶屏显示及远程访问,基本达到预期效果。该系统安全可靠,可满足用户基本需求。

多通道高速高精度数据采集系统在空间探测中的应用

根据作者所在的实验室所承担的中法探测小卫星有效载荷太阳高能暴谱仪的设计任务要求,设计了一个六路高速高精度的数据采集系统。该系统可以同时采集六路随机的入射高能射线的能量,并计算入射的高能射线的流量。采用了X ilinx公司的Spartan 3系列的FPGA作为控制核心,实现了对输入信号的采样跟踪和峰值保持、AD变换、AD变换数据预处理、数据存储、数据上传,并协调各部分的工作。系统的输出数据经U SB口上传至PC,然后在PC机上进行数据分析处理和谱线显示。FPGA复杂的控制逻辑采用嵌套的状态机实现。实验结果证明,整个系统完全符合HEBS的任务要求。

基于SpartanⅡXC2S100的I^2 C总线通信

介绍了I^2C总线协议及基于FPGA芯片的I^2C总线接口结构框图．提出了复杂时序电路状态机嵌套的设计思想,并给出了基于Verilog HDL的I^2C总线接口电路的硬件描述．在ISE 6．1i平台下结合ModelSim SE 5．7进行了设计仿真,实现了XC2S100对I^2C总线器件的读写操作．

基于FPGA实现的SCI接口电路IP核的设计

在某些特殊应用场合 ,如数据采集 ,现场可编程逻辑器件 ( FPGA)需要借助微处理器来完成与上位机的数据通信 ,设计基于 FPGA实现的通信接口电路 IP核将大大提高 FPGA器件的应用灵活性。本文以 SCI通信接口电路为例详细阐述了接口电路的结构、工作原理 ;提出了基于复杂时序电路状态机嵌套的设计思想。给出了 SCI接口电路的 VerilogHDL语言描述及 Xilinx ISE 6.1

喷气织机智能引纬系统的设计

为了提高喷气织机引纬控制的智能化水平,设计了一种数字化引纬控制系统。通过设计硬件电路板,采用PLC和STM32控制器,共同完成引纬过程的控制,可支持远程访问、故障自动报警、友好界面显示等。实验结果表明,系统能基本上实现预期效果,提高了喷气织机智能化水平,满足用户需求。