离散事件系统拟同余关系的改进算法OA北大核心CSCDCSTPCD
Improved algorithm of quasi-congruence in discrete-event system
针对离散事件系统，本文主要研究计算最优拟同余关系时减少时间复杂度的算法．基于Paige＆Tarjan提出且Femandez修改的、可有效计算最粗粒度划分问题的算法，本文给出一种时间复杂度为o（mlog他）的计算最优拟同余关系的算法．该算法适用于离散事件系统比较复杂，尤其是可观事件很少的情况．与Ramadge和Wonham提出的时间复杂度为O（mn）的算法相比，该算法计算过程耗时较短．本文还讨论了计算拟同余关系的边界情况的改进方法．仿真结果表明所提出算法的有效性．
We investigate the algorithm for reducing the timecomplexity in computing the optimal quasicongruence of discreteevent system （DES）. Based on the algorithms provided by Paige, Tarjan and Ferandez, the algorithm related to the relational coarsest partition problem is adopted to figure out the optimal quasicongruence with time complexity O（mlogn）. This algorithm is applicable when the DES is complicated, especially when the number of observable eve…查看全部>>
张仁远;甘永梅;晁武杰;王兆安
西安交通大学电气工程学院,陕西西安710049西安交通大学电气工程学院,陕西西安710049西安交通大学电气工程学院,陕西西安710049西安交通大学电气工程学院,陕西西安710049
信息技术与安全科学
离散事件系统最粗粒度划分问题最优拟同余关系
discrete-event systemrelational coarsest partition problemquasicongruence
《控制理论与应用》 2012 (2)
151-156,6
评论