【摘 要】
:
离散事件系统是指由一系列离散的状态组成,并由事件驱动的人造系统。离散事件系统在计算机网络和安全、军事国防、机器人技术、动力系统、交通控制和生物化学等领域都有广泛
论文部分内容阅读
离散事件系统是指由一系列离散的状态组成,并由事件驱动的人造系统。离散事件系统在计算机网络和安全、军事国防、机器人技术、动力系统、交通控制和生物化学等领域都有广泛而成功的应用。从20世纪90年代开始,随着国内外学者在离散事件系统领域中的研究深入,提出了可诊断性、可侦测性、不透明性等重要性质。不透明性是一种重要的信息安全性质,指出了存在一种与系统生成语言相同映射的其他语言,外部观察者或入侵者在映射下无法分辨出系统语言和其他语言,从而保守了系统的秘密。为了更深入地探讨离散事件系统不透明性监督控制,本文基于经典离散事件系统不透明性监督控制,扩展到分散控制框架下,区分无协调者和有协调者的两种情形,对分散控制框架下不透明性监督控制进行研究。在研究离散事件系统分散不透明性监督控制过程中,根据分散不透明性的形式化定义,引出了三个不透明性分散控制问题。对于分散的强不透明性和分散的不具有不透明性,先根据充分必要条件构造局部监督器,再通过融合规则形成全局监督器,得到完整的算法和给出相关证明。而对分散的弱不透明性问题,证明这样的监督器不存在。相较于之前的研究,本研究将基于语言的不透明性监督控制扩展到分散控制框架下,得到监督器的构造算法。且在构造全局监督器过程中,使用了模块化方法,有利于降低算法复杂度。在研究离散事件系统协同不透明性监督控制过程中,根据协同不透明性的形式化定义,以及局部推断和全局推断等概念,对?=?的特例进行了研究,指出外部观察者推断结果有多个可能性。由于协同不透明性监督器的构造与协议的定义有着密切的联系,本文仅研究了给定协议下三种协同不透明性监督控制,且假设?=?。对协同强不透明性监督控制,逐步建立局部监督器和全局监督器,得到构造协同强不透明性监督器方法,并给出了监督器存在的条件。对协同弱不透明性和协同不具有不透明性的监督控制,也一并进行了研究。相较于之前的研究,本研究得出了给定条件下协同强不透明性的监督控制问题的算法,以及研究了监督器存在的条件。
其他文献
研究目的:观察MRL/lpr狼疮鼠外周血、骨髓及髓外造血生成情况;MRL/lpr狼疮鼠和C57BL/6小鼠骨髓成骨细胞(osteoblasts,OB)表面的粘附分子N-Cadherin表达水平差异及对造血干细胞分化的影响;观察同种异体BMMSCs(bone marrow masenchymal stem cells,BMMSCs)静脉输注对MRL/lpr狼疮鼠造血的影响。方法:(1)通过血细胞分析
为了改善大气环境,应用于新能源开发领域的变换器是一种真正意义的“绿色环保”电能变换器。根据变换器输出特性的不同,可以分为电压源变换器(Voltage Source Converter,VSC)和电流源变换器(Current Source Converter,CSC)。其中,由于电流源变换器具有较宽的输出电压范围、直接控制输出电流、内在的短路保护能力及动态响应快等优点,主要应用于交通运输领域的电动汽
随着信息化进程的加快,人们更倾向于以图像作为载体快速高效的获取信息,这就对图像的采集、传输、存储提出更高的要求,特别是在亮度分布不均匀的自然环境中,高反光物体成像时
本研究对采自吉林、辽宁两省主要稻区的154份初侵源样品,田间耕作层土壤、病残体(土壤耕作层)、病稻草、种子进行相关处理,并通过利用PCR技术分别对水稻白叶枯病、水稻细菌性条斑病、水稻细菌性谷枯病和水稻细菌性基腐病的初侵染源进行相应病原菌的检测。明确种子、土壤、病残体、为吉林、辽宁两省主要稻区细菌性病害的初侵染源。其中,出现阳性条带的样品如下:吉林省白城市1份土壤样品、吉林省四平市共6份种子样品、吉
研究目的:对我国男子轻量级运动员的挺举技术参数进行现场采集并通过大样本量的统计学研究,试图建立我国男子轻量级举重运动员挺举技术的综合评价模式。分析优秀运动员的挺举
基因组印迹(Genomic imprinting)是一种表观遗传(Epigenetic)现象,是指哺乳动物的一少部分基因优先表达来自父系或者母系的等位基因。印迹基因在哺乳动物的生长发育和胎盘功能中起着重要的作用,印迹基因表达紊乱常伴随疾病的发生。牛由于具有实验动物(如啮齿动物)所不具备的诸多优势,成为后基因组时代人类疾病研究的新型模式生物。目前,印记研究主要集中在人和小鼠中,而牛中被鉴定的印记基因
复杂网络的应用研究在近几年被拓展在越来越多的领域,由最初规模庞大的基电网络,金融网络和航空网络,到近期的互联网社区网络等,都得到各界研究人员们的关注。而复杂网络中,
近年来,中锰TRIP钢因其优异的性能和较低的成本,成为最具有发展潜力的第三代先进高强汽车用钢。因此,进一步提高中锰TRIP钢的综合力学性能成为学者们的主要研究方向。为提高中锰TRIP钢的强度,常在钢中添加磷元素以达到固溶强化的效果,然而磷在固溶强化的同时,又很容易在晶界偏聚,从而增加中锰TRIP钢的脆性。因此,有必要对中锰TRIP钢中磷的偏聚行为进行研究。本文以铌含量不同的热轧0.2C-5Mn钢(
声学场景分类任务是将输入的音频分类成一个预先定义的声学场景的类,其目的是通过机器来模拟人类分辨声学场景的能力。目前声学场景分类技术在生态环境监测、公共安全智能化
人脸表情识别技术是跨人工智能、心理学、生物学等多领域的交叉学科,它在情感分析、人机交互、商业预测等方面有着广泛的应用。表情识别技术可以赋予机器理解人类情绪的能力,