CASIA OpenIR  > 毕业生  > 硕士学位论文
离散事件动态系统(具有部分观测)的建模分析及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机模型的求解一所并行机器调度问题的算法,并通过仿真,得到了 比较好的结果。
馆藏号XWLW196
其他标识符196
语种中文
文献类型学位论文
条目标识符http://ir.ia.ac.cn/handle/173211/6983
专题毕业生_硕士学位论文
推荐引用方式
GB/T 7714
杜闻华. 离散事件动态系统(具有部分观测)的建模分析及CIMS中调度问题研究[D]. 中国科学院自动化研究所. 中国科学院自动化研究所,1991.
条目包含的文件
条目无相关文件。
个性服务
推荐该条目
保存到收藏夹
查看访问统计
导出为Endnote文件
谷歌学术
谷歌学术中相似的文章
[杜闻华]的文章
百度学术
百度学术中相似的文章
[杜闻华]的文章
必应学术
必应学术中相似的文章
[杜闻华]的文章
相关权益政策
暂无数据
收藏/分享
所有评论 (0)
暂无评论
 

除非特别说明,本系统中所有内容都受版权保护,并保留所有权利。