自动化理论的实时控制设计

本文为应用有限自动机（ＤＦＡ）理论，实现微机实时控制系统的程序设计，阐明系统的总体结构、功能模块、程序实现的方法和算法的正确性。程序设计使用Ｔｕｒｂｏ Ｐａｓｃａｌ语言编写。在实时控制系统的实现证明，应用有限自动机理论可极大地提高系统的响应速度，简化程序设计步骤，是实用和具有独立风格的程序设计方法。     

基于有限状态自动机极小化的Web应用系统测试

有限状态自动机可以描述软件的行为,将Web应用系统转化成有限状态自动机的模型,该模型可以作为设计测试用例以及判定输出结果是否正确的基础。因此测试的问题转化成了检验自动机状态转移是否符合要求的问题。利用有限状态机的极小化理论方法,可以降低Web应用系统模型的状态空间规模,从而可以达到简化测试的目的。     

基因交互逻辑网络的自动机模型

阐述最近几年来国外应用自动机理论到基因组系统作用与行为的研究新进展,分析了有限状态自动机和细胞自动机应用于基因网络的原理、方法与机制。结合基因网络研究,本文首次提出了一个引入时间自动机模型的思路。     

有限状态机建模在嵌入式按键设计中的应用

为了使嵌入式软件代码更加可靠,增强程序的可维护性,将有限状态机理论应用于嵌入式设计中。论述了有限状态机的基本结构和它的基本原理,介绍了有限状态机建模在嵌入式系统中实际应用现状。针对一种实际按键模块的需要,利用有限状态机的嵌入式设计建立了系统模型。采用状态机实现方法编写了按键接口程序,实现了2个按键的状态机模型设计。系统的调试结果验证了模型的正确性和可靠性,具有一定的工程价值。     

机械加工自动线嵌入式故障诊断研究

基于有限状态自动机／形式语言的离散事件动态系统（ＤＥＤＳ）诊断理论，探讨了机械加工自动线嵌入式诊断技术的实现方法，同时讨论了嵌入式诊断代码生成问题。     

CAN总线协议实现方法研究

在CAN总线通信网络的建设中，CAN总线控制器实现了CAN总线协议的大部分内容．首先介绍了CAN总线的概况，简单介绍了CAN总协议的内容，详细介绍了有限状态自动机的组成特点以及利用有限状态自动机实现CAN总线协议的方法．最后根据有限状态自动机的设计要求，详细介绍了CAN节点的各种状态以及各个状态之间的转换关系．     

有限自动机在家用防火防盗报警器中的应用

从有限自动机理论出发,运用有限自动机理论对"家用防火防盗报警器"的原理设计进行了形式化的描述,通过分析家用报警器的功能模块,得到报警器整个系统的工作流程,并对各模块之间的工作流程进行了说明,使得家用报警器系统之间的设计更加清晰,也使得系统实现更加容易.     

用键合图理论建立浮动自动机系统动力学模型

该文介绍了系统动力学键合图理论的基本思想，并结合火炮自动机的具体特点，以某浮动自动机为实例介绍了用键合图理论把浮动自动机系统表示成统一格式的图形和数学模型的方法和步骤。文中还给出了用所建立的浮动自动机键合图模型编程上机的运算结果，并将计算结果和实测的结果进行了对比。对比表明，计算结果和实测结果基本相符，这说明用键合图理论建立火炮浮动自动机的动力学模型是可行的。键合图理论是系统动力学的新的分支，把它引入火炮自动机的设计中，可以丰富和发展自动机的设计计算理论。     

大时滞不确定对象的数字控制系统设计方法

提出一种新的控制算法－时滞并联自适应控制算法，简写为ＳＰＺ。理论分析和仿地具结果表明，在被控对象为任意阶、纯滞后时间为任意长的稳定的慢时变系统中，应用此算法设计系统，系统的阶跃响无振荡、无超调，无振铃、系统静着为零。这各 法进壬线参数辨识，运算时间不长，适用于实时控制，程序占用存贮空间不大，用单片机就能实现，系统造价 ，很工程实用价值。     

机械加工自动线嵌入式故障诊断研究

基于有限状态自动机／形式语言的离散事件动态系统（DEDS）诊断理论,探讨了机械加工自动线嵌入式故障诊断技术的实现方法,同时讨论了嵌入式诊断代码生成问题．     

守恒型非自共轭奇异摄动问题的二阶一致收敛格式

考虑带小参数的守恒型非自共轭奇异摄动问题，建立并证明一个二阶一致收格式．     

高氧型果蔬保鲜箱控制系统设计

基于传统果蔬保鲜箱存在着易发生低O2和高CO2伤害等目前难以克服的缺点,设计了一种以单片机为控制核心的高氧型果蔬保鲜箱.文中阐述了该保鲜箱控制系统主要硬件和软件的设计及实现方法.该箱可实时控制贮藏环境中氧气、二氧化碳的动态含量,延长果蔬保鲜时间,还可将适宜果蔬保鲜环境中的氧气、二氧化碳的动态含量数据采集保存,以便需要时再现原来适宜环境,该系统工作稳定,功能强大.     

基于嵌入式操作系统的数控机床系统的设计与开发

本文利用嵌入式操作系统设计数控机床,选择ARM微处理器和μC／OS-Ⅱ实时操作系统作为数控机床运行平台。该设计包括硬件（板级和芯片级系统两大系统）和软件两大电路,根据设计原则将该系统分作为6大周期性实时任务以达到设计目的。     

微控制器程序设计实时性与效率分析

分析了微处理器实时程序与实时控制时间的量化关系,分析了多模块实时程序的量化关系关系．量化多模块之间实时程序的时间制约关系,描述了控制时间与程序执行长度的量化关系,定义了实时程序的时间扩展度量方式．     

关联估计的递阶多变量DMC算法

针对实际多变量预测控制算法中存在的离线计算复杂、实时性较差等问题，设计基于关联估计的递阶多变量动态矩阵预测控制(DMC)算法．文中分析算法的有效性和稳定性．说明算法的程序实现方法．实际造纸机控制结果表明。该算法具有简单、易实现、实时性好的特点．能够达到具有较好的控制效果。     

基于模糊控制二级倒立摆实验装置的二次开发

二级倒立摆实验装置系统采用直流电机驱动和内置DSP芯片控制，通过RS-232串行总线与计算机通信。由于该系统的数学模型是非线性的。很难用经典的控制方法时其实现实时控制，基于此时实验装置的控制系统进行二次开发，引入了模糊控制方法改善原有的线性控制算法。模糊控制的核心是模糊控制规则，所以确定合适有效的控制规则成为解决问题的关键，而采用基于经验和基于系统仿真结果相结合的方法，制定出了简单适用的规则库。调试结果表明，系统具有良好的稳定性。     

最优控制数学模型的数值解法研究

应用于实际的控制理论模型很难求得解析解，为了求解卡车调度系统最优控制的数学模型，本文研究了模型的数值解法。将最大原理迭代和规划算法结合在一起，形成新的算法称之为最大原理迭代＋规划算法。此法在总体上采用最大原理迭代，在迭代的每个循环利用规划论求出局部最优。并编制了计算机程序。经实例解算表明该算法收敛快，程序运行可靠。     

智能门禁系统的设计

文章从整体上阐述了门禁系统的设计方案.分别讨论了门禁系统识别卡的登记注册、删除、门禁系统实时监测统计与考勤、电子巡更功能;从系统结构方面,详细研析了后台计算机、配电及通信中继、双门控制器、读卡器及相应的管理软件的原理;简单讲述了本设计方案的特点.     

卷积法声场控制系统及其设计

论述了利用卷积法进行厅堂声场控制的原理，提出了声场控制系统的设计方法，并使用高数字信号处理开发板构成实时卷积声场控制系统，实验表明它可使中频混响时间增长３倍以上，效果良好。