基于内模控制的PID控制器的设计

基于内模控制原理,针对典型的工业过程对象,给出了PID控制器的设计方法,并根据现代控制理论的观点,证明了该方法符合线性二次型最优控制的选型原则,将该方法应用于典型的工业过程对象的仿真研究,结果表明所设计的PID控制系统,只有滤波器的时间常数是需要整定的参数,方法比较简单,并且在系统特性变化的情况下具有很强的鲁棒性和抗干扰能力。此外,该方法在现有的可编程控制器(PLC)、智能仪表、集散控制系统(DCS)和现场总线控制系统中都很容易实现,无需增加硬件投资,具有较高的工程应用价值。     

基于模糊控制策略的车辆主动悬架研究

建立了车辆整车7自由度模型的主动悬架控制的系统状态方程模型,设计了两种模糊控制策略,方法一针对整车模型,采用一种控制方法,方法二针对整车模型的运动方式,设计不同的模糊控制器,垂直振动模糊控制器,俯仰振动模糊控制器,侧倾振动模糊控制器和逻辑控制器,仿真结果表明,所设计的模糊控制器对提高车辆的舒适性与操纵稳定性有较好的效果.     

空调自动调温系统的设计研究

当前空调的调温系统主要用的是单片机来控制继电器的通断从而控制风机的转动来调节温度,这种方法简单但是控制效果差,不能达到精确控制的效果。文章另辟蹊径,首先简单介绍PID和模糊逻辑控制;然后借助模糊PID控制的方法,并且将其进行科学的改进,让被控的温度参与模糊控制,形成反馈系统调节;再对具体的参数调试设计;最后利用Matlab Simulink 进行仿真实验,利用模糊逻辑(fuzzy logic)模块及LabVIEW提供的仿真模块(simulation module)建立系统仿真并验证控制系统的控制结果。得到信号经过控制系统后,误差极小,达到了很好的控制效果,可以用于空调自动调温控制系统中,具有很大的实用价值。     

Game-theoretic simulation checking tool

Model checking is one of the most commonly used methods for checking program correctness. In this method, one verifies a program model given by the Kripke structure (labeled transition system) rather than the program itself. The specification is usually given as a temporal logic formula. In many subtasks of model checking, it is necessary to use relations that are defined on the set of program models and preserve the satisfiability of temporal logic formulas. There exist many relations of this kind, which are called simulation relations. In the present paper, we introduce a tool designed to check a wide class of simulation relations between finite models of programs. This tool is based on the simulation checking game-theoretic approach. The tool consists of two components. The first component is the formal language, which allows one to define various simulation relations in terms of an antagonistic two-player game. The second component is a software tool that, given two labeled transition systems and simulation definition, is able to check whether this simulation is satisfied between these labeled transition systems.     

利用模糊逻辑系统实现函数逼近的仿真研究

针对不确定性非线性系统，基于Wang L X提出的模糊辨识器的设计原理,给出了基于模糊逻辑系统实现函数逼近的方法，该方法通过采用中心平均模糊消除器和隶属函数，实时地调整参数来实现未知函数、尤其是非线性函数的逼近。通过适宜选择初始参数可使模糊逻辑系统在任意精度上逼近真实系统。该文给出了实现函数逼近的具体算法、步骤和程序流程，并利用MATLAB语言编写了实现函数逼近的通用程序，在工程中可利用此通用程序实现对未知作用函数的近似估算，具有一定的工程实际使用价值。实例仿真取得了良好的效果。     

基于模糊控制的某教练机飞行姿态控制器设计

提出了一种基于规则的模糊逻辑飞行控制系统的设计方法,用以解决某教练机训练系统中数学模型时变性和不确定性问题.为了避免建模的困难,某教练机飞控系统采用模糊逻辑控制设计其控制律,结合飞行员的操纵经验,对系统进行动态调整.以俯仰角为研究对象,利用MATLAB中的fuzzy工具箱实现了模糊控制器设计,给出了俯仰角模糊控制器的控制曲面视图,并在SIMULINK仿真环境下建立了仿真模型.结果表明,所设计的模糊逻辑控制器满足操作品质的要求,具有较好的鲁棒性,对教练机驾驶训练仿真平台的飞行控制系统设计具有一定的应用价值.     

直升机模拟器雷达仿真系统的设计与实现

详细介绍了一种雷达仿真系统实现的方法：通过1：1仿制雷达控制盒面板,通过软件实现逻辑控制和画面显示。这种方法既可以满足飞行人员对硬件面板视觉与触觉的感受,又具有灵活性和可修改性,便于雷达仿真系统的升级和移植。该方法实现的雷达仿真系统在直升机任务系统训练模拟器中得到很好的应用,是一种快捷、灵活、廉价的实现方法。     

基于模糊控制的移动机器人视觉反馈跟踪

探讨视觉空间下非完整移动机器人的跟踪问题。在不校准摄像机视觉参数的前提下,提出一种利用视觉反馈信息设计非完整移动机器人轨迹跟踪的模糊控制方法。其模糊控制使用Mamdani推理机,包含if-then规则和重心法,对线速度和角速度进行控制。仿真结果证明了该方法的有效性。     

Linux进程语义安全性检测的稳定模型

现有进程检测方法,检测的目标是系统调用的序列的排列关联,忽略了语义中潜在的异常。稳定模型是逻辑程序的语义模型,可以用以发现并修改逻辑程序的异常问题。该文以系统调用为基本检测点,采用逻辑程序描述进程的基本语义逻辑,用稳定模型表达进程的检测语义。系统定义进程的一系列安全语义规则,在进程执行中,计算安全语义规则与进程逻辑之间的稳定模型,得到安全语义的可计算性结论。论文最后,给出了一个Linux系统中的进程语义安全性检测的基本框架。     

基于Stateflow电力机车变流器控制设计与实现

某出口型号交流电力机车牵引控制系统要求变流器控制逻辑具备接触器控制、牵引系统数据交互、变流器故障保护、变流器启动自检等功能。针对以上功能,基于MATLAB中的Simulink/Stateflow可视化编程工具进行牵引控制模型的搭建,遵循模块化编程理念,采用较少的程序代码编写实现复杂的逻辑控制模型,生成逻辑清晰的控制功能流程图,进行半实物仿真测试,增强控制模型的可靠性。通过该变流器产品型式试验检验,验证变流器控制逻辑的功能可以满足控制系统的需求。     

一种基于查表法的PLC交通信号控制系统新型编程方法

交通信号控制是典型的时间顺序控制,其传统基于继电器逻辑的PLC控制程序的显著缺点是逻辑关系较为复杂设计使在复杂情形时的交通控制信号程序不易设计.以罗克韦尔Micrologix 1500 PLC为例研究并设计了一种新型编程方法以解决这一问题.这个方法的核心是构建状态控制字表并通过查询该表实现交通信号的顺序控制.     

网络时延的模糊逻辑补偿方法的研究

当网络应用到控制系统中时,网络将引起时延,从而对闭环网络控制系统产生一些不利的影响,比如系统性能下降,系统不稳定等。本文介绍了通过在已有的PI控制器的基础上,再增加一个模糊逻辑补偿器来补偿网络控制系统中网络所引起的时延,其优点是不需要再重新设计已有的PI控制器,而只是简单地将模糊逻辑控制器的输出作为一个参数来调节PI控制器所提供的控制信号。文中采用了MATLAB/SIMULINK仿真,仿真结果表明了该方法的有效性。     

电动车转向系统的模糊控制仿真

本仿真的背景基于全国大学生智能车竞赛,研究电动车在随机轨迹上的跟踪转向控制。由于电动车转向控制系统的不确定性,使用传统PID控制无法满足控制需求并可能产生调节振荡。模糊控制技术基于模糊数学理论,通过模拟人的近似推理和综合决策过程,使控制算法的可控性、适应性和合理性得到提高。根据电动车转向控制的特点设计了一种简化了的模糊控制器,并与传统PID控制器进行比较。通过在MATLAB下搭建传统PID控制器模型和简化了的模糊控制器模型,最终分析和比较了该模糊控制器和传统PID控制器的不同控制效果。     

模糊推理系统在DSP上的实现和优化

提出了一种便捷的模糊推理系统在DSP(数字信号处理器)上的实现方法,详述了利用MATLAB的模糊逻辑工具箱对模糊系统建模、算法模拟及在TMS320VC5509系统上的实现过程,对实现中遇到的问题给出了相应的解决方法。结合程序特点和硬件结构对代码进行了优化。通过实例证明,按此方法在DSP上实现的模糊推理系统和在MATLAB中算法模拟的输出一致,优化后代码的运行时间减少了约四分之一。     

弹库系统弹列运动建模与仿真

弹库系统是向舰炮发射系统补弹、供弹的复杂机电系统。该文以某型弹库系统为例，介绍了弹库系统的组成与功能，弹库系统的建模目标与内容，研究了弹库操控逻辑，弹列运动的基本规律，采用离散系统的分析方法，从弹列的状态描述变量、事件的描述函数和动作的功能函数三个方面，建立了弹列运动的模型，编制了仿真程序，实现了弹库操控与弹列运动基本算法。该仿真系统可用于弹库系统总体设计、弹列运动调度算法研究。     

连续搅拌反应釜的固定时间命令滤波跟踪控制

针对一类连续搅拌反应釜系统的跟踪控制问题,提出一种基于反步法和模糊逻辑系统的自适应固定时间命令滤波控制方法.利用命令滤波器引入误差补偿机制消除滤波误差的影响,并解决反步法虚拟控制信号重复求导的问题;采用模糊逻辑系统对系统中存在的非线性部分进行逼近;利用固定时间控制方法使系统跟踪误差更迅速收敛至较小邻域内,且收敛时间不依赖系统初始状态;通过Lyapunov定理证明连续搅拌反应釜系统的闭环稳定性;利用Matlab/Simulink仿真实验验证所提出控制方法的有效性.与现有控制方法相比,该控制方法具有控制器结构简单、收敛速度快、控制精度高、无超调等优点.     

基于基因算法的多变量模糊控制器的设计*

本文提出了一种通用的模糊控制器的设计方法，这种方法运用基因算法进行寻优，具有设计速度快、人工干预少，可获得一个基于一定性能指标的次优或最优模糊控制器。它可以对多输入多输出（ＭＩＭＯ）系统进行设计，不需要被控对象的精确数学模型，本文最后以二级倒立摆系统为控制对象给出了一个设计实例和实际控制的结果。     

计算机与FX2N系列PLC串行通信的几种方法

串行通信是计算机监控系统中可编程控制器(PLC)与上位机通信的主要方式。介绍基于内置编程接口、RS-232C和RS-485的计算机与三菱FX2N系列PLC串行通信的方法,包括硬件连接、软件设置和程序编写,从通信有效距离、附加装置、PLC资源点数等方面对这些方法进行比较,提出选择适当的方法时需要考虑的几点问题,并以回转窑...     

CPR1000核电站三废处理控制系统仿真测试技术应用

为实现工厂测试期间,能够最大限度地模拟核电厂三废系统的工艺设备,对三废控制系统（DCS）的组态逻辑正确性进行验证,通过结构化文本语者编写仿真测试程序,对现场的工艺设备的运行状态进行仿真模拟。同时选取对核电站硼回收系统（TEP）的1号除汽器的仿真测试,验证仿真测试程序的可行性,提出了一种低成本,高效率的测试方法。     

数据驱动的汽车总装线建模与仿真技术研究

现代制造业的生产模式向柔性制造和客户化定制方向发展,为了提高制造系统的快速响应能力,实现快速仿真分析,提出基于数据驱动的建模与仿真方法,其具有建模周期短、模型可读性、可重用性较高的特点.利用IDEFIX建模方法建立模型的底层数据结构,基于Arena构建仿真模型生成器,利用已建好的数据模型提供的属性信息,自动生成目标系统...