可达集流管道近似的简化算法

混合系统的形式验证中,确定近似商迁移系统的迁移关系,需要计算系统初始区域的可达集的流管道近似。针对非线性系统可达集近似计算难题,提出流管道逼近方法,极大简化了凸多面体的计算量。     

混合系统的形式验证方法

在介绍混合系统形式验证概念的基础上，从可达集表示和可达集计算方法的角度比较了混合系统的各种形式验证方法和验证工具。重点介绍了模型检验方法中的收敛近似方法和过近似方法，通过一个化工过程系统的验证实例详细介绍了验证工具CheckMate的验证算法。最后分析了混合系统形式验正的难点问题和主要研究方向。     

一种对IMM真实误差协方差的估计方法

交互式多模型IMM被认为是对混合系统估计的一种性价比最好的算法之一。由于真实模式序列未知，由IMM得到的误差协方差矩阵通常与真实值不相等。在假设条件下，分析了一种新的对真实误差协方差的估计方法，并且通过Monte-Carlo仿真用真实误差协方差矩阵的平均值来评估IMM的性能．     

现代工程系统建模与仿真方法

本文的研究工程对象：生产线,制造单元,维修等工程系统.通过对这些工程系统进行分析,提出系统组成部分之间的层次关系.根据这种层次关系,从系统角度,提出面向工程系统的建模与仿真方法.在此方法中,仿真系统模型由任务模型,控制模型和实体模型组成,分别是实际工程系统中逻辑部分,控制决策部分和物理部分的对应模型.根据部分模型在系统模型中所起的不同作用以及不同特点,各部分模型采用不同的建模方法,能更真实的反应系统的实际特征,并提高建模和仿真效率.     

MBD中通过混合键合图对混合系统建模

基于模型诊断即Model—based Diagnosis（MBD）对整个人工智能领域的研究起着重要推动作用，是为了克服传统故障诊断方法的缺点而兴起的一项新型的智能诊断推理技术，其应用也越来越广泛。而混合系统是当前应用较多的动态系统之一，其故障诊断问题是当前研究领域的热门。本文介绍应用MBD技术对混合系统进行诊断的建模方法，介绍混合键和图基本原理，通过混合键和图对混合动态系统建模。为进一步进行MBD故障检测和追踪直至故障隔离和鉴别提供基础模型。     

水火电混合系统经济调度的双链态遗传算法

遗传算法（ＧＡ）为求解电力系统经济调度问题提供了一条新的途径。研究了基于双链态基因模型的遗传算法，给出了显性基因和隐性基因选优准则，应用ＤＧＡ建立了电力系统经济调度的遗传算法模型，该模型易于考虑系统负荷平衡，用水限制和梯级水电厂之间的水流流达时间等约束条件，在ｐｅｎｔｉｕｍ计算机上对两个火电厂和含有四个梯极水电厂组成的系统进行了仿真计算，取得了满意的效果。     

一类混合系统不变集LMI方法求解

本文主要探讨了混合系统和不变集的研究,介绍了理论产生的背景,阐述了混合系统的概念和混合自动机建模, 由LaSalle提出的不变集理论在文中首先作了介绍并给出了主要的计算方法迭代法;在混合系统中,提出了通过构造李雅谱诺夫函数利用线性矩阵不等式的方法求得不变集的存在,同时不变集的范围也可以进一步求得;接着一个混合系统数值仿真例子证明了该方法的可行性与有效性,最后介绍了讨论混合系统不变集的应用和下一步的工作。     

脉冲混合系统的稳定性分析

作为最近的结果的推广，借助摄动Lyapunov函数，得到了脉冲混合系统关于两个测度的稳定性的比较结果。     

基于OFDM的广播单播混合系统容量分析

从信息论的角度分析了基于正交频分复用(OFDM)的广播单播混合系统容量.在广播单播混合系统中,广播与单播业务之间的资源分配方式可以分为两类:正交分配和非正交分配.文中分别推导了广播与单播业务采用正交分配(时分复用、OFDM)和非正交分配(重叠OFDM)时的混合系统容量的闭式解,并通过数值分析比较了这两类分配方式的容量.分析结果表明,与正交分配方式相比,非正交的重叠OFDM分配方式能够使混合系统获得更大的容量.     

基于FTS的混合系统的一种建模方法

混合系统是一种离散和连续构件融合在一起的反应系统,通常以微分方程为连续模型,以离散事件系统或自动机为离散模型,本文扩充公平转换系统ＦＴＳ,提出混合系统的一种新的计算模型－混合转换系统ＨＴＳ。