带有同步变迁的有界Petri网系统的建模及可达性分析

由于存在可达标识集的爆炸性问题,大型Petri网系统的建模及可达性分析等问题的研究存在难度.文章利用矩阵的半张量积工具,研究了带有同步变迁的有界Petri网系统的建模及可达性问题.一方面,由于该类Petri网系统可以看作是由若干个子Petri网系统组成,所以可以用半张量积工具表述得到整个Petri网系统的矩阵表示.另一方面,在得出的矩阵表示的基础上,研究了两个标识之间可达性的充要判据,并给出了求可达变迁序列的算法.最后,文章用实例验证了该算法的正确性.所提出的方法在一定程度上解决了状态空间爆炸问题,并易于计算机实现.     

有界Petri网的进程表达式

提出了有界Petri网的进程表达式的概念,并给出了求有界Petri网进程表达式的一个算法.一个有界Petri网的进程表达式是以该网的基本子进程集为字母表的正规表达式.它所表示的正规集是该Petri网全体满进程的集合.所谓满进程,是指每个s切对应着Petri网的一个可达标识的那类进程.     

基于积分不等式法的区间变时滞不确定系统鲁棒稳定性研究

研究了一类区间变时滞不确定系统鲁棒稳定性问题.在不确定性为泛数有界的情况下,通过构造包含简单积分项和多重积分项的Lyapunov-Krasovskii泛函,结合新的积分不等式,在未忽略有用项的前提下,利用其更紧的界定条件来处理交叉项,从而建立了基于线性矩阵不等式(LMI)形式的时滞相关稳定性新判据.方法不涉及自由权矩阵技术和任何模型变抱,减少了理论和计算上的复杂性.数值算例表明,所提出的判据是有效的,和一些已有文献相比具有更低的保守性.     

输电系统的部分可观Petri网故障诊断器设计

采用部分可观Petri网的故障诊断方法来解决变电站输电系统中不可观事件和不可观运行状态的故障诊断问题.首先,将系统可观测序列分解为长度为1的基础观测序列,应用线性不等式矩阵计算与基础观测序列相符的点火序列集;然后,基于整数线性规划问题,利用向前向后函数拓宽诊断区间,同时应用参数K限定故障诊断序列长度,通过分析系统可观事件和系统部分可观状态,给出故障诊断结果.最后,构造变电站输电系统的部分可观Petri网模型,应用提出的故障诊断算法对输电系统进行诊断,诊断结果准确给出了故障发生与否及故障发生位置.算法适用于在线故障诊断,计算复杂性线性相关于观序列长度.     

基于判别超图和非负矩阵分解的人脸识别方法

非负矩阵分解是一种流行的数据表示方法,已广泛应用于图像处理和模式识别等问题.但是非负矩阵分解忽略了数据的几何结构. 而现有的基于简单图的学习方法只考虑了图像的成对信息,并且对计算相似度时的参数选择非常敏感. 超图学习方法可以有效地解决这些问题. 超图利用超边将多个顶点相连接用以表示图像的高维结构信息. 然而, 现有的大部分超图学习方法都是无判别的学习方法.为了提高识别效果, 提出了基于具有判别信息的超图和非负矩阵分解方法的新模型, 利用交替方向法进行迭代求解新模型, 并结合最近邻方法进行人脸识别. 在几个常用标准人脸图像数据库上进行实验, 实验结果表明提出的方法是有效的.     

Steklov特征值问题的一种有效的Legendre-Galerkin谱逼近

本文给出Steklov特征值问题基于Legendre-Galerkin逼近的一种有效的谱方法.首先利用Legendre多项式构造了一组适当的基函数使得离散变分形式中的矩阵是稀疏的,然后推导了2维及3维情形下离散变分形式基于张量积的矩阵形式,由此可以快速地计算出离散的特征值和特征向量.文章还给出了误差分析和数值试验,数值结果表明本文提出的方法是稳定和有效的.     

一种基于Petri网的工程管理模型

提出了用Petri网建立工程管理模型.为了适应在工程管理中的应用,对Petri网理论进行了扩充,提出了判定库所的概念,设计了托肯移动的规则,使用优先矩阵描述了托肯的移动.     

具有非线性扰动的不确定多个变时滞系统的有记忆非脆弱状态反馈控制（英文）

本文研究不确定非线性多时滞系统的非脆弱鲁棒镇定问题.状态和输入矩阵中的参数不确定性假设是范数有界.延迟是未知的,但随时间变化范围是已知的.对所有容许的参数不确定性,非脆弱鲁棒镇定问题是设计一个记忆脆弱的状态反馈控制器使得闭环系统是鲁棒稳定.利用Lyapunov泛函和自由权矩阵方法,以线性矩阵不等式(LMI)的的形式,得到时滞依赖充分镇定判据.数值例子说明所提出的理论结果的有效性.     

具有时滞和参数不确定性的网络系统的滑模控制

研究了一类具有时滞的不确定网络控制系统(NCS)的滑模控制.首先,用一种特殊的变换将不确定时滞系统化为非延迟不确定系统形式.然后基于Lyapunov稳定性理论及线性矩阵不等式(LMI)技术,以线性矩阵不等式的形式给出了该系统的一些新的稳定性判据.所提出的控制器能够使具有不确定性的时滞系统渐近稳定性,而且控制器结构简单,计算方便.最后通过数值模拟,验证了所设计方法的有效性.     

基于奇偶校验的Petri网控制器的故障检测

提出基于奇偶校验的方法对Petri网控制器进行故障检测.设计出满足包含标识向量和Parikh向量的线性约束的Petri网控制器;建立一个包含一定数量库所的附加Petri网控制器以满足奇偶校验的编码要求;分别针对库所故障和变迁故障,选用不同的奇偶校验参数进行故障检测,并通过实例详细阐明了故障检测的过程.     

混合时滞随机中立型分布参数系统的稳定性

通过计算It?微分公式,利用Schur补引理,研究了一类具有混合时滞的Ito型随机中立型分布参数系统的稳定性问题.以线性矩阵不等式形式给出系统是随机稳定的判别条件.最后,数值算例验证所得结论的有效性.     

具有多干扰的非线性时变时滞关联系统的复合分层抗干扰控制

针对一类带有多干扰的非线性时变时滞关联系统,考虑了复合抗干扰控制器设计问题.复合抗干扰控制器的设计主要结合了基于干扰观测器的控制方法(Disturbance observer based control,DOBC)和H_∞控制方法.系统受到的干扰可以分为两类:第一类干扰由外部系统描述,并且与控制输入在同一通道;第二类干扰假定满足有界H_2范数.设计干扰观测器估计第一类干扰,并利用干扰估计值进行前馈补偿;利用H_∞控制方法对第二类干扰进行衰减.利用Lyapunov函数理论分析了闭环系统的稳定性,并以线性矩阵不等式的形式给出了可解的时滞依赖条件.最后,利用数值仿真验证了所提方法的有效性.     

具有非对称通信时滞和切换拓扑的高阶多智能体系统的一致性

研究具有切换有向拓扑和非对称时变时滞的高阶多智能体系统的一致性问题.通过引入正交线性变换和Lyapunov-Krasovskii泛函方法,依据线性矩阵不等式给出了系统解决一致性问题的充分条件以及可容许时变时滞的上界估计.其主要贡献是基于Lyapunov方程和代数不等式建立了协议参数的显性设计,该参数设计形式简单且易于计算,并保证了所给充分条件中线性矩阵不等式的可解性,使得高阶多智能体系统的一致性在切换有向拓扑下对非对称时变时滞是鲁棒的.     

基于近似动态规划方法的未知系统的最优跟踪控制

针对不确定的非线性连续系统,通过神经网络对系统进行辨识.基于辨识后的确定系统,利用执行网-评价网双网结构进行同步调节解决最优跟踪问题.应用李雅谱诺夫方法进行辨识分析和系统稳定性分析,定理结论表明辨识系统为渐近辨识的,同时系统的跟踪误差和权重误差一致最终有界,倒立摆仿真例子验证了算法的有效性.     

基于FTA-FPN的动车组塞拉门系统可靠性分析

基于动车组塞拉门系统故障的多样性以及故障征兆的模糊性,本文提出故障树(FTA)定性分析和模糊Petri网(FPN)定量分析相结合的可靠性分析方法,将Petri网理论和模糊推理规则有效结合,具有快速准确的并行推理能力。结合兰新客专动车组实际的运维记录,首先建立基于FTA的塞拉门系统模型,再根据FTA-FPN的转换规则,得到基于FPN的可靠性分析模型。当系统正常工作时,利用历史故障数据和FPN的正向矩阵推理对塞拉门系统进行可靠性分析得到了塞拉门系统的薄弱环节,并对各底事件进行了排序,这不仅能够为动车组塞拉门系统的维护与预防工作提供理论依据,还能更好的保证动车组安全运营。     

有界灰矩阵的非奇异性与秩

本文重新论述有界灰方阵的非奇异性判别问题,提出“条件非奇异”与“最大非奇异子元值域”的新概念,指出现有结果的局限性,给出了一些实用判据,并对灰逆阵的存在性条件与定义域作了研究.此外,本文又提出有界灰矩阵的“灰秩”的新概念与算法,建立了有界灰矩阵恒满秩、恒不满秩、条件满秩的判据。     

一类含时间因素的 Petri 网及其在工程上的应用

Petri 网是一种用于描述系统的动态行为和分析系统的动态性质的数学模型.一个Petri 网实质上是一个带标识的有向偶图.有向偶图描述系统的静态结构,而标识指出系统所处的状态.当一个 Petri 网的标识按一定规律发生变化时,就形象地模拟了系统的动态行为.自1962年被提出以来,Petri 网理论得到了迅速的发展和广泛的应用.如今,Petri网已被用作对大型操作系统、分布式数据库、通讯协议、并行程序以及许多计算机系统进行分析和设计的手段.此外,在化学、工程技术、法律及其他领域里,也不乏 Petri 网应用的实例.     

Markov跳变系统滚动时域有限记忆控制

针对离散时间Markov跳变系统,提出滚动时域有限记忆控制的方法.在一段有限滤波时域上,利用系统输入与输出变量的线性组合构造一段有限控制时域上的输出反馈控制器.首先,不考虑跳变系统均方可镇定,基于最优控制的方法,获得以迭代计算形式给出的控制器,并使其在无偏条件下能优化二次型性能指标.其次,进一步考虑在成本衰减条件下确定终端加权矩阵,并以它作为边界条件计算得到最优控制律,调节系统均方稳定.为便于求解,成本衰减条件以线性矩阵不等式的形式给出.仿真实例验证了所提方法的可行性和有效性.     

基于行为分析的AS/RS有色赋时Petri网模型研究

为了研究如何提高AS/RS系统的性能,有必要构建其模型.提出了库所双重着色的有色赋时Petri网方法,分析了AS/RS系统活动资源的行为特点和要求,并详细阐述了使用有色赋时Petri网分别构建这些行为模型的过程,从而实现整个AS/RS系统框架模型.采用visual c++软件仿真表明,该方法在构建面向资源的离散系统模型时是有效的.     

求解陀螺系统特征值问题的收缩二阶Lanczos方法

本文研究陀螺系统特征值问题的数值解法,利用反对称矩阵Lanczos算法,提出了求解陀螺系统特征值问题的二阶Lanczos方法.基于提出的陀螺系统特征值问题的非等价低秩收缩技术,给出了计算陀螺系统极端特征值的收缩二阶Lanczos方法.数值结果说明了算法的有效性.