基于算子矩阵模型的程序诊断方法

提出了用算子矩阵对程序进行建模的一般方法.在此模型上,使用合理的同构假定,运用基于模型的诊断方法对程序进行逻辑错误的诊断,并与经典的诊断模型作了比较.显示了该方法对的适用性,并可以在诊断过程中,有机地结合关于问题的知识和关于程序的知识,使得诊断范围缩小,从而使诊断更精确,效率更高,显示了该方法的优越性.     

含缺省约束的基于模型诊断方法

目前已有的诊断系统一般都默认有完备而可靠的模型，但在实际中常无法实现．因此，在目前已知的对待诊断设备的可靠描述之外．提出了可加入假设性的信息作为对无法完备模型的补充．并且这些假设采用了从规范缺省理论中的规则转化而成的公式的形式．进一步给出了在加入这些假设后的情况下，含缺省约束的基于模型的诊断、中心诊断、蕴含、蕴含式及本原蕴含等概念，证明了含缺省约束的基于模型的中心诊断与缺省本原蕴含的直接关系．并指出这种刻画即为含缺省约束的基于一致性中心诊断和中心溯因诊断的刻画的一般化情形．从而将理论与实现联系了起来。     

一种模型不完备条件下的诊断方法

基于模型的诊断研究的主要问题是:在已知模型的前提下,对于产生非常行为的系统通过逻辑推理的方法找到那些能解释这种非正常行为的故障部件.但对于模型不完备的系统诊断问题的讨论很少,本文首次提出了借助其他系统进行辅助诊断的思想,在此基础上提出了一种针对模型不完备条件下的诊断方法,使得经典的诊断方法对于模型的依赖程度有所降低,从而解决了模型不完备给诊断问题所带来的困难.最后将这种方法和模型完备时的诊断效果做了比较.     

汽车侧倾角速度传感器的故障诊断和重构

针对汽车侧倾角速度传感器故障对控制系统的影响问题, 提出了一种基于模型的故障诊断和故障重构方法, 并给出了系统的理论证明。对于满足Lipchitz 条件的多输入多输出非线性系统, 可应用带有模型不确定性的一维线性状态方程作为其等效模型, 进行传感器的故障诊断。并在此基础上应用经典的观测器理论设计了残差生成器, 通过特征结构配置的方法, 证明了模型不确定性、执行器故障和干扰可以实现在残差中的完全去耦。采用整车的八自由度模型进行Simulink 仿真, 结果证明了结论的有效性。与其他方法相比, 笔者算法得到的残差具有很强的鲁棒性, 重构出的传感器信号具有很高的精度。     

面向复杂系统需求分析的DSL构建

在航空航天领域, 系统的复杂度快速增长, 这对基于模型的系统工程的开展带来巨大的挑战, 尤以复杂系统的需求分析为甚。需求分析过程缺乏针对性的支持模型的工具。针对基于模型的系统工程中的这一问题, 根据领域建模的思想, 引入领域特定语言(domain specific language, DSL)的概念, 提出一种构建DSL进行需求分析的方法, 并针对基于模型的系统工程(model based system engineering, MBSE)中需求分析的需要构建相应的DSL。首先, 从基于模型的系统工程方法论角度, 对工程应用中的需求捕获与分解进行了分析; 接着, 通过扩展后的GOPPRR(graph object property port role relationship)元元模型依据需要, 构建了DSL的具体语法与语义; 最后, 以具体的系统为例与系统建模语言分析方法做出了对比。结果表明, 所构建的DSL在进行复杂系统的需求分析与建模时, 与实际需要契合, 在各个环节都具有针对性强、形式化的优点, 有利于保证需求分析与建模工作的正确性。     

基于ISO 26262安全要求的汽车电子电气架构优化模型

在开发汽车电子电气（E/E）架构时,考虑安全要求是实现未来技术（如自动驾驶）的先决条件之一。按照ISO 26262标准,安全分析必须在产品开发生命周期的早期阶段进行,以检测设计缺陷并采取行动改善设计。本文提出了一种基于模型的方法,在汽车E/E架构的设计阶段解决符合ISO 26262的安全要求;同时,基于这些要求,提取了一组与安全相关的约束条件,并通过整数线性规划（ILP）模型将这些约束用于E/E架构的优化。