【摘 要】
：
在离散事件系统环境下，研究基于模型诊断问题。主要包括离线过程中的可诊断性判定及诊断编译；在线诊断方法及诊断确认以及在不同条件下的诊断方法三类。在可诊断判定方法中，提出用逆向编译方法对模型进行编译，将可能发生故障进行预先判断，并且模拟在线过程判断可诊断性，在判断过程中通过剪枝提高效率。提出离线过程中判断故障可诊断性及故障集合可诊断性的方法，并研究该类可诊断性的性质。研究在不完备模型中的可诊断性判断问
论文部分内容阅读
在离散事件系统环境下，研究基于模型诊断问题。主要包括离线过程中的可诊断性判定及诊断编译；在线诊断方法及诊断确认以及在不同条件下的诊断方法三类。在可诊断判定方法中，提出用逆向编译方法对模型进行编译，将可能发生故障进行预先判断，并且模拟在线过程判断可诊断性，在判断过程中通过剪枝提高效率。提出离线过程中判断故障可诊断性及故障集合可诊断性的方法，并研究该类可诊断性的性质。研究在不完备模型中的可诊断性判断问题及诊断问题，在从物理系统到逻辑系统映射不完全的一类不完备模型上，提出对这类不完备模型的可诊断性判定方法，并进行诊断。通过在线的诊断判断不完备事件的出现，并根据时序将不完备模型添加到模型中，增量地判断可诊断性，或进一步得到诊断结果。提出一种增量的诊断方法，通过加入概率来选择增量诊断中的候选诊断，同时提出一种带有回溯的增量诊断方法，进一步提高增量诊断效率。并充分利用每一次增量诊断的结果。
其他文献
优化算法是当今的重要研究课题，能够从海量数据中获得所需最优解，也是极具挑战的工作。优化算法可定义如下：给定某一待解问题，求该问题的最优解，此问题一般以N元变量方程形式给出。若N远大于1，则该方程在N维空间中解的个数并不唯一，甚至是无穷个解。为获得所需方程评价标准最大值或最小值所使用的计算机方法即为优化算法，评价标准是所求问题解的集合。现实生活、生产和研究中优化算法应用相当广泛，可解决各个领域面临的
本文基于对称性理论研究了某些力学系统守恒量的若干问题.目前研究的对称性主要有Noether对称性、Lie对称性、Mei对称性以及共形不变性,它们导致的守恒量有Noether守恒量、Hojman守恒量、Mei守恒量.本文将应用这些对称性理论研究某些力学系统的守恒量,研究内容有以下四部分：在第一部分即本文的第二章中,我们研究了Lagrange系统、Hamilton系统、广义Hamilton系统的Lie
流体力学是力学的一个分支,它是研究流体（包括液体及气体）这样一个连续介质的宏观运动规律以及它与其他运动形态之间的相互作用.1822年,Navier建立了粘性流体的基本运动方程；1845年,Stokes又以更合理的基础导出了这个方程,并将其所涉及的宏观力学基本概念论证的令人信服.这组方程便是沿用至今的Navier-Stokes方程（简称N-S方程）.而磁流体力学是研究导电流体在电磁场中的运动,他是可
激光的发明与应用，为我们认知客观物质世界提供了强有力的工具，并开辟了许多新的研究领域。强激光与物质相互作用以及超冷原子就是其中的两个研究热点。原子或分子中的电子在强激光脉冲及库仑场共同作用下运动，可以发生许多新现象，非次序双电离便是其重要现象之一。实验上发现惰性气体以及一些分子的双电离概率在某一激光强度区域内比单电子近似理论计算的结果高出好几个数量级。其特征标志为在双电离概率曲线上有一“knee”
本论文主要研究了相干光场驱动的冷原子系统中光信息的存储和处理，具体包含三能级和四能级系统中的动力学演化过程、电磁诱导的光子带隙以及静态光脉冲的动态相干控制，共分为四个部分。一、相干光驱动的三能级与四能级原子系统稳态和瞬态光特性的比较在这部分我们比较了由两个强控制场驱动的四能级Tripod型冷原子系统和由一个强控制场驱动的三能级Lambda型冷原子系统的稳态和瞬态的光学响应特性。在研究中，我们考虑以
糖苷水解酶家族13是一类专门作用于α糖苷键的酶，也称作α淀粉酶家族，这个家族拥有数量庞大的成员，它们具有不同类型的催化性质，包括α-1，4糖苷键和α-1，6糖苷键的水解和转糖苷活性。其中，糖苷水解酶家族13中的第20亚家族（新普鲁蓝酶亚家族）因为同时具有上述2种或4种催化活性，而被作为多功能淀粉酶成为研究热点。我们之前发现了一株来自于Bacillus sp.ZW2531-1菌株的嗜热多功能淀粉酶，
铜离子转运蛋白家族（SLC31）包括铜离子转运蛋白与铜离子转运磷酸化ATP酶（Copper transporting phosphorylated ATPase），其中后者包括ATP7A和ATP7B蛋白。铜离子转运蛋白1（Ctr1）是铜离子的主要摄入蛋白，而ATP7A和ATP7B蛋白主要参与铜离子的转运出胞过程。铜离子转运蛋白家族和细胞内分子伴侣协同调节细胞内外的铜离子的代谢平衡。哺乳动物的铜离子
为系统把握高校教师职业心理健康领域近10年的主要研究内容和研究方向,以中国知网（CNKI）作为数据源,经过2次检索得到2011—2020年10年间的文献,统计分析发文量,使用CiteSpace软件可视化处理,得到关键词共现图谱。结果表明:高校教师职业心理健康的相关研究主要集中于职业倦怠和职业压力,研究热点是成因和对策,重点研究对象为体育教师、青年教师、英语教师和女教师;通过内容分析发现,职业压力和
为了满足生物学领域飞速发展的技术需求，同时伴随着荧光材料和显微技术的逐渐发展，荧光技术已成为生物研究很多领域的重要技术手段。而近年来由于生物原位探测技术的发展使越来越多的研究者专注于生物体内探测，如利用荧光分子对生物细胞进行标记来研究细胞内某些组织的结构、利用荧光蛋白对某些基因进行标记来监测这些基因的表达情况等。由于生物体内原位检测具有更高的真实性和可信度，使得荧光技术在这方面的应用也越来越被人们
本文研究了用等熵无旋的位势流方程描述的定常可压缩理想流体在二维收缩管道内连续亚音速—音速流动的适定性问题,使用的主要方法是Schauder不动点定理和能量估计.本文主体内容共分四部分.第一部分为绪论,简要地介绍了亚音速—音速流问题的历史发展和研究进展,以及前人关于Euler方程的一些工作,然后对本文研究的连续亚音速—音速流的扰动问题,给出了问题的提法和处理上的大体思路.在接下来的三部分中,我们分别