检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
机构地区:[1]浙江大学
出 处:《桂林电子工业学院学报》1996年第2期36-41,共6页Journal of Guilin Institute of Electronic Technology
基 金:电子科学院军事电子预研基金
摘 要:Ramadge和Wonham所提出的基于形式语言/自动机的逻辑监控理论中,对于多个子过程组成的复杂离散事件问题,采用Schuffle积得到整个系统的积系统模型描述,其中排除了各子过程之间事件的同时发生,即未考虑并发非确定性。然而,从原理上及工程意义角度来说,任何子过程之间的事件都可以且可能同时发生(并发)。因此考虑子过程间事件并发下离散事件问题的监控即是讨论中心。In the work of Ramage and Wonham,concurrent dicrete event processes are modeled by Schuffle Products under the assumption that the actions of processes are asynchronous and independent. The modeling method of generalized synchronous products is presented and some supervisory problems of discrete event system with synchronized events are discussed.
分 类 号:TP271.8[自动化与计算机技术—检测技术与自动化装置]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.145