离散事件动态系统理论在通信网络中的应用

通信网络是—个典型的离散事件系统。离散事件动态系统（ＤＥＤＳ）理论综合并提出了许多对离散事件系统建模及性能评估等的方法,为解决通信网络中的一些关键问题提供了有力的工具。本文综述了近年来ＤＥＤＳ理论在通信网络建模、分析、优化以及网络管理等方面的应用进展情况,并提出了一些自己的看法。     

一类存储器的优化问题

提出了一类串行生产线存储器数目最优化问题 ,解决了如何组织生产与安排存储器 ,使得机器的利用率为 1 ,而需要存储器数目最小.     

分数阶线性系统的能观性研究

在对一类由分数阶线性微分方程描述的系统的能观性问题研究中,通过分数阶线性定常系统求解,给出了分数阶线性定常和时变系统一般解的统一表达式。在给出分数阶系统能观性定义的基础上,提出并证明了分数阶线性系统时变和定常系统能观性的充分和必要条件,以及分数阶线性定常系统的能观性判据,所得结论对分数阶控制系统的分析与综合是有益的。     

基于T-S模型的非线性系统极小极大控制

研究一类非线性系统的极小极大鲁棒控制问题.针对含有不确定项的非线性系统,构造T-S模型,引入参数不确定项,使得模糊模型能够更精确逼近原系统.利用线性矩阵不等式(LMI)处理方法和Lyapunov稳定性理论,基于模糊状态观测器,得到极小极大输出反馈控制器存在的充分条件.引入凸优化技术,求得性能指标的最小上界以及最优极小极大鲁棒控制器参数.同时保证闭环系统在干扰和不确定性最大的情形下是最终一致有界的.最后以倒立摆为例的仿真结果表明所设计的控制器具有良好的鲁棒性及较大的吸引域.     

基于核主元分析的非线性动态故障诊断

核主元分析是一种非线性主元分析方法，充分利用核函数来解决非线性映射问题，在高维特征空间中确定主元，具有很好的非线性逼近能力。同时，利用非线性最小二乘法实现核主元分析的变量重构，来识别故障源。将核主元分析应用于连续搅拌釜式反应器系统（CSTR）的故障诊断过程中，仿真结果表明该方法对于故障的检测和故障源的识别都优于线性主元分析法的诊断效果。     

线性时变周期系统的能控性与能稳定性问题

线性时变周期系统是一类普遍存在的重要而又研究较少的系统。介绍了线性时变周期系统的几种应用实例,给出了两种判定时变周期系统能控性与能观性的必要条件,该判别条件的优点是不必计算系统的状态转移矩阵,使判别时变周期系统能控性与能观性简单、高效、易于实现。讨论了时变周期系统在状态反馈下的能稳定性问题,得到了类似于线性定常系统能控性与能稳定性关系的时变周期系统相应结论。说明了结论是线性定常系统相应结论的自然拓展。给出了数值算例的MATLAB仿真求解过程。仿真结果验证了结论的有效性。     

项目团队的和谐能控性与和谐能观性分析

从和谐管理理论框架出发,基于项目团队系统的和谐状态模型,提出描述项目团队系统结构性质的两个概念-币口谐能控性与和谐能观性,并对其定义及适用的判别准则进行了详细的描述.分析项目团队的和谐能控性和和谐能观性,对于计算管理活动对项目团队、项目绩效的影响,优化项目团队构成具有重要的帮助,具有广泛的应用空间.     

基于赋色Petri网的离散事件系统矩阵模型与仿真

一种新的离散事件系统（DES）矩阵状态方程和Petri网的标识转移方程相结合的矩阵模型给出了完整的DES动态描述。本文介绍了一种可动态修正Petri网关联矩阵系数的矩阵模型仿真框架,解决了路径选择和调度决策问题,使这种模型可以推广到用基于赋色Petri网描述的DES仿真。     

乘数-加速数模型的稳定性与宏观调控政策

利用我国统计数据，建立了一个修正的萨缪尔森(Samuelson)乘数一加速数模型．在此基础上，对我国宏观经济系统的稳定性、能观性、能控性进行了讨论，结果表明，经济系统从不稳定到稳定需要加大消费和投资的力度，尤其应该刺激消费．从一个侧面论证了我国近年来宏观经济调控政策的正确性．     

一类非线性系统的鲁棒无源性综合问题

针对一类带有界范数不确定性的仿射非线性系统,研究它的鲁棒无源性综舍问题.首先,基于非线性矩阵不等式方法得到系统是鲁棒无源的充分条件;然后在此基础上,获得存在状态反馈控制器使得该系统鲁棒无源控制问题可解的充分条件,并给出所需控制器的参数化表达.最后,简单阐述了利用凸优化方法通过求解一系列相应的线性矩阵不等式来得到非线性矩阵不等式局部解的思想.     

OBSERVABILITY OF EXTENDED TIMED EVENT GRAPH

In this paper, we study some results of extended timed event graph (ETEG) by using graph theory's methods in the dioid framework. A necessary and sufficient condition for the observability of ETEG is obtained and ETEG's standard structure is also established.     

描述离散动态系统的集合标识Petri网:STPNs

基于经典Petri网,进行了标识和语义扩展,定义了集合标识Petri网(Set-TokenSPetriNets,STPNs).在定义STPNs时,构造了携带属性集合的抽象的信息标识,称为集合标识;将大规模个体按照属性层次分组,每组作为一个元素定义在属性集合中,解决了Petri网规模随着标识规模的增大而膨胀的矛盾.在语义上,进行了控制结点、路由结点、通讯弧和结点时间延迟以及针对集合标识的集合运算和结点函数等扩展.STPNs增强了Petri网描述离散事件动态系统(DEDS)的随机特性和控制特性的能力,能够作为用仿真技术研究大规模DEDS的有效建模工具.     

DEDS有限扰动分析效率

离散事件动态系统（ＤＥＤＳ）有限扰动分析（ＦＰＡ）通过状态匹配和事件匹配对样本轨迹进行“剪切和粘接”，构造依概率等价的扰动样本轨迹，扩展了无穷小扰动分析ＩＰＡ的应用领域。简单实例的分析和实验结果表明：事件匹配比状态匹配具有更高的效率.     

基于Petri网矩阵模型仿真的改进算法

Petri网的矩阵模型是分析Petri网的可达性、活性、有界性等基本性质以及状态演化过程的一种数学方法。在包含瞬时活动的情况下，传统的矩阵模型方法无法在一个步长内捕获所有应该同时激发的变迁，而是推迟到下一个步长，从而产生不精确的仿真结果。对此提出一种新的定步长仿真算法，得到了完全符合系统真实行为的仿真结果。算法进一步推广到基于事件调度的仿真方法中，可显著提高仿真效率。     

热轧生产线的建模与分析

用扩展时间事件图与极大代数方法相结合对一类批量生产的制造系统建立了模型 ,并在加工时间和存储器数量固定的条件下 ,用这模型对系统生产周期进行了分析 ,从而得到了机器的最大利用率.     

Discussion About the Paper ＂The Eigen－Problem of Matrix in Max－Algebra－Analysis for Operating Period of A Class of DEDS＂

ＤｉｓｃｕｓｓｉｏｎＡｂｏｕｔｔｈｅＰａｐｅｒ＂ＴｈｅＥｉｇｅｎ－ＰｒｏｂｌｅｍｏｆＭａｔｒｉｘｉｎＭａｘ－Ａｌｇｅｂｒａ－ＡｎａｌｙｓｉｓｆｏｒＯｐｅｒａｔｉｎｇＰｅｒｉｏｄｏｆＡＣｌａｓｓｏｆＤＥＤＳ＂ＷＡＮＬｉａｎｇｑｉａｏ（Ｄｅｐｔ．ｏｆＭａ...     

一类离散时间广义非线性控制系统的动态不可测扰动解耦

提供了离散时间广义非线性控制系统的不可测扰动的一种‘反演算法’。通过运用一类正则动态补偿器解决系统的解耦问题。最后证明了：系统可用动态状态反馈解耦,也可通过拟静态状态反馈进行解耦。