基于双向观测器的随机离散事件系统的不透明性

本文针对随机系统模型,研究随机离散事件系统的不透明性。首先对随机无穷步不透明性和随机K步不透明性进行形式化。通过构造一个基于双向观测器的验证器,得到一个运用双向观测器验证系统随机无穷步不透明性和随机K步不透明性的充分必要条件。最后提出一个基于双向观测器的随机无穷步不透明性和随机K步不透明性验证算法。     

基于LMI的范数有界不确定采样系统的输出反馈鲁棒镇定

将采样控制系统转化为等价的跳变系统,设计目标为对所有容许的参数不确定性设计一个输出反馈采样控制器,使得闭环系统渐近稳定。以线性矩阵不等式的形式给出了鲁棒镇定问题可解的充分条件,并由可行解构造输出反馈采样控制器的参数矩阵。对短周期飞行器动态模型的仿真结果验证了所提方法的有效性和正确性。     

小型无人直升机的模型预测控制算法研究

针对无人直升机在阵风干扰环境中的姿态控制精度低的问题.本文将非线性刚体动力学模型在悬停点应用小扰动理论得到了线性化数学模型.考虑系统输入输出和控制量约束,采用模型预测控制将控制器的设计问题转化为每个采样时刻求解一个带不等式和等式约束的凸二次规划问题.通过设计终端状态约束解决了有限时域模型预测控制(model predictive control, MPC)算法的稳定性问题,并通过引入松弛变量使得约束优化问题更容易求解.随机和常值阵风干扰下无人机悬停仿真验证了本文MPC预测控制器具有幅度不超过0.25 m/s的良好干扰抑制能力,性能明显优于线性二次型调节器(linear-quadratic regulator, LQR).     

多变量约束快速动态矩阵控制算法研究

针对快速动态过程与低维非方多变量系统，提出了一种多变量约束快速动态矩阵控制（DMC）算法。采用动态优化和经济优化两层结构，自动实现非方系统的控制结构转换。在满足基本控制目标的基础上，利用多余的自由度实现经济目标优化。算法采用阶跃响应模型与参数模型相结合的方法改进了预测模型，消除了截断误差，仅取每个输出未来的一点进行优化并计算单步控制作用。与常规多变量约束DMC算法比较，该算法有效地减小了计算负荷，而性能损失很少，可以直接在现有集散控制系统（DCS）上实现。工程应用实例与仿真证明了该控制算法的有效性。     

随机离散事件系统基于动态观测的安全诊断研究

现有随机离散事件系统研究大都是假设事件的可观测性是固定不变的,而许多实际应用系统中事件的可观测性往往与系统所处的状态有关。为此,本文提出一种动态观测下随机离散事件系统安全可诊断方法。引入一种动态观测,使每一个状态都有各自独立的可观事件;对动态观测下随机离散事件系统安全可诊断性进行形式化;推导出一个基于安全诊断器的动态观测下随机离散事件系统安全可诊断性的充分必要条件,实现动态观测下随机离散事件系统的故障安全诊断。     

Institution 中理论与模型的闭包定理

在一般的逻辑框架Ｉｎｓｔｉｔｕｔｉｏｎ中,研究了理论与模型的一些性质,特别是得到了理论的闭包定理和与之相应的模型的闭包定理．     

基于 RFID 的物流装备信息监控网络平台设计

集装箱是全球物流运输的核心装备,全球国际货运90%以上都是通过集装箱完成,目前集装箱运输的智能化和信息化技术落后,从而导致物流效率低、海关通关效率低且做不到实时可视化监控.文中基于射频识别和嵌入式微控制器技术开发了用于托盘和集装箱等物流装备的智能数据采集终端,进而设计了基于智能集装箱的现代物流装备物联网系统平台.该平台的广泛应用使现代物流系统的整个供应链信息流畅通,实现了可视化监控,大幅度提高了现代物流效率.为行业应用提供智能集装箱成熟产品和技术方案.     

Institution中自由合并理论的初始与终结语义*

在一般性的适用框架Institution中,建立了自由合并理论与各因子理论的初始(终结)语义之间的对应关系,给出了自由理论态射的粘合态射及其相关的初始(终结)语义,并证明了在一定条件下,遗忘函子Sign:Th^l→Sign的反射余极限.     

离散事件系统间歇性故障的安全诊断

离散事件系统的间歇性故障诊断能够将系统中发生的间歇性故障及时诊断出来,但在诊断期间的系统可能会执行不安全操作.针对间歇性故障在诊断期间的安全性问题,提出一种基于事件的安全诊断方法.首先对发生间歇性故障的离散事件系统进行建模,并给出系统间歇性故障的安全可诊断性的形式化定义.然后通过构造非法语言识别器对系统的非法操作进行识别,并在此基础上构建一个安全验证器,由此得到一个关于系统间歇性故障安全可诊断性的充分必要条件,实现离散事件系统对间歇性故障的安全诊断.这种安全诊断既保证了间歇性故障一旦发生即能被及时诊断出来,又确保了在故障诊断期间系统不会执行任何不安全操作.     

赋时离散事件系统的安全诊断

针对一类计时或非计时自动机模型,研究其赋时离散事件系统(TDES)故障诊断的安全性问题.首先对TDES的安全可诊断性进行形式化;然后通过构造一个非法语言识别器对被禁止危险操作序列进行识别,在此基础上构建一个安全诊断器,提出一种基于安全诊断器的安全诊断方法,并得到一个关于TDES安全可诊断性的充分必要条件,从而实现TDES的安全故障诊断.