| 题名 | 离散事件动态系统(具有部分观测)的建模分析及CIMS中调度问题研究 |
| 作者 | 杜闻华 |
| 学位类别 | 工学硕士 |
| 答辩日期 | 1991 |
| 授予单位 | 中国科学院自动化研究所 |
| 授予地点 | 中国科学院自动化研究所 |
| 导师 | 郑应平 |
| 学位专业 | 控制理论与控制工程 |
| 中文摘要 | 在离散事件动态系统的各种建模方法中，Ramage和Wonham提出的增广 自动机模型对于研究系统的定性特性非常有效。这些定性特性包括简单控 制任务的监控器的结构、存在性、一致性以及理想监控器的综合算法等。 本文将在Ramage—Wonham的框架下，利用形式语言、自动机，根据Cieslak 等人提出的一些结果，对具有部分观测的离散事件系统的监控作进一步的 分析。首先根据一些等价关系的不变性概念，仔细分析了出现于上述系统 监控综合问题中的两类子语言-L的(H，L(G))一可识别闭子语言[R(L)]、L 的(M，∑c，L(G))一可控闭子语言。然后利用得到的一些结果，给出了产生L 的极大(M，L(G)卜可识别子语言SupR(L)的自动机，并据此讨论了用D(L)【：= K L|K是闭的，(∑u，L(G)不变的，且是(M，L(G))一可识别的】替代CC(L) 【：=K L I K是闭的，(∑u L(G)一不变的，(M，∑c，L(G))-可控的】作为 满足监控器存在充要条件的语言类所造成的不足之处一SupR(L)非常小，考 虑D(L)所得到的解约束过大，难以实用。因此我们认为，计算、利用CC(L) 的一些最大元仍是很重要的，尽管CC(L)有一些不好的特点，如缺乏唯一的 极大元，一些最大元的非正规性等。 鉴于神经元网络系统理论的兴起与发展及其在解决组合优化问题方面的 成功应用，本文尝试将神经元网络模型用予求解调度问题，提出了一种基于 Boltzman机模型的求解一所并行机器调度问题的算法，并通过仿真，得到了 比较好的结果。 |
| 语种 | 中文 |
| 其他标识符 | 196 |
| 内容类型 | 学位论文 |
| 源URL | [http://ir.ia.ac.cn/handle/173211/6983]  |
| 专题 | 毕业生_硕士学位论文 |
| 推荐引用方式 GB/T 7714 | 杜闻华. 离散事件动态系统(具有部分观测)的建模分析及CIMS中调度问题研究[D]. 中国科学院自动化研究所. 中国科学院自动化研究所. 1991. |
| 个性服务 |
| 查看访问统计 |
| 相关权益政策 |
| 暂无数据 |
| 收藏/分享 |
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。
修改评论