郭令忠
- 作品数：10 被引量：18H指数：3
- 供职机构：东北大学控制仿真研究中心更多>>
- 发文基金：国家教育部博士点基金国家自然科学基金国家高技术研究发展计划更多>>
- 相关领域：自动化与计算机技术金属学及工艺更多>>
- 离散事件动态系统的D－B动机模型被引量：5
- 1995年
- 首先引入Ｄ－子集和Ｄ－语言的概念，在此基础上给出了一类离散事件动态系统的一般形式化表述──Ｄ－自动机模型，并讨论了受控系统的动态行为．最后研究了系统的状态可达性问题．
- 郭令忠李彦平徐心和刘长有
- 关键词：离散事件系统子集自动机模型
- 离散事件动态系统的基本特征与一般形式化描述
- 在综合考虑离散事件动态系统基本特征的基础上,给出了系统的一般形式化描述及其相应的离散时钟状态模型,进而为离散事件动态系统的分析与综合提供了一个新的思路。实例表明,这一模型具有较强的描述能力和实用性。
- 李彦平郭令忠徐心和
- 关键词：离散事件动态系统
- 文献传递
- 轧制批量计划问题的模型及算法研究被引量：11
- 1997年
- 网络建模在系统分析中是最有效的方法之一，广泛地应用于工业工程和生产调度中．应用组合优化中著名的车辆调度问题分析、研究钢铁生产中传统的轧制批量计划问题，提出一种新的具有优化分割功能的遗传算法，并进行了计算机仿真．
- 陈雄郭令忠徐心和
- 关键词：动态规划遗传算法
- 实时离散事件动态系统的状态行为与最速控制
- 1997年
- 基于D—自动机模型,通过广义状态谓词空间与半范数的概念,深入研究了实时DEDS的状态行为及最速控制问题,最后讨论了此类控制问题解的存在性。
- 李彦平郭令忠高大志
- 关键词：自动机最速控制动态系统
- 离散事件动态系统的实时在线监控策略
- 本文基于离散事件系统的D-自动机模型提出一种实时在线监控策略。系统的基本实时行为由D-语言给出,而控制目标语言由时序语言给出。监控策略为当系统中一事件发生以后,下一步的控制策略取决于系统未来合法行为的投影D-语言。在这种...
- 郭令忠李彦平徐心和
- 关键词：离散事件动态系统
- 文献传递
- Petri网监控的时态逻辑框架
- 本文介绍了一种高级说明（specification）语言——时态逻辑,定义了Petri网的时态逻辑框架,并结合以往的Petri网监控机制给出了一Petri网可控的充要条件。最后针对禁止状态避免问题证明了禁止状态可避免的充...
- 李晓鸥郭令忠徐心和
- 关键词：时态逻辑状态反馈
- 文献传递
- 实时并发离散事件动态系统的分散控制
- 本文研究了由互相独立的子系统组成的实时并发离散事件动态系统的分散控制问题。首先,我们将每个子系统表述为一D—自动机,然后利用广义谓词与广义谓词变换给出其代数形式的动态方程,在此基础上探讨了通过分散控制保证给定广义谓词在整...
- 郭令忠李彦平徐心和
- 关键词：分散控制
- 文献传递
- 实时并发离散事件动态系统的分散控制
- 郭令忠李彦平
- 关键词：离散事件动态系统实时控制分散控制
- 离散事件系统的一种最优监控综合方法被引量：3
- 1994年
- 本文基于ＤＥＳ的Ｄ－自动机模型，提出一种最优监控综合问题，然后讨论了该问题解的存在性，最后利用极小代数给出了求解该问题的方法．
- 郭令忠李彦平徐心和
- 关键词：离散事件系统DES
- 一类离散事件过程的实时监控理论
- 本文首先引入D-自动机的概念,用D-自动机来描述一类实时离散事件过程,然后引入D-语言,研究了存在监控器使得实时监控闭环系统的行为满足预先给定的控制指标D- 语言的条件,给出了监控综合问题的可解性条件。
- 郭令忠李彦平徐心和
- 关键词：实时监控
- 文献传递
