蒋智平
- 作品数：15 被引量：19H指数：2
- 供职机构：上海交通大学更多>>
- 相关领域：自动化与计算机技术经济管理电子电信更多>>
- 一类广义离散事件系统完备监督器的存在性
- 给定离散事件系统G及G产生的某个子语言KL(G),如果系统的状态仅部分可观测,即对G的观测函数M是一个多值函数时,是否存在完备监督器S使L(S/G)=K呢?如果存在,K应满足什么条件?这就是本文要研究的。
- 蒋智平吴智铭
- 关键词：离散事件系统语言自动机监督器
- 文献传递
- 基于数环理论的公开钥密码系统研究
- 蒋智平
- 给定离散事件系统监督器的优化
- 蒋智平吴智铭
- 关键词：自动化最佳化监视控制最优设计
- 一种新的离散事件系统监督器综合方法被引量：1
- 1993年
- 我们把一个待控离散事件系统中各离散事件赋予满足一定限制条件的控制值并由此得到一个Mealy型自动机,再利用Mealy型自动机到Moore型自动机的标准转换算法便得到一个状态赋(控制)值监督器,删除该监督器中所有不可达状态(及对应的子事件串)便获得一个不含多余状态的最大监督器。
- 蒋智平吴智铭
- 关键词：离散事件系统监督器
- 离散事件系统的监督控制理论被引量：2
- 1993年
- 本文综述了离散事件系统监督控制基本理论及成果。介绍了离散事件系统的自动机表示、监督控制、模块化监控、分散监控,以及与之有关的语言可控性、可观性和可识别性等概念.
- 蒋智平吴智铭张钟俊
- 关键词：离散事件系统监督控制自动机
- 一类离散事件系统的动态监督控制
- 1993年
- 本文将影响控制信号的离散事件用所谓限制条件表示,并得出一种最简表示方法。在此基础上,提出一种求解 k-SSSP 的动态监控方法,它通过把限制条件可能影响到的系统状态记录在一个静态知识库中,然后用黑板记录限制条件的动态出现,从而实现对系统的动态监控。
- 蒋智平吴智铭
- 关键词：离散事件系统监督控制
- 给定离散事件系统监督器的优化
- 本文基于Ramadge和Wonham提出的离散事件系统监督器模型,提出一种新的优化设计思想,它可使监督器的状态数相对最少化。据此,我们给出一个优化算法并证明它是多项式时间可解的,最后我们还附以二个实例。
- 蒋智平吴智铭
- 关键词：离散事件系统产生器自动机语言
- 文献传递
- 给定离散事件系统监督器的优化(英文)
- 1993年
- 本文基于Ramadge和Wonham等人提出的监督器模型,介绍一种新的优化设计思想,它可使监督器的状态数相对最少化并由此提出一个多项式时间算法。最后附以三个例子。
- 蒋智平吴智铭
- 关键词：离散事件系统监督器最佳化
- 一种新的离散事件系统控制方案(英文)
- 1998年
- 给定离散事件系统（DES）G及某个规定的最大允许合法语言说明（MPLLS）K，监督控制的任务就是寻找一个监控器S，使得系统在监控下不会突破该MPLLS，也即满足：L（S／G）K．传统的实现方法要求给定MPLLSK计算其最大可控子语言K↑，因此难免要显式地构造S．本文给出一种新的方案可以不必对K↑和S作显式计算．监控任务是随DESG的演化结合规定的MPLLSK用动态方法实现．该方案在很大程度上依赖一个在线集合包含测试算法．文章末尾给出的一个实例说明了该方案在实际应用中的有用性．
- 蒋智平王丽亚吴智铭
- 关键词：离散事件系统自动机在线控制
- 离散事件系统监督控制理论研究
- 蒋智平
